Trace number 4510085

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.3 3602.55

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n230-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUMf61f810767e626cf4ffbb78e9de33430
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 variables345
Total number of constraints920
Number of constraints which are clauses920
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.11/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.17	c See www.sat4j.org for details.
0.11/0.19	c version PB25.v20250606
0.11/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.22	c java.vm.version	22.0.1+8-16
0.11/0.22	c java.vm.vendor	Oracle Corporation
0.11/0.22	c sun.arch.data.model	64
0.11/0.22	c java.version		22.0.1
0.11/0.22	c os.name		Linux
0.11/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.22	c os.arch		amd64
0.11/0.22	c Free memory 		2104792832
0.11/0.22	c Max memory 		16282288128
0.11/0.22	c Total memory 		2113929216
0.27/0.23	c Number of processors 	2
0.27/0.32	c Pseudo Boolean Optimization by upper bound
0.27/0.32	c --- Begin Solver configuration ---
0.27/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.27/0.32	c Learn all clauses as in MiniSAT
0.27/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.32	c Expensive reason simplification
0.27/0.32	c Glucose 2.1 dynamic restart strategy
0.27/0.32	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.27/0.32	c timeout=2147483s
0.27/0.32	c DB Simplification allowed=false
0.27/0.32	c Listener: none
0.27/0.32	c --- End Solver configuration ---
0.27/0.32	c solving HOME/instance-4510085-1751197773.opb
0.27/0.32	c reading problem ... 
0.44/0.33	c using VERIPB proof format
0.44/0.33	c  no objective function found
0.62/0.45	c ... done. Wall clock time 0.122s.
0.62/0.45	c declared #vars     345
0.62/0.45	c #constraints  920
0.62/0.45	c constraints type 
0.62/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 920
0.62/0.45	c 920 constraints processed.
2.31/1.37	c cleaning 2495 clauses out of 5000 with flag 17772/5000
3.10/1.77	c cleaning 4247 clauses out of 8506 with flag 41037/11001
3.90/2.17	c cleaning 5622 clauses out of 11258 with flag 62322/18000
4.49/2.43	c cleaning 6807 clauses out of 13636 with flag 89900/26000
4.88/2.66	c cleaning 7909 clauses out of 15830 with flag 120456/35001
5.47/2.92	c cleaning 8953 clauses out of 17921 with flag 150095/45001
5.88/3.17	c cleaning 9977 clauses out of 19968 with flag 182679/56001
6.46/3.42	c cleaning 10989 clauses out of 21991 with flag 220853/68001
6.97/3.72	c cleaning 11995 clauses out of 24001 with flag 258252/81000
7.28/4.02	c cleaning 12995 clauses out of 26006 with flag 303935/95000
7.57/4.36	c cleaning 13999 clauses out of 28011 with flag 361673/110000
7.87/4.68	c cleaning 15000 clauses out of 30012 with flag 425142/126000
8.35/5.05	c cleaning 15997 clauses out of 32013 with flag 507033/143001
8.90/5.41	c cleaning 17001 clauses out of 34016 with flag 584406/161001
9.29/5.84	c cleaning 18002 clauses out of 36015 with flag 669149/180001
9.78/6.30	c cleaning 18997 clauses out of 38012 with flag 757571/200000
10.28/6.81	c cleaning 19999 clauses out of 40016 with flag 853434/221001
10.78/7.34	c cleaning 21000 clauses out of 42017 with flag 954727/243001
11.37/7.90	c cleaning 21999 clauses out of 44017 with flag 1064732/266001
11.86/8.46	c cleaning 23002 clauses out of 46017 with flag 1181754/290000
12.46/9.02	c cleaning 24002 clauses out of 48016 with flag 1301696/315001
13.06/9.64	c cleaning 24995 clauses out of 50014 with flag 1437017/341001
13.65/10.29	c cleaning 25997 clauses out of 52018 with flag 1567501/368000
14.46/11.02	c cleaning 27003 clauses out of 54023 with flag 1706175/396002
15.15/11.72	c cleaning 28001 clauses out of 56018 with flag 1857045/425000
15.84/12.49	c cleaning 28999 clauses out of 58018 with flag 2012167/455001
16.73/13.33	c cleaning 30003 clauses out of 60019 with flag 2171237/486001
17.63/14.27	c cleaning 30995 clauses out of 62015 with flag 2333533/518000
18.54/15.11	c cleaning 31999 clauses out of 64021 with flag 2496111/551001
19.43/16.01	c cleaning 33002 clauses out of 66021 with flag 2664401/585000
20.22/16.86	c cleaning 34003 clauses out of 68019 with flag 2833589/620000
21.22/17.85	c cleaning 35004 clauses out of 70017 with flag 3009564/656001
22.91/19.57	c cleaning 35998 clauses out of 72013 with flag 3183693/693001
24.11/20.74	c cleaning 37003 clauses out of 74015 with flag 3367453/731001
25.10/21.71	c cleaning 37994 clauses out of 76011 with flag 3556727/770000
26.10/22.79	c cleaning 39000 clauses out of 78017 with flag 3755599/810000
27.20/23.88	c cleaning 39999 clauses out of 80018 with flag 3959876/851001
28.41/25.03	c cleaning 41001 clauses out of 82019 with flag 4169864/893001
29.59/26.27	c cleaning 41998 clauses out of 84017 with flag 4388414/936000
30.89/27.56	c cleaning 43001 clauses out of 86020 with flag 4614164/980001
32.40/29.05	c cleaning 44002 clauses out of 88019 with flag 4840186/1025001
33.78/30.41	c cleaning 45002 clauses out of 90016 with flag 5064770/1071000
35.07/31.73	c cleaning 45997 clauses out of 92014 with flag 5298225/1118000
36.39/33.27	c cleaning 46998 clauses out of 94018 with flag 5547401/1166001
38.58/35.45	c cleaning 48000 clauses out of 96020 with flag 5849682/1215001
40.58/37.43	c cleaning 49002 clauses out of 98020 with flag 6169501/1265001
42.77/39.64	c cleaning 49997 clauses out of 100017 with flag 6476066/1316000
44.67/41.59	c cleaning 51001 clauses out of 102020 with flag 6778727/1368000
46.37/43.26	c cleaning 52003 clauses out of 104021 with flag 7044020/1421002
47.96/44.88	c cleaning 53001 clauses out of 106017 with flag 7316479/1475001
49.65/46.55	c cleaning 54001 clauses out of 108015 with flag 7594383/1530000
51.44/48.35	c cleaning 54999 clauses out of 110015 with flag 7872149/1586001
53.34/50.23	c cleaning 56002 clauses out of 112016 with flag 8178445/1643001
55.33/52.23	c cleaning 56996 clauses out of 114013 with flag 8481004/1701000
57.03/53.94	c cleaning 58001 clauses out of 116017 with flag 8775250/1760000
58.91/55.82	c cleaning 59003 clauses out of 118017 with flag 9075084/1820001
60.70/57.68	c cleaning 59996 clauses out of 120014 with flag 9382553/1881001
62.78/59.74	c cleaning 61002 clauses out of 122017 with flag 9686413/1943000
64.77/61.77	c cleaning 62001 clauses out of 124015 with flag 9993132/2006000
66.81/64.00	c cleaning 62999 clauses out of 126015 with flag 10307098/2070001
69.11/66.27	c cleaning 63999 clauses out of 128015 with flag 10635347/2135000
71.40/68.54	c cleaning 65001 clauses out of 130016 with flag 10977024/2201000
73.60/70.78	c cleaning 66003 clauses out of 132016 with flag 11314878/2268001
75.90/73.05	c cleaning 66999 clauses out of 134012 with flag 11651624/2336000
78.08/75.26	c cleaning 67996 clauses out of 136014 with flag 11981025/2405001
80.48/77.60	c cleaning 69002 clauses out of 138017 with flag 12351138/2475000
83.27/80.44	c cleaning 70005 clauses out of 140017 with flag 12753266/2546002
85.87/83.04	c cleaning 70997 clauses out of 142010 with flag 13145311/2618000
90.23/87.40	c cleaning 72002 clauses out of 144013 with flag 13528412/2691000
93.22/90.42	c cleaning 72998 clauses out of 146011 with flag 13890664/2765000
95.92/93.15	c cleaning 74002 clauses out of 148014 with flag 14263311/2840001
98.66/96.06	c cleaning 74999 clauses out of 150012 with flag 14648503/2916001
101.48/98.86	c cleaning 75995 clauses out of 152012 with flag 15026041/2993000
104.68/102.05	c cleaning 77002 clauses out of 154018 with flag 15413809/3071001
107.97/105.33	c cleaning 78001 clauses out of 156015 with flag 15808771/3150000
111.18/108.53	c cleaning 78998 clauses out of 158014 with flag 16212280/3230000
114.38/111.78	c cleaning 79998 clauses out of 160016 with flag 16622084/3311000
117.87/115.30	c cleaning 81002 clauses out of 162019 with flag 17057191/3393001
121.52/118.86	c cleaning 82002 clauses out of 164017 with flag 17459644/3476001
126.06/123.37	c cleaning 83004 clauses out of 166014 with flag 17880057/3560000
130.91/128.39	c cleaning 83997 clauses out of 168010 with flag 18298916/3645000
135.00/132.42	c cleaning 85002 clauses out of 170013 with flag 18749866/3731000
139.09/136.57	c cleaning 86000 clauses out of 172012 with flag 19180976/3818001
144.11/141.59	c cleaning 86998 clauses out of 174012 with flag 19601871/3906001
148.78/146.12	c cleaning 88005 clauses out of 176014 with flag 20023886/3995001
152.35/149.79	c cleaning 88994 clauses out of 178008 with flag 20435927/4085000
156.53/153.99	c cleaning 90003 clauses out of 180015 with flag 20892765/4176001
161.63/159.11	c cleaning 90996 clauses out of 182012 with flag 21350450/4268001
165.52/163.02	c cleaning 91996 clauses out of 184016 with flag 21800255/4361001
169.80/167.39	c cleaning 93001 clauses out of 186019 with flag 22302009/4455000
174.67/172.14	c cleaning 94007 clauses out of 188019 with flag 22771267/4550001
178.75/176.21	c cleaning 95000 clauses out of 190012 with flag 23262397/4646001
184.01/181.44	c cleaning 95998 clauses out of 192011 with flag 23748766/4743000
190.46/187.99	c cleaning 96994 clauses out of 194013 with flag 24165892/4841000
194.95/192.41	c cleaning 98001 clauses out of 196019 with flag 24668571/4940000
199.38/196.70	c cleaning 99000 clauses out of 198019 with flag 25146507/5040001
203.58/200.86	c cleaning 100001 clauses out of 200019 with flag 25655818/5141001
207.56/204.80	c cleaning 101003 clauses out of 202017 with flag 26170731/5243000
211.56/208.81	c cleaning 101996 clauses out of 204014 with flag 26707458/5346000
217.45/214.78	c cleaning 103003 clauses out of 206019 with flag 27225115/5450001
221.84/219.33	c cleaning 104001 clauses out of 208015 with flag 27745072/5555000
226.43/223.93	c cleaning 104997 clauses out of 210015 with flag 28282777/5661001
231.50/228.94	c cleaning 106002 clauses out of 212017 with flag 28822991/5768000
235.89/233.37	c cleaning 107001 clauses out of 214016 with flag 29344832/5876001
243.17/240.52	c cleaning 107998 clauses out of 216014 with flag 29908323/5985000
247.67/245.03	c cleaning 108998 clauses out of 218016 with flag 30442074/6095000
253.76/251.21	c cleaning 110003 clauses out of 220019 with flag 30970533/6206001
259.05/256.56	c cleaning 111005 clauses out of 222016 with flag 31503022/6318001
264.17/261.56	c cleaning 112003 clauses out of 224011 with flag 32042538/6431001
270.53/267.79	c cleaning 112999 clauses out of 226008 with flag 32598519/6545001
275.62/272.88	c cleaning 113999 clauses out of 228009 with flag 33196021/6660001
280.58/278.05	c cleaning 114994 clauses out of 230010 with flag 33737385/6776001
286.70/284.14	c cleaning 116003 clauses out of 232016 with flag 34334047/6893001
291.95/289.49	c cleaning 116996 clauses out of 234012 with flag 34915022/7011000
299.15/296.59	c cleaning 118005 clauses out of 236017 with flag 35558901/7130001
304.54/301.94	c cleaning 118998 clauses out of 238011 with flag 36143834/7250000
310.80/308.03	c cleaning 120001 clauses out of 240014 with flag 36738407/7371001
317.34/314.70	c cleaning 120997 clauses out of 242012 with flag 37364818/7493000
322.92/320.30	c cleaning 122005 clauses out of 244016 with flag 37969896/7616001
329.29/326.57	c cleaning 122997 clauses out of 246010 with flag 38568437/7740000
334.80/332.08	c cleaning 123998 clauses out of 248014 with flag 39202384/7865001
340.62/337.77	c cleaning 125000 clauses out of 250015 with flag 39841490/7991000
346.08/343.34	c cleaning 126001 clauses out of 252015 with flag 40460158/8118000
352.96/350.13	c cleaning 126997 clauses out of 254015 with flag 41107125/8246001
359.20/356.48	c cleaning 128001 clauses out of 256017 with flag 41740727/8375000
368.24/365.33	c cleaning 129001 clauses out of 258016 with flag 42391378/8505000
374.58/371.67	c cleaning 130004 clauses out of 260016 with flag 43024946/8636001
380.46/377.56	c cleaning 130995 clauses out of 262012 with flag 43661006/8768001
388.30/385.30	c cleaning 132005 clauses out of 264017 with flag 44328502/8901001
394.84/391.90	c cleaning 133001 clauses out of 266012 with flag 44970910/9035001
401.12/398.28	c cleaning 134000 clauses out of 268010 with flag 45665721/9170000
408.34/405.52	c cleaning 134998 clauses out of 270010 with flag 46373653/9306000
414.23/411.46	c cleaning 136003 clauses out of 272012 with flag 47055314/9443000
421.89/419.06	c cleaning 136999 clauses out of 274010 with flag 47776840/9581001
427.57/424.79	c cleaning 137997 clauses out of 276010 with flag 48495197/9720000
434.71/432.00	c cleaning 139000 clauses out of 278013 with flag 49189696/9860000
441.20/438.48	c cleaning 139998 clauses out of 280014 with flag 49865060/10001001
447.94/445.03	c cleaning 140996 clauses out of 282016 with flag 50546164/10143001
458.74/455.71	c cleaning 142001 clauses out of 284020 with flag 51300585/10286001
469.41/466.58	c cleaning 142997 clauses out of 286018 with flag 52071553/10430000
485.72/482.76	c cleaning 144002 clauses out of 288022 with flag 52832105/10575001
495.47/492.41	c cleaning 145006 clauses out of 290019 with flag 53558073/10721000
505.27/502.36	c cleaning 145995 clauses out of 292013 with flag 54273754/10868000
512.87/509.85	c cleaning 147005 clauses out of 294019 with flag 54973818/11016001
524.54/521.54	c cleaning 147995 clauses out of 296014 with flag 55792561/11165001
533.76/530.76	c cleaning 148999 clauses out of 298018 with flag 56509525/11315000
546.09/542.95	c cleaning 149996 clauses out of 300020 with flag 57189738/11466001
555.19/552.07	c cleaning 151000 clauses out of 302023 with flag 57894895/11618000
566.24/563.15	c cleaning 152002 clauses out of 304023 with flag 58562917/11771000
574.43/571.20	c cleaning 153005 clauses out of 306022 with flag 59238876/11925001
582.12/578.90	c cleaning 154000 clauses out of 308017 with flag 59938412/12080001
591.47/588.49	c cleaning 155001 clauses out of 310017 with flag 60695588/12236001
599.65/596.67	c cleaning 156004 clauses out of 312016 with flag 61434947/12393001
609.95/606.96	c cleaning 156996 clauses out of 314011 with flag 62182717/12551000
621.38/618.57	c cleaning 158000 clauses out of 316016 with flag 62940900/12710001
628.85/625.90	c cleaning 159002 clauses out of 318016 with flag 63721362/12870001
644.61/641.74	c cleaning 160000 clauses out of 320014 with flag 64510927/13031001
664.75/661.94	c cleaning 160997 clauses out of 322013 with flag 65315110/13193000
677.32/674.50	c cleaning 162001 clauses out of 324016 with flag 66118499/13356000
690.09/687.04	c cleaning 162997 clauses out of 326016 with flag 66917353/13520001
698.06/695.03	c cleaning 164001 clauses out of 328019 with flag 67747898/13685001
707.09/704.01	c cleaning 164998 clauses out of 330017 with flag 68591835/13851000
716.46/713.58	c cleaning 166004 clauses out of 332019 with flag 69443841/14018000
727.46/724.59	c cleaning 166997 clauses out of 334015 with flag 70311222/14186000
739.71/736.71	c cleaning 168002 clauses out of 336018 with flag 71195247/14355000
747.69/744.89	c cleaning 169000 clauses out of 338016 with flag 72053663/14525000
765.39/762.43	c cleaning 169999 clauses out of 340016 with flag 72949078/14696000
783.28/780.38	c cleaning 170998 clauses out of 342017 with flag 73858072/14868000
803.87/800.92	c cleaning 171998 clauses out of 344019 with flag 74773355/15041000
821.23/818.37	c cleaning 173002 clauses out of 346022 with flag 75697129/15215001
838.54/835.62	c cleaning 173997 clauses out of 348020 with flag 76612579/15390001
857.90/855.01	c cleaning 174998 clauses out of 350023 with flag 77544900/15566001
877.18/874.34	c cleaning 176003 clauses out of 352025 with flag 78486712/15743001
895.13/892.26	c cleaning 177000 clauses out of 354022 with flag 79445299/15921001
916.11/913.13	c cleaning 178000 clauses out of 356022 with flag 80396773/16100001
935.37/932.40	c cleaning 179001 clauses out of 358022 with flag 81349627/16280001
953.23/950.30	c cleaning 180000 clauses out of 360021 with flag 82305731/16461001
973.41/970.56	c cleaning 180995 clauses out of 362021 with flag 83272976/16643001
993.76/990.90	c cleaning 182005 clauses out of 364026 with flag 84216534/16826001
1013.18/1010.57	c cleaning 182999 clauses out of 366021 with flag 85185903/17010001
1033.26/1030.60	c cleaning 184002 clauses out of 368022 with flag 86153242/17195001
1055.17/1052.56	c cleaning 185003 clauses out of 370020 with flag 87134653/17381001
1077.79/1075.07	c cleaning 185997 clauses out of 372017 with flag 88120677/17568001
1098.45/1095.70	c cleaning 187001 clauses out of 374020 with flag 89111189/17756001
1121.73/1119.16	c cleaning 187999 clauses out of 376019 with flag 90120549/17945001
1142.87/1140.39	c cleaning 189000 clauses out of 378020 with flag 91130421/18135001
1162.26/1159.72	c cleaning 189997 clauses out of 380020 with flag 92152887/18326001
1182.84/1180.36	c cleaning 191001 clauses out of 382023 with flag 93171967/18518001
1204.91/1202.44	c cleaning 191997 clauses out of 384022 with flag 94202326/18711001
1226.15/1223.75	c cleaning 193004 clauses out of 386025 with flag 95224163/18905001
1247.74/1245.56	c cleaning 193999 clauses out of 388020 with flag 96244222/19100000
1266.58/1264.48	c cleaning 195004 clauses out of 390021 with flag 97323919/19296000
1284.45/1282.24	c cleaning 195999 clauses out of 392017 with flag 98384546/19493000
1301.45/1299.22	c cleaning 196998 clauses out of 394018 with flag 99432759/19691000
1318.40/1316.08	c cleaning 198001 clauses out of 396020 with flag 100525470/19890000
1336.36/1334.10	c cleaning 198999 clauses out of 398019 with flag 101657751/20090000
1353.18/1350.88	c cleaning 199996 clauses out of 400020 with flag 102794124/20291000
1370.27/1367.98	c cleaning 200996 clauses out of 402024 with flag 103923885/20493000
1388.07/1385.75	c cleaning 202001 clauses out of 404028 with flag 105062869/20696000
1403.81/1401.47	c cleaning 203008 clauses out of 406028 with flag 106205859/20900001
1422.42/1420.04	c cleaning 204001 clauses out of 408019 with flag 107251168/21105000
1439.88/1437.47	c cleaning 204998 clauses out of 410018 with flag 108337896/21311000
1456.80/1454.40	c cleaning 206003 clauses out of 412020 with flag 109428024/21518000
1476.34/1473.98	c cleaning 207000 clauses out of 414018 with flag 110476193/21726001
1489.15/1486.75	c cleaning 208001 clauses out of 416018 with flag 111531630/21935001
1509.05/1506.67	c cleaning 209000 clauses out of 418017 with flag 112692336/22145001
1524.07/1521.36	c cleaning 210003 clauses out of 420017 with flag 113752457/22356001
1538.93/1536.23	c cleaning 210999 clauses out of 422014 with flag 114754904/22568001
1552.64/1550.07	c cleaning 211996 clauses out of 424014 with flag 115783083/22781000
1566.92/1564.27	c cleaning 212997 clauses out of 426018 with flag 116830492/22995000
1587.02/1584.36	c cleaning 213999 clauses out of 428022 with flag 117884162/23210001
1603.48/1600.80	c cleaning 215000 clauses out of 430022 with flag 118909761/23426000
1620.64/1618.07	c cleaning 215997 clauses out of 432022 with flag 120028969/23643000
1642.11/1639.63	c cleaning 217002 clauses out of 434025 with flag 121163380/23861000
1662.48/1660.06	c cleaning 217999 clauses out of 436023 with flag 122301852/24080000
1680.91/1678.54	c cleaning 218998 clauses out of 438024 with flag 123435708/24300000
1699.62/1697.33	c cleaning 220002 clauses out of 440026 with flag 124568975/24521000
1721.01/1718.75	c cleaning 221002 clauses out of 442025 with flag 125707052/24743001
1738.19/1735.97	c cleaning 222003 clauses out of 444023 with flag 126850179/24966001
1765.72/1763.51	c cleaning 222998 clauses out of 446019 with flag 127998205/25190000
1792.96/1790.87	c cleaning 224001 clauses out of 448021 with flag 129151410/25415000
1817.37/1815.25	c cleaning 224996 clauses out of 450020 with flag 130309676/25641000
1843.02/1840.84	c cleaning 225997 clauses out of 452024 with flag 131473097/25868000
1867.20/1865.02	c cleaning 227004 clauses out of 454027 with flag 132641645/26096000
1894.64/1892.50	c cleaning 228000 clauses out of 456023 with flag 133805472/26325000
1922.54/1920.55	c cleaning 228999 clauses out of 458023 with flag 134970188/26555000
1953.09/1951.19	c cleaning 229999 clauses out of 460024 with flag 136139957/26786000
1980.82/1978.93	c cleaning 231000 clauses out of 462025 with flag 137314759/27018000
2009.36/2007.57	c cleaning 231999 clauses out of 464025 with flag 138494744/27251000
2037.89/2036.09	c cleaning 232996 clauses out of 466026 with flag 139679742/27485000
2068.92/2067.11	c cleaning 234000 clauses out of 468030 with flag 140869822/27720000
2099.72/2098.04	c cleaning 235001 clauses out of 470030 with flag 142065031/27956000
2123.54/2121.99	c cleaning 236005 clauses out of 472029 with flag 143267106/28193000
2150.92/2149.32	c cleaning 236997 clauses out of 474024 with flag 144475639/28431000
2176.63/2175.16	c cleaning 238005 clauses out of 476027 with flag 145689211/28670000
2204.96/2203.51	c cleaning 238998 clauses out of 478022 with flag 146907967/28910000
2230.89/2229.59	c cleaning 240001 clauses out of 480024 with flag 148131606/29151000
2262.97/2261.77	c cleaning 241000 clauses out of 482023 with flag 149360496/29393000
2295.58/2294.53	c cleaning 242000 clauses out of 484023 with flag 150594490/29636000
2326.87/2325.94	c cleaning 242997 clauses out of 486023 with flag 151833524/29880000
2363.56/2362.55	c cleaning 243998 clauses out of 488027 with flag 153077689/30125001
2390.28/2389.34	c cleaning 245004 clauses out of 490029 with flag 154326822/30371001
2418.17/2417.36	c cleaning 245999 clauses out of 492025 with flag 155581008/30618001
2446.75/2445.90	c cleaning 246997 clauses out of 494025 with flag 156840272/30866000
2475.21/2474.53	c cleaning 247998 clauses out of 496028 with flag 158104729/31115000
2502.32/2501.72	c cleaning 249001 clauses out of 498030 with flag 159374218/31365000
2529.13/2528.66	c cleaning 249999 clauses out of 500029 with flag 160648748/31616000
2556.98/2556.60	c cleaning 250999 clauses out of 502031 with flag 161928207/31868001
2586.00/2587.67	c cleaning 252003 clauses out of 504032 with flag 163212760/32121001
2612.68/2614.32	c cleaning 253007 clauses out of 506028 with flag 164477829/32375000
2649.60/2651.60	c cleaning 254008 clauses out of 508022 with flag 165604138/32630001
2667.66/2669.55	c cleaning 255002 clauses out of 510013 with flag 166801269/32886000
2684.97/2686.88	c cleaning 256003 clauses out of 512012 with flag 168051333/33143001
2703.23/2705.02	c cleaning 257001 clauses out of 514008 with flag 169327461/33401000
2722.27/2724.18	c cleaning 257996 clauses out of 516007 with flag 170533450/33660000
2740.59/2742.69	c cleaning 258999 clauses out of 518012 with flag 171747209/33920001
2762.94/2764.94	c cleaning 260001 clauses out of 520013 with flag 173021386/34181001
2781.02/2783.07	c cleaning 261000 clauses out of 522011 with flag 174230709/34443000
2799.93/2801.98	c cleaning 261998 clauses out of 524012 with flag 175553844/34706001
2819.45/2821.45	c cleaning 262998 clauses out of 526014 with flag 176840652/34970001
2838.74/2840.72	c cleaning 264000 clauses out of 528015 with flag 178089654/35235000
2857.51/2859.41	c cleaning 265001 clauses out of 530015 with flag 179424125/35501000
2873.94/2875.88	c cleaning 265995 clauses out of 532014 with flag 180668629/35768000
2889.93/2891.75	c cleaning 267001 clauses out of 534019 with flag 181972025/36036000
2907.33/2909.14	c cleaning 268002 clauses out of 536018 with flag 183195287/36305000
2927.71/2929.57	c cleaning 268998 clauses out of 538017 with flag 184487196/36575001
2954.83/2956.62	c cleaning 270001 clauses out of 540019 with flag 185743792/36846001
2979.81/2981.57	c cleaning 270999 clauses out of 542017 with flag 187022067/37118000
3004.30/3006.05	c cleaning 272003 clauses out of 544019 with flag 188345785/37391001
3021.99/3023.77	c cleaning 273002 clauses out of 546016 with flag 189697908/37665001
3042.71/3044.55	c cleaning 273999 clauses out of 548013 with flag 190984343/37940000
3061.60/3063.61	c cleaning 275001 clauses out of 550014 with flag 192359988/38216000
3087.72/3089.88	c cleaning 275997 clauses out of 552014 with flag 193716264/38493001
3128.84/3130.76	c cleaning 276993 clauses out of 554016 with flag 195082045/38771000
3149.73/3151.60	c cleaning 278004 clauses out of 556023 with flag 196418024/39050000
3172.53/3174.41	c cleaning 278998 clauses out of 558019 with flag 197675509/39330000
3190.77/3192.67	c cleaning 280004 clauses out of 560021 with flag 199035904/39611000
3209.10/3211.09	c cleaning 281004 clauses out of 562017 with flag 200338054/39893000
3226.81/3228.77	c cleaning 281996 clauses out of 564013 with flag 201673916/40176000
3244.83/3246.88	c cleaning 283001 clauses out of 566018 with flag 203059141/40460001
3265.94/3268.06	c cleaning 283998 clauses out of 568016 with flag 204393175/40745000
3283.84/3285.95	c cleaning 285003 clauses out of 570018 with flag 205693943/41031000
3304.17/3306.46	c cleaning 285997 clauses out of 572016 with flag 207059889/41318001
3322.96/3325.35	c cleaning 287001 clauses out of 574018 with flag 208492086/41606000
3364.53/3366.84	c cleaning 287997 clauses out of 576017 with flag 210016612/41895000
3397.88/3400.23	c cleaning 289001 clauses out of 578021 with flag 211575776/42185001
3431.12/3433.37	c cleaning 290000 clauses out of 580020 with flag 213157128/42476001
3457.11/3459.38	c cleaning 291005 clauses out of 582019 with flag 214594579/42768000
3486.51/3488.53	c cleaning 292000 clauses out of 584014 with flag 216037261/43061000
3511.87/3514.04	c cleaning 293002 clauses out of 586015 with flag 217554631/43355001
3541.87/3544.07	c cleaning 294003 clauses out of 588013 with flag 218996276/43650001
3570.04/3572.33	c cleaning 294996 clauses out of 590009 with flag 220452863/43946000
3599.25/3601.61	c cleaning 296001 clauses out of 592013 with flag 221916158/44243000
3600.04/3602.43	c starts		: 51589
3600.04/3602.44	c timeout
3600.04/3602.45	c conflicts		: 44268227
3600.04/3602.45	c decisions		: 53762326
3600.04/3602.45	c propagations		: 405794550
3600.04/3602.45	c inspects		: 26723425242
3600.04/3602.45	c shortcuts		: 0
3600.04/3602.45	c learnt literals	: 0
3600.04/3602.45	c learnt binary clauses	: 0
3600.04/3602.45	c learnt ternary clauses	: 12
3600.04/3602.45	c learnt constraints	: 44268227
3600.04/3602.45	c ignored constraints	: 0
3600.04/3602.45	c root simplifications	: 0
3600.04/3602.45	c removed literals (reason simplification)	: 13120343
3600.04/3602.45	c reason swapping (by a shorter reason)	: 0
3600.04/3602.45	c Calls to reduceDB	: 293
3600.04/3602.45	c Number of update (reduction) of LBD	: 3467148
3600.04/3602.45	c Imported unit clauses	: 0
3600.04/3602.45	c No decision after first conflict	: false
3600.04/3602.45	c number of reductions to clauses (during analyze)	: 0
3600.04/3602.45	c number of learned constraints concerned by reduction	: 0
3600.04/3602.45	c number of learning phase by resolution	: 0
3600.04/3602.45	c number of learning phase by cutting planes	: 0
3600.04/3602.45	c number of rounding to 1 operations	: 0
3600.04/3602.45	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3602.45	c number of reductions of the coefficients by power 2 	: 0
3600.04/3602.45	c number of right shift for reduction by power 2 	: 0
3600.04/3602.45	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3602.45	c number of ending skipping 	: 0
3600.04/3602.45	c number of internal skipping 	: 0
3600.04/3602.45	c number of derivation steps 	: 0
3600.04/3602.45	c number of skipped derivation steps 	: 0
3600.04/3602.45	c number of remaining unassigned 	: 0
3600.04/3602.45	c number of remaining assigned 	: 0
3600.04/3602.45	c number of falsified literals weakened from reason	: 0
3600.04/3602.45	c number of falsified literals weakened from conflict	: 0
3600.04/3602.45	c time for arithmetic operations	: 0
3600.04/3602.45	c minimum degree of deleted constraints	: null
3600.04/3602.45	c maximum degree of deleted constraints	: null
3600.04/3602.45	c number of deleted constraints	: 0
3600.04/3602.45	c speed (assignments/second)	: 112658.15176517262
3600.04/3602.45	c non guided choices	: 78120
3600.23/3602.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 321239
3600.23/3602.52	s UNKNOWN
3600.23/3602.52	c Total wall clock time (in seconds): 3602.204

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=24511, runsolver pid=24508
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 4.19 4.26 4.25 7/332 24529
/proc/meminfo: memFree=112105224/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=18930384 memory=48076 CPUtime=0.11 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 5745 0 0 0 8 3 0 0 20 0 18 0 35456651 19384713216 12019 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4732596 12019 5304 1 0 546966 0
[pid=24511/tid=24513] ppid=24508 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 4617 0 0 0 4 2 0 0 20 0 18 0 35456653 19384713216 12019 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35456658 19384713216 12019 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=18930384 memory=58494082626307 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35456659 19384713216 12019 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48076 KiB

