Trace number 4543603

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.32 3592.84

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb
MD5SUM97150e5e0eb6db8648ae3545c94ad534
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.005119
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables112
Total number of constraints113
Number of constraints which are clauses112
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint112
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 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 141
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4543603-1753228000.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.019s.
0.13/0.15	c declared #vars     112
0.13/0.15	c #constraints  113
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 112
0.13/0.15	c 113 constraints processed.
0.89/0.52	c cleaning 2498 clauses out of 5000 with flag 11125/5000
1.46/0.82	c cleaning 4249 clauses out of 8503 with flag 24357/11001
1.87/1.05	c cleaning 5626 clauses out of 11253 with flag 40007/18000
2.25/1.22	c cleaning 6810 clauses out of 13627 with flag 57485/26000
2.45/1.38	c cleaning 7905 clauses out of 15817 with flag 77583/35000
2.81/1.57	c cleaning 8954 clauses out of 17913 with flag 99633/45001
3.32/1.82	c cleaning 9977 clauses out of 19959 with flag 123889/56001
3.58/2.06	c cleaning 10982 clauses out of 21982 with flag 150314/68001
3.88/2.33	c cleaning 11993 clauses out of 23999 with flag 179120/81000
4.21/2.61	c cleaning 12995 clauses out of 26006 with flag 209820/95000
4.52/2.90	c cleaning 13999 clauses out of 28013 with flag 242711/110002
4.81/3.25	c cleaning 14997 clauses out of 30012 with flag 278134/126000
5.24/3.65	c cleaning 16002 clauses out of 32017 with flag 315820/143002
5.56/3.99	c cleaning 16999 clauses out of 34014 with flag 355942/161001
6.06/4.40	c cleaning 18000 clauses out of 36014 with flag 398037/180000
6.53/4.84	c cleaning 18998 clauses out of 38014 with flag 441926/200000
7.10/5.32	c cleaning 19997 clauses out of 40016 with flag 488138/221000
7.66/5.83	c cleaning 21005 clauses out of 42019 with flag 536647/243000
8.15/6.36	c cleaning 22002 clauses out of 44014 with flag 587445/266000
8.75/6.93	c cleaning 23000 clauses out of 46016 with flag 640621/290004
9.24/7.48	c cleaning 23999 clauses out of 48012 with flag 696468/315000
9.96/8.12	c cleaning 24998 clauses out of 50014 with flag 754158/341001
10.55/8.75	c cleaning 26001 clauses out of 52016 with flag 813447/368001
11.25/9.43	c cleaning 26998 clauses out of 54014 with flag 874627/396000
11.95/10.18	c cleaning 28001 clauses out of 56016 with flag 938502/425000
12.74/10.96	c cleaning 29001 clauses out of 58016 with flag 1005051/455001
13.54/11.78	c cleaning 30001 clauses out of 60015 with flag 1074129/486001
14.45/12.67	c cleaning 31003 clauses out of 62014 with flag 1145219/518001
15.35/13.51	c cleaning 31996 clauses out of 64011 with flag 1218936/551001
16.25/14.48	c cleaning 33001 clauses out of 66015 with flag 1294719/585001
17.25/15.41	c cleaning 33997 clauses out of 68013 with flag 1372035/620000
18.24/16.45	c cleaning 35001 clauses out of 70016 with flag 1451314/656000
19.35/17.58	c cleaning 35998 clauses out of 72015 with flag 1533418/693000
20.25/18.41	c cleaning 36999 clauses out of 74017 with flag 1617847/731000
21.15/19.33	c cleaning 38001 clauses out of 76019 with flag 1704441/770001
22.34/20.51	c cleaning 38995 clauses out of 78018 with flag 1793014/810001
23.45/21.65	c cleaning 40003 clauses out of 80022 with flag 1883899/851000
24.55/22.70	c cleaning 40998 clauses out of 82019 with flag 1977259/893000
25.75/23.95	c cleaning 42000 clauses out of 84021 with flag 2072451/936000
26.97/25.15	c cleaning 43001 clauses out of 86022 with flag 2170205/980001
28.26/26.44	c cleaning 43994 clauses out of 88020 with flag 2269807/1025000
29.56/27.76	c cleaning 45000 clauses out of 90028 with flag 2371710/1071002
31.11/29.29	c cleaning 46004 clauses out of 92027 with flag 2476337/1118001
32.63/30.72	c cleaning 47005 clauses out of 94022 with flag 2582903/1166000
34.22/32.35	c cleaning 47996 clauses out of 96017 with flag 2691734/1215000
35.82/33.99	c cleaning 49002 clauses out of 98023 with flag 2802281/1265002
37.72/35.82	c cleaning 50001 clauses out of 100019 with flag 2915241/1316000
39.62/37.70	c cleaning 50996 clauses out of 102018 with flag 3030701/1368000
41.62/39.72	c cleaning 52000 clauses out of 104023 with flag 3148011/1421001
43.63/41.76	c cleaning 53002 clauses out of 106024 with flag 3267423/1475002
45.72/43.86	c cleaning 53999 clauses out of 108020 with flag 3389604/1530000
47.93/46.04	c cleaning 55003 clauses out of 110022 with flag 3513896/1586001
50.33/48.46	c cleaning 56005 clauses out of 112019 with flag 3640387/1643001
52.63/50.75	c cleaning 57001 clauses out of 114013 with flag 3769176/1701000
55.03/53.19	c cleaning 57995 clauses out of 116012 with flag 3898404/1760000
57.63/55.72	c cleaning 58999 clauses out of 118017 with flag 4031205/1820000
60.13/58.26	c cleaning 59996 clauses out of 120018 with flag 4165897/1881000
62.73/60.83	c cleaning 61000 clauses out of 122023 with flag 4302324/1943001
65.52/63.61	c cleaning 62002 clauses out of 124023 with flag 4441819/2006001
68.12/66.23	c cleaning 62999 clauses out of 126020 with flag 4582892/2070000
70.62/68.73	c cleaning 64004 clauses out of 128022 with flag 4726486/2135001
73.92/72.05	c cleaning 64999 clauses out of 130018 with flag 4876756/2201001
77.23/75.33	c cleaning 66001 clauses out of 132018 with flag 5028490/2268000
80.53/78.66	c cleaning 66999 clauses out of 134017 with flag 5184216/2336000
83.24/81.33	c cleaning 67996 clauses out of 136019 with flag 5338233/2405001
86.93/85.06	c cleaning 69002 clauses out of 138022 with flag 5495952/2475000
90.33/88.45	c cleaning 69998 clauses out of 140020 with flag 5655924/2546000
94.23/92.32	c cleaning 71001 clauses out of 142022 with flag 5824639/2618000
97.73/95.87	c cleaning 72003 clauses out of 144022 with flag 5994387/2691001
101.43/99.52	c cleaning 73001 clauses out of 146018 with flag 6158731/2765000
104.82/102.91	c cleaning 74002 clauses out of 148017 with flag 6325782/2840000
107.83/105.90	c cleaning 74998 clauses out of 150015 with flag 6494598/2916000
110.83/109.00	c cleaning 75998 clauses out of 152017 with flag 6665347/2993000
114.34/112.42	c cleaning 77003 clauses out of 154021 with flag 6838938/3071002
117.95/116.01	c cleaning 77995 clauses out of 156016 with flag 7015055/3150000
121.75/119.82	c cleaning 79003 clauses out of 158021 with flag 7192500/3230000
125.64/123.77	c cleaning 80005 clauses out of 160019 with flag 7371926/3311001
129.66/127.78	c cleaning 80996 clauses out of 162014 with flag 7553932/3393001
133.36/131.49	c cleaning 82004 clauses out of 164017 with flag 7738002/3476000
136.77/134.87	c cleaning 82995 clauses out of 166013 with flag 7924307/3560000
140.76/138.81	c cleaning 84000 clauses out of 168020 with flag 8113607/3645002
144.48/142.54	c cleaning 85006 clauses out of 170019 with flag 8305058/3731001
148.12/146.18	c cleaning 85999 clauses out of 172012 with flag 8498537/3818000
152.31/150.31	c cleaning 87002 clauses out of 174013 with flag 8692976/3906000
156.74/154.70	c cleaning 87999 clauses out of 176012 with flag 8889794/3995001
161.63/159.62	c cleaning 89001 clauses out of 178013 with flag 9089483/4085001
166.16/164.16	c cleaning 90001 clauses out of 180015 with flag 9291093/4176004
171.40/169.35	c cleaning 90997 clauses out of 182011 with flag 9495151/4268001
176.59/174.56	c cleaning 91998 clauses out of 184013 with flag 9701574/4361000
181.93/179.85	c cleaning 92997 clauses out of 186016 with flag 9910014/4455001
186.81/184.75	c cleaning 94003 clauses out of 188018 with flag 10121613/4550000
191.93/189.80	c cleaning 94997 clauses out of 190015 with flag 10334972/4646000
197.84/195.75	c cleaning 95998 clauses out of 192018 with flag 10550451/4743000
203.63/201.55	c cleaning 97000 clauses out of 194020 with flag 10767731/4841000
209.28/207.19	c cleaning 98005 clauses out of 196020 with flag 10987311/4940000
215.83/213.67	c cleaning 99004 clauses out of 198016 with flag 11209508/5040001
221.91/219.71	c cleaning 99995 clauses out of 200011 with flag 11434063/5141000
227.86/225.65	c cleaning 101003 clauses out of 202017 with flag 11660145/5243001
234.22/231.98	c cleaning 101997 clauses out of 204013 with flag 11889234/5346000
239.81/237.56	c cleaning 102995 clauses out of 206016 with flag 12120100/5450000
246.93/244.63	c cleaning 104001 clauses out of 208021 with flag 12352897/5555000
253.15/250.82	c cleaning 105000 clauses out of 210021 with flag 12587879/5661001
259.29/256.95	c cleaning 106004 clauses out of 212021 with flag 12825280/5768001
265.58/263.26	c cleaning 106996 clauses out of 214017 with flag 13064891/5876001
272.21/269.87	c cleaning 108002 clauses out of 216020 with flag 13306635/5985000
279.34/276.99	c cleaning 108998 clauses out of 218018 with flag 13550715/6095000
285.73/283.36	c cleaning 110003 clauses out of 220020 with flag 13797201/6206000
292.64/290.29	c cleaning 111000 clauses out of 222017 with flag 14045701/6318000
299.97/297.54	c cleaning 111998 clauses out of 224018 with flag 14296569/6431001
306.30/303.81	c cleaning 113003 clauses out of 226021 with flag 14549410/6545002
312.89/310.42	c cleaning 114002 clauses out of 228016 with flag 14803662/6660000
319.73/317.23	c cleaning 115002 clauses out of 230014 with flag 15060788/6776000
327.06/324.50	c cleaning 116003 clauses out of 232014 with flag 15320895/6893002
334.41/331.84	c cleaning 116993 clauses out of 234010 with flag 15582541/7011001
341.90/339.36	c cleaning 118001 clauses out of 236018 with flag 15847139/7130002
348.63/346.07	c cleaning 119000 clauses out of 238015 with flag 16114067/7250000
356.96/354.35	c cleaning 119995 clauses out of 240015 with flag 16383081/7371000
364.80/362.14	c cleaning 121000 clauses out of 242020 with flag 16654422/7493000
372.03/369.33	c cleaning 122003 clauses out of 244021 with flag 16926396/7616001
379.09/376.39	c cleaning 123002 clauses out of 246018 with flag 17201733/7740001
386.27/383.56	c cleaning 123995 clauses out of 248018 with flag 17479622/7865003
392.81/390.04	c cleaning 125000 clauses out of 250021 with flag 17760324/7991001
403.42/400.63	c cleaning 126003 clauses out of 252021 with flag 18043033/8118001
411.97/409.16	c cleaning 126993 clauses out of 254017 with flag 18327568/8246000
419.51/416.64	c cleaning 128001 clauses out of 256025 with flag 18613895/8375001
430.23/427.31	c cleaning 128997 clauses out of 258023 with flag 18903144/8505000
439.71/436.83	c cleaning 130005 clauses out of 260029 with flag 19195054/8636003
446.93/444.06	c cleaning 130998 clauses out of 262022 with flag 19487621/8768001
454.75/451.80	c cleaning 131999 clauses out of 264024 with flag 19782188/8901001
463.26/460.37	c cleaning 133003 clauses out of 266024 with flag 20080129/9035000
472.29/469.35	c cleaning 133997 clauses out of 268021 with flag 20380221/9170000
480.74/477.76	c cleaning 134999 clauses out of 270024 with flag 20682747/9306000
489.07/486.06	c cleaning 136004 clauses out of 272027 with flag 20987164/9443002
499.19/496.12	c cleaning 137000 clauses out of 274022 with flag 21293803/9581001
508.15/505.08	c cleaning 138002 clauses out of 276021 with flag 21602508/9720000
518.99/515.82	c cleaning 138997 clauses out of 278019 with flag 21912733/9860000
528.36/525.21	c cleaning 139998 clauses out of 280023 with flag 22225939/10001001
537.96/534.85	c cleaning 141005 clauses out of 282025 with flag 22540795/10143001
547.00/543.81	c cleaning 142000 clauses out of 284020 with flag 22858605/10286001
557.02/553.82	c cleaning 143001 clauses out of 286019 with flag 23178405/10430000
567.63/564.44	c cleaning 143999 clauses out of 288019 with flag 23499694/10575001
578.14/574.91	c cleaning 145001 clauses out of 290019 with flag 23822611/10721000
589.71/586.54	c cleaning 145999 clauses out of 292018 with flag 24149449/10868000
600.12/596.95	c cleaning 147003 clauses out of 294019 with flag 24477882/11016000
610.83/607.67	c cleaning 147993 clauses out of 296016 with flag 24809864/11165000
622.24/619.08	c cleaning 149003 clauses out of 298024 with flag 25143787/11315001
634.35/631.14	c cleaning 149996 clauses out of 300020 with flag 25478600/11466000
645.15/642.00	c cleaning 151004 clauses out of 302024 with flag 25816167/11618000
657.06/653.83	c cleaning 152006 clauses out of 304022 with flag 26155838/11771002
666.91/663.62	c cleaning 152996 clauses out of 306015 with flag 26498772/11925001
677.64/674.39	c cleaning 153996 clauses out of 308018 with flag 26844857/12080000
687.56/684.20	c cleaning 155001 clauses out of 310023 with flag 27191538/12236001
698.37/695.08	c cleaning 155998 clauses out of 312021 with flag 27540850/12393000
710.87/707.58	c cleaning 156996 clauses out of 314023 with flag 27891554/12551000
721.78/718.49	c cleaning 158002 clauses out of 316027 with flag 28244280/12710000
737.79/734.41	c cleaning 159002 clauses out of 318025 with flag 28603752/12870000
753.15/749.75	c cleaning 160004 clauses out of 320023 with flag 28965462/13031000
765.98/762.52	c cleaning 161001 clauses out of 322019 with flag 29325397/13193000
778.68/775.22	c cleaning 162003 clauses out of 324020 with flag 29687810/13356002
791.87/788.45	c cleaning 163001 clauses out of 326016 with flag 30051347/13520001
808.00/804.58	c cleaning 163997 clauses out of 328014 with flag 30426038/13685000
825.61/822.18	c cleaning 165001 clauses out of 330017 with flag 30808165/13851000
839.51/836.03	c cleaning 166002 clauses out of 332016 with flag 31186255/14018000
852.58/849.10	c cleaning 166999 clauses out of 334015 with flag 31558891/14186001
864.21/860.69	c cleaning 168000 clauses out of 336015 with flag 31934995/14355000
876.37/872.50	c cleaning 168996 clauses out of 338015 with flag 32317715/14525000
889.57/885.72	c cleaning 169999 clauses out of 340020 with flag 32700465/14696001
900.29/896.46	c cleaning 170995 clauses out of 342020 with flag 33083787/14868000
912.16/908.36	c cleaning 171999 clauses out of 344026 with flag 33468973/15041001
924.13/920.36	c cleaning 172998 clauses out of 346026 with flag 33855335/15215000
936.74/932.91	c cleaning 174008 clauses out of 348028 with flag 34244872/15390000
950.43/946.63	c cleaning 175000 clauses out of 350022 with flag 34636005/15566002
963.21/959.45	c cleaning 176000 clauses out of 352021 with flag 35028328/15743001
976.85/973.07	c cleaning 176994 clauses out of 354020 with flag 35423365/15921000
991.18/987.30	c cleaning 178004 clauses out of 356028 with flag 35819944/16100002
1002.79/998.98	c cleaning 179003 clauses out of 358022 with flag 36219765/16280000
1015.30/1011.45	c cleaning 180002 clauses out of 360019 with flag 36621426/16461000
1029.80/1025.92	c cleaning 180999 clauses out of 362018 with flag 37026631/16643001
1044.22/1040.34	c cleaning 181997 clauses out of 364018 with flag 37433214/16826000
1060.48/1056.50	c cleaning 183005 clauses out of 366021 with flag 37842222/17010000
1074.91/1070.97	c cleaning 183997 clauses out of 368017 with flag 38253844/17195001
1091.20/1087.22	c cleaning 185000 clauses out of 370019 with flag 38669877/17381000
1107.51/1103.57	c cleaning 186003 clauses out of 372019 with flag 39092136/17568000
1122.97/1118.99	c cleaning 186995 clauses out of 374017 with flag 39512682/17756001
1138.39/1134.33	c cleaning 187997 clauses out of 376021 with flag 39940650/17945000
1156.10/1152.00	c cleaning 189000 clauses out of 378024 with flag 40370548/18135000
1172.69/1168.69	c cleaning 190007 clauses out of 380024 with flag 40794099/18326000
1189.38/1185.27	c cleaning 190997 clauses out of 382018 with flag 41221497/18518001
1207.81/1203.65	c cleaning 192007 clauses out of 384020 with flag 41650157/18711000
1227.32/1223.16	c cleaning 192993 clauses out of 386013 with flag 42081393/18905000
1246.31/1242.03	c cleaning 193998 clauses out of 388020 with flag 42516298/19100000
1262.23/1257.93	c cleaning 195003 clauses out of 390022 with flag 42950144/19296000
1278.72/1274.43	c cleaning 196001 clauses out of 392019 with flag 43385212/19493000
1293.03/1288.75	c cleaning 197001 clauses out of 394019 with flag 43824264/19691001
1309.64/1305.28	c cleaning 197997 clauses out of 396017 with flag 44264927/19890000
1328.04/1323.62	c cleaning 199004 clauses out of 398022 with flag 44709454/20090002
1345.03/1340.62	c cleaning 199997 clauses out of 400016 with flag 45154430/20291000
1363.46/1359.03	c cleaning 201003 clauses out of 402020 with flag 45603367/20493001
1377.98/1373.52	c cleaning 202001 clauses out of 404017 with flag 46054712/20696001
1396.96/1392.54	c cleaning 202999 clauses out of 406015 with flag 46506682/20900000
1416.21/1411.72	c cleaning 204000 clauses out of 408017 with flag 46962334/21105001
1431.42/1426.94	c cleaning 205000 clauses out of 410018 with flag 47420015/21311002
1447.82/1443.31	c cleaning 205999 clauses out of 412016 with flag 47880265/21518000
1464.65/1460.19	c cleaning 207001 clauses out of 414017 with flag 48342376/21726000
1480.65/1476.10	c cleaning 207996 clauses out of 416016 with flag 48807112/21935000
1499.60/1495.07	c cleaning 209001 clauses out of 418021 with flag 49275375/22145001
1514.09/1509.52	c cleaning 209996 clauses out of 420020 with flag 49744303/22356001
1531.16/1526.55	c cleaning 211002 clauses out of 422023 with flag 50213792/22568000
1548.16/1543.54	c cleaning 211999 clauses out of 424022 with flag 50685692/22781001
1562.99/1558.37	c cleaning 212999 clauses out of 426022 with flag 51160502/22995000
1583.27/1578.62	c cleaning 214005 clauses out of 428024 with flag 51640599/23210001
1605.00/1600.37	c cleaning 215001 clauses out of 430019 with flag 52123615/23426001
1625.59/1620.99	c cleaning 215996 clauses out of 432017 with flag 52606211/23643000
1645.91/1641.29	c cleaning 217001 clauses out of 434022 with flag 53091474/23861001
1662.43/1657.76	c cleaning 217998 clauses out of 436021 with flag 53578748/24080001
1678.92/1674.22	c cleaning 218998 clauses out of 438022 with flag 54069425/24300000
1694.54/1689.82	c cleaning 220005 clauses out of 440025 with flag 54558374/24521001
1713.58/1708.85	c cleaning 221003 clauses out of 442019 with flag 55051222/24743000
1733.94/1729.12	c cleaning 222001 clauses out of 444016 with flag 55548079/24966000
1755.02/1750.24	c cleaning 223005 clauses out of 446015 with flag 56049964/25190000
1774.21/1769.24	c cleaning 223996 clauses out of 448011 with flag 56567217/25415001
1812.58/1807.61	c cleaning 224997 clauses out of 450014 with flag 57116668/25641000
1842.46/1837.45	c cleaning 226001 clauses out of 452018 with flag 57672452/25868001
1874.12/1868.76	c cleaning 227001 clauses out of 454017 with flag 58233568/26096001
1899.31/1893.96	c cleaning 228003 clauses out of 456016 with flag 58814463/26325001
1923.59/1918.19	c cleaning 229002 clauses out of 458013 with flag 59371937/26555001
1948.10/1942.68	c cleaning 229998 clauses out of 460011 with flag 59937146/26786001
1976.68/1971.14	c cleaning 231001 clauses out of 462012 with flag 60507446/27018000
2003.79/1998.20	c cleaning 231999 clauses out of 464011 with flag 61108033/27251000
2030.76/2025.19	c cleaning 232998 clauses out of 466013 with flag 61730194/27485001
2059.05/2053.43	c cleaning 234004 clauses out of 468015 with flag 62338712/27720001
2083.89/2078.20	c cleaning 234995 clauses out of 470010 with flag 62908726/27956000
2109.41/2103.73	c cleaning 236000 clauses out of 472015 with flag 63511845/28193000
2142.36/2136.69	c cleaning 237003 clauses out of 474017 with flag 64129333/28431002
2170.36/2164.68	c cleaning 237999 clauses out of 476013 with flag 64747763/28670001
2197.87/2192.19	c cleaning 239004 clauses out of 478013 with flag 65354169/28910000
2230.15/2224.46	c cleaning 239996 clauses out of 480010 with flag 65974544/29151001
2258.71/2252.94	c cleaning 241000 clauses out of 482015 with flag 66583637/29393002
2286.30/2280.52	c cleaning 242001 clauses out of 484013 with flag 67174180/29636000
2307.02/2301.29	c cleaning 242999 clauses out of 486012 with flag 67739487/29880000
2334.80/2329.00	c cleaning 244004 clauses out of 488013 with flag 68309600/30125000
2364.41/2358.69	c cleaning 244995 clauses out of 490010 with flag 68917727/30371001
2387.53/2381.78	c cleaning 246002 clauses out of 492014 with flag 69496063/30618000
2417.51/2411.80	c cleaning 247001 clauses out of 494012 with flag 70110113/30866000
2441.84/2436.09	c cleaning 248005 clauses out of 496011 with flag 70721826/31115000
2470.92/2465.09	c cleaning 249004 clauses out of 498007 with flag 71363299/31365001
2492.38/2486.40	c cleaning 249995 clauses out of 500002 with flag 71942649/31616000
2516.87/2510.91	c cleaning 250999 clauses out of 502007 with flag 72499770/31868000
2537.20/2531.23	c cleaning 252004 clauses out of 504009 with flag 73061182/32121001
2559.34/2553.32	c cleaning 252999 clauses out of 506006 with flag 73625986/32375002
2585.23/2579.15	c cleaning 253996 clauses out of 508006 with flag 74190659/32630001
2608.66/2602.21	c cleaning 255002 clauses out of 510011 with flag 74758940/32886002
2633.14/2626.74	c cleaning 255997 clauses out of 512009 with flag 75330117/33143002
2655.36/2648.94	c cleaning 256997 clauses out of 514010 with flag 75904199/33401000
2680.29/2673.83	c cleaning 258004 clauses out of 516013 with flag 76482501/33660000
2702.98/2696.58	c cleaning 259001 clauses out of 518010 with flag 77058954/33920001
2731.72/2725.24	c cleaning 259998 clauses out of 520009 with flag 77638079/34181001
2759.90/2753.38	c cleaning 260999 clauses out of 522011 with flag 78245039/34443001
2781.60/2775.09	c cleaning 261999 clauses out of 524011 with flag 78848696/34706000
2805.11/2798.53	c cleaning 263002 clauses out of 526014 with flag 79450389/34970002
2831.34/2824.78	c cleaning 264000 clauses out of 528011 with flag 80065710/35235001
2856.91/2850.22	c cleaning 265004 clauses out of 530010 with flag 80672271/35501000
2881.23/2874.53	c cleaning 265999 clauses out of 532009 with flag 81270593/35768003
2912.34/2905.62	c cleaning 266999 clauses out of 534008 with flag 81905186/36036001
2942.41/2935.61	c cleaning 267997 clauses out of 536008 with flag 82540528/36305000
2963.93/2957.19	c cleaning 268999 clauses out of 538011 with flag 83174930/36575000
2993.20/2986.49	c cleaning 270004 clauses out of 540012 with flag 83813755/36846000
3021.74/3015.00	c cleaning 270997 clauses out of 542008 with flag 84472167/37118000
3046.63/3039.86	c cleaning 271999 clauses out of 544012 with flag 85085408/37391001
3075.34/3068.51	c cleaning 273002 clauses out of 546012 with flag 85710803/37665000
3099.72/3092.84	c cleaning 274002 clauses out of 548011 with flag 86341784/37940001
3127.99/3121.07	c cleaning 274994 clauses out of 550008 with flag 86987371/38216000
3157.97/3151.03	c cleaning 276000 clauses out of 552014 with flag 87627289/38493000
3189.36/3182.41	c cleaning 277002 clauses out of 554015 with flag 88277935/38771001
3222.39/3215.47	c cleaning 278001 clauses out of 556012 with flag 88948123/39050000
3254.27/3247.38	c cleaning 278998 clauses out of 558011 with flag 89589811/39330000
3282.83/3275.68	c cleaning 279996 clauses out of 560013 with flag 90205337/39611000
3311.74/3304.59	c cleaning 280999 clauses out of 562017 with flag 90824340/39893000
3348.57/3341.32	c cleaning 282005 clauses out of 564019 with flag 91449499/40176001
3373.82/3366.51	c cleaning 282998 clauses out of 566013 with flag 92074292/40460000
3404.06/3396.70	c cleaning 284000 clauses out of 568015 with flag 92700572/40745000
3430.57/3423.20	c cleaning 284997 clauses out of 570016 with flag 93333259/41031001
3457.36/3450.04	c cleaning 286002 clauses out of 572018 with flag 93966461/41318000
3484.77/3477.48	c cleaning 286997 clauses out of 574017 with flag 94602544/41606001
3514.67/3507.31	c cleaning 288006 clauses out of 576019 with flag 95237395/41895000
3542.47/3535.13	c cleaning 289001 clauses out of 578014 with flag 95875962/42185001
3570.17/3562.86	c cleaning 290002 clauses out of 580012 with flag 96516036/42476000
3600.05/3592.71	c starts		: 55
3600.05/3592.73	c conflicts		: 42768002
3600.05/3592.73	c decisions		: 62974294
3600.05/3592.73	c propagations		: 441079819
3600.05/3592.73	c inspects		: 30994755390
3600.05/3592.73	c shortcuts		: 0
3600.05/3592.73	c learnt literals	: 0
3600.05/3592.73	c learnt binary clauses	: 0
3600.05/3592.73	c learnt ternary clauses	: 0
3600.05/3592.73	c learnt constraints	: 42768002
3600.05/3592.73	c ignored constraints	: 0
3600.05/3592.73	c root simplifications	: 0
3600.05/3592.73	c removed literals (reason simplification)	: 25339575
3600.05/3592.73	c reason swapping (by a shorter reason)	: 0
3600.05/3592.73	c Calls to reduceDB	: 288
3600.05/3592.73	c Number of update (reduction) of LBD	: 3376947
3600.05/3592.73	c Imported unit clauses	: 0
3600.05/3592.73	c No decision after first conflict	: false
3600.05/3592.73	c number of reductions to clauses (during analyze)	: 0
3600.05/3592.73	c number of learned constraints concerned by reduction	: 0
3600.05/3592.73	c number of learning phase by resolution	: 0
3600.05/3592.73	c number of learning phase by cutting planes	: 0
3600.05/3592.73	c number of rounding to 1 operations	: 0
3600.05/3592.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3592.73	c number of reductions of the coefficients by power 2 	: 0
3600.05/3592.73	c number of right shift for reduction by power 2 	: 0
3600.05/3592.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3592.73	c number of ending skipping 	: 0
3600.05/3592.73	c number of internal skipping 	: 0
3600.05/3592.74	c number of derivation steps 	: 0
3600.05/3592.74	c number of skipped derivation steps 	: 0
3600.05/3592.74	c number of remaining unassigned 	: 0
3600.05/3592.74	c number of remaining assigned 	: 0
3600.05/3592.74	c number of falsified literals weakened from reason	: 0
3600.05/3592.74	c number of falsified literals weakened from conflict	: 0
3600.05/3592.74	c time for arithmetic operations	: 0
3600.05/3592.74	c minimum degree of deleted constraints	: null
3600.05/3592.74	c maximum degree of deleted constraints	: null
3600.05/3592.74	c number of deleted constraints	: 0
3600.05/3592.75	c speed (assignments/second)	: 122774.78105646813
3600.05/3592.75	c non guided choices	: 46
3600.25/3592.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 582012
3600.25/3592.83	s UNKNOWN
3600.25/3592.83	c Total wall clock time (in seconds): 3592.697

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543603-1753228000/watcher-4543603-1753228000 -o /tmp/evaluation-result-4543603-1753228000/solver-4543603-1753228000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753224403-179941 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543603-1753228000 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543603-1753228000.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=180653, runsolver pid=180650
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.28 4.24 4.19 7/337 180671
/proc/meminfo: memFree=125174020/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=18930384 memory=57896 CPUtime=0.13 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 6611 0 0 0 11 2 0 0 20 0 18 0 238479403 19384713216 14474 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4732596 14474 5339 1 0 547644 0
[pid=180653/tid=180655] ppid=180650 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 5108 0 0 0 7 1 0 0 20 0 18 0 238479404 19384713216 14474 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238479406 19384713216 14474 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=18930384 memory=60684515952020 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 238479406 19384713216 14474 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57896 KiB

