Trace number 4543524

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.27 3599.43

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_08_020.opb
MD5SUMeed585aa251b38ddb3321f6bce6a5d3d
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.007963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables160
Total number of constraints161
Number of constraints which are clauses160
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint160
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4543524-1753227708.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.16	c ... done. Wall clock time 0.022s.
0.12/0.16	c declared #vars     160
0.12/0.16	c #constraints  161
0.12/0.16	c constraints type 
0.12/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.12/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 160
0.12/0.16	c 161 constraints processed.
0.50/0.39	c cleaning 2497 clauses out of 5001 with flag 11628/5001
0.89/0.60	c cleaning 4252 clauses out of 8503 with flag 25524/11000
1.27/0.77	c cleaning 5625 clauses out of 11251 with flag 42298/18000
1.66/0.90	c cleaning 6814 clauses out of 13627 with flag 61653/26001
1.80/1.02	c cleaning 7904 clauses out of 15812 with flag 81597/35000
1.91/1.16	c cleaning 8954 clauses out of 17909 with flag 103909/45001
2.16/1.34	c cleaning 9977 clauses out of 19954 with flag 128338/56000
2.36/1.54	c cleaning 10989 clauses out of 21978 with flag 155204/68001
2.56/1.73	c cleaning 11990 clauses out of 23988 with flag 184170/81000
2.76/1.95	c cleaning 12997 clauses out of 25998 with flag 216198/95000
2.97/2.17	c cleaning 14001 clauses out of 28001 with flag 250287/110000
3.26/2.43	c cleaning 14999 clauses out of 30001 with flag 287690/126001
3.60/2.70	c cleaning 15995 clauses out of 32001 with flag 326173/143000
3.92/3.00	c cleaning 17002 clauses out of 34008 with flag 367220/161002
4.21/3.31	c cleaning 18002 clauses out of 36005 with flag 409436/180001
4.51/3.68	c cleaning 18996 clauses out of 38003 with flag 453929/200001
5.03/4.11	c cleaning 20000 clauses out of 40006 with flag 500808/221000
5.42/4.52	c cleaning 21002 clauses out of 42007 with flag 550572/243001
5.72/4.89	c cleaning 21999 clauses out of 44004 with flag 602130/266000
6.22/5.32	c cleaning 23003 clauses out of 46006 with flag 655942/290001
6.62/5.76	c cleaning 24002 clauses out of 48003 with flag 711790/315001
7.03/6.19	c cleaning 24999 clauses out of 50000 with flag 769980/341000
7.52/6.64	c cleaning 25998 clauses out of 52001 with flag 830376/368000
8.13/7.23	c cleaning 27000 clauses out of 54003 with flag 893727/396000
8.73/7.82	c cleaning 28001 clauses out of 56004 with flag 958708/425001
9.42/8.59	c cleaning 28992 clauses out of 58002 with flag 1031170/455000
10.12/9.23	c cleaning 29998 clauses out of 60010 with flag 1101641/486000
10.82/9.91	c cleaning 31000 clauses out of 62012 with flag 1173310/518000
11.42/10.56	c cleaning 31999 clauses out of 64012 with flag 1246739/551000
12.13/11.28	c cleaning 33001 clauses out of 66013 with flag 1323936/585000
13.14/12.24	c cleaning 34003 clauses out of 68013 with flag 1405120/620001
13.97/13.07	c cleaning 35004 clauses out of 70010 with flag 1487551/656001
15.07/14.19	c cleaning 35999 clauses out of 72006 with flag 1580752/693001
16.26/15.35	c cleaning 36994 clauses out of 74006 with flag 1675625/731000
17.36/16.41	c cleaning 37995 clauses out of 76012 with flag 1767913/770000
18.39/17.44	c cleaning 39003 clauses out of 78017 with flag 1857005/810000
19.38/18.45	c cleaning 40002 clauses out of 80014 with flag 1948395/851000
20.38/19.43	c cleaning 41005 clauses out of 82013 with flag 2042259/893001
21.38/20.47	c cleaning 41996 clauses out of 84007 with flag 2137952/936000
22.41/21.46	c cleaning 43001 clauses out of 86012 with flag 2235941/980001
23.51/22.51	c cleaning 43998 clauses out of 88011 with flag 2336539/1025001
24.61/23.61	c cleaning 45004 clauses out of 90012 with flag 2439565/1071000
25.80/24.85	c cleaning 46002 clauses out of 92008 with flag 2545470/1118000
27.01/26.08	c cleaning 46993 clauses out of 94006 with flag 2652429/1166000
28.51/27.53	c cleaning 48001 clauses out of 96013 with flag 2761905/1215000
29.80/28.80	c cleaning 48995 clauses out of 98012 with flag 2873716/1265000
30.80/29.89	c cleaning 50006 clauses out of 100017 with flag 2987383/1316000
32.24/31.28	c cleaning 51000 clauses out of 102011 with flag 3103351/1368000
33.64/32.69	c cleaning 52000 clauses out of 104012 with flag 3221263/1421001
35.14/34.19	c cleaning 52998 clauses out of 106011 with flag 3342241/1475000
36.43/35.49	c cleaning 54000 clauses out of 108014 with flag 3465008/1530001
37.76/36.78	c cleaning 55002 clauses out of 110014 with flag 3589430/1586001
39.36/38.32	c cleaning 56005 clauses out of 112011 with flag 3718407/1643000
40.85/39.87	c cleaning 56997 clauses out of 114008 with flag 3848174/1701002
42.38/41.37	c cleaning 58004 clauses out of 116010 with flag 3980428/1760001
44.18/43.19	c cleaning 58998 clauses out of 118005 with flag 4113928/1820000
45.97/44.95	c cleaning 59997 clauses out of 120008 with flag 4250263/1881001
47.97/47.00	c cleaning 61001 clauses out of 122010 with flag 4389021/1943000
49.99/48.91	c cleaning 62000 clauses out of 124010 with flag 4530017/2006001
51.88/50.86	c cleaning 63001 clauses out of 126009 with flag 4673217/2070000
53.88/52.87	c cleaning 63998 clauses out of 128010 with flag 4817817/2135002
56.00/54.99	c cleaning 65003 clauses out of 130011 with flag 4964292/2201001
58.49/57.43	c cleaning 65998 clauses out of 132008 with flag 5114944/2268001
60.59/59.59	c cleaning 66999 clauses out of 134009 with flag 5266851/2336000
63.31/62.21	c cleaning 68001 clauses out of 136010 with flag 5421105/2405000
65.11/64.06	c cleaning 69002 clauses out of 138009 with flag 5576854/2475000
66.90/65.88	c cleaning 69998 clauses out of 140007 with flag 5735161/2546000
69.22/68.19	c cleaning 71000 clauses out of 142011 with flag 5895968/2618002
71.41/70.39	c cleaning 72004 clauses out of 144009 with flag 6058285/2691000
73.60/72.54	c cleaning 72999 clauses out of 146006 with flag 6223445/2765001
75.70/74.65	c cleaning 73994 clauses out of 148008 with flag 6389591/2840002
78.53/77.48	c cleaning 75001 clauses out of 150013 with flag 6558218/2916001
81.92/80.83	c cleaning 75996 clauses out of 152012 with flag 6734414/2993001
84.72/83.69	c cleaning 76997 clauses out of 154015 with flag 6916040/3071000
88.91/87.80	c cleaning 78005 clauses out of 156019 with flag 7097508/3150001
93.10/92.02	c cleaning 78997 clauses out of 158014 with flag 7281329/3230001
96.09/95.01	c cleaning 80000 clauses out of 160017 with flag 7464532/3311001
99.28/98.25	c cleaning 80998 clauses out of 162016 with flag 7650755/3393000
102.17/101.13	c cleaning 82008 clauses out of 164018 with flag 7837045/3476000
105.07/104.01	c cleaning 82996 clauses out of 166010 with flag 8028807/3560000
107.46/106.43	c cleaning 84002 clauses out of 168014 with flag 8219740/3645000
110.85/109.81	c cleaning 85000 clauses out of 170014 with flag 8412566/3731002
114.44/113.44	c cleaning 86001 clauses out of 172013 with flag 8607736/3818001
117.73/116.79	c cleaning 86999 clauses out of 174012 with flag 8804523/3906001
120.52/119.54	c cleaning 88001 clauses out of 176012 with flag 9003520/3995000
124.02/123.01	c cleaning 88996 clauses out of 178014 with flag 9205083/4085003
128.59/127.55	c cleaning 90001 clauses out of 180015 with flag 9408019/4176000
131.69/130.67	c cleaning 91001 clauses out of 182014 with flag 9612998/4268000
135.28/134.29	c cleaning 92004 clauses out of 184014 with flag 9820780/4361001
138.87/137.87	c cleaning 92998 clauses out of 186010 with flag 10030578/4455001
143.44/142.32	c cleaning 93996 clauses out of 188011 with flag 10243902/4550000
147.73/146.65	c cleaning 94999 clauses out of 190015 with flag 10460642/4646000
152.32/151.20	c cleaning 96005 clauses out of 192016 with flag 10678125/4743000
157.12/156.06	c cleaning 97002 clauses out of 194011 with flag 10897613/4841000
162.17/161.01	c cleaning 98001 clauses out of 196010 with flag 11122747/4940001
170.26/169.19	c cleaning 98998 clauses out of 198008 with flag 11385175/5040000
176.15/175.10	c cleaning 100004 clauses out of 200010 with flag 11631267/5141000
180.64/179.50	c cleaning 101001 clauses out of 202006 with flag 11862146/5243000
186.93/185.87	c cleaning 101993 clauses out of 204005 with flag 12112165/5346000
192.57/191.49	c cleaning 102996 clauses out of 206012 with flag 12363621/5450000
196.66/195.59	c cleaning 104006 clauses out of 208017 with flag 12604054/5555001
201.45/200.37	c cleaning 105001 clauses out of 210010 with flag 12853702/5661000
207.34/206.20	c cleaning 105999 clauses out of 212009 with flag 13118666/5768000
211.53/210.46	c cleaning 106997 clauses out of 214011 with flag 13373122/5876001
218.35/217.20	c cleaning 108002 clauses out of 216013 with flag 13646755/5985000
224.64/223.58	c cleaning 108998 clauses out of 218011 with flag 13918571/6095000
230.83/229.71	c cleaning 110001 clauses out of 220014 with flag 14201640/6206001
237.31/236.24	c cleaning 111003 clauses out of 222013 with flag 14474975/6318001
245.39/244.35	c cleaning 112002 clauses out of 224010 with flag 14766594/6431001
251.48/250.45	c cleaning 113000 clauses out of 226008 with flag 15039218/6545001
263.00/261.96	c cleaning 113995 clauses out of 228007 with flag 15341105/6660000
270.39/269.36	c cleaning 115003 clauses out of 230015 with flag 15629859/6776003
276.08/275.01	c cleaning 115999 clauses out of 232010 with flag 15906105/6893001
281.07/280.09	c cleaning 117000 clauses out of 234011 with flag 16189965/7011001
288.35/287.30	c cleaning 118000 clauses out of 236010 with flag 16485090/7130000
299.14/298.16	c cleaning 118994 clauses out of 238010 with flag 16778093/7250000
305.52/304.50	c cleaning 120000 clauses out of 240017 with flag 17060282/7371001
313.77/312.70	c cleaning 121008 clauses out of 242017 with flag 17371295/7493001
320.46/319.46	c cleaning 122005 clauses out of 244009 with flag 17661446/7616001
330.14/329.12	c cleaning 122993 clauses out of 246005 with flag 17972233/7740002
336.92/335.94	c cleaning 123999 clauses out of 248010 with flag 18258932/7865000
343.51/342.58	c cleaning 124998 clauses out of 250011 with flag 18554882/7991000
352.00/351.01	c cleaning 126006 clauses out of 252015 with flag 18861785/8118002
359.47/358.58	c cleaning 127000 clauses out of 254007 with flag 19167667/8246000
368.55/367.21	c cleaning 128001 clauses out of 256008 with flag 19483400/8375001
377.34/376.07	c cleaning 128994 clauses out of 258006 with flag 19815357/8505000
383.22/381.96	c cleaning 130001 clauses out of 260012 with flag 20126750/8636000
388.11/386.82	c cleaning 131001 clauses out of 262011 with flag 20421705/8768000
401.89/400.61	c cleaning 132000 clauses out of 264010 with flag 20779139/8901000
409.97/408.73	c cleaning 133003 clauses out of 266012 with flag 21123521/9035002
420.06/418.81	c cleaning 134000 clauses out of 268007 with flag 21441454/9170000
426.70/425.40	c cleaning 135002 clauses out of 270007 with flag 21766801/9306000
433.88/432.61	c cleaning 135996 clauses out of 272005 with flag 22079086/9443000
440.67/439.48	c cleaning 136994 clauses out of 274010 with flag 22405321/9581001
448.36/447.14	c cleaning 138002 clauses out of 276016 with flag 22725242/9720001
453.95/452.73	c cleaning 139001 clauses out of 278013 with flag 23043110/9860000
463.33/462.13	c cleaning 139997 clauses out of 280012 with flag 23368347/10001000
469.11/467.97	c cleaning 140999 clauses out of 282015 with flag 23687437/10143000
476.39/475.18	c cleaning 142000 clauses out of 284016 with flag 24006887/10286000
487.37/486.11	c cleaning 142999 clauses out of 286016 with flag 24355153/10430000
498.15/496.90	c cleaning 144000 clauses out of 288017 with flag 24708672/10575000
505.14/503.99	c cleaning 145004 clauses out of 290017 with flag 25045675/10721000
511.33/510.15	c cleaning 146007 clauses out of 292013 with flag 25389528/10868000
519.10/517.95	c cleaning 146999 clauses out of 294008 with flag 25730736/11016002
526.38/525.16	c cleaning 148003 clauses out of 296009 with flag 26080283/11165002
535.06/533.88	c cleaning 148999 clauses out of 298005 with flag 26426384/11315001
541.85/540.67	c cleaning 149999 clauses out of 300005 with flag 26769016/11466000
549.83/548.62	c cleaning 150999 clauses out of 302006 with flag 27118626/11618000
557.81/556.67	c cleaning 151999 clauses out of 304009 with flag 27461328/11771002
564.40/563.20	c cleaning 153004 clauses out of 306010 with flag 27809537/11925002
572.08/570.98	c cleaning 153998 clauses out of 308004 with flag 28161935/12080000
584.83/583.69	c cleaning 154990 clauses out of 310006 with flag 28524719/12236000
592.12/590.91	c cleaning 156007 clauses out of 312017 with flag 28879079/12393001
601.70/600.56	c cleaning 157003 clauses out of 314010 with flag 29233067/12551001
610.19/609.05	c cleaning 158002 clauses out of 316008 with flag 29590580/12710002
620.06/618.97	c cleaning 158997 clauses out of 318005 with flag 29948173/12870001
629.94/628.85	c cleaning 159999 clauses out of 320008 with flag 30309129/13031001
640.13/638.94	c cleaning 160997 clauses out of 322009 with flag 30671796/13193001
647.72/646.50	c cleaning 161999 clauses out of 324012 with flag 31034598/13356001
655.31/654.19	c cleaning 162999 clauses out of 326012 with flag 31400232/13520000
663.59/662.41	c cleaning 164005 clauses out of 328014 with flag 31767984/13685001
671.27/670.15	c cleaning 165000 clauses out of 330008 with flag 32138991/13851000
680.95/679.82	c cleaning 165996 clauses out of 332008 with flag 32512582/14018000
689.04/687.93	c cleaning 167001 clauses out of 334013 with flag 32887782/14186001
699.52/698.41	c cleaning 168006 clauses out of 336013 with flag 33266675/14355002
710.28/709.13	c cleaning 168998 clauses out of 338005 with flag 33645912/14525000
722.34/721.22	c cleaning 169998 clauses out of 340007 with flag 34025929/14696000
733.81/732.75	c cleaning 170998 clauses out of 342010 with flag 34408122/14868001
746.47/745.49	c cleaning 172006 clauses out of 344011 with flag 34797442/15041000
757.65/756.63	c cleaning 172992 clauses out of 346005 with flag 35186138/15215000
772.31/771.36	c cleaning 174006 clauses out of 348015 with flag 35578122/15390002
783.38/782.46	c cleaning 174998 clauses out of 350007 with flag 35971757/15566000
793.74/792.73	c cleaning 176000 clauses out of 352009 with flag 36371965/15743000
805.12/804.13	c cleaning 177002 clauses out of 354009 with flag 36774329/15921000
816.68/815.74	c cleaning 177996 clauses out of 356008 with flag 37174900/16100001
826.66/825.74	c cleaning 178999 clauses out of 358011 with flag 37575891/16280000
837.83/837.00	c cleaning 179999 clauses out of 360012 with flag 37979528/16461000
849.09/848.20	c cleaning 181003 clauses out of 362013 with flag 38385712/16643000
860.97/860.11	c cleaning 181999 clauses out of 364010 with flag 38794106/16826000
874.65/873.73	c cleaning 183001 clauses out of 366011 with flag 39204459/17010000
888.32/887.46	c cleaning 183999 clauses out of 368010 with flag 39616731/17195000
903.00/902.16	c cleaning 184998 clauses out of 370012 with flag 40031940/17381001
915.97/915.10	c cleaning 186003 clauses out of 372015 with flag 40450383/17568002
929.24/928.40	c cleaning 186997 clauses out of 374012 with flag 40870267/17756002
942.61/941.80	c cleaning 188003 clauses out of 376013 with flag 41291141/17945000
956.01/954.36	c cleaning 189001 clauses out of 378011 with flag 41715173/18135001
967.89/966.25	c cleaning 189996 clauses out of 380011 with flag 42140567/18326002
979.77/978.15	c cleaning 191005 clauses out of 382013 with flag 42567245/18518000
994.03/992.49	c cleaning 191997 clauses out of 384008 with flag 42996374/18711000
1006.92/1005.29	c cleaning 192997 clauses out of 386012 with flag 43427561/18905001
1020.00/1018.32	c cleaning 194004 clauses out of 388015 with flag 43860722/19100001
1033.07/1031.40	c cleaning 195002 clauses out of 390010 with flag 44294797/19296000
1043.75/1042.18	c cleaning 196001 clauses out of 392008 with flag 44732805/19493000
1057.41/1055.80	c cleaning 196997 clauses out of 394007 with flag 45182886/19691000
1070.39/1068.73	c cleaning 198004 clauses out of 396011 with flag 45642174/19890001
1084.26/1082.64	c cleaning 198999 clauses out of 398006 with flag 46097261/20090000
1099.33/1097.79	c cleaning 199998 clauses out of 400007 with flag 46568952/20291000
1113.30/1111.71	c cleaning 200999 clauses out of 402010 with flag 47029098/20493001
1124.18/1122.64	c cleaning 202001 clauses out of 404010 with flag 47484762/20696000
1139.84/1138.22	c cleaning 202999 clauses out of 406009 with flag 47937867/20900000
1154.81/1153.21	c cleaning 204004 clauses out of 408011 with flag 48393959/21105001
1168.98/1167.49	c cleaning 204993 clauses out of 410006 with flag 48851507/21311000
1184.96/1183.42	c cleaning 206006 clauses out of 412013 with flag 49312562/21518000
1199.53/1198.04	c cleaning 206997 clauses out of 414008 with flag 49776313/21726001
1213.36/1211.83	c cleaning 208000 clauses out of 416010 with flag 50242527/21935000
1224.84/1223.32	c cleaning 209004 clauses out of 418012 with flag 50710066/22145002
1240.01/1238.57	c cleaning 210000 clauses out of 420006 with flag 51183219/22356000
1255.88/1254.46	c cleaning 211003 clauses out of 422006 with flag 51655502/22568000
1265.36/1263.94	c cleaning 212001 clauses out of 424004 with flag 52130407/22781001
1277.83/1276.47	c cleaning 212995 clauses out of 426002 with flag 52607780/22995000
1294.20/1292.44	c cleaning 213997 clauses out of 428008 with flag 53089198/23210001
1312.27/1310.52	c cleaning 214999 clauses out of 430010 with flag 53572592/23426000
1329.23/1327.56	c cleaning 216003 clauses out of 432011 with flag 54057743/23643000
1344.30/1342.68	c cleaning 216999 clauses out of 434008 with flag 54545662/23861000
1358.97/1357.38	c cleaning 217992 clauses out of 436009 with flag 55034090/24080000
1372.95/1371.31	c cleaning 219006 clauses out of 438018 with flag 55524353/24300001
1387.39/1385.79	c cleaning 219996 clauses out of 440011 with flag 56017322/24521000
1401.15/1399.54	c cleaning 221001 clauses out of 442016 with flag 56511288/24743001
1419.01/1417.42	c cleaning 222004 clauses out of 444015 with flag 57008994/24966001
1431.58/1430.02	c cleaning 222997 clauses out of 446011 with flag 57507654/25190001
1446.04/1444.54	c cleaning 224000 clauses out of 448014 with flag 58009390/25415001
1465.49/1464.09	c cleaning 224996 clauses out of 450014 with flag 58513195/25641001
1483.54/1482.17	c cleaning 226003 clauses out of 452017 with flag 59017730/25868000
1497.70/1496.36	c cleaning 227005 clauses out of 454014 with flag 59525984/26096000
1515.67/1514.21	c cleaning 227999 clauses out of 456009 with flag 60038547/26325000
1530.84/1529.46	c cleaning 228997 clauses out of 458011 with flag 60554540/26555001
1547.00/1545.66	c cleaning 230001 clauses out of 460013 with flag 61071278/26786000
1559.78/1558.40	c cleaning 231002 clauses out of 462015 with flag 61593334/27018003
1579.94/1578.69	c cleaning 231997 clauses out of 464011 with flag 62110718/27251001
1596.51/1595.23	c cleaning 233000 clauses out of 466014 with flag 62632965/27485001
1616.27/1615.09	c cleaning 233999 clauses out of 468013 with flag 63157558/27720000
1634.74/1633.48	c cleaning 235002 clauses out of 470014 with flag 63686192/27956000
1651.31/1650.09	c cleaning 236003 clauses out of 472013 with flag 64215340/28193001
1665.29/1664.07	c cleaning 237001 clauses out of 474010 with flag 64749207/28431001
1680.75/1679.59	c cleaning 237994 clauses out of 476010 with flag 65285933/28670002
1701.31/1700.19	c cleaning 239005 clauses out of 478015 with flag 65822681/28910001
1718.07/1716.90	c cleaning 239997 clauses out of 480010 with flag 66359537/29151001
1734.34/1733.20	c cleaning 240999 clauses out of 482012 with flag 66900741/29393000
1757.97/1756.83	c cleaning 241999 clauses out of 484013 with flag 67447683/29636000
1774.03/1772.99	c cleaning 242998 clauses out of 486015 with flag 67990985/29880001
1788.00/1786.97	c cleaning 244003 clauses out of 488016 with flag 68539971/30125000
1807.66/1806.63	c cleaning 245001 clauses out of 490013 with flag 69098006/30371000
1823.73/1822.75	c cleaning 246001 clauses out of 492012 with flag 69654980/30618000
1839.20/1838.24	c cleaning 246995 clauses out of 494012 with flag 70210697/30866001
1853.77/1852.89	c cleaning 248004 clauses out of 496016 with flag 70765009/31115000
1870.13/1869.21	c cleaning 249005 clauses out of 498012 with flag 71321510/31365000
1884.23/1882.86	c cleaning 249999 clauses out of 500008 with flag 71881796/31616001
1901.19/1899.86	c cleaning 250999 clauses out of 502008 with flag 72444620/31868000
1921.96/1920.66	c cleaning 251997 clauses out of 504010 with flag 73012422/32121001
1938.12/1936.83	c cleaning 253003 clauses out of 506013 with flag 73581104/32375001
1952.89/1951.63	c cleaning 253997 clauses out of 508009 with flag 74151143/32630000
1971.46/1970.29	c cleaning 255002 clauses out of 510013 with flag 74719944/32886001
1990.52/1989.36	c cleaning 256006 clauses out of 512011 with flag 75291272/33143001
2008.38/2007.12	c cleaning 256992 clauses out of 514005 with flag 75866148/33401001
2026.04/2024.81	c cleaning 258002 clauses out of 516013 with flag 76444030/33660001
2040.81/2039.61	c cleaning 259003 clauses out of 518011 with flag 77022178/33920001
2059.47/2058.35	c cleaning 259999 clauses out of 520008 with flag 77605401/34181001
2073.83/2072.70	c cleaning 261000 clauses out of 522008 with flag 78188944/34443000
2092.90/2091.89	c cleaning 261997 clauses out of 524009 with flag 78776045/34706001
2109.66/2108.62	c cleaning 262999 clauses out of 526012 with flag 79368978/34970001
2129.22/2128.10	c cleaning 264005 clauses out of 528012 with flag 79961302/35235000
2149.27/2148.23	c cleaning 265002 clauses out of 530007 with flag 80553299/35501000
2167.54/2166.53	c cleaning 266001 clauses out of 532005 with flag 81149844/35768000
2183.80/2182.84	c cleaning 267002 clauses out of 534005 with flag 81748740/36036001
2205.75/2204.83	c cleaning 267997 clauses out of 536003 with flag 82349766/36305001
2231.80/2231.00	c cleaning 269002 clauses out of 538006 with flag 82954816/36575001
2248.07/2247.25	c cleaning 269996 clauses out of 540004 with flag 83566360/36846001
2267.45/2266.05	c cleaning 270998 clauses out of 542008 with flag 84182133/37118001
2289.70/2288.39	c cleaning 272000 clauses out of 544010 with flag 84795472/37391001
2309.26/2307.98	c cleaning 272995 clauses out of 546009 with flag 85408735/37665000
2329.21/2327.99	c cleaning 274004 clauses out of 548014 with flag 86023945/37940000
2346.79/2345.51	c cleaning 274995 clauses out of 550011 with flag 86639698/38216001
2368.35/2367.13	c cleaning 276003 clauses out of 552015 with flag 87259993/38493000
2390.06/2388.83	c cleaning 276995 clauses out of 554012 with flag 87890856/38771000
2407.24/2406.09	c cleaning 278001 clauses out of 556018 with flag 88510465/39050001
2431.78/2430.62	c cleaning 279008 clauses out of 558018 with flag 89137834/39330002
2449.54/2448.45	c cleaning 280002 clauses out of 560009 with flag 89764463/39611001
2472.60/2471.50	c cleaning 280998 clauses out of 562007 with flag 90395145/39893001
2492.06/2491.05	c cleaning 282000 clauses out of 564008 with flag 91027756/40176000
2515.31/2514.38	c cleaning 282998 clauses out of 566008 with flag 91663241/40460000
2535.26/2534.23	c cleaning 284004 clauses out of 568011 with flag 92301362/40745001
2560.20/2559.22	c cleaning 284995 clauses out of 570006 with flag 92940028/41031000
2585.65/2584.73	c cleaning 286001 clauses out of 572012 with flag 93580122/41318001
2609.11/2608.21	c cleaning 286997 clauses out of 574010 with flag 94221329/41606000
2627.57/2626.76	c cleaning 288002 clauses out of 576013 with flag 94871604/41895000
2649.83/2649.07	c cleaning 288997 clauses out of 578012 with flag 95524851/42185001
2667.80/2667.01	c cleaning 290008 clauses out of 580016 with flag 96179283/42476002
2690.51/2689.11	c cleaning 290997 clauses out of 582006 with flag 96834125/42768000
2712.56/2711.23	c cleaning 291997 clauses out of 584010 with flag 97496246/43061001
2735.91/2734.63	c cleaning 293000 clauses out of 586013 with flag 98153721/43355001
2758.47/2757.24	c cleaning 294003 clauses out of 588012 with flag 98811462/43650000
2786.21/2785.07	c cleaning 295002 clauses out of 590010 with flag 99470792/43946001
2813.65/2812.52	c cleaning 296001 clauses out of 592008 with flag 100135628/44243001
2837.20/2836.01	c cleaning 296999 clauses out of 594007 with flag 100804253/44541001
2862.34/2861.27	c cleaning 297999 clauses out of 596008 with flag 101473390/44840001
2888.80/2887.73	c cleaning 299002 clauses out of 598009 with flag 102143680/45140001
2910.45/2909.42	c cleaning 300000 clauses out of 600006 with flag 102817707/45441000
2927.61/2926.62	c cleaning 300996 clauses out of 602006 with flag 103493248/45743000
2952.67/2951.72	c cleaning 302003 clauses out of 604010 with flag 104169431/46046000
2981.65/2980.76	c cleaning 302997 clauses out of 606007 with flag 104856923/46350000
3015.58/3014.74	c cleaning 303999 clauses out of 608012 with flag 105541304/46655002
3041.33/3040.55	c cleaning 305004 clauses out of 610011 with flag 106223930/46961000
3072.07/3071.38	c cleaning 305999 clauses out of 612008 with flag 106913725/47268001
3100.61/3099.91	c cleaning 307001 clauses out of 614009 with flag 107602570/47576001
3128.14/3127.54	c cleaning 307998 clauses out of 616008 with flag 108292799/47885001
3150.98/3150.49	c cleaning 309004 clauses out of 618009 with flag 108992370/48195000
3187.91/3187.39	c cleaning 309995 clauses out of 620005 with flag 109705354/48506000
3226.53/3226.02	c cleaning 311004 clauses out of 622011 with flag 110412591/48818001
3260.64/3260.23	c cleaning 311999 clauses out of 624006 with flag 111110874/49131000
3310.92/3310.65	c cleaning 313003 clauses out of 626010 with flag 111853020/49445003
3347.12/3347.00	c cleaning 313996 clauses out of 628005 with flag 112566212/49760001
3372.45/3372.35	c cleaning 314993 clauses out of 630008 with flag 113270257/50076000
3400.39/3399.31	c cleaning 316003 clauses out of 632016 with flag 113976641/50393001
3426.92/3426.00	c cleaning 317005 clauses out of 634013 with flag 114685895/50711001
3457.45/3456.56	c cleaning 318000 clauses out of 636007 with flag 115399907/51030000
3487.76/3486.97	c cleaning 319000 clauses out of 638009 with flag 116113625/51350002
3517.17/3516.34	c cleaning 319995 clauses out of 640007 with flag 116829068/51671000
3549.41/3548.61	c cleaning 321002 clauses out of 642016 with flag 117548351/51993004
3578.44/3577.76	c cleaning 322000 clauses out of 644010 with flag 118266024/52316000
3600.01/3599.31	c starts		: 1
3600.01/3599.32	c conflicts		: 52640000
3600.01/3599.32	c decisions		: 76306549
3600.01/3599.32	c propagations		: 411524008
3600.01/3599.32	c inspects		: 30187369184
3600.01/3599.32	c shortcuts		: 0
3600.01/3599.32	c learnt literals	: 0
3600.01/3599.32	c learnt binary clauses	: 0
3600.01/3599.32	c learnt ternary clauses	: 0
3600.01/3599.32	c learnt constraints	: 52640000
3600.01/3599.32	c ignored constraints	: 0
3600.01/3599.32	c root simplifications	: 0
3600.01/3599.33	c removed literals (reason simplification)	: 25703758
3600.01/3599.33	c reason swapping (by a shorter reason)	: 0
3600.01/3599.33	c Calls to reduceDB	: 320
3600.01/3599.33	c Number of update (reduction) of LBD	: 4593616
3600.01/3599.33	c Imported unit clauses	: 0
3600.01/3599.33	c No decision after first conflict	: false
3600.01/3599.33	c number of reductions to clauses (during analyze)	: 0
3600.01/3599.33	c number of learned constraints concerned by reduction	: 0
3600.01/3599.33	c number of learning phase by resolution	: 0
3600.01/3599.33	c number of learning phase by cutting planes	: 0
3600.01/3599.33	c number of rounding to 1 operations	: 0
3600.01/3599.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3599.33	c number of reductions of the coefficients by power 2 	: 0
3600.01/3599.33	c number of right shift for reduction by power 2 	: 0
3600.01/3599.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3599.33	c number of ending skipping 	: 0
3600.01/3599.33	c number of internal skipping 	: 0
3600.01/3599.33	c number of derivation steps 	: 0
3600.01/3599.33	c number of skipped derivation steps 	: 0
3600.01/3599.33	c number of remaining unassigned 	: 0
3600.01/3599.33	c number of remaining assigned 	: 0
3600.01/3599.33	c number of falsified literals weakened from reason	: 0
3600.01/3599.33	c number of falsified literals weakened from conflict	: 0
3600.01/3599.33	c time for arithmetic operations	: 0
3600.01/3599.34	c minimum degree of deleted constraints	: null
3600.01/3599.34	c maximum degree of deleted constraints	: null
3600.01/3599.34	c number of deleted constraints	: 0
3600.01/3599.34	c speed (assignments/second)	: 114338.26816108114
3600.01/3599.34	c non guided choices	: 85
3600.21/3599.42	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 646010
3600.21/3599.42	s UNKNOWN
3600.21/3599.42	c Total wall clock time (in seconds): 3599.285

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 (62842 MiB free)
  memory of node 1: 64465 MiB (61086 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543524-1753227708/watcher-4543524-1753227708 -o /tmp/evaluation-result-4543524-1753227708/solver-4543524-1753227708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216817 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543524-1753227708.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=217355, runsolver pid=217352

[startup+0.10006 s]*
/proc/loadavg: 4.15 4.10 4.05 6/336 217395
/proc/meminfo: memFree=126845992/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=18930384 memory=55516 CPUtime=0.12 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 6538 0 0 0 10 2 0 0 20 0 18 0 238449536 19384713216 13879 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4732596 13879 5338 1 0 547588 0
[pid=217355/tid=217358] ppid=217352 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 5042 0 0 0 6 1 0 0 20 0 18 0 238449537 19384713216 13879 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=18930384 memory=17913 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238449540 19384713216 13879 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=18930384 memory=56286469424100 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238449540 19384713216 13879 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55516 KiB

[startup+0.205849 s]*
/proc/loadavg: 4.15 4.10 4.05 9/338 217397
/proc/meminfo: memFree=126831944/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=18996948 memory=62356 CPUtime=0.32 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 7426 0 0 0 29 3 0 0 20 0 19 0 238449536 19452874752 15589 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4749237 15589 5434 1 0 548286 0
[pid=217355/tid=217358] ppid=217352 vsize=18996948 memory=4027056412 CPUtime=0.16 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 5305 0 0 0 15 1 0 0 20 0 19 0 238449537 19452874752 15589 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=18996948 memory=17913 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449540 19452874752 15589 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=18996948 memory=56286469424100 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449540 19452874752 15589 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449553 19452874752 15589 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62356 KiB

[startup+0.305816 s]*
/proc/loadavg: 4.15 4.10 4.05 7/338 217398
/proc/meminfo: memFree=126823312/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=18996948 memory=64740 CPUtime=0.5 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 8531 0 0 0 47 3 0 0 20 0 19 0 238449536 19452874752 16185 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4749237 16185 5434 1 0 548807 0
[pid=217355/tid=217358] ppid=217352 vsize=18996948 memory=-8671794767825969852 CPUtime=0.25 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 5315 0 0 0 24 1 0 0 20 0 19 0 238449537 19452874752 16185 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449540 19452874752 16185 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449540 19452874752 16185 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449553 19452874752 16185 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64740 KiB

[startup+0.700242 s]
/proc/loadavg: 4.15 4.10 4.05 7/338 217398
/proc/meminfo: memFree=126796296/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=18996948 memory=83844 CPUtime=1.27 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 13226 0 0 0 123 4 0 0 20 0 19 0 238449536 19452874752 20961 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4749237 20961 5434 1 0 551454 0
[pid=217355/tid=217358] ppid=217352 vsize=18996948 memory=22144 CPUtime=0.62 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 5425 0 0 0 61 1 0 0 20 0 19 0 238449537 19452874752 20961 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449540 19452874752 20961 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449540 19452874752 20961 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449553 19452874752 20961 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83844 KiB

[startup+1.50022 s]
/proc/loadavg: 4.15 4.10 4.05 6/338 217398
/proc/meminfo: memFree=126759296/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=18996948 memory=106576 CPUtime=2.36 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 16295 0 0 0 231 5 0 0 20 0 19 0 238449536 19452874752 26644 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4749237 26644 5434 1 0 551456 0
[pid=217355/tid=217358] ppid=217352 vsize=18996948 memory=0 CPUtime=1.42 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 5738 0 0 0 140 2 0 0 20 0 19 0 238449537 19452874752 26644 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449540 19452874752 26644 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449540 19452874752 26644 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449553 19452874752 26644 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106576 KiB

[startup+3.1056 s]
/proc/loadavg: 4.13 4.10 4.05 5/339 217399
/proc/meminfo: memFree=126595696/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=18996948 memory=149712 CPUtime=4.02 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 17275 0 0 0 396 6 0 0 20 0 19 0 238449536 19452874752 37428 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4749237 37428 5434 1 0 551474 0
[pid=217355/tid=217358] ppid=217352 vsize=18996948 memory=10752 CPUtime=3.02 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 6052 0 0 0 299 3 0 0 20 0 19 0 238449537 19452874752 37428 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=18996948 memory=-9032082738015609532 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449540 19452874752 37428 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238449540 19452874752 37428 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449553 19452874752 37428 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 4.02 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 149712 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.10 4.05 4/317 217412
/proc/meminfo: memFree=129048556/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=176336 CPUtime=7.22 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 19438 0 0 0 715 7 0 0 20 0 20 0 238449536 19521036288 44084 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 44084 5498 1 0 551763 0
[pid=217355/tid=217358] ppid=217352 vsize=19063512 memory=0 CPUtime=6.19 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 6484 0 0 0 616 3 0 0 20 0 20 0 238449537 19521036288 44084 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 44084 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 44084 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=19063512 memory=108624 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449553 19521036288 44084 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 7.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176336 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.05 5/340 217468
/proc/meminfo: memFree=128774416/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=225792 CPUtime=13.64 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 22301 0 0 0 1356 8 0 0 20 0 20 0 238449536 19521036288 56448 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 56448 5498 1 0 551763 0
[pid=217355/tid=217358] ppid=217352 vsize=19063512 memory=108624 CPUtime=12.51 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 7090 0 0 0 1248 3 0 0 20 0 20 0 238449537 19521036288 56448 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19063512 memory=225792 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 56448 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 56448 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=19063512 memory=-9032082738015609532 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449553 19521036288 56448 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 13.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225792 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.05 5/340 217468
/proc/meminfo: memFree=128421404/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=299724 CPUtime=26.51 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 24980 0 0 0 2641 10 0 0 20 0 20 0 238449536 19521036288 74931 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 74931 5530 1 0 551763 0
[pid=217355/tid=217358] ppid=217352 vsize=19063512 memory=0 CPUtime=25.21 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 7509 0 0 0 2518 3 0 0 20 0 20 0 238449537 19521036288 74931 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19063512 memory=22144 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 74931 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 74931 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=19063512 memory=299596 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449553 19521036288 74931 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 26.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 299724 KiB

[startup+51.1056 s]
/proc/loadavg: 4.06 4.08 4.04 5/340 217468
/proc/meminfo: memFree=127696168/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=478016 CPUtime=52.19 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 25294 0 0 0 5205 14 0 0 20 0 20 0 238449536 19521036288 119504 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 119504 5530 1 0 551763 0

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

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/340 217639
/proc/meminfo: memFree=121375152/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=1955936 CPUtime=3282.68 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 91967 0 0 0 328161 107 0 0 20 0 20 0 238449536 19521036288 488984 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 488984 5530 1 0 501823 0
[pid=217355/tid=217358] ppid=217352 vsize=19063512 memory=1955936 CPUtime=3270.45 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 41054 0 0 0 327028 17 0 0 20 0 20 0 238449537 19521036288 488984 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19063512 memory=-9032082738015609532 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 488984 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 753 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 488984 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=19063512 memory=1955936 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449553 19521036288 488984 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 3282.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1955936 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/340 217641
/proc/meminfo: memFree=121362880/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=1955936 CPUtime=3342.53 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 92511 0 0 0 334145 108 0 0 20 0 20 0 238449536 19521036288 488984 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 488984 5530 1 0 501823 0
[pid=217355/tid=217358] ppid=217352 vsize=19063512 memory=10752 CPUtime=3330.28 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 41522 0 0 0 333011 17 0 0 20 0 20 0 238449537 19521036288 488984 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 488984 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 798 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 488984 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449553 19521036288 488984 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 3342.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1955936 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/340 217643
/proc/meminfo: memFree=121101284/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=1961440 CPUtime=3403.38 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 97270 0 0 0 340228 110 0 0 20 0 20 0 238449536 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 490360 5530 1 0 503212 0
[pid=217355/tid=217358] ppid=217352 vsize=19063512 memory=14692 CPUtime=3389.9 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 45177 0 0 0 338973 17 0 0 20 0 20 0 238449537 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19063512 memory=1961440 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 838 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=19063512 memory=1961440 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449553 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 3403.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1961440 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/340 217645
/proc/meminfo: memFree=120921172/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=1961440 CPUtime=3463.23 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 97433 0 0 0 346212 111 0 0 20 0 20 0 238449536 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 490360 5530 1 0 503212 0
[pid=217355/tid=217358] ppid=217352 vsize=19063512 memory=1961440 CPUtime=3449.72 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 45333 0 0 0 344955 17 0 0 20 0 20 0 238449537 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19063512 memory=1961440 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 838 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449553 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 3463.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1961440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/340 217647
/proc/meminfo: memFree=120920800/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=1961440 CPUtime=3523.16 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 98614 0 0 0 352204 112 0 0 20 0 20 0 238449536 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 490360 5530 1 0 503212 0
[pid=217355/tid=217358] ppid=217352 vsize=19063512 memory=1961440 CPUtime=3509.49 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 45833 0 0 0 350932 17 0 0 20 0 20 0 238449537 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 838 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=19063512 memory=1961440 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449553 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 3523.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1961440 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/340 217649
/proc/meminfo: memFree=120920928/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=1961440 CPUtime=3583.04 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 99030 0 0 0 358191 113 0 0 20 0 20 0 238449536 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 490360 5530 1 0 503212 0
[pid=217355/tid=217358] ppid=217352 vsize=19063512 memory=5632 CPUtime=3569.35 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 46202 0 0 0 356918 17 0 0 20 0 20 0 238449537 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 852 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=19063512 memory=22272 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449553 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 3583.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1961440 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/340 217781
/proc/meminfo: memFree=123397440/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19063512 memory=1961440 CPUtime=3600.01 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 99080 0 0 0 359888 113 0 0 20 0 20 0 238449536 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4765878 490360 5530 1 0 503212 0
[pid=217355/tid=217358] ppid=217352 vsize=19063512 memory=1961440 CPUtime=3586.31 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 46243 0 0 0 358614 17 0 0 20 0 20 0 238449537 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19063512 memory=6896 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19063512 memory=14692 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 852 0 0 0 0 0 0 0 20 0 20 0 238449540 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217396] ppid=217352 vsize=19063512 memory=1961440 CPUtime=0 cores=1,3
/proc/217355/task/217396/stat : 217396 (Timer-0) S 217352 217355 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449553 19521036288 490360 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1961440 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.12 s, system=1.14365 s

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