[startup+0.213909 s]*
/proc/loadavg: 4.19 4.26 4.25 6/332 24529
/proc/meminfo: memFree=112094136/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=18930384 memory=52972 CPUtime=0.27 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 6416 0 0 0 23 4 0 0 20 0 18 0 35456651 19384713216 13243 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4732596 13243 5336 1 0 547535 0
[pid=24511/tid=24513] ppid=24508 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 5001 0 0 0 15 3 0 0 20 0 18 0 35456653 19384713216 13243 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=18930384 memory=12896 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35456658 19384713216 13243 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35456659 19384713216 13243 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52972 KiB

[startup+0.314031 s]*
/proc/loadavg: 4.19 4.26 4.25 7/332 24529
/proc/meminfo: memFree=112089744/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=18930384 memory=58412 CPUtime=0.44 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 6762 0 0 0 39 5 0 0 20 0 18 0 35456651 19384713216 14603 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4732596 14603 5336 1 0 547761 0
[pid=24511/tid=24513] ppid=24508 vsize=18930384 memory=-6000919472790399085 CPUtime=0.27 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 5222 0 0 0 24 3 0 0 20 0 18 0 35456653 19384713216 14603 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35456658 19384713216 14603 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35456659 19384713216 14603 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58412 KiB

[startup+0.700368 s]
/proc/loadavg: 4.19 4.26 4.25 7/333 24530
/proc/meminfo: memFree=112082404/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=18996948 memory=71348 CPUtime=1.13 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 8426 0 0 0 107 6 0 0 20 0 19 0 35456651 19452874752 17837 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4749237 17837 5432 1 0 548930 0
[pid=24511/tid=24513] ppid=24508 vsize=18996948 memory=17152 CPUtime=0.59 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 5370 0 0 0 56 3 0 0 20 0 19 0 35456653 19452874752 17837 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35456658 19452874752 17837 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35456659 19452874752 17837 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=18996948 memory=4752 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35456697 19452874752 17837 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71348 KiB

