Trace number 4509797

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.62 3597.61

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM2ca6c56c39551016f0346c5d85471318
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables276
Total number of constraints736
Number of constraints which are clauses736
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.15	c See www.sat4j.org for details.
0.13/0.16	c version PB25.v20250606
0.13/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.19	c java.vm.version	22.0.1+8-16
0.13/0.19	c java.vm.vendor	Oracle Corporation
0.13/0.19	c sun.arch.data.model	64
0.13/0.19	c java.version		22.0.1
0.13/0.19	c os.name		Linux
0.13/0.19	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.13/0.19	c os.arch		amd64
0.13/0.20	c Free memory 		2104792832
0.13/0.20	c Max memory 		16282288128
0.13/0.20	c Total memory 		2113929216
0.13/0.20	c Number of processors 	2
0.31/0.29	c Pseudo Boolean Optimization by upper bound
0.31/0.29	c --- Begin Solver configuration ---
0.31/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.31/0.29	c Learn all clauses as in MiniSAT
0.31/0.29	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.29	c Expensive reason simplification
0.31/0.29	c Glucose 2.1 dynamic restart strategy
0.31/0.29	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.31/0.29	c timeout=2147483s
0.31/0.29	c DB Simplification allowed=false
0.31/0.29	c Listener: none
0.31/0.29	c --- End Solver configuration ---
0.31/0.29	c solving HOME/instance-4509797-1751194227.opb
0.31/0.29	c reading problem ... 
0.31/0.29	c using VERIPB proof format
0.31/0.30	c  no objective function found
0.50/0.40	c ... done. Wall clock time 0.109s.
0.50/0.41	c declared #vars     276
0.50/0.41	c #constraints  736
0.50/0.41	c constraints type 
0.50/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 736
0.50/0.41	c 736 constraints processed.
2.17/1.21	c cleaning 2497 clauses out of 5000 with flag 21202/5000
2.77/1.59	c cleaning 4246 clauses out of 8503 with flag 48393/11000
3.56/1.97	c cleaning 5624 clauses out of 11257 with flag 85371/18000
4.16/2.23	c cleaning 6812 clauses out of 13633 with flag 127102/26000
4.74/2.51	c cleaning 7904 clauses out of 15821 with flag 173046/35000
5.15/2.77	c cleaning 8956 clauses out of 17917 with flag 226211/45000
5.74/3.08	c cleaning 9976 clauses out of 19962 with flag 286400/56001
6.33/3.36	c cleaning 10988 clauses out of 21986 with flag 349790/68001
6.86/3.70	c cleaning 11993 clauses out of 23998 with flag 415758/81001
7.26/4.18	c cleaning 12996 clauses out of 26004 with flag 486144/95000
8.18/5.01	c cleaning 13998 clauses out of 28009 with flag 560893/110001
8.78/5.62	c cleaning 15001 clauses out of 30010 with flag 645516/126000
9.72/6.54	c cleaning 16001 clauses out of 32009 with flag 729579/143000
10.41/7.29	c cleaning 16995 clauses out of 34009 with flag 815912/161001
11.01/7.84	c cleaning 18002 clauses out of 36013 with flag 927969/180000
11.51/8.38	c cleaning 18997 clauses out of 38012 with flag 1035748/200001
12.22/9.06	c cleaning 20001 clauses out of 40014 with flag 1151902/221000
12.90/9.76	c cleaning 20999 clauses out of 42014 with flag 1275825/243001
13.70/10.51	c cleaning 22000 clauses out of 44014 with flag 1409860/266000
14.40/11.25	c cleaning 23002 clauses out of 46015 with flag 1541712/290001
15.10/11.97	c cleaning 24000 clauses out of 48012 with flag 1663319/315000
15.90/12.70	c cleaning 25002 clauses out of 50012 with flag 1783953/341000
16.69/13.52	c cleaning 25995 clauses out of 52011 with flag 1927622/368001
17.40/14.22	c cleaning 27003 clauses out of 54015 with flag 2064624/396000
18.10/14.98	c cleaning 27998 clauses out of 56012 with flag 2205410/425000
19.20/16.09	c cleaning 29005 clauses out of 58016 with flag 2334059/455002
20.20/17.09	c cleaning 29994 clauses out of 60010 with flag 2485154/486001
21.38/18.22	c cleaning 30999 clauses out of 62016 with flag 2659333/518001
22.58/19.45	c cleaning 31999 clauses out of 64016 with flag 2840409/551000
23.67/20.55	c cleaning 33005 clauses out of 66018 with flag 3014584/585001
24.88/21.75	c cleaning 34003 clauses out of 68013 with flag 3193489/620001
26.07/22.93	c cleaning 35000 clauses out of 70010 with flag 3373169/656001
27.38/24.29	c cleaning 35998 clauses out of 72009 with flag 3549683/693000
28.68/25.55	c cleaning 37000 clauses out of 74011 with flag 3743814/731000
29.97/26.84	c cleaning 37998 clauses out of 76011 with flag 3941676/770000
31.29/28.15	c cleaning 39001 clauses out of 78013 with flag 4139425/810000
32.69/29.55	c cleaning 40001 clauses out of 80013 with flag 4351004/851001
34.09/30.93	c cleaning 41001 clauses out of 82011 with flag 4575745/893000
35.30/32.15	c cleaning 41999 clauses out of 84011 with flag 4792944/936001
36.69/33.51	c cleaning 42999 clauses out of 86011 with flag 4998227/980000
37.88/34.79	c cleaning 44004 clauses out of 88013 with flag 5231093/1025001
39.19/36.10	c cleaning 45000 clauses out of 90009 with flag 5476053/1071001
40.80/37.67	c cleaning 45999 clauses out of 92009 with flag 5709110/1118001
42.39/39.28	c cleaning 46999 clauses out of 94009 with flag 5952586/1166000
44.59/41.41	c cleaning 47996 clauses out of 96011 with flag 6208425/1215001
46.29/43.15	c cleaning 48995 clauses out of 98014 with flag 6461981/1265000
47.88/44.76	c cleaning 50003 clauses out of 100019 with flag 6734231/1316000
50.66/47.51	c cleaning 50997 clauses out of 102016 with flag 7021956/1368000
52.28/49.18	c cleaning 52001 clauses out of 104020 with flag 7298330/1421001
54.08/50.99	c cleaning 53003 clauses out of 106018 with flag 7573404/1475000
55.76/52.66	c cleaning 54001 clauses out of 108015 with flag 7847084/1530000
57.59/54.44	c cleaning 55002 clauses out of 110014 with flag 8114753/1586000
59.48/56.38	c cleaning 56001 clauses out of 112013 with flag 8400020/1643001
61.89/58.71	c cleaning 56999 clauses out of 114012 with flag 8688145/1701001
64.19/61.07	c cleaning 57999 clauses out of 116012 with flag 8987842/1760000
66.28/63.20	c cleaning 59000 clauses out of 118014 with flag 9296961/1820001
68.46/65.36	c cleaning 59999 clauses out of 120014 with flag 9599220/1881001
70.89/67.71	c cleaning 60999 clauses out of 122014 with flag 9911126/1943000
73.08/69.95	c cleaning 62002 clauses out of 124015 with flag 10215284/2006000
76.07/72.94	c cleaning 62996 clauses out of 126013 with flag 10539606/2070000
78.28/75.17	c cleaning 64007 clauses out of 128017 with flag 10858990/2135000
80.66/77.51	c cleaning 64997 clauses out of 130011 with flag 11175813/2201001
83.05/79.90	c cleaning 65999 clauses out of 132014 with flag 11515928/2268001
86.63/83.54	c cleaning 67002 clauses out of 134015 with flag 11857438/2336001
89.52/86.45	c cleaning 68000 clauses out of 136012 with flag 12199712/2405000
93.04/89.94	c cleaning 68999 clauses out of 138012 with flag 12542776/2475000
95.83/92.78	c cleaning 70000 clauses out of 140014 with flag 12918008/2546001
98.63/95.58	c cleaning 70999 clauses out of 142014 with flag 13276940/2618001
101.24/98.13	c cleaning 72003 clauses out of 144015 with flag 13632175/2691001
104.37/101.21	c cleaning 73000 clauses out of 146011 with flag 13996125/2765000
108.27/105.14	c cleaning 73997 clauses out of 148012 with flag 14381079/2840001
112.49/109.31	c cleaning 75002 clauses out of 150014 with flag 14749631/2916000
115.19/112.03	c cleaning 76000 clauses out of 152012 with flag 15106693/2993000
118.72/115.55	c cleaning 76998 clauses out of 154013 with flag 15496275/3071001
122.69/119.43	c cleaning 78002 clauses out of 156015 with flag 15907382/3150001
125.48/122.29	c cleaning 78999 clauses out of 158012 with flag 16279065/3230000
129.45/126.11	c cleaning 80000 clauses out of 160013 with flag 16663958/3311000
133.68/130.68	c cleaning 81000 clauses out of 162013 with flag 17068294/3393000
137.25/134.12	c cleaning 81998 clauses out of 164014 with flag 17466710/3476001
141.43/138.39	c cleaning 82999 clauses out of 166015 with flag 17893766/3560000
146.50/143.30	c cleaning 84001 clauses out of 168017 with flag 18285969/3645001
150.87/147.68	c cleaning 84996 clauses out of 170016 with flag 18708930/3731001
154.38/151.15	c cleaning 86006 clauses out of 172019 with flag 19121392/3818000
158.36/155.05	c cleaning 87000 clauses out of 174013 with flag 19566596/3906000
164.08/160.93	c cleaning 87998 clauses out of 176013 with flag 19986676/3995000
167.77/164.65	c cleaning 89003 clauses out of 178015 with flag 20412304/4085000
172.04/168.87	c cleaning 90000 clauses out of 180014 with flag 20862646/4176002
176.23/172.93	c cleaning 91001 clauses out of 182012 with flag 21311229/4268000
180.92/177.67	c cleaning 91995 clauses out of 184012 with flag 21776210/4361001
185.40/182.03	c cleaning 93004 clauses out of 186017 with flag 22234406/4455001
189.65/186.25	c cleaning 93999 clauses out of 188013 with flag 22699278/4550001
194.44/191.28	c cleaning 95005 clauses out of 190013 with flag 23157082/4646000
200.70/197.44	c cleaning 95999 clauses out of 192009 with flag 23637147/4743001
207.06/203.72	c cleaning 96998 clauses out of 194010 with flag 24108399/4841001
211.55/208.29	c cleaning 98000 clauses out of 196011 with flag 24581204/4940000
216.44/213.03	c cleaning 98997 clauses out of 198011 with flag 25035064/5040000
224.53/221.20	c cleaning 100000 clauses out of 200015 with flag 25497179/5141001
230.05/226.62	c cleaning 101000 clauses out of 202015 with flag 25978636/5243001
234.94/231.57	c cleaning 101999 clauses out of 204014 with flag 26487366/5346000
240.51/237.05	c cleaning 103002 clauses out of 206015 with flag 26980785/5450000
245.45/241.94	c cleaning 103997 clauses out of 208013 with flag 27530202/5555000
250.30/246.77	c cleaning 104999 clauses out of 210016 with flag 28061349/5661000
254.88/251.51	c cleaning 105997 clauses out of 212018 with flag 28601429/5768001
260.01/256.60	c cleaning 107001 clauses out of 214020 with flag 29121788/5876000
267.03/263.60	c cleaning 107999 clauses out of 216020 with flag 29657379/5985001
273.85/270.45	c cleaning 109005 clauses out of 218020 with flag 30206743/6095000
280.23/276.83	c cleaning 110000 clauses out of 220015 with flag 30739025/6206000
285.52/282.24	c cleaning 111001 clauses out of 222016 with flag 31290698/6318001
291.07/287.78	c cleaning 112001 clauses out of 224015 with flag 31850562/6431001
298.13/294.73	c cleaning 113003 clauses out of 226014 with flag 32377747/6545001
302.91/299.47	c cleaning 113995 clauses out of 228010 with flag 32942967/6660000
308.69/305.17	c cleaning 114998 clauses out of 230015 with flag 33508999/6776000
315.86/312.56	c cleaning 115999 clauses out of 232018 with flag 34087785/6893001
323.51/320.11	c cleaning 116997 clauses out of 234018 with flag 34685353/7011000
330.14/326.79	c cleaning 118001 clauses out of 236022 with flag 35250782/7130001
336.01/332.58	c cleaning 119005 clauses out of 238020 with flag 35853301/7250000
345.41/342.02	c cleaning 120004 clauses out of 240015 with flag 36509394/7371000
353.49/350.02	c cleaning 120990 clauses out of 242012 with flag 37120082/7493001
362.25/358.71	c cleaning 122006 clauses out of 244021 with flag 37715534/7616000
369.12/365.56	c cleaning 123002 clauses out of 246016 with flag 38308184/7740001
376.21/372.89	c cleaning 123999 clauses out of 248013 with flag 38932985/7865000
384.45/381.01	c cleaning 125002 clauses out of 250014 with flag 39538051/7991000
391.60/388.14	c cleaning 126003 clauses out of 252013 with flag 40165221/8118001
399.63/396.13	c cleaning 126998 clauses out of 254009 with flag 40798545/8246000
406.17/402.68	c cleaning 127999 clauses out of 256011 with flag 41420494/8375000
413.21/409.84	c cleaning 129000 clauses out of 258013 with flag 42044796/8505001
420.29/416.85	c cleaning 130000 clauses out of 260013 with flag 42663210/8636001
427.17/423.62	c cleaning 130996 clauses out of 262012 with flag 43282738/8768000
434.33/430.70	c cleaning 131997 clauses out of 264018 with flag 43935060/8901002
442.06/438.66	c cleaning 133003 clauses out of 266020 with flag 44576969/9035001
449.93/446.41	c cleaning 134002 clauses out of 268016 with flag 45228462/9170000
457.49/453.95	c cleaning 134997 clauses out of 270014 with flag 45899809/9306000
467.75/464.12	c cleaning 136001 clauses out of 272017 with flag 46621154/9443000
476.67/473.17	c cleaning 136998 clauses out of 274016 with flag 47270249/9581000
485.53/481.99	c cleaning 138003 clauses out of 276019 with flag 47904272/9720001
493.20/489.51	c cleaning 139001 clauses out of 278018 with flag 48576191/9860003
502.07/498.59	c cleaning 139997 clauses out of 280015 with flag 49275868/10001001
510.89/507.32	c cleaning 141001 clauses out of 282017 with flag 49941715/10143000
518.23/514.66	c cleaning 142001 clauses out of 284016 with flag 50623216/10286000
532.65/529.23	c cleaning 143002 clauses out of 286017 with flag 51319902/10430002
542.20/538.73	c cleaning 143996 clauses out of 288014 with flag 52013060/10575001
549.36/545.83	c cleaning 145002 clauses out of 290017 with flag 52697213/10721000
557.43/553.73	c cleaning 146000 clauses out of 292016 with flag 53392013/10868001
566.51/562.95	c cleaning 147000 clauses out of 294015 with flag 54127807/11016000
575.75/572.18	c cleaning 147999 clauses out of 296015 with flag 54843129/11165000
583.45/579.82	c cleaning 149000 clauses out of 298017 with flag 55551701/11315001
593.71/590.20	c cleaning 150001 clauses out of 300016 with flag 56219200/11466000
602.69/599.12	c cleaning 150996 clauses out of 302015 with flag 56929020/11618000
611.94/608.36	c cleaning 152004 clauses out of 304019 with flag 57632583/11771000
623.40/619.98	c cleaning 153002 clauses out of 306016 with flag 58358430/11925001
636.73/633.20	c cleaning 154001 clauses out of 308013 with flag 59214582/12080000
646.96/643.33	c cleaning 155000 clauses out of 310012 with flag 59971757/12236000
656.81/653.29	c cleaning 155999 clauses out of 312012 with flag 60720460/12393000
667.66/664.05	c cleaning 157001 clauses out of 314014 with flag 61580086/12551001
675.62/671.96	c cleaning 157996 clauses out of 316013 with flag 62386282/12710001
684.49/680.91	c cleaning 158995 clauses out of 318016 with flag 63168193/12870000
694.23/690.39	c cleaning 159999 clauses out of 320022 with flag 63901989/13031001
703.35/699.40	c cleaning 161004 clauses out of 322022 with flag 64666192/13193000
715.89/712.15	c cleaning 162002 clauses out of 324018 with flag 65374385/13356000
727.29/723.55	c cleaning 162996 clauses out of 326016 with flag 66121964/13520000
738.93/735.16	c cleaning 164003 clauses out of 328020 with flag 66903202/13685000
748.80/745.03	c cleaning 165002 clauses out of 330017 with flag 67715040/13851000
759.45/755.62	c cleaning 166000 clauses out of 332015 with flag 68507402/14018000
769.27/765.44	c cleaning 166997 clauses out of 334016 with flag 69347564/14186001
778.63/774.99	c cleaning 168000 clauses out of 336018 with flag 70167208/14355000
788.15/784.49	c cleaning 168998 clauses out of 338019 with flag 70938616/14525001
798.10/794.35	c cleaning 170006 clauses out of 340020 with flag 71778758/14696000
808.56/804.86	c cleaning 171002 clauses out of 342015 with flag 72621339/14868001
823.87/820.19	c cleaning 171994 clauses out of 344013 with flag 73442822/15041001
835.09/831.33	c cleaning 173008 clauses out of 346019 with flag 74260435/15215001
847.49/843.84	c cleaning 173997 clauses out of 348010 with flag 75095708/15390000
857.65/854.00	c cleaning 175002 clauses out of 350013 with flag 75926568/15566000
868.42/864.86	c cleaning 176000 clauses out of 352012 with flag 76768045/15743001
879.45/875.86	c cleaning 176998 clauses out of 354011 with flag 77649458/15921000
890.38/886.77	c cleaning 178000 clauses out of 356013 with flag 78503676/16100000
901.94/898.48	c cleaning 179001 clauses out of 358014 with flag 79310984/16280001
914.79/911.25	c cleaning 179998 clauses out of 360013 with flag 80162853/16461001
927.20/923.61	c cleaning 181001 clauses out of 362015 with flag 81049006/16643001
939.56/936.11	c cleaning 181994 clauses out of 364013 with flag 81876608/16826000
952.84/949.35	c cleaning 183002 clauses out of 366019 with flag 82767035/17010000
963.52/960.14	c cleaning 184003 clauses out of 368018 with flag 83660538/17195001
982.92/979.50	c cleaning 185002 clauses out of 370015 with flag 84538739/17381001
995.24/991.80	c cleaning 186002 clauses out of 372013 with flag 85441503/17568001
1007.88/1004.46	c cleaning 186999 clauses out of 374010 with flag 86317457/17756000
1019.22/1015.79	c cleaning 188001 clauses out of 376011 with flag 87211793/17945000
1031.64/1028.25	c cleaning 188998 clauses out of 378010 with flag 88119295/18135000
1045.40/1041.95	c cleaning 189997 clauses out of 380012 with flag 89054624/18326000
1059.55/1056.26	c cleaning 191001 clauses out of 382015 with flag 89952995/18518000
1072.14/1068.72	c cleaning 191997 clauses out of 384014 with flag 90856832/18711000
1082.86/1079.59	c cleaning 192999 clauses out of 386018 with flag 91735727/18905001
1094.89/1091.51	c cleaning 193999 clauses out of 388019 with flag 92668135/19100001
1108.46/1105.09	c cleaning 195006 clauses out of 390019 with flag 93545093/19296000
1124.34/1121.11	c cleaning 195998 clauses out of 392014 with flag 94522050/19493001
1138.02/1134.57	c cleaning 197000 clauses out of 394015 with flag 95485568/19691000
1149.35/1145.99	c cleaning 197998 clauses out of 396016 with flag 96413716/19890001
1161.57/1158.01	c cleaning 199000 clauses out of 398018 with flag 97395606/20090001
1173.88/1170.34	c cleaning 200003 clauses out of 400018 with flag 98347496/20291001
1189.30/1185.95	c cleaning 200998 clauses out of 402014 with flag 99262751/20493000
1201.63/1198.14	c cleaning 202003 clauses out of 404017 with flag 100226033/20696001
1218.40/1215.03	c cleaning 202996 clauses out of 406014 with flag 101241772/20900001
1230.56/1227.17	c cleaning 203999 clauses out of 408017 with flag 102239944/21105000
1243.29/1240.03	c cleaning 205002 clauses out of 410018 with flag 103261224/21311000
1255.86/1252.59	c cleaning 206001 clauses out of 412016 with flag 104252295/21518000
1269.05/1265.85	c cleaning 207001 clauses out of 414015 with flag 105229095/21726000
1283.31/1280.03	c cleaning 208002 clauses out of 416015 with flag 106267435/21935001
1294.24/1290.90	c cleaning 208998 clauses out of 418013 with flag 107246599/22145001
1307.58/1304.42	c cleaning 209998 clauses out of 420015 with flag 108278543/22356001
1322.89/1319.76	c cleaning 211001 clauses out of 422016 with flag 109336895/22568000
1339.11/1336.12	c cleaning 212000 clauses out of 424015 with flag 110342736/22781000
1352.89/1349.80	c cleaning 212996 clauses out of 426016 with flag 111323574/22995001
1365.08/1362.27	c cleaning 214003 clauses out of 428019 with flag 112325558/23210000
1378.53/1375.60	c cleaning 215000 clauses out of 430016 with flag 113460694/23426000
1392.23/1389.56	c cleaning 216002 clauses out of 432016 with flag 114499247/23643000
1405.15/1402.41	c cleaning 217000 clauses out of 434015 with flag 115506164/23861001
1423.91/1421.48	c cleaning 218000 clauses out of 436016 with flag 116581547/24080002
1437.22/1434.61	c cleaning 218997 clauses out of 438014 with flag 117647620/24300000
1451.54/1449.17	c cleaning 219998 clauses out of 440017 with flag 118793519/24521000
1474.72/1472.22	c cleaning 221001 clauses out of 442019 with flag 119843639/24743000
1490.82/1488.47	c cleaning 222003 clauses out of 444019 with flag 120866221/24966001
1505.55/1503.08	c cleaning 223003 clauses out of 446016 with flag 121971810/25190001
1521.09/1518.71	c cleaning 224001 clauses out of 448013 with flag 123082519/25415001
1534.37/1531.93	c cleaning 224997 clauses out of 450012 with flag 124147160/25641001
1549.69/1547.40	c cleaning 226001 clauses out of 452014 with flag 125236272/25868000
1566.24/1563.92	c cleaning 227000 clauses out of 454013 with flag 126300048/26096000
1583.98/1581.06	c cleaning 227997 clauses out of 456014 with flag 127397886/26325001
1598.66/1595.68	c cleaning 229003 clauses out of 458017 with flag 128451868/26555001
1614.16/1611.12	c cleaning 229996 clauses out of 460013 with flag 129587074/26786000
1630.56/1627.52	c cleaning 231001 clauses out of 462018 with flag 130627985/27018001
1646.66/1643.86	c cleaning 232004 clauses out of 464016 with flag 131674908/27251000
1662.45/1659.53	c cleaning 233002 clauses out of 466012 with flag 132785643/27485000
1678.76/1676.04	c cleaning 233999 clauses out of 468011 with flag 133936156/27720001
1697.63/1695.06	c cleaning 235001 clauses out of 470012 with flag 135102547/27956001
1715.96/1713.19	c cleaning 235998 clauses out of 472011 with flag 136268435/28193001
1734.20/1731.56	c cleaning 237000 clauses out of 474013 with flag 137388059/28431001
1749.86/1747.16	c cleaning 237997 clauses out of 476013 with flag 138499789/28670001
1764.82/1762.29	c cleaning 238999 clauses out of 478016 with flag 139676014/28910001
1780.84/1778.29	c cleaning 240003 clauses out of 480017 with flag 140833139/29151001
1799.76/1797.22	c cleaning 241000 clauses out of 482013 with flag 141951161/29393000
1822.43/1819.99	c cleaning 242001 clauses out of 484013 with flag 143106966/29636000
1839.16/1836.66	c cleaning 243000 clauses out of 486012 with flag 144268265/29880000
1855.49/1853.19	c cleaning 243998 clauses out of 488012 with flag 145416678/30125000
1872.33/1870.00	c cleaning 244999 clauses out of 490014 with flag 146570630/30371000
1895.22/1892.99	c cleaning 246001 clauses out of 492016 with flag 147768730/30618001
1913.90/1911.89	c cleaning 246999 clauses out of 494014 with flag 148958441/30866000
1932.75/1930.66	c cleaning 248001 clauses out of 496016 with flag 150132854/31115001
1948.65/1946.75	c cleaning 248999 clauses out of 498014 with flag 151278119/31365000
1966.91/1964.95	c cleaning 249996 clauses out of 500015 with flag 152375979/31616000
1994.20/1992.32	c cleaning 251004 clauses out of 502020 with flag 153375114/31868001
2012.50/2010.78	c cleaning 252000 clauses out of 504016 with flag 154562581/32121001
2030.48/2028.64	c cleaning 253001 clauses out of 506016 with flag 155764186/32375001
2050.75/2049.04	c cleaning 254002 clauses out of 508015 with flag 157009479/32630001
2067.98/2066.34	c cleaning 255001 clauses out of 510012 with flag 158204129/32886000
2089.45/2087.79	c cleaning 256003 clauses out of 512012 with flag 159431026/33143001
2108.12/2106.51	c cleaning 256998 clauses out of 514009 with flag 160631364/33401001
2126.17/2124.75	c cleaning 257994 clauses out of 516010 with flag 161831350/33660000
2143.78/2142.37	c cleaning 259003 clauses out of 518016 with flag 163027118/33920000
2163.20/2161.74	c cleaning 259999 clauses out of 520013 with flag 164271636/34181000
2181.08/2179.51	c cleaning 260996 clauses out of 522015 with flag 165421669/34443001
2206.87/2205.65	c cleaning 262002 clauses out of 524019 with flag 166646874/34706001
2229.78/2228.50	c cleaning 263002 clauses out of 526016 with flag 167923133/34970000
2255.75/2254.36	c cleaning 263998 clauses out of 528014 with flag 169227173/35235000
2276.20/2274.60	c cleaning 265000 clauses out of 530017 with flag 170519113/35501001
2302.57/2301.14	c cleaning 266002 clauses out of 532016 with flag 171831175/35768000
2323.30/2321.92	c cleaning 266999 clauses out of 534014 with flag 173122810/36036000
2348.15/2346.84	c cleaning 268000 clauses out of 536016 with flag 174416904/36305001
2368.12/2366.74	c cleaning 268998 clauses out of 538016 with flag 175745634/36575001
2396.03/2394.75	c cleaning 269997 clauses out of 540017 with flag 177164654/36846000
2412.94/2411.67	c cleaning 271003 clauses out of 542020 with flag 178508373/37118000
2433.04/2431.73	c cleaning 272000 clauses out of 544017 with flag 179830455/37391000
2453.57/2452.22	c cleaning 272994 clauses out of 546018 with flag 181216597/37665001
2474.25/2472.95	c cleaning 274003 clauses out of 548024 with flag 182466037/37940001
2501.70/2500.41	c cleaning 275001 clauses out of 550022 with flag 183763481/38216002
2535.64/2534.39	c cleaning 275997 clauses out of 552019 with flag 185065218/38493000
2598.83/2597.82	c cleaning 277006 clauses out of 554024 with flag 186340916/38771002
2626.49/2625.38	c cleaning 278002 clauses out of 556016 with flag 187617255/39050000
2648.22/2647.07	c cleaning 278998 clauses out of 558014 with flag 188907066/39330000
2673.36/2672.08	c cleaning 279998 clauses out of 560016 with flag 190210763/39611000
2694.65/2692.61	c cleaning 281001 clauses out of 562018 with flag 191513045/39893000
2718.20/2716.21	c cleaning 282002 clauses out of 564018 with flag 192884119/40176001
2743.69/2741.89	c cleaning 283002 clauses out of 566017 with flag 194198868/40460002
2763.04/2761.18	c cleaning 283999 clauses out of 568013 with flag 195507559/40745000
2784.77/2783.29	c cleaning 285002 clauses out of 570014 with flag 196854981/41031000
2809.74/2808.28	c cleaning 285998 clauses out of 572012 with flag 198200209/41318000
2830.86/2829.34	c cleaning 286998 clauses out of 574014 with flag 199581275/41606000
2854.79/2853.37	c cleaning 288000 clauses out of 576017 with flag 200835481/41895001
2883.42/2881.97	c cleaning 289000 clauses out of 578017 with flag 202259134/42185001
2905.85/2904.46	c cleaning 290000 clauses out of 580017 with flag 203685489/42476001
2941.08/2939.75	c cleaning 290997 clauses out of 582017 with flag 205241009/42768001
2965.57/2964.06	c cleaning 292002 clauses out of 584020 with flag 206711078/43061001
2990.28/2988.70	c cleaning 293001 clauses out of 586018 with flag 208138486/43355001
3017.82/3016.22	c cleaning 293995 clauses out of 588017 with flag 209600068/43650001
3038.91/3037.18	c cleaning 295005 clauses out of 590021 with flag 211002138/43946000
3067.65/3065.95	c cleaning 296000 clauses out of 592018 with flag 212399600/44243002
3099.41/3097.55	c cleaning 296997 clauses out of 594016 with flag 213736695/44541000
3133.34/3131.48	c cleaning 298000 clauses out of 596019 with flag 215128498/44840000
3162.91/3161.00	c cleaning 298997 clauses out of 598019 with flag 216617789/45140000
3193.42/3191.33	c cleaning 300002 clauses out of 600023 with flag 218177244/45441001
3221.25/3219.77	c cleaning 301000 clauses out of 602020 with flag 219741145/45743000
3252.12/3249.55	c cleaning 302003 clauses out of 604021 with flag 221285581/46046001
3281.11/3278.59	c cleaning 303001 clauses out of 606018 with flag 222852202/46350001
3312.72/3310.03	c cleaning 303997 clauses out of 608016 with flag 224419385/46655000
3348.23/3345.45	c cleaning 305003 clauses out of 610019 with flag 225999904/46961000
3377.79/3374.94	c cleaning 305999 clauses out of 612016 with flag 227576015/47268000
3411.38/3408.44	c cleaning 306995 clauses out of 614017 with flag 229158233/47576000
3440.94/3437.94	c cleaning 308002 clauses out of 616023 with flag 230764720/47885001
3473.50/3470.56	c cleaning 308996 clauses out of 618020 with flag 232368804/48195000
3506.90/3504.09	c cleaning 310001 clauses out of 620024 with flag 233980418/48506000
3538.60/3535.82	c cleaning 310997 clauses out of 622023 with flag 235577725/48818000
3572.87/3570.18	c cleaning 312000 clauses out of 624026 with flag 237196071/49131000
3600.00/3597.24	c starts		: 34848
3600.00/3597.26	c conflicts		: 49445000
3600.00/3597.27	c decisions		: 62967251
3600.00/3597.27	c propagations		: 418290633
3600.00/3597.27	c inspects		: 29259854542
3600.00/3597.27	c shortcuts		: 0
3600.00/3597.27	c learnt literals	: 0
3600.00/3597.27	c learnt binary clauses	: 0
3600.00/3597.27	c learnt ternary clauses	: 0
3600.00/3597.27	c learnt constraints	: 49445000
3600.00/3597.27	c ignored constraints	: 0
3600.00/3597.27	c root simplifications	: 0
3600.00/3597.27	c removed literals (reason simplification)	: 41634831
3600.00/3597.27	c reason swapping (by a shorter reason)	: 0
3600.00/3597.27	c Calls to reduceDB	: 310
3600.00/3597.28	c Number of update (reduction) of LBD	: 5750951
3600.00/3597.28	c Imported unit clauses	: 0
3600.00/3597.28	c No decision after first conflict	: false
3600.00/3597.28	c number of reductions to clauses (during analyze)	: 0
3600.00/3597.28	c number of learned constraints concerned by reduction	: 0
3600.00/3597.28	c number of learning phase by resolution	: 0
3600.00/3597.28	c number of learning phase by cutting planes	: 0
3600.00/3597.28	c number of rounding to 1 operations	: 0
3600.00/3597.28	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3597.28	c number of reductions of the coefficients by power 2 	: 0
3600.00/3597.28	c number of right shift for reduction by power 2 	: 0
3600.00/3597.28	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3597.28	c number of ending skipping 	: 0
3600.00/3597.28	c number of internal skipping 	: 0
3600.00/3597.30	c number of derivation steps 	: 0
3600.00/3597.30	c number of skipped derivation steps 	: 0
3600.00/3597.30	c number of remaining unassigned 	: 0
3600.00/3597.30	c number of remaining assigned 	: 0
3600.00/3597.30	c number of falsified literals weakened from reason	: 0
3600.00/3597.30	c number of falsified literals weakened from conflict	: 0
3600.00/3597.30	c time for arithmetic operations	: 0
3600.00/3597.30	c minimum degree of deleted constraints	: null
3600.00/3597.30	c maximum degree of deleted constraints	: null
3600.00/3597.30	c number of deleted constraints	: 0
3600.00/3597.30	c speed (assignments/second)	: 116292.72644018686
3600.00/3597.30	c non guided choices	: 78780
3600.39/3597.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 626026
3600.39/3597.48	s UNKNOWN
3600.39/3597.49	c Total wall clock time (in seconds): 3597.196

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: 63794 MiB (61883 MiB free)
  memory of node 1: 64507 MiB (59251 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10007 s]*