[startup+3599.41 s]
/proc/loadavg: 4.11 4.11 4.09 5/340 217781
/proc/meminfo: memFree=123397440/131249992 swapFree=33003724/33010684
[pid=217355] ppid=217352 vsize=19263204 memory=1962208 CPUtime=3600.21 cores=1,3
/proc/217355/stat : 217355 (java) S 217352 217355 216805 0 -1 4194304 100433 0 0 0 359908 113 0 0 20 0 21 0 238449536 19725520896 490552 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
/proc/217355/statm: 4815801 490552 5530 1 0 504115 0
[pid=217355/tid=217358] ppid=217352 vsize=19263204 memory=-9032082738015609532 CPUtime=3586.42 cores=1,3
/proc/217355/task/217358/stat : 217358 (java) R 217352 217355 216805 0 -1 4194368 46243 0 0 0 358625 17 0 0 20 0 21 0 238449537 19725520896 490552 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217372] ppid=217352 vsize=19263204 memory=2696 CPUtime=0 cores=1,3
/proc/217355/task/217372/stat : 217372 (Finalizer) S 217352 217355 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238449540 19725520896 490552 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
[pid=217355/tid=217384] ppid=217352 vsize=19263204 memory=17596 CPUtime=0 cores=1,3
/proc/217355/task/217384/stat : 217384 (Common-Cleaner) S 217352 217355 216805 0 -1 4194368 852 0 0 0 0 0 0 0 20 0 21 0 238449540 19725520896 490552 18446744073709551615 94093539115008 94093539118704 140721534431088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94093539126520 94093539127312 94093545869312 140721534437759 140721534437860 140721534437860 140721534443464 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1962208 KiB

