Trace number 4516795

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.4 3574.43

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb
MD5SUM0934d7cef3e2008f3f8157a455916830
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.253014
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7001
Total number of constraints7000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)846
Number of constraints which are nor clauses,nor cardinality constraints6154
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.19	c See www.sat4j.org for details.
0.11/0.20	c version PB25.v20250606
0.28/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.28/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.28/0.23	c java.vm.version	22.0.1+8-16
0.28/0.23	c java.vm.vendor	Oracle Corporation
0.28/0.23	c sun.arch.data.model	64
0.28/0.23	c java.version		22.0.1
0.28/0.23	c os.name		Linux
0.28/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.28/0.23	c os.arch		amd64
0.28/0.24	c Free memory 		2104792832
0.28/0.24	c Max memory 		16282288128
0.28/0.24	c Total memory 		2113929216
0.28/0.25	c Number of processors 	2
0.43/0.36	c Pseudo Boolean Optimization by upper bound
0.43/0.36	c --- Begin Solver configuration ---
0.43/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.36	c Learn all clauses as in MiniSAT
0.43/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.36	c Expensive reason simplification
0.43/0.36	c Glucose 2.1 dynamic restart strategy
0.43/0.36	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.43/0.36	c timeout=2147483s
0.43/0.36	c DB Simplification allowed=false
0.43/0.36	c Listener: none
0.43/0.36	c --- End Solver configuration ---
0.43/0.37	c solving HOME/instance-4516795-1751242012.opb
0.43/0.37	c reading problem ... 
0.43/0.37	c using VERIPB proof format
0.43/0.38	c  no objective function found
1.13/0.79	c ... done. Wall clock time 0.411s.
1.13/0.79	c declared #vars     7001
1.13/0.79	c #constraints  7000
1.13/0.79	c constraints type 
1.13/0.79	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7000
1.13/0.79	c 7000 constraints processed.
3.11/1.71	c cleaning 2484 clauses out of 5001 with flag 20995/5001
4.09/2.25	c cleaning 4223 clauses out of 8516 with flag 47451/11000
4.69/2.57	c cleaning 5600 clauses out of 11294 with flag 81436/18001
5.26/2.89	c cleaning 6806 clauses out of 13693 with flag 125181/26000
5.82/3.11	c cleaning 7923 clauses out of 15890 with flag 166417/35003
6.21/3.35	c cleaning 8954 clauses out of 17965 with flag 217254/45001
6.69/3.62	c cleaning 9981 clauses out of 20011 with flag 268975/56001
7.11/4.04	c cleaning 10989 clauses out of 22029 with flag 331801/68000
7.50/4.44	c cleaning 12012 clauses out of 24043 with flag 402780/81003
7.88/4.79	c cleaning 13003 clauses out of 26028 with flag 471976/95000
8.84/5.25	c cleaning 13996 clauses out of 28025 with flag 554649/110000
9.32/5.65	c cleaning 15003 clauses out of 30031 with flag 640054/126002
9.99/6.13	c cleaning 15992 clauses out of 32028 with flag 730427/143002
10.72/6.55	c cleaning 17006 clauses out of 34034 with flag 823123/161000
11.39/7.00	c cleaning 17963 clauses out of 36028 with flag 922952/180000
12.27/7.61	c cleaning 19000 clauses out of 38067 with flag 1032028/200002
12.78/8.17	c cleaning 19980 clauses out of 40065 with flag 1149003/221000
13.36/8.79	c cleaning 21003 clauses out of 42086 with flag 1268215/243001
14.06/9.46	c cleaning 22021 clauses out of 44083 with flag 1401643/266001
14.86/10.27	c cleaning 23016 clauses out of 46062 with flag 1533780/290001
15.75/11.02	c cleaning 24008 clauses out of 48045 with flag 1671714/315000
16.70/12.11	c cleaning 24995 clauses out of 50039 with flag 1821038/341002
17.48/12.91	c cleaning 25990 clauses out of 52043 with flag 1968788/368001
18.18/13.62	c cleaning 27007 clauses out of 54053 with flag 2115842/396001
18.87/14.39	c cleaning 27987 clauses out of 56047 with flag 2273995/425002
19.88/15.35	c cleaning 29013 clauses out of 58059 with flag 2437068/455001
20.97/16.45	c cleaning 30011 clauses out of 60046 with flag 2615440/486001
21.87/17.34	c cleaning 30992 clauses out of 62035 with flag 2775961/518001
22.86/18.31	c cleaning 31983 clauses out of 64044 with flag 2952660/551002
23.68/19.18	c cleaning 33001 clauses out of 66059 with flag 3126466/585000
24.76/20.27	c cleaning 33992 clauses out of 68058 with flag 3311816/620000
26.06/21.55	c cleaning 35010 clauses out of 70067 with flag 3508083/656001
27.25/22.71	c cleaning 36013 clauses out of 72057 with flag 3722463/693001
28.57/24.03	c cleaning 36981 clauses out of 74043 with flag 3933611/731000
30.14/25.63	c cleaning 37993 clauses out of 76062 with flag 4160297/770000
31.66/27.17	c cleaning 39023 clauses out of 78069 with flag 4383905/810000
32.84/28.38	c cleaning 39973 clauses out of 80046 with flag 4601725/851000
34.24/29.79	c cleaning 40978 clauses out of 82073 with flag 4831883/893000
36.79/32.22	c cleaning 42025 clauses out of 84095 with flag 5064385/936000
38.88/34.33	c cleaning 43002 clauses out of 86070 with flag 5298105/980000
40.28/35.71	c cleaning 44013 clauses out of 88069 with flag 5536121/1025001
41.58/37.06	c cleaning 44998 clauses out of 90056 with flag 5782138/1071001
42.97/38.44	c cleaning 45961 clauses out of 92058 with flag 6027266/1118001
44.61/40.03	c cleaning 46974 clauses out of 94096 with flag 6285458/1166000
47.64/43.34	c cleaning 48033 clauses out of 96123 with flag 6574446/1215001
50.09/45.77	c cleaning 48990 clauses out of 98090 with flag 6863169/1265001
51.79/47.43	c cleaning 49981 clauses out of 100100 with flag 7135151/1316001
53.58/49.29	c cleaning 51025 clauses out of 102121 with flag 7432479/1368003
56.19/51.81	c cleaning 52012 clauses out of 104093 with flag 7713203/1421000
58.19/53.88	c cleaning 53020 clauses out of 106083 with flag 8005091/1475002
60.55/56.13	c cleaning 54001 clauses out of 108061 with flag 8303386/1530000
62.55/58.16	c cleaning 54973 clauses out of 110062 with flag 8612392/1586002
64.40/59.96	c cleaning 56028 clauses out of 112088 with flag 8923487/1643001
66.51/62.09	c cleaning 56993 clauses out of 114059 with flag 9248274/1701000
68.19/63.76	c cleaning 58006 clauses out of 116066 with flag 9557299/1760000
70.07/65.58	c cleaning 58987 clauses out of 118060 with flag 9873604/1820000
71.76/67.29	c cleaning 60024 clauses out of 120075 with flag 10198960/1881002
73.75/69.26	c cleaning 60994 clauses out of 122049 with flag 10526333/1943000
75.86/71.31	c cleaning 62010 clauses out of 124055 with flag 10865940/2006000
78.32/73.74	c cleaning 62992 clauses out of 126045 with flag 11222416/2070000
80.63/76.08	c cleaning 64011 clauses out of 128053 with flag 11582699/2135000
83.01/78.48	c cleaning 65009 clauses out of 130045 with flag 11953043/2201003
86.01/81.44	c cleaning 65993 clauses out of 132035 with flag 12327802/2268002
89.18/84.55	c cleaning 66951 clauses out of 134040 with flag 12727545/2336000
91.68/87.04	c cleaning 68025 clauses out of 136090 with flag 13111512/2405001
94.19/89.44	c cleaning 69010 clauses out of 138064 with flag 13496791/2475000
96.68/91.99	c cleaning 69988 clauses out of 140054 with flag 13891055/2546000
99.58/94.80	c cleaning 71010 clauses out of 142067 with flag 14294871/2618001
101.88/97.12	c cleaning 71985 clauses out of 144057 with flag 14683963/2691001
105.55/100.72	c cleaning 73025 clauses out of 146071 with flag 15112291/2765000
108.23/103.44	c cleaning 73967 clauses out of 148047 with flag 15523213/2840001
110.52/105.78	c cleaning 75025 clauses out of 150079 with flag 15920407/2916000
113.43/108.58	c cleaning 76011 clauses out of 152056 with flag 16330645/2993002
116.42/111.51	c cleaning 77001 clauses out of 154043 with flag 16747315/3071000
118.72/113.85	c cleaning 78014 clauses out of 156042 with flag 17147313/3150000
121.83/116.84	c cleaning 78980 clauses out of 158028 with flag 17585835/3230000
124.92/119.99	c cleaning 79974 clauses out of 160048 with flag 18041195/3311000
127.92/122.93	c cleaning 81012 clauses out of 162074 with flag 18479237/3393000
131.95/126.90	c cleaning 81959 clauses out of 164062 with flag 18992188/3476000
134.75/129.69	c cleaning 82975 clauses out of 166104 with flag 19436772/3560001
138.53/133.47	c cleaning 84028 clauses out of 168128 with flag 19943730/3645000
142.50/137.36	c cleaning 85016 clauses out of 170101 with flag 20422180/3731001
147.08/142.00	c cleaning 85991 clauses out of 172087 with flag 20908803/3818003
150.87/145.73	c cleaning 87026 clauses out of 174093 with flag 21423285/3906000
155.87/150.63	c cleaning 88022 clauses out of 176069 with flag 21914516/3995002
159.06/153.81	c cleaning 88992 clauses out of 178046 with flag 22400141/4085001
162.06/156.85	c cleaning 90011 clauses out of 180055 with flag 22890902/4176002
165.60/160.20	c cleaning 90995 clauses out of 182042 with flag 23392818/4268000
169.09/163.76	c cleaning 92010 clauses out of 184047 with flag 23895107/4361000
172.65/167.17	c cleaning 92985 clauses out of 186038 with flag 24404714/4455001
176.03/170.50	c cleaning 94003 clauses out of 188052 with flag 24913375/4550000
179.82/174.32	c cleaning 95001 clauses out of 190049 with flag 25450542/4646000
184.06/178.47	c cleaning 95975 clauses out of 192048 with flag 25967987/4743000
187.35/181.71	c cleaning 97022 clauses out of 194076 with flag 26480482/4841003
190.77/185.20	c cleaning 97995 clauses out of 196054 with flag 27027663/4940003
196.93/191.25	c cleaning 98992 clauses out of 198056 with flag 27583147/5040000
200.52/194.84	c cleaning 100020 clauses out of 200066 with flag 28125808/5141002
205.48/200.00	c cleaning 101004 clauses out of 202044 with flag 28679931/5243000
209.17/203.66	c cleaning 101972 clauses out of 204040 with flag 29238880/5346000
213.58/208.01	c cleaning 103012 clauses out of 206068 with flag 29806232/5450000
219.01/213.36	c cleaning 104000 clauses out of 208057 with flag 30399861/5555001
222.61/216.90	c cleaning 105004 clauses out of 210057 with flag 30980584/5661001
226.33/220.58	c cleaning 105975 clauses out of 212054 with flag 31542963/5768002
230.52/224.70	c cleaning 107019 clauses out of 214077 with flag 32155858/5876000
235.41/229.94	c cleaning 108021 clauses out of 216058 with flag 32782093/5985000
240.35/234.72	c cleaning 108991 clauses out of 218037 with flag 33368599/6095000
244.54/238.93	c cleaning 109957 clauses out of 220047 with flag 33985513/6206001
249.55/243.81	c cleaning 111020 clauses out of 222089 with flag 34602046/6318000
254.04/248.31	c cleaning 112029 clauses out of 224069 with flag 35225592/6431000
259.48/253.67	c cleaning 113003 clauses out of 226041 with flag 35870574/6545001
264.71/259.28	c cleaning 114000 clauses out of 228037 with flag 36487642/6660000
269.56/263.95	c cleaning 114982 clauses out of 230037 with flag 37116623/6776000
273.95/268.39	c cleaning 116011 clauses out of 232055 with flag 37752430/6893000
279.27/273.56	c cleaning 117003 clauses out of 234044 with flag 38398893/7011000
283.96/278.26	c cleaning 117993 clauses out of 236041 with flag 39041601/7130000
289.01/283.14	c cleaning 119015 clauses out of 238049 with flag 39705458/7250001
293.61/288.10	c cleaning 119940 clauses out of 240034 with flag 40375062/7371001
299.28/293.80	c cleaning 121027 clauses out of 242093 with flag 41073255/7493000
304.98/299.33	c cleaning 122029 clauses out of 244066 with flag 41773630/7616000
309.37/303.76	c cleaning 122971 clauses out of 246038 with flag 42458022/7740001
315.27/309.52	c cleaning 123948 clauses out of 248067 with flag 43164561/7865001
320.16/314.47	c cleaning 125000 clauses out of 250119 with flag 43853166/7991001
326.83/321.12	c cleaning 126021 clauses out of 252118 with flag 44548536/8118000
332.49/326.88	c cleaning 127004 clauses out of 254099 with flag 45277401/8246002
339.24/333.44	c cleaning 127996 clauses out of 256094 with flag 45995881/8375001
344.12/338.39	c cleaning 129006 clauses out of 258097 with flag 46702524/8505000
350.16/344.29	c cleaning 130028 clauses out of 260091 with flag 47412366/8636000
355.55/349.78	c cleaning 130981 clauses out of 262063 with flag 48131095/8768000
363.49/357.55	c cleaning 132032 clauses out of 264083 with flag 48895643/8901001
369.71/363.65	c cleaning 133010 clauses out of 266050 with flag 49630779/9035000
374.76/368.50	c cleaning 134003 clauses out of 268040 with flag 50360773/9170000
380.27/374.10	c cleaning 135008 clauses out of 270037 with flag 51115111/9306000
385.93/379.60	c cleaning 136007 clauses out of 272030 with flag 51905041/9443001
391.81/385.69	c cleaning 136960 clauses out of 274022 with flag 52707211/9581000
397.89/391.63	c cleaning 137999 clauses out of 276065 with flag 53485009/9720003
403.52/397.15	c cleaning 139015 clauses out of 278063 with flag 54263947/9860000
408.80/402.42	c cleaning 139985 clauses out of 280048 with flag 55037999/10001000
416.77/410.39	c cleaning 141001 clauses out of 282063 with flag 55846973/10143000
423.87/417.44	c cleaning 142000 clauses out of 284063 with flag 56665668/10286001
429.85/423.43	c cleaning 142997 clauses out of 286062 with flag 57478734/10430000
436.74/430.26	c cleaning 143991 clauses out of 288065 with flag 58314739/10575000
444.23/437.68	c cleaning 144982 clauses out of 290076 with flag 59136304/10721002
452.34/445.75	c cleaning 145999 clauses out of 292092 with flag 59968107/10868000
459.25/452.54	c cleaning 147020 clauses out of 294093 with flag 60815745/11016000
465.13/458.49	c cleaning 148007 clauses out of 296073 with flag 61687479/11165000
472.72/465.18	c cleaning 148983 clauses out of 298067 with flag 62541697/11315001
479.70/472.22	c cleaning 150023 clauses out of 300083 with flag 63428389/11466000
486.96/479.40	c cleaning 151006 clauses out of 302061 with flag 64290396/11618001
493.15/485.62	c cleaning 151998 clauses out of 304054 with flag 65159324/11771000
499.64/492.05	c cleaning 153001 clauses out of 306056 with flag 66016245/11925000
508.33/500.68	c cleaning 154016 clauses out of 308055 with flag 66956992/12080000
515.47/507.82	c cleaning 154999 clauses out of 310042 with flag 67838424/12236003
522.55/514.98	c cleaning 155996 clauses out of 312040 with flag 68733702/12393000
528.89/521.25	c cleaning 156967 clauses out of 314044 with flag 69617031/12551000
535.37/527.66	c cleaning 158011 clauses out of 316077 with flag 70530068/12710000
541.86/534.31	c cleaning 159016 clauses out of 318067 with flag 71432997/12870001
548.55/540.92	c cleaning 160001 clauses out of 320054 with flag 72331462/13031004
555.66/547.95	c cleaning 161015 clauses out of 322053 with flag 73225375/13193004
562.15/554.47	c cleaning 161960 clauses out of 324034 with flag 74153909/13356000
571.46/563.63	c cleaning 162987 clauses out of 326075 with flag 75132472/13520001
579.09/571.32	c cleaning 164026 clauses out of 328089 with flag 76077292/13685002
586.37/578.68	c cleaning 164988 clauses out of 330062 with flag 77031542/13851001
594.10/586.22	c cleaning 166035 clauses out of 332074 with flag 77959392/14018001
601.33/593.34	c cleaning 167001 clauses out of 334038 with flag 78900603/14186000
609.09/601.21	c cleaning 167974 clauses out of 336037 with flag 79860323/14355000
617.31/609.33	c cleaning 168985 clauses out of 338063 with flag 80842459/14525000
625.04/616.97	c cleaning 170011 clauses out of 340081 with flag 81781019/14696003
631.51/623.49	c cleaning 170995 clauses out of 342067 with flag 82719220/14868000
639.49/631.40	c cleaning 171989 clauses out of 344075 with flag 83708165/15041003
648.75/640.67	c cleaning 173024 clauses out of 346085 with flag 84676603/15215002
658.55/650.31	c cleaning 173989 clauses out of 348059 with flag 85694821/15390000
666.25/658.14	c cleaning 175009 clauses out of 350072 with flag 86678320/15566002
674.61/666.43	c cleaning 175974 clauses out of 352061 with flag 87706364/15743000
682.98/674.73	c cleaning 177029 clauses out of 354087 with flag 88725368/15921000
691.79/683.42	c cleaning 178000 clauses out of 356059 with flag 89756177/16100001
701.10/693.49	c cleaning 179008 clauses out of 358059 with flag 90802146/16280001
708.58/700.98	c cleaning 179981 clauses out of 360050 with flag 91828091/16461000
717.49/709.73	c cleaning 181019 clauses out of 362070 with flag 92853257/16643001
726.10/718.32	c cleaning 182001 clauses out of 364050 with flag 93848035/16826000
734.06/726.17	c cleaning 182988 clauses out of 366049 with flag 94894838/17010000
742.22/734.33	c cleaning 184008 clauses out of 368064 with flag 95965150/17195003
751.42/743.41	c cleaning 184968 clauses out of 370054 with flag 97019668/17381001
761.30/753.32	c cleaning 185999 clauses out of 372087 with flag 98075921/17568002
770.92/762.83	c cleaning 187012 clauses out of 374088 with flag 99160326/17756002
779.41/771.38	c cleaning 188017 clauses out of 376074 with flag 100236782/17945000
791.08/783.09	c cleaning 189010 clauses out of 378057 with flag 101324230/18135000
800.45/792.35	c cleaning 189986 clauses out of 380047 with flag 102407771/18326000
809.05/800.89	c cleaning 191021 clauses out of 382062 with flag 103472433/18518001
819.38/811.17	c cleaning 191997 clauses out of 384041 with flag 104591476/18711001
829.49/821.15	c cleaning 193007 clauses out of 386045 with flag 105698505/18905002
838.96/830.64	c cleaning 193986 clauses out of 388036 with flag 106843885/19100000
849.00/840.74	c cleaning 194994 clauses out of 390050 with flag 107951350/19296000
857.59/849.30	c cleaning 196021 clauses out of 392056 with flag 109086088/19493000
867.29/858.89	c cleaning 196981 clauses out of 394036 with flag 110216559/19691001
877.91/869.37	c cleaning 198025 clauses out of 396058 with flag 111356014/19890004
888.47/879.96	c cleaning 199002 clauses out of 398029 with flag 112473489/20090000
898.54/889.92	c cleaning 199972 clauses out of 400028 with flag 113602393/20291001
909.30/900.64	c cleaning 201000 clauses out of 402057 with flag 114759459/20493002
920.66/912.08	c cleaning 202021 clauses out of 404055 with flag 115906118/20696000
929.49/920.89	c cleaning 203005 clauses out of 406034 with flag 117066816/20900000
938.45/929.70	c cleaning 203981 clauses out of 408029 with flag 118214957/21105000
949.12/940.72	c cleaning 204999 clauses out of 410048 with flag 119371022/21311000
959.70/951.27	c cleaning 205999 clauses out of 412049 with flag 120535909/21518000
968.88/960.37	c cleaning 207015 clauses out of 414051 with flag 121721986/21726001
979.70/971.06	c cleaning 207997 clauses out of 416036 with flag 122871271/21935001
992.09/982.42	c cleaning 209007 clauses out of 418039 with flag 124082704/22145001
1002.02/992.31	c cleaning 209995 clauses out of 420032 with flag 125264030/22356001
1013.42/1003.82	c cleaning 210985 clauses out of 422037 with flag 126470977/22568001
1023.76/1014.17	c cleaning 212007 clauses out of 424052 with flag 127714362/22781001
1033.63/1023.95	c cleaning 213012 clauses out of 426046 with flag 128901096/22995002
1043.42/1033.84	c cleaning 213993 clauses out of 428032 with flag 130140629/23210000
1054.06/1044.47	c cleaning 214985 clauses out of 430041 with flag 131381866/23426002
1064.63/1054.91	c cleaning 215968 clauses out of 432055 with flag 132605307/23643001
1076.70/1067.10	c cleaning 217027 clauses out of 434087 with flag 133860476/23861001
1085.98/1076.29	c cleaning 218011 clauses out of 436059 with flag 135096009/24080000
1096.40/1086.67	c cleaning 219011 clauses out of 438050 with flag 136336817/24300002
1108.00/1098.18	c cleaning 219986 clauses out of 440037 with flag 137586605/24521000
1118.59/1108.69	c cleaning 221015 clauses out of 442052 with flag 138830097/24743001
1129.79/1119.80	c cleaning 221966 clauses out of 444036 with flag 140106523/24966000
1139.54/1129.41	c cleaning 223014 clauses out of 446070 with flag 141343984/25190000
1150.38/1140.13	c cleaning 224007 clauses out of 448057 with flag 142624431/25415001
1161.42/1151.13	c cleaning 224997 clauses out of 450050 with flag 143939359/25641001
1172.08/1161.83	c cleaning 225970 clauses out of 452052 with flag 145230617/25868000
1184.45/1174.16	c cleaning 227005 clauses out of 454082 with flag 146516353/26096000
1197.68/1187.44	c cleaning 228024 clauses out of 456077 with flag 147823973/26325000
1208.47/1198.17	c cleaning 228986 clauses out of 458053 with flag 149144015/26555000
1220.03/1209.52	c cleaning 230014 clauses out of 460068 with flag 150447156/26786001
1231.91/1221.39	c cleaning 231016 clauses out of 462054 with flag 151768008/27018001
1242.82/1232.14	c cleaning 231982 clauses out of 464037 with flag 153106568/27251000
1253.90/1243.24	c cleaning 232975 clauses out of 466055 with flag 154433551/27485000
1266.21/1255.41	c cleaning 234013 clauses out of 468080 with flag 155746680/27720000
1277.24/1266.32	c cleaning 235007 clauses out of 470069 with flag 157072444/27956002
1288.85/1277.97	c cleaning 236002 clauses out of 472060 with flag 158406125/28193000
1302.25/1291.23	c cleaning 237004 clauses out of 474059 with flag 159772836/28431001
1314.69/1303.69	c cleaning 238010 clauses out of 476054 with flag 161146213/28670000
1326.90/1315.74	c cleaning 238962 clauses out of 478045 with flag 162540793/28910001
1339.25/1327.99	c cleaning 240027 clauses out of 480082 with flag 163923220/29151000
1351.19/1339.82	c cleaning 241004 clauses out of 482055 with flag 165315840/29393000
1363.11/1351.65	c cleaning 242003 clauses out of 484051 with flag 166675376/29636000
1375.24/1363.84	c cleaning 242970 clauses out of 486049 with flag 168039084/29880001
1389.32/1377.83	c cleaning 244019 clauses out of 488079 with flag 169413651/30125001
1401.83/1390.21	c cleaning 245025 clauses out of 490060 with flag 170850978/30371001
1415.04/1403.40	c cleaning 245967 clauses out of 492035 with flag 172245715/30618001
1427.16/1415.50	c cleaning 247011 clauses out of 494067 with flag 173622865/30866000
1439.55/1427.89	c cleaning 247985 clauses out of 496057 with flag 175008873/31115001
1450.85/1439.04	c cleaning 249008 clauses out of 498072 with flag 176396407/31365001
1462.52/1450.66	c cleaning 250003 clauses out of 500063 with flag 177770400/31616000
1475.28/1463.37	c cleaning 251018 clauses out of 502061 with flag 179227466/31868001
1489.99/1477.81	c cleaning 251993 clauses out of 504042 with flag 180726548/32121000
1502.13/1489.97	c cleaning 252968 clauses out of 506049 with flag 182137382/32375000
1514.49/1502.25	c cleaning 254028 clauses out of 508082 with flag 183587480/32630001
1527.16/1514.88	c cleaning 254994 clauses out of 510053 with flag 185047226/32886000
1542.65/1530.20	c cleaning 255996 clauses out of 512059 with flag 186550798/33143000
1556.17/1543.64	c cleaning 256975 clauses out of 514064 with flag 188070203/33401001
1567.97/1555.40	c cleaning 258007 clauses out of 516090 with flag 189532041/33660002
1580.16/1567.45	c cleaning 259028 clauses out of 518081 with flag 191018880/33920000
1592.68/1579.96	c cleaning 260009 clauses out of 520054 with flag 192474160/34181001
1604.52/1591.79	c cleaning 261006 clauses out of 522045 with flag 193944749/34443001
1618.14/1605.20	c cleaning 262006 clauses out of 524038 with flag 195431539/34706000
1631.81/1618.92	c cleaning 262976 clauses out of 526032 with flag 196887920/34970000
1645.77/1631.94	c cleaning 264008 clauses out of 528057 with flag 198392174/35235001
1659.14/1645.32	c cleaning 264999 clauses out of 530049 with flag 199897154/35501001
1672.74/1658.82	c cleaning 265964 clauses out of 532049 with flag 201382590/35768000
1689.30/1675.48	c cleaning 267025 clauses out of 534086 with flag 202922031/36036001
1703.99/1690.06	c cleaning 267958 clauses out of 536060 with flag 204419953/36305000
1716.66/1702.74	c cleaning 269030 clauses out of 538102 with flag 205919681/36575000
1729.83/1715.82	c cleaning 270012 clauses out of 540072 with flag 207422181/36846000
1745.96/1731.87	c cleaning 271022 clauses out of 542061 with flag 209022195/37118001
1760.34/1746.20	c cleaning 271988 clauses out of 544038 with flag 210581266/37391000
1773.59/1759.39	c cleaning 273010 clauses out of 546050 with flag 212163885/37665000
1787.33/1773.13	c cleaning 274006 clauses out of 548041 with flag 213702759/37940001
1801.69/1787.34	c cleaning 274987 clauses out of 550035 with flag 215213249/38216001
1816.74/1802.62	c cleaning 276018 clauses out of 552048 with flag 216762096/38493001
1829.01/1814.84	c cleaning 277004 clauses out of 554029 with flag 218289219/38771000
1842.87/1828.79	c cleaning 277994 clauses out of 556025 with flag 219870573/39050000
1856.79/1842.65	c cleaning 278957 clauses out of 558031 with flag 221427294/39330000
1871.22/1857.00	c cleaning 280023 clauses out of 560074 with flag 223021102/39611000
1887.47/1873.11	c cleaning 280986 clauses out of 562052 with flag 224590719/39893001
1902.40/1887.60	c cleaning 282024 clauses out of 564065 with flag 226189437/40176000
1916.18/1901.44	c cleaning 283010 clauses out of 566041 with flag 227783554/40460000
1929.55/1914.77	c cleaning 283995 clauses out of 568031 with flag 229334566/40745000
1944.58/1929.80	c cleaning 284996 clauses out of 570037 with flag 230944814/41031001
1962.08/1947.36	c cleaning 285971 clauses out of 572040 with flag 232575614/41318000
1976.12/1961.34	c cleaning 287019 clauses out of 574069 with flag 234187949/41606000
1990.88/1976.10	c cleaning 288004 clauses out of 576051 with flag 235811109/41895001
2008.04/1993.18	c cleaning 289000 clauses out of 578046 with flag 237441640/42185000
2022.80/2007.86	c cleaning 289995 clauses out of 580048 with flag 239097613/42476002
2039.62/2025.12	c cleaning 290992 clauses out of 582052 with flag 240766056/42768001
2055.79/2041.31	c cleaning 292008 clauses out of 584060 with flag 242424600/43061001
2072.03/2057.57	c cleaning 292988 clauses out of 586053 with flag 244077917/43355002
2088.73/2074.12	c cleaning 293971 clauses out of 588064 with flag 245764062/43650001
2104.53/2089.86	c cleaning 295028 clauses out of 590093 with flag 247434737/43946001
2120.18/2105.50	c cleaning 296016 clauses out of 592064 with flag 249109150/44243000
2135.40/2120.56	c cleaning 296997 clauses out of 594049 with flag 250780168/44541001
2152.70/2137.84	c cleaning 297975 clauses out of 596051 with flag 252421776/44840000
2169.36/2154.49	c cleaning 298998 clauses out of 598080 with flag 254080451/45140004
2185.78/2170.78	c cleaning 300012 clauses out of 600078 with flag 255760001/45441000
2202.80/2187.69	c cleaning 301004 clauses out of 602067 with flag 257473764/45743001
2217.85/2202.70	c cleaning 302015 clauses out of 604065 with flag 259169163/46046003
2236.62/2221.21	c cleaning 303007 clauses out of 606050 with flag 260912143/46350003
2253.36/2238.03	c cleaning 303992 clauses out of 608041 with flag 262594067/46655001
2270.41/2254.76	c cleaning 305004 clauses out of 610049 with flag 264344408/46961001
2286.83/2271.11	c cleaning 305982 clauses out of 612044 with flag 266050211/47268000
2306.79/2291.09	c cleaning 307001 clauses out of 614063 with flag 267766390/47576001
2325.31/2309.42	c cleaning 307999 clauses out of 616061 with flag 269536192/47885000
2341.83/2326.11	c cleaning 309008 clauses out of 618064 with flag 271308137/48195002
2360.45/2344.53	c cleaning 310020 clauses out of 620055 with flag 273029568/48506001
2377.38/2361.53	c cleaning 311006 clauses out of 622035 with flag 274751562/48818001
2397.79/2381.89	c cleaning 312003 clauses out of 624029 with flag 276521295/49131001
2414.42/2398.49	c cleaning 312952 clauses out of 626026 with flag 278262535/49445001
2429.62/2413.76	c cleaning 314017 clauses out of 628073 with flag 280004834/49760000
2449.00/2433.05	c cleaning 315009 clauses out of 630056 with flag 281747252/50076000
2466.44/2450.56	c cleaning 315967 clauses out of 632047 with flag 283540256/50393000
2482.70/2466.76	c cleaning 317018 clauses out of 634080 with flag 285330724/50711000
2498.71/2482.86	c cleaning 318016 clauses out of 636062 with flag 287048976/51030000
2518.81/2503.11	c cleaning 319009 clauses out of 638046 with flag 288851575/51350000
2538.64/2522.82	c cleaning 320008 clauses out of 640037 with flag 290574732/51671000
2559.32/2543.59	c cleaning 320960 clauses out of 642029 with flag 292351591/51993000
2578.34/2562.64	c cleaning 322007 clauses out of 644069 with flag 294117837/52316000
2596.31/2580.44	c cleaning 323001 clauses out of 646062 with flag 295941906/52640000
2615.97/2600.11	c cleaning 324016 clauses out of 648061 with flag 297733759/52965000
2636.52/2620.53	c cleaning 325009 clauses out of 650045 with flag 299561889/53291000
2656.53/2640.41	c cleaning 326006 clauses out of 652036 with flag 301407228/53618000
2677.73/2660.65	c cleaning 326991 clauses out of 654032 with flag 303221032/53946002
2695.53/2678.43	c cleaning 328017 clauses out of 656041 with flag 305036960/54275002
2713.06/2695.94	c cleaning 328992 clauses out of 658022 with flag 306873175/54605000
2729.32/2712.17	c cleaning 329982 clauses out of 660030 with flag 308710362/54936000
2748.65/2731.46	c cleaning 330996 clauses out of 662048 with flag 310587952/55268000
2769.33/2752.12	c cleaning 331998 clauses out of 664052 with flag 312500355/55601000
2787.11/2769.75	c cleaning 333003 clauses out of 666054 with flag 314378964/55935000
2807.90/2790.52	c cleaning 333970 clauses out of 668051 with flag 316250658/56270000
2827.64/2810.27	c cleaning 335008 clauses out of 670082 with flag 318104288/56606001
2845.15/2827.61	c cleaning 336009 clauses out of 672073 with flag 319969920/56943000
2862.08/2844.65	c cleaning 337006 clauses out of 674064 with flag 321794911/57281000
2879.66/2862.16	c cleaning 338007 clauses out of 676058 with flag 323673478/57620000
2896.41/2878.91	c cleaning 338993 clauses out of 678051 with flag 325554879/57960000
2914.76/2897.17	c cleaning 339957 clauses out of 680058 with flag 327414166/58301000
2931.93/2914.38	c cleaning 341017 clauses out of 682103 with flag 329294392/58643002
2951.38/2933.68	c cleaning 342016 clauses out of 684084 with flag 331149975/58986000
2970.34/2952.57	c cleaning 343008 clauses out of 686069 with flag 333057901/59330001
2988.88/2970.70	c cleaning 343937 clauses out of 688061 with flag 334925467/59675001
3007.24/2988.98	c cleaning 345016 clauses out of 690123 with flag 336836282/60021000
3025.69/3007.31	c cleaning 346042 clauses out of 692108 with flag 338752500/60368001
3045.59/3028.32	c cleaning 347026 clauses out of 694067 with flag 340674600/60716002
3064.30/3046.97	c cleaning 347966 clauses out of 696039 with flag 342591588/61065000
3085.44/3067.99	c cleaning 349002 clauses out of 698074 with flag 344481785/61415001
3105.79/3088.35	c cleaning 350000 clauses out of 700072 with flag 346392953/61766001
3126.06/3108.57	c cleaning 351014 clauses out of 702073 with flag 348336568/62118002
3147.34/3129.74	c cleaning 352014 clauses out of 704060 with flag 350228761/62471003
3166.62/3149.05	c cleaning 353011 clauses out of 706043 with flag 352138142/62825000
3189.13/3171.44	c cleaning 353988 clauses out of 708032 with flag 354141915/63180000
3208.74/3191.04	c cleaning 354988 clauses out of 710045 with flag 356055750/63536001
3230.16/3212.40	c cleaning 356003 clauses out of 712056 with flag 357957786/63893000
3252.34/3234.48	c cleaning 357001 clauses out of 714054 with flag 359891945/64251001
3272.65/3254.80	c cleaning 358002 clauses out of 716054 with flag 361849370/64610002
3294.62/3276.67	c cleaning 358989 clauses out of 718051 with flag 363776305/64970001
3315.28/3297.07	c cleaning 359978 clauses out of 720061 with flag 365796857/65331000
3336.94/3318.70	c cleaning 361002 clauses out of 722083 with flag 367778735/65693000
3359.03/3340.63	c cleaning 362018 clauses out of 724082 with flag 369811545/66056001
3383.49/3364.15	c cleaning 363017 clauses out of 726066 with flag 371858613/66420003
3402.10/3382.65	c cleaning 364003 clauses out of 728046 with flag 373820673/66785000
3422.92/3403.44	c cleaning 364971 clauses out of 730043 with flag 375859516/67151000
3444.73/3424.88	c cleaning 366014 clauses out of 732073 with flag 377924145/67518001
3469.70/3448.40	c cleaning 366973 clauses out of 734059 with flag 379943903/67886001
3490.13/3467.71	c cleaning 368037 clauses out of 736089 with flag 381952964/68255004
3511.15/3487.90	c cleaning 369012 clauses out of 738048 with flag 383931317/68625000
3532.17/3508.62	c cleaning 369996 clauses out of 740039 with flag 385943212/68996003
3557.00/3532.05	c cleaning 370987 clauses out of 742040 with flag 388001029/69368000
3583.54/3558.10	c cleaning 372009 clauses out of 744055 with flag 390055543/69741002
3600.02/3574.26	c starts		: 29177
3600.02/3574.26	c conflicts		: 70013208
3600.02/3574.26	c decisions		: 118960693
3600.02/3574.26	c propagations		: 1443813265
3600.02/3574.26	c inspects		: 44154329083
3600.02/3574.26	c shortcuts		: 0
3600.02/3574.26	c learnt literals	: 0
3600.02/3574.26	c learnt binary clauses	: 0
3600.02/3574.26	c learnt ternary clauses	: 0
3600.02/3574.26	c learnt constraints	: 70013208
3600.02/3574.26	c ignored constraints	: 0
3600.02/3574.26	c root simplifications	: 0
3600.02/3574.26	c removed literals (reason simplification)	: 116833733
3600.02/3574.26	c reason swapping (by a shorter reason)	: 0
3600.02/3574.26	c Calls to reduceDB	: 369
3600.02/3574.26	c Number of update (reduction) of LBD	: 26036689
3600.02/3574.26	c Imported unit clauses	: 0
3600.02/3574.27	c No decision after first conflict	: false
3600.02/3574.27	c number of reductions to clauses (during analyze)	: 0
3600.02/3574.27	c number of learned constraints concerned by reduction	: 0
3600.02/3574.27	c number of learning phase by resolution	: 0
3600.02/3574.27	c number of learning phase by cutting planes	: 0
3600.02/3574.27	c number of rounding to 1 operations	: 0
3600.02/3574.27	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3574.27	c number of reductions of the coefficients by power 2 	: 0
3600.02/3574.27	c number of right shift for reduction by power 2 	: 0
3600.02/3574.27	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3574.27	c number of ending skipping 	: 0
3600.02/3574.27	c number of internal skipping 	: 0
3600.02/3574.27	c number of derivation steps 	: 0
3600.02/3574.27	c number of skipped derivation steps 	: 0
3600.02/3574.27	c number of remaining unassigned 	: 0
3600.02/3574.27	c number of remaining assigned 	: 0
3600.02/3574.27	c number of falsified literals weakened from reason	: 0
3600.02/3574.27	c number of falsified literals weakened from conflict	: 0
3600.02/3574.27	c time for arithmetic operations	: 0
3600.02/3574.27	c minimum degree of deleted constraints	: null
3600.02/3574.27	c maximum degree of deleted constraints	: null
3600.02/3574.27	c number of deleted constraints	: 0
3600.02/3574.27	c speed (assignments/second)	: 404036.8798498042
3600.02/3574.27	c non guided choices	: 27896205
3600.02/3574.27	c timeout
3600.23/3574.37	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 644252
3600.23/3574.38	s UNKNOWN
3600.23/3574.38	c Total wall clock time (in seconds): 3574.008

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