/proc/loadavg: 4.15 3.51 3.76 7/330 24133
/proc/meminfo: memFree=124008704/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=18930384 memory=48428 CPUtime=0.13 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 5818 0 0 0 11 2 0 0 20 0 18 0 35102092 19384713216 12107 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4732596 12107 5297 1 0 547010 0
[pid=24115/tid=24117] ppid=24112 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 4714 0 0 0 7 1 0 0 20 0 18 0 35102093 19384713216 12107 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35102098 19384713216 12107 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=18930384 memory=58494082626307 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35102099 19384713216 12107 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48428 KiB

[startup+0.218605 s]*
/proc/loadavg: 4.15 3.51 3.76 6/330 24133
/proc/meminfo: memFree=124008464/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=18930384 memory=57616 CPUtime=0.31 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 6576 0 0 0 28 3 0 0 20 0 18 0 35102092 19384713216 14404 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4732596 14404 5329 1 0 547622 0
[pid=24115/tid=24117] ppid=24112 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 5089 0 0 0 17 2 0 0 20 0 18 0 35102093 19384713216 14404 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=18930384 memory=12896 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35102098 19384713216 14404 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35102099 19384713216 14404 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57616 KiB

[startup+0.314327 s]*
/proc/loadavg: 4.15 3.51 3.76 7/330 24133
/proc/meminfo: memFree=124004368/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=18930384 memory=59152 CPUtime=0.5 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 6853 0 0 0 46 4 0 0 20 0 18 0 35102092 19384713216 14788 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4732596 14788 5425 1 0 547832 0
[pid=24115/tid=24117] ppid=24112 vsize=18930384 memory=-6000919498543687789 CPUtime=0.3 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 5262 0 0 0 28 2 0 0 20 0 18 0 35102093 19384713216 14788 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35102098 19384713216 14788 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35102099 19384713216 14788 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59152 KiB