[startup+1.50027 s]
/proc/loadavg: 4.19 4.26 4.25 7/333 24530
/proc/meminfo: memFree=112052852/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=18996948 memory=162492 CPUtime=2.71 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 18554 0 0 0 261 10 0 0 20 0 19 0 35456651 19452874752 40623 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4749237 40623 5464 1 0 552514 0
[pid=24511/tid=24513] ppid=24508 vsize=18996948 memory=0 CPUtime=1.31 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 6379 0 0 0 126 5 0 0 20 0 19 0 35456653 19452874752 40623 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35456658 19452874752 40623 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35456659 19452874752 40623 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=18996948 memory=4752 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35456697 19452874752 40623 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 162492 KiB

[startup+3.10559 s]
/proc/loadavg: 4.19 4.26 4.25 7/334 24531
/proc/meminfo: memFree=111851104/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=242336 CPUtime=5.88 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 22763 0 0 0 573 15 0 0 20 0 20 0 35456651 19521036288 60584 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 60584 5464 1 0 554027 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=11136 CPUtime=2.87 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 6965 0 0 0 278 9 0 0 20 0 20 0 35456653 19521036288 60584 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=-6000919472790399085 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 60584 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 60584 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 60584 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 242336 KiB

[startup+6.30023 s]
/proc/loadavg: 4.18 4.25 4.25 5/334 24531
/proc/meminfo: memFree=111265800/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=840060 CPUtime=9.78 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 29002 0 0 0 943 35 0 0 20 0 20 0 35456651 19521036288 210015 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 210015 5464 1 0 554029 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=0 CPUtime=6.01 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 8169 0 0 0 573 28 0 0 20 0 20 0 35456653 19521036288 210015 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 210015 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 210015 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=171120 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 210015 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 9.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 840060 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.25 4.24 5/334 24531
/proc/meminfo: memFree=110558492/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=1307824 CPUtime=16.14 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 30931 0 0 0 1557 57 0 0 20 0 20 0 35456651 19521036288 326956 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 326956 5464 1 0 554029 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=171120 CPUtime=12.31 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 8921 0 0 0 1181 50 0 0 20 0 20 0 35456653 19521036288 326956 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 326956 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=1307824 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 326956 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 326956 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 16.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1307824 KiB