solver pid=33481, runsolver pid=33465

[startup+0.100074 s]*
/proc/loadavg: 0.97 1.45 1.89 10/321 33545
/proc/meminfo: memFree=129633020/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=18930384 memory=47116 CPUtime=0.11 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 5620 0 0 0 7 4 0 0 20 0 18 0 39880628 19384713216 11779 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4732596 11779 5148 1 0 546843 0
[pid=33481/tid=33494] ppid=33465 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 4588 0 0 0 4 2 0 0 20 0 18 0 39880630 19384713216 11779 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880635 19384713216 11779 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=18930384 memory=56295059375534 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39880636 19384713216 11779 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47116 KiB

[startup+0.217866 s]*
/proc/loadavg: 0.97 1.45 1.89 10/321 33545
/proc/meminfo: memFree=129610148/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=18930384 memory=52308 CPUtime=0.28 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 6233 0 0 0 23 5 0 0 20 0 18 0 39880628 19384713216 13077 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4732596 13077 5340 1 0 547339 0
[pid=33481/tid=33494] ppid=33465 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 4965 0 0 0 14 3 0 0 20 0 18 0 39880630 19384713216 13077 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=18930384 memory=2622 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880635 19384713216 13077 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=18930384 memory=55195547730935 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39880636 19384713216 13077 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52308 KiB