Child status: 143

Real time (s): 3599.43
CPU time (s): 3600.27
CPU user time (s): 3599.12
CPU system time (s): 1.14365
CPU usage (%): 100.023
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2156716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 1.14365
maximum resident set size= 2156716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105553
involuntary context switches= 6522


# summary of solver processes directly reported to runsolver:
#   pid: 217355
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 1.14365

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2001 second user time and 16.8387 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-23 01:41:48
IDJOB=4543524
IDBENCH=173828
IDSOLVER=3363
FILE ID=nodeC025/4543524-1753227708
RUNJOBID= nodeC025-1753224118-216817
SLURM_JOB_ID= 9687832
Free space on /tmp= 431860 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset_large/normalized-domset-hexgrid_08_020.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543524-1753227708/watcher-4543524-1753227708 -o /tmp/evaluation-result-4543524-1753227708/solver-4543524-1753227708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216817 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4543524-1753227708.opb

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

MD5SUM BENCH= eed585aa251b38ddb3321f6bce6a5d3d
RANDOM SEED=1178444939

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126902380 kB
MemAvailable:   127109340 kB
Buffers:            2128 kB
Cached:           950680 kB
SwapCached:         2132 kB
Active:          3328212 kB
Inactive:         296016 kB
Active(anon):    2665412 kB
Inactive(anon):    27612 kB
Active(file):     662800 kB
Inactive(file):   268404 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1868 kB
Writeback:             4 kB
AnonPages:       2672384 kB
Mapped:           123156 kB
Shmem:             21600 kB
KReclaimable:     229988 kB
Slab:             327828 kB
SReclaimable:     229988 kB
SUnreclaim:        97840 kB
KernelStack:        4864 kB
PageTables:         8548 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5199928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151096 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2541568 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431856 MiB
End job on nodeC025 at 2025-07-23 02:41:47