[startup+0.701956 s]
/proc/loadavg: 4.15 3.51 3.76 7/331 24134
/proc/meminfo: memFree=123977524/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=18996948 memory=83284 CPUtime=1.2 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 9737 0 0 0 114 6 0 0 20 0 19 0 35102092 19452874752 20821 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4749237 20821 5425 1 0 549942 0
[pid=24115/tid=24117] ppid=24112 vsize=18996948 memory=17152 CPUtime=0.64 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 5378 0 0 0 61 3 0 0 20 0 19 0 35102093 19452874752 20821 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35102098 19452874752 20821 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35102099 19452874752 20821 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35102134 19452874752 20821 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83284 KiB

[startup+1.50028 s]
/proc/loadavg: 4.15 3.51 3.76 6/331 24134
/proc/meminfo: memFree=123767480/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=177840 CPUtime=2.77 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 23638 0 0 0 267 10 0 0 20 0 20 0 35102092 19521036288 44460 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 44460 5457 1 0 554490 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=0 CPUtime=1.39 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 6295 0 0 0 134 5 0 0 20 0 20 0 35102093 19521036288 44460 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 44460 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 44460 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=4752 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 44460 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177840 KiB

[startup+3.10577 s]
/proc/loadavg: 4.15 3.51 3.76 6/332 24135
/proc/meminfo: memFree=123321276/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=269496 CPUtime=5.94 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 25816 0 0 0 580 14 0 0 20 0 20 0 35102092 19521036288 67374 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 67374 5457 1 0 554629 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=11136 CPUtime=2.95 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 6958 0 0 0 286 9 0 0 20 0 20 0 35102093 19521036288 67374 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=-6000919498543687789 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 67374 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 67374 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 67374 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 269496 KiB