[startup+0.314428 s]*
/proc/loadavg: 0.97 1.45 1.89 11/321 33545
/proc/meminfo: memFree=129589984/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=18930384 memory=58056 CPUtime=0.43 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 6652 0 0 0 38 5 0 0 20 0 18 0 39880628 19384713216 14514 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4732596 14514 5340 1 0 547693 0
[pid=33481/tid=33494] ppid=33465 vsize=18930384 memory=-6000919485574703468 CPUtime=0.25 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 5129 0 0 0 22 3 0 0 20 0 18 0 39880630 19384713216 14514 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880635 19384713216 14514 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39880636 19384713216 14514 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58056 KiB

[startup+0.700421 s]
/proc/loadavg: 0.97 1.45 1.89 13/323 33547
/proc/meminfo: memFree=129472804/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=18996948 memory=153560 CPUtime=1.13 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 8353 0 0 0 103 10 0 0 20 0 19 0 39880628 19452874752 38390 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4749237 38390 5468 1 0 548986 0
[pid=33481/tid=33494] ppid=33465 vsize=18996948 memory=18048 CPUtime=0.58 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 5319 0 0 0 51 7 0 0 20 0 19 0 39880630 19452874752 38390 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=18996948 memory=11008 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39880635 19452874752 38390 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39880636 19452874752 38390 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 153560 KiB