[startup+25.5005 s]
/proc/loadavg: 4.13 4.23 4.24 5/334 24531
/proc/meminfo: memFree=109901088/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=1318204 CPUtime=28.9 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 33551 0 0 0 2808 82 0 0 20 0 20 0 35456651 19521036288 329551 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 329551 5496 1 0 554029 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=-6000919472790399085 CPUtime=24.8 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 10252 0 0 0 2407 73 0 0 20 0 20 0 35456653 19521036288 329551 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=17152 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 329551 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 34 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 329551 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 329551 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 28.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1318204 KiB

[startup+51.1137 s]
/proc/loadavg: 4.14 4.23 4.24 5/337 24535
/proc/meminfo: memFree=109354724/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=1336652 CPUtime=54.24 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 35736 0 0 0 5304 120 0 0 20 0 20 0 35456651 19521036288 334163 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 334163 5496 1 0 554029 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=1336652 CPUtime=49.76 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 11256 0 0 0 4867 109 0 0 20 0 20 0 35456653 19521036288 334163 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=1326408 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 334163 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0

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

[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/333 24784
/proc/meminfo: memFree=85952832/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=5503040 CPUtime=3280.25 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 171815 0 0 0 325676 2349 0 0 20 0 20 0 35456651 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 1375760 5528 1 0 1390635 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=5503040 CPUtime=3233.77 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 94132 0 0 0 321202 2175 0 0 20 0 20 0 35456653 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=5503040 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=5503040 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 1406 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=5503040 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 3280.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5503040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/332 24786
/proc/meminfo: memFree=85547184/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=5503040 CPUtime=3339.98 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 174878 0 0 0 331611 2387 0 0 20 0 20 0 35456651 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 1375760 5528 1 0 1390635 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=5760 CPUtime=3293.01 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 96349 0 0 0 327090 2211 0 0 20 0 20 0 35456653 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=5503040 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 1407 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=5503040 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 3339.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5503040 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/309 24817
/proc/meminfo: memFree=87400872/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=5503040 CPUtime=3400.07 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 177976 0 0 0 337595 2412 0 0 20 0 20 0 35456651 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 1375760 5528 1 0 1390635 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=5503040 CPUtime=3352.35 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 98438 0 0 0 333001 2234 0 0 20 0 20 0 35456653 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=5503040 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=5503040 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 1459 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=5503040 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 1375760 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 3400.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5503040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.41 4.25 4.20 5/332 24989
/proc/meminfo: memFree=82983028/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=5503424 CPUtime=3460.43 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 180803 0 0 0 343591 2452 0 0 20 0 20 0 35456651 19521036288 1375856 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 1375856 5528 1 0 1390722 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=5503040 CPUtime=3411.67 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 99139 0 0 0 338897 2270 0 0 20 0 20 0 35456653 19521036288 1375856 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=5503040 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 1375856 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 1375856 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 1375856 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 3460.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5503424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.45 4.30 4.22 5/333 25126
/proc/meminfo: memFree=78018556/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=5503424 CPUtime=3520.16 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 184500 0 0 0 349527 2489 0 0 20 0 20 0 35456651 19521036288 1375856 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 1375856 5528 1 0 1390722 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=5503424 CPUtime=3470.89 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 101743 0 0 0 344785 2304 0 0 20 0 20 0 35456653 19521036288 1375856 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=5503424 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 1375856 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=5503424 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 1511 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 1375856 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=5503424 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 1375856 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 3520.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5503424 KiB

[startup+3582.3 s]
/proc/loadavg: 5.04 4.45 4.28 6/338 25138
/proc/meminfo: memFree=73651984/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=5503552 CPUtime=3580.06 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 188216 0 0 0 355481 2525 0 0 20 0 20 0 35456651 19521036288 1375888 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 1375888 5528 1 0 1390731 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=-6000919472790399085 CPUtime=3530.25 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 103765 0 0 0 350688 2337 0 0 20 0 20 0 35456653 19521036288 1375888 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=4224 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 1375888 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=14304 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 1567 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 1375888 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=17152 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 1375888 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 3580.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5503552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.4 s]
/proc/loadavg: 4.95 4.47 4.29 6/337 25205
/proc/meminfo: memFree=90375308/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19063512 memory=5503552 CPUtime=3600.04 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 188380 0 0 0 357470 2534 0 0 20 0 20 0 35456651 19521036288 1375888 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4765878 1375888 5528 1 0 1390731 0
[pid=24511/tid=24513] ppid=24508 vsize=19063512 memory=5503552 CPUtime=3550.2 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) R 24508 24511 23518 0 -1 4194368 103869 0 0 0 352676 2344 0 0 20 0 20 0 35456653 19521036288 1375888 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19063512 memory=9471420 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35456658 19521036288 1375888 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19063512 memory=-6000919472790399085 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 1623 0 0 0 0 0 0 0 20 0 20 0 35456659 19521036288 1375888 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24530] ppid=24508 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/24511/task/24530/stat : 24530 (Timer-0) S 24508 24511 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35456697 19521036288 1375888 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5503552 KiB

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

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