[startup+6.3003 s]
/proc/loadavg: 4.14 3.52 3.76 5/332 24135
/proc/meminfo: memFree=122851668/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=681652 CPUtime=9.51 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 26398 0 0 0 923 28 0 0 20 0 20 0 35102092 19521036288 170413 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 170413 5457 1 0 554631 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=0 CPUtime=6.1 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 7367 0 0 0 588 22 0 0 20 0 20 0 35102093 19521036288 170413 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 170413 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 170413 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=177840 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 170413 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 9.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 681652 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 3.53 3.76 5/332 24135
/proc/meminfo: memFree=121988724/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=1314532 CPUtime=15.9 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 28860 0 0 0 1537 53 0 0 20 0 20 0 35102092 19521036288 328633 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 328633 5457 1 0 554631 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=177840 CPUtime=12.44 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 9057 0 0 0 1198 46 0 0 20 0 20 0 35102093 19521036288 328633 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=1314532 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 328633 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 328633 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 328633 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 15.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1314532 KiB

[startup+25.5005 s]
/proc/loadavg: 4.10 3.55 3.76 5/332 24136
/proc/meminfo: memFree=121707224/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=1329016 CPUtime=28.68 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 32684 0 0 0 2796 72 0 0 20 0 20 0 35102092 19521036288 332254 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 332254 5489 1 0 554631 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=-6000919498543687789 CPUtime=24.99 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 10207 0 0 0 2435 64 0 0 20 0 20 0 35102093 19521036288 332254 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=1320688 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 332254 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 332254 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 332254 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 28.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1329016 KiB