[startup+1.5003 s]
/proc/loadavg: 0.97 1.45 1.89 10/326 33550
/proc/meminfo: memFree=128799812/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=224612 CPUtime=2.71 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 19292 0 0 0 254 17 0 0 20 0 20 0 39880628 19521036288 56153 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 56153 5468 1 0 553925 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=3328 CPUtime=1.27 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 5811 0 0 0 118 9 0 0 20 0 20 0 39880630 19521036288 56153 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 56153 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 56153 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=14352 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 56153 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 224612 KiB

[startup+3.10547 s]
/proc/loadavg: 0.97 1.45 1.89 7/329 33553
/proc/meminfo: memFree=128105132/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=423828 CPUtime=5.82 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 24787 0 0 0 560 22 0 0 20 0 20 0 39880628 19521036288 105957 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 105957 5500 1 0 554780 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=14352 CPUtime=2.82 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 7075 0 0 0 268 14 0 0 20 0 20 0 39880630 19521036288 105957 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 105957 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 105957 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 105957 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 423828 KiB

[startup+6.30041 s]
/proc/loadavg: 1.37 1.53 1.91 5/329 33553
/proc/meminfo: memFree=127253108/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=836224 CPUtime=10.33 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 26194 0 0 0 998 35 0 0 20 0 20 0 39880628 19521036288 209056 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 209056 5532 1 0 554800 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=0 CPUtime=6 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 7528 0 0 0 574 26 0 0 20 0 20 0 39880630 19521036288 209056 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 209056 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 209056 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=233828 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 209056 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 10.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 836224 KiB