[startup+0.207636 s]*
/proc/loadavg: 4.28 4.24 4.19 9/339 180673
/proc/meminfo: memFree=125149572/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=18996948 memory=66364 CPUtime=0.33 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 7275 0 0 0 30 3 0 0 20 0 19 0 238479403 19452874752 16591 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4749237 16591 5435 1 0 548315 0
[pid=180653/tid=180655] ppid=180650 vsize=18996948 memory=4026990876 CPUtime=0.17 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 5341 0 0 0 16 1 0 0 20 0 19 0 238479404 19452874752 16591 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=18996948 memory=16898 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238479406 19452874752 16591 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=18996948 memory=59585004307431 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 238479406 19452874752 16591 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238479418 19452874752 16591 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66364 KiB

[startup+0.305893 s]*
/proc/loadavg: 4.28 4.24 4.19 7/339 180673
/proc/meminfo: memFree=125110692/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=18996948 memory=84056 CPUtime=0.5 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 8889 0 0 0 47 3 0 0 20 0 19 0 238479403 19452874752 21014 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4749237 21014 5435 1 0 549026 0
[pid=180653/tid=180655] ppid=180650 vsize=18996948 memory=-9176194657503978172 CPUtime=0.23 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 5363 0 0 0 22 1 0 0 20 0 19 0 238479404 19452874752 21014 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238479406 19452874752 21014 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 238479406 19452874752 21014 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238479418 19452874752 21014 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84056 KiB