[startup+51.1141 s]
/proc/loadavg: 4.14 3.61 3.78 6/332 24137
/proc/meminfo: memFree=121030864/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=1341320 CPUtime=54.29 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 35320 0 0 0 5321 108 0 0 20 0 20 0 35102092 19521036288 335330 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 335330 5489 1 0 554631 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=1337212 CPUtime=50.18 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 11572 0 0 0 4919 99 0 0 20 0 20 0 35102093 19521036288 335330 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 335330 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0

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

/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 50641 0 0 0 320024 2306 0 0 20 0 20 0 35102093 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=2610320 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=2609680 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 1075 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=2728 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 3284.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2610320 KiB

[startup+3342.3 s]
/proc/loadavg: 4.73 4.36 4.27 5/331 24313
/proc/meminfo: memFree=82493120/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=2610320 CPUtime=3345.14 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 125459 0 0 0 331971 2543 0 0 20 0 20 0 35102092 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 652580 5489 1 0 665493 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=0 CPUtime=3282.47 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 51538 0 0 0 325913 2334 0 0 20 0 20 0 35102093 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=2610320 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 1076 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=-6000919498543687789 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 3345.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2610320 KiB

[startup+3402.3 s]
/proc/loadavg: 4.38 4.33 4.27 5/335 24322
/proc/meminfo: memFree=82292752/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=2610320 CPUtime=3405.29 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 127294 0 0 0 337948 2581 0 0 20 0 20 0 35102092 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 652580 5489 1 0 665493 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=17152 CPUtime=3341.63 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 52433 0 0 0 331795 2368 0 0 20 0 20 0 35102093 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=2610320 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 1135 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=2610320 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 3405.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2610320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.29 4.25 5/334 24390
/proc/meminfo: memFree=89714112/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=2610320 CPUtime=3465.33 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 127583 0 0 0 343911 2622 0 0 20 0 20 0 35102092 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 652580 5489 1 0 665493 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=14304 CPUtime=3400.92 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 52523 0 0 0 337686 2406 0 0 20 0 20 0 35102093 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=2610320 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 1193 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=-6000919498543687789 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 3465.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2610320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.25 4.24 5/335 24397
/proc/meminfo: memFree=89177452/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=2610320 CPUtime=3525.13 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 128060 0 0 0 349856 2657 0 0 20 0 20 0 35102092 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 652580 5489 1 0 665493 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=2610320 CPUtime=3460.06 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 52946 0 0 0 343567 2439 0 0 20 0 20 0 35102093 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=2610320 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 1193 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=2610320 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 3525.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2610320 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.24 4.24 5/337 24534
/proc/meminfo: memFree=109650176/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=2610320 CPUtime=3585.12 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 129743 0 0 0 355815 2697 0 0 20 0 20 0 35102092 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 652580 5489 1 0 665493 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=2610320 CPUtime=3519.33 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 54057 0 0 0 349457 2476 0 0 20 0 20 0 35102093 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=2610320 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 1327 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 3585.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2610320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.2 s]
/proc/loadavg: 4.14 4.23 4.24 5/337 24535
/proc/meminfo: memFree=109338644/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19063512 memory=2610320 CPUtime=3600 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 129930 0 0 0 357298 2702 0 0 20 0 20 0 35102092 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4765878 652580 5489 1 0 665493 0
[pid=24115/tid=24117] ppid=24112 vsize=19063512 memory=2724 CPUtime=3534.19 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 54242 0 0 0 350939 2480 0 0 20 0 20 0 35102093 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19063512 memory=17188 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35102098 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19063512 memory=9344 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 1327 0 0 0 0 0 0 0 20 0 20 0 35102099 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24134] ppid=24112 vsize=19063512 memory=28320 CPUtime=0 cores=0,2
/proc/24115/task/24134/stat : 24134 (Timer-0) S 24112 24115 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35102134 19521036288 652580 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2610320 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.55 s, system=27.0691 s

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