[startup+12.7005 s]
/proc/loadavg: 1.58 1.57 1.92 5/330 33554
/proc/meminfo: memFree=126302068/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=836352 CPUtime=17.28 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 26671 0 0 0 1687 41 0 0 20 0 20 0 39880628 19521036288 209088 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 209088 5532 1 0 554800 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=233828 CPUtime=12.1 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 7942 0 0 0 1179 31 0 0 20 0 20 0 39880630 19521036288 209088 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 209088 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 209088 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=14352 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 209088 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 17.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 836352 KiB

[startup+25.5005 s]
/proc/loadavg: 2.19 1.71 1.96 5/329 33555
/proc/meminfo: memFree=123551160/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=2301100 CPUtime=30.05 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 32129 0 0 0 2926 79 0 0 20 0 20 0 39880628 19521036288 575275 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 575275 5532 1 0 805450 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=11008 CPUtime=24.64 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 10636 0 0 0 2397 67 0 0 20 0 20 0 39880630 19521036288 575275 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 575275 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=1911980 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 575275 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=1481900 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 575275 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 30.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2301100 KiB

[startup+51.1101 s]
/proc/loadavg: 2.81 1.89 2.02 5/332 33558
/proc/meminfo: memFree=121511376/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=2414176 CPUtime=55.5 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 35511 0 0 0 5450 100 0 0 20 0 20 0 39880628 19521036288 603544 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 603544 5532 1 0 805463 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=2414176 CPUtime=49.28 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 12333 0 0 0 4844 84 0 0 20 0 20 0 39880630 19521036288 603544 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=2414176 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 603544 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=-6000919485574703468 CPUtime=0 cores=1,3

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