[startup+0.700245 s]
/proc/loadavg: 4.28 4.24 4.19 7/339 180673
/proc/meminfo: memFree=124993112/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=18996948 memory=161536 CPUtime=1.26 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 13694 0 0 0 121 5 0 0 20 0 19 0 238479403 19452874752 40384 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4749237 40384 5435 1 0 552346 0
[pid=180653/tid=180655] ppid=180650 vsize=18996948 memory=27264 CPUtime=0.58 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 5447 0 0 0 55 3 0 0 20 0 19 0 238479404 19452874752 40384 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238479406 19452874752 40384 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 238479406 19452874752 40384 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238479418 19452874752 40384 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 161536 KiB

[startup+1.50023 s]
/proc/loadavg: 4.28 4.24 4.19 7/340 180675
/proc/meminfo: memFree=124923504/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=173120 CPUtime=2.81 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 18014 0 0 0 274 7 0 0 20 0 20 0 238479403 19521036288 43280 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 43280 5499 1 0 552677 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=0 CPUtime=1.34 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 5759 0 0 0 130 4 0 0 20 0 20 0 238479404 19521036288 43280 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 43280 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 43280 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 43280 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173120 KiB

[startup+3.10555 s]
/proc/loadavg: 4.25 4.23 4.19 5/340 180675
/proc/meminfo: memFree=124028344/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=388432 CPUtime=4.72 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 19928 0 0 0 458 14 0 0 20 0 20 0 238479403 19521036288 97108 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 97108 5499 1 0 552680 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=10752 CPUtime=2.91 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 6212 0 0 0 281 10 0 0 20 0 20 0 238479404 19521036288 97108 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=-9176194657503978172 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 97108 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 97108 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 97108 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 388432 KiB