[startup+3597.4 s]
/proc/loadavg: 4.14 4.23 4.24 5/337 24535
/proc/meminfo: memFree=109338644/131382120 swapFree=33010684/33010684
[pid=24115] ppid=24112 vsize=19263204 memory=2611088 CPUtime=3600.39 cores=0,2
/proc/24115/stat : 24115 (java) S 24112 24115 23518 0 -1 4194304 132130 0 0 0 357336 2703 0 0 20 0 21 0 35102092 19725520896 652772 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
/proc/24115/statm: 4815801 652772 5521 1 0 666380 0
[pid=24115/tid=24117] ppid=24112 vsize=19263204 memory=9344 CPUtime=3534.39 cores=0,2
/proc/24115/task/24117/stat : 24117 (java) R 24112 24115 23518 0 -1 4194368 54242 0 0 0 350959 2480 0 0 20 0 21 0 35102093 19725520896 652772 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24126] ppid=24112 vsize=19263204 memory=28320 CPUtime=0 cores=0,2
/proc/24115/task/24126/stat : 24126 (Finalizer) S 24112 24115 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35102098 19725520896 652772 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
[pid=24115/tid=24133] ppid=24112 vsize=19263204 memory=7092 CPUtime=0 cores=0,2
/proc/24115/task/24133/stat : 24133 (Common-Cleaner) S 24112 24115 23518 0 -1 4194368 1327 0 0 0 0 0 0 0 20 0 21 0 35102099 19725520896 652772 18446744073709551615 93926472892416 93926472896112 140737254644368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93926472903928 93926472904720 93926482403328 140737254648112 140737254648294 140737254648294 140737254653896 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2611088 KiB