# cumulated CPU time of all completed processes:  user=3574.92 s, system=25.374 s

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

[startup+3602.5 s]
/proc/loadavg: 4.95 4.47 4.29 6/337 25205
/proc/meminfo: memFree=90375308/131382120 swapFree=33010684/33010684
[pid=24511] ppid=24508 vsize=19263204 memory=5504448 CPUtime=3600.23 cores=4,6
/proc/24511/stat : 24511 (java) S 24508 24511 23518 0 -1 4194304 190730 0 0 0 357488 2535 0 0 20 0 21 0 35456651 19725520896 1376112 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
/proc/24511/statm: 4815801 1376112 5560 1 0 1391655 0
[pid=24511/tid=24513] ppid=24508 vsize=19263204 memory=5503552 CPUtime=3550.25 cores=4,6
/proc/24511/task/24513/stat : 24513 (java) S 24508 24511 23518 0 -1 4194368 104196 0 0 0 352680 2345 0 0 20 0 21 0 35456653 19725520896 1376112 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24522] ppid=24508 vsize=19263204 memory=4224 CPUtime=0 cores=4,6
/proc/24511/task/24522/stat : 24522 (Finalizer) S 24508 24511 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35456658 19725520896 1376112 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
[pid=24511/tid=24529] ppid=24508 vsize=19263204 memory=5503552 CPUtime=0 cores=4,6
/proc/24511/task/24529/stat : 24529 (Common-Cleaner) S 24508 24511 23518 0 -1 4194368 1623 0 0 0 0 0 0 0 20 0 21 0 35456659 19725520896 1376112 18446744073709551615 93857403887616 93857403891312 140727696842304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93857403899128 93857403899920 93857410351104 140727696849200 140727696849382 140727696849382 140727696854984 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5504448 KiB