[startup+6.30021 s]
/proc/loadavg: 4.25 4.23 4.19 5/340 180675
/proc/meminfo: memFree=123131912/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=589340 CPUtime=8.15 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 20648 0 0 0 791 24 0 0 20 0 20 0 238479403 19521036288 147335 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 147335 5499 1 0 552680 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=0 CPUtime=6.04 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 6519 0 0 0 585 19 0 0 20 0 20 0 238479404 19521036288 147335 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 147335 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 147335 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=183360 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 147335 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 8.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 589340 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.23 4.18 5/340 180675
/proc/meminfo: memFree=122165888/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=1310328 CPUtime=14.55 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 23626 0 0 0 1405 50 0 0 20 0 20 0 238479403 19521036288 327582 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 327582 5499 1 0 552680 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=183360 CPUtime=12.39 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 7660 0 0 0 1194 45 0 0 20 0 20 0 238479404 19521036288 327582 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=1193576 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 327582 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 327582 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 327582 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 14.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1310328 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.23 4.19 5/341 180677
/proc/meminfo: memFree=121597044/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=1326736 CPUtime=27.36 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 26958 0 0 0 2663 73 0 0 20 0 20 0 238479403 19521036288 331684 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 331684 5499 1 0 552680 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=1193576 CPUtime=25.11 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 9006 0 0 0 2444 67 0 0 20 0 20 0 238479404 19521036288 331684 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 331684 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=-9176194657503978172 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 331684 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 331684 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 27.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1326736 KiB