[startup+3597.5 s]*
/proc/loadavg: 4.14 4.23 4.24 5/319 24538
/proc/meminfo: memFree=111837160/131382120 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): 3597.61
CPU time (s): 3600.62
CPU user time (s): 3573.55
CPU system time (s): 27.0691
CPU usage (%): 100.084
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2611088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.55
system time used= 27.0691
maximum resident set size= 2611216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25455144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130373
involuntary context switches= 14156


# summary of solver processes directly reported to runsolver:
#   pid: 24115
#   total CPU time (s): 3600.62
#   total CPU user time (s): 3573.55
#   total CPU system time (s): 27.0691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.6803 second user time and 37.6186 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 12:50:27
IDJOB=4509797
IDBENCH=158984
IDSOLVER=3364
FILE ID=nodeC006/4509797-1751194227
RUNJOBID= nodeC006-1751194066-23528
SLURM_JOB_ID= 9587594
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509797-1751194227/watcher-4509797-1751194227 -o /tmp/evaluation-result-4509797-1751194227/solver-4509797-1751194227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751194066-23528 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509797-1751194227 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509797-1751194227.opb

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

MD5SUM BENCH= 2ca6c56c39551016f0346c5d85471318
RANDOM SEED=44564853

nodeC006 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		: 1396.665
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.429
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.246
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.32
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.114
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.32
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		: 3644.330
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.32
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		: 3591.426
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.32
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.081
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.32
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.585
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        124074468 kB
MemAvailable:   125014024 kB
Buffers:            3280 kB
Cached:          1749388 kB
SwapCached:            0 kB
Active:          5296220 kB
Inactive:        1501380 kB
Active(anon):    5062976 kB
Inactive(anon):        0 kB
Active(file):     233244 kB
Inactive(file):  1501380 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            198720 kB
Writeback:             0 kB
AnonPages:       5048120 kB
Mapped:           122408 kB
Shmem:             17960 kB
KReclaimable:      88732 kB
Slab:             177160 kB
SReclaimable:      88732 kB
SUnreclaim:        88428 kB
KernelStack:        5040 kB
PageTables:        13424 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7770848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4857856 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC006 at 2025-06-29 13:50:25