Child status: 143

Real time (s): 3602.55
CPU time (s): 3600.3
CPU user time (s): 3574.92
CPU system time (s): 25.374
CPU usage (%): 99.9375
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5504448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.92
system time used= 25.374
maximum resident set size= 5504576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190925
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25722304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115514
involuntary context switches= 27373


# summary of solver processes directly reported to runsolver:
#   pid: 24511
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3574.92
#   total CPU system time (s): 25.374

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6084 second user time and 36.0316 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 13:49:33
IDJOB=4510085
IDBENCH=159819
IDSOLVER=3364
FILE ID=nodeC006/4510085-1751197773
RUNJOBID= nodeC006-1751194066-23529
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-n230-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-4510085-1751197773/watcher-4510085-1751197773 -o /tmp/evaluation-result-4510085-1751197773/solver-4510085-1751197773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751194066-23529 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510085-1751197773 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510085-1751197773.opb

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

MD5SUM BENCH= f61f810767e626cf4ffbb78e9de33430
RANDOM SEED=1645302107

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		: 3491.664
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.468
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.243
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.486
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		: 1197.137
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		: 3491.658
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		: 1198.221
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.300
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:        112127544 kB
MemAvailable:   124772776 kB
Buffers:            3280 kB
Cached:         13441720 kB
SwapCached:            0 kB
Active:          5506424 kB
Inactive:       13193656 kB
Active(anon):    5273180 kB
Inactive(anon):        0 kB
Active(file):     233244 kB
Inactive(file): 13193656 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            206036 kB
Writeback:             0 kB
AnonPages:       5257548 kB
Mapped:           122324 kB
Shmem:             17960 kB
KReclaimable:     115536 kB
Slab:             204712 kB
SReclaimable:     115536 kB
SUnreclaim:        89176 kB
KernelStack:        5072 kB
PageTables:        13924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7504460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5019648 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= 432668 MiB
End job on nodeC006 at 2025-06-29 14:49:36