[startup+51.1059 s]
/proc/loadavg: 4.36 4.26 4.20 5/341 180678
/proc/meminfo: memFree=120718828/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=1331020 CPUtime=53.03 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 31150 0 0 0 5196 107 0 0 20 0 20 0 238479403 19521036288 332755 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0

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

[startup+3282.3 s]
/proc/loadavg: 4.13 4.20 4.24 5/340 180870
/proc/meminfo: memFree=63359784/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3289.53 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 100262 0 0 0 326815 2138 0 0 20 0 20 0 238479403 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 496187 5531 1 0 508172 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=14464 CPUtime=3260.46 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 39603 0 0 0 324006 2040 0 0 20 0 20 0 238479404 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=2168024 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=2168024 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 1198 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 3289.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1984748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.23 4.24 5/341 180873
/proc/meminfo: memFree=62578068/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3349.62 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 100371 0 0 0 332797 2165 0 0 20 0 20 0 238479403 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 496187 5531 1 0 508172 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3320.09 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 39612 0 0 0 329943 2066 0 0 20 0 20 0 238479404 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 1248 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 3349.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1984748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.23 4.24 5/341 180875
/proc/meminfo: memFree=61690240/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3409.67 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 100418 0 0 0 338767 2200 0 0 20 0 20 0 238479403 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 496187 5531 1 0 508172 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3379.73 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 39616 0 0 0 335873 2100 0 0 20 0 20 0 238479404 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 1248 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 3409.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1984748 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.25 4.25 5/340 180877
/proc/meminfo: memFree=60873448/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3469.69 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 101536 0 0 0 344733 2236 0 0 20 0 20 0 238479403 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 496187 5531 1 0 508172 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3439.41 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 40644 0 0 0 341807 2134 0 0 20 0 20 0 238479404 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=-9176194657503978172 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 1248 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 3469.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1984748 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.26 4.26 5/341 180881
/proc/meminfo: memFree=59996516/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3529.69 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 103044 0 0 0 350703 2266 0 0 20 0 20 0 238479403 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 496187 5531 1 0 508172 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3499.16 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 41456 0 0 0 347752 2164 0 0 20 0 20 0 238479404 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 1308 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 3529.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1984748 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.24 4.25 5/340 181152
/proc/meminfo: memFree=113503172/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3589.67 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 104106 0 0 0 356664 2303 0 0 20 0 20 0 238479403 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 496187 5531 1 0 508172 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=14464 CPUtime=3558.81 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 41988 0 0 0 353681 2200 0 0 20 0 20 0 238479404 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=27264 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 1438 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1984748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.7 s]
/proc/loadavg: 4.18 4.23 4.25 5/340 181152
/proc/meminfo: memFree=112159920/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19063512 memory=1984748 CPUtime=3600.05 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 104106 0 0 0 357699 2306 0 0 20 0 20 0 238479403 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4765878 496187 5531 1 0 508172 0
[pid=180653/tid=180655] ppid=180650 vsize=19063512 memory=14464 CPUtime=3569.18 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 41988 0 0 0 354716 2202 0 0 20 0 20 0 238479404 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19063512 memory=27264 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 1438 0 0 0 0 0 0 0 20 0 20 0 238479406 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180673] ppid=180650 vsize=19063512 memory=1984748 CPUtime=0 cores=4,6
/proc/180653/task/180673/stat : 180673 (Timer-0) S 180650 180653 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479418 19521036288 496187 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1984748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.25 s, system=23.0759 s

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