/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=18048 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 1597 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=3010872 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 3179.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3010872 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.23 4.23 5/332 33718
/proc/meminfo: memFree=89912268/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=3010872 CPUtime=3240.14 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 164644 0 0 0 322360 1654 0 0 20 0 20 0 39880628 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 752718 5532 1 0 766335 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=3010872 CPUtime=3158.39 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 84015 0 0 0 314384 1455 0 0 20 0 20 0 39880630 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=3010872 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=3010872 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 1643 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=14352 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 3240.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3010872 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.23 4.23 6/334 33737
/proc/meminfo: memFree=89390356/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=3010872 CPUtime=3300.45 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 164909 0 0 0 328366 1679 0 0 20 0 20 0 39880628 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 752718 5532 1 0 766335 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=0 CPUtime=3217.37 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 84032 0 0 0 320259 1478 0 0 20 0 20 0 39880630 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=18048 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=3010872 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 1696 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=3010872 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 3300.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3010872 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.26 4.24 5/333 33739
/proc/meminfo: memFree=88832992/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=3010872 CPUtime=3360.72 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 166313 0 0 0 334371 1701 0 0 20 0 20 0 39880628 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 752718 5532 1 0 766335 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=3010872 CPUtime=3276.07 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 85160 0 0 0 326109 1498 0 0 20 0 20 0 39880630 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=3010872 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=3010872 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 1696 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=11008 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 3360.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3010872 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.26 4.24 6/333 33741
/proc/meminfo: memFree=88314496/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=3010872 CPUtime=3421.81 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 175443 0 0 0 340454 1727 0 0 20 0 20 0 39880628 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 752718 5532 1 0 766335 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=3010872 CPUtime=3335.2 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 91580 0 0 0 331999 1521 0 0 20 0 20 0 39880630 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=3010872 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 1725 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 752718 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 3421.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3010872 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.27 4.25 5/333 33742
/proc/meminfo: memFree=88823432/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=2010876 CPUtime=3483.56 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 183944 0 0 0 346598 1758 0 0 20 0 20 0 39880628 19521036288 502719 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 502719 5532 1 0 515783 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=3010872 CPUtime=3393.79 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 97424 0 0 0 337835 1544 0 0 20 0 20 0 39880630 19521036288 502719 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=2010876 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 502719 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=2010876 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 1784 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 502719 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=2010876 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 502719 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 3483.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2010876 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.26 4.25 5/334 33745
/proc/meminfo: memFree=88606924/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=1713380 CPUtime=3546.59 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 185604 0 0 0 352867 1792 0 0 20 0 20 0 39880628 19521036288 428345 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 428345 5532 1 0 441350 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=2010876 CPUtime=3452.59 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 99011 0 0 0 343691 1568 0 0 20 0 20 0 39880630 19521036288 428345 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=2010876 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 428345 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=2010876 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 1784 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 428345 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=1713380 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 428345 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 3546.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1713380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3574.2 s]
/proc/loadavg: 3.87 4.17 4.22 5/307 33782
/proc/meminfo: memFree=106151456/131382116 swapFree=33010684/33010684
[pid=33481] ppid=33465 vsize=19063512 memory=1905228 CPUtime=3600.02 cores=1,3
/proc/33481/stat : 33481 (java) S 33465 33481 33405 0 -1 4194304 192179 0 0 0 358178 1824 0 0 20 0 20 0 39880628 19521036288 476307 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
/proc/33481/statm: 4765878 476307 5532 1 0 489374 0
[pid=33481/tid=33494] ppid=33465 vsize=19063512 memory=9244 CPUtime=3502.92 cores=1,3
/proc/33481/task/33494/stat : 33494 (java) R 33465 33481 33405 0 -1 4194368 102244 0 0 0 348697 1595 0 0 20 0 20 0 39880630 19521036288 476307 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33538] ppid=33465 vsize=19063512 memory=6784 CPUtime=0 cores=1,3
/proc/33481/task/33538/stat : 33538 (Finalizer) S 33465 33481 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 476307 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33545] ppid=33465 vsize=19063512 memory=2228 CPUtime=0 cores=1,3
/proc/33481/task/33545/stat : 33545 (Common-Cleaner) S 33465 33481 33405 0 -1 4194368 1905 0 0 0 0 0 0 0 20 0 20 0 39880636 19521036288 476307 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
[pid=33481/tid=33550] ppid=33465 vsize=19063512 memory=2688 CPUtime=0 cores=1,3
/proc/33481/task/33550/stat : 33550 (Timer-0) S 33465 33481 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880708 19521036288 476307 18446744073709551615 94886909366272 94886909369968 140733772225072 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94886909377784 94886909378576 94886936928256 140733772233008 140733772233190 140733772233190 140733772238792 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1905228 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.1 s, system=18.2922 s

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

[startup+3574.4 s]*
/proc/loadavg: 4.12 4.22 4.23 4/289 33785
/proc/meminfo: memFree=107966508/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3574.43
CPU time (s): 3600.4
CPU user time (s): 3582.1
CPU system time (s): 18.2922
CPU usage (%): 100.726
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3197884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.1
system time used= 18.2922
maximum resident set size= 3198140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28421600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127386
involuntary context switches= 32855


# summary of solver processes directly reported to runsolver:
#   pid: 33481
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3582.1
#   total CPU system time (s): 18.2922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4066 second user time and 37.138 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 0934d7cef3e2008f3f8157a455916830
RANDOM SEED=242914678

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

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

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

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

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

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

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

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

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

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


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

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