[startup+3592.8 s]
/proc/loadavg: 4.18 4.23 4.25 5/340 181152
/proc/meminfo: memFree=112159920/131250000 swapFree=33009904/33010684
[pid=180653] ppid=180650 vsize=19263204 memory=1985388 CPUtime=3600.25 cores=4,6
/proc/180653/stat : 180653 (java) S 180650 180653 179930 0 -1 4194304 106148 0 0 0 357719 2306 0 0 20 0 21 0 238479403 19725520896 496347 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
/proc/180653/statm: 4815801 496347 5563 1 0 509075 0
[pid=180653/tid=180655] ppid=180650 vsize=19263204 memory=1984748 CPUtime=3569.28 cores=4,6
/proc/180653/task/180655/stat : 180655 (java) R 180650 180653 179930 0 -1 4194368 41988 0 0 0 354726 2202 0 0 20 0 21 0 238479404 19725520896 496347 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180664] ppid=180650 vsize=19263204 memory=-9176194657503978172 CPUtime=0 cores=4,6
/proc/180653/task/180664/stat : 180664 (Finalizer) S 180650 180653 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238479406 19725520896 496347 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
[pid=180653/tid=180671] ppid=180650 vsize=19263204 memory=27264 CPUtime=0 cores=4,6
/proc/180653/task/180671/stat : 180671 (Common-Cleaner) S 180650 180653 179930 0 -1 4194368 1438 0 0 0 0 0 0 0 20 0 21 0 238479406 19725520896 496347 18446744073709551615 94419715547136 94419715550832 140726158085536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94419715558648 94419715559440 94419731652608 140726158092628 140726158092772 140726158092772 140726158098376 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1985388 KiB

Child status: 143

Real time (s): 3592.84
CPU time (s): 3600.32
CPU user time (s): 3577.25
CPU system time (s): 23.0759
CPU usage (%): 100.208
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2168024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.25
system time used= 23.0759
maximum resident set size= 2168024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18239032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121752
involuntary context switches= 9765


# summary of solver processes directly reported to runsolver:
#   pid: 180653
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3577.25
#   total CPU system time (s): 23.0759

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3435 second user time and 16.4528 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-23 01:46:40
IDJOB=4543603
IDBENCH=174328
IDSOLVER=3364
FILE ID=nodeC033/4543603-1753228000
RUNJOBID= nodeC033-1753224403-179941
SLURM_JOB_ID= 9687833
Free space on /tmp= 432076 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543603-1753228000/watcher-4543603-1753228000 -o /tmp/evaluation-result-4543603-1753228000/solver-4543603-1753228000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753224403-179941 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543603-1753228000 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543603-1753228000.opb

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

MD5SUM BENCH= 97150e5e0eb6db8648ae3545c94ad534
RANDOM SEED=1084973598

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125246604 kB
MemAvailable:   127097880 kB
Buffers:            2128 kB
Cached:          2574012 kB
SwapCached:           64 kB
Active:          3895800 kB
Inactive:        1346800 kB
Active(anon):    2687484 kB
Inactive(anon):     5284 kB
Active(file):    1208316 kB
Inactive(file):  1341516 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            230752 kB
Writeback:             0 kB
AnonPages:       2667856 kB
Mapped:           128732 kB
Shmem:             26228 kB
KReclaimable:     281368 kB
Slab:             380092 kB
SReclaimable:     281368 kB
SUnreclaim:        98724 kB
KernelStack:        4892 kB
PageTables:         8688 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4850020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151112 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2521088 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 423040 MiB
End job on nodeC033 at 2025-07-23 02:46:33