Trace number 4432275

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.35 3599.46

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
MD5SUMf08684a49e4744afc6bcc5ce80f1fe7b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5644
Number of bits of the biggest sum of numbers13
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version CUSTOM.v20240707
0.14/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.12	c java.vm.version	22.0.1+8-16
0.14/0.12	c java.vm.vendor	Oracle Corporation
0.14/0.12	c sun.arch.data.model	64
0.14/0.12	c java.version		22.0.1
0.14/0.12	c os.name		Linux
0.14/0.12	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.12	c os.arch		amd64
0.14/0.12	c Free memory 		2115194816
0.14/0.12	c Max memory 		16282288128
0.14/0.12	c Total memory 		2122317824
0.14/0.13	c Number of processors 	2
0.14/0.16	--- Begin Solver configuration ---
0.14/0.16	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.16	Learn all clauses as in MiniSAT
0.14/0.16	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.16	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.16	No reason simplification
0.14/0.16	Glucose 2.1 dynamic restart strategy
0.14/0.16	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.14/0.16	timeout=2147483s
0.14/0.16	DB Simplification allowed=false
0.14/0.16	Listener: none
0.14/0.16	--- End Solver configuration ---
0.14/0.17	c Pseudo Boolean Optimization by upper bound
0.14/0.17	c --- Begin Solver configuration ---
0.14/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.17	c Learn all clauses as in MiniSAT
0.14/0.17	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.17	c No reason simplification
0.14/0.17	c Glucose 2.1 dynamic restart strategy
0.14/0.17	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.14/0.17	c timeout=2147483s
0.14/0.17	c DB Simplification allowed=false
0.14/0.17	c Listener: none
0.14/0.17	c --- End Solver configuration ---
0.14/0.17	c solving HOME/instance-4432275-1721099761.opb
0.14/0.17	c reading problem ... 
0.14/0.17	c  objective function found
0.14/0.21	c ... done. Wall clock time 0.045s.
0.14/0.21	c declared #vars     71
0.14/0.21	c #constraints  17
0.14/0.21	c constraints type 
0.14/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.14/0.21	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.14/0.21	c 17 constraints processed.
0.14/0.22	c objective function length is 1 literals
1.05/0.64	c cleaning 2500 clauses out of 5000 with flag 10351/5000
1.63/1.00	c cleaning 4251 clauses out of 8501 with flag 22719/11001
2.42/1.38	c cleaning 5626 clauses out of 11251 with flag 37072/18002
3.02/1.68	c cleaning 6812 clauses out of 13624 with flag 53670/26001
3.54/1.91	c cleaning 7907 clauses out of 15813 with flag 72608/35002
3.93/2.20	c cleaning 8952 clauses out of 17904 with flag 93796/45000
4.27/2.54	c cleaning 9970 clauses out of 19952 with flag 116992/56000
4.84/2.91	c cleaning 10990 clauses out of 21982 with flag 142436/68000
5.25/3.32	c cleaning 11995 clauses out of 23992 with flag 169608/81000
5.64/3.77	c cleaning 13000 clauses out of 25999 with flag 198896/95002
6.15/4.26	c cleaning 13998 clauses out of 27997 with flag 230014/110000
6.65/4.79	c cleaning 14998 clauses out of 30002 with flag 263006/126003
7.44/5.41	c cleaning 16000 clauses out of 32001 with flag 299260/143000
8.09/6.10	c cleaning 17001 clauses out of 34004 with flag 337572/161003
8.78/6.78	c cleaning 17999 clauses out of 36004 with flag 378410/180004
9.58/7.55	c cleaning 18999 clauses out of 38001 with flag 420954/200000
10.38/8.38	c cleaning 19996 clauses out of 40002 with flag 466022/221000
11.29/9.26	c cleaning 21001 clauses out of 42008 with flag 513027/243002
12.21/10.15	c cleaning 22000 clauses out of 44007 with flag 561771/266002
13.11/11.08	c cleaning 23000 clauses out of 46005 with flag 612607/290000
14.33/12.11	c cleaning 24003 clauses out of 48005 with flag 665190/315000
15.43/13.26	c cleaning 25002 clauses out of 50003 with flag 720410/341001
16.62/14.47	c cleaning 26001 clauses out of 52001 with flag 777882/368001
18.02/15.84	c cleaning 27003 clauses out of 54008 with flag 837989/396009
19.23/17.06	c cleaning 28000 clauses out of 56000 with flag 899699/425004
20.51/18.39	c cleaning 28998 clauses out of 58002 with flag 962548/455006
22.34/20.13	c cleaning 29998 clauses out of 59998 with flag 1028287/486000
24.13/21.90	c cleaning 31001 clauses out of 62002 with flag 1097126/518002
25.72/23.51	c cleaning 31999 clauses out of 63999 with flag 1166965/551000
27.33/25.17	c cleaning 33000 clauses out of 66000 with flag 1238522/585000
29.42/27.23	c cleaning 34002 clauses out of 68003 with flag 1312890/620003
31.63/29.41	c cleaning 34998 clauses out of 69998 with flag 1388644/656000
33.52/31.34	c cleaning 36000 clauses out of 72003 with flag 1467653/693003
35.33/33.18	c cleaning 37002 clauses out of 74005 with flag 1548317/731005
37.82/35.64	c cleaning 37993 clauses out of 75999 with flag 1631390/770001
40.43/38.27	c cleaning 39003 clauses out of 78008 with flag 1714982/810003
42.92/40.78	c cleaning 39998 clauses out of 80003 with flag 1801928/851001
45.33/43.16	c cleaning 41000 clauses out of 82008 with flag 1889875/893004
48.02/45.87	c cleaning 41995 clauses out of 84006 with flag 1980430/936002
51.04/48.80	c cleaning 43005 clauses out of 86010 with flag 2073444/980001
53.14/50.94	c cleaning 44000 clauses out of 88004 with flag 2169170/1025000
55.13/52.91	c cleaning 45007 clauses out of 90013 with flag 2264531/1071009
57.43/55.29	c cleaning 45998 clauses out of 91997 with flag 2362882/1118000
59.65/57.42	c cleaning 47000 clauses out of 94000 with flag 2462440/1166001
62.14/59.90	c cleaning 47992 clauses out of 96002 with flag 2563748/1215003
64.25/62.11	c cleaning 49003 clauses out of 98012 with flag 2667066/1265005
66.79/64.55	c cleaning 49996 clauses out of 100004 with flag 2773355/1316000
69.49/67.26	c cleaning 51007 clauses out of 102016 with flag 2882187/1368008
72.09/69.83	c cleaning 52001 clauses out of 104001 with flag 2994847/1421000
75.08/72.86	c cleaning 53001 clauses out of 106001 with flag 3109208/1475001
79.08/76.82	c cleaning 53997 clauses out of 108001 with flag 3224846/1530002
82.26/80.04	c cleaning 55002 clauses out of 110005 with flag 3343269/1586003
85.82/83.63	c cleaning 56001 clauses out of 112005 with flag 3461947/1643005
89.06/86.89	c cleaning 56995 clauses out of 113999 with flag 3582720/1701000
92.14/89.91	c cleaning 57999 clauses out of 116006 with flag 3705051/1760002
95.21/93.03	c cleaning 58998 clauses out of 118005 with flag 3829752/1820000
98.71/96.54	c cleaning 59997 clauses out of 120010 with flag 3955049/1881003
102.40/100.22	c cleaning 61009 clauses out of 122017 with flag 4080859/1943007
106.03/103.88	c cleaning 62002 clauses out of 124004 with flag 4208771/2006003
109.63/107.42	c cleaning 62996 clauses out of 126003 with flag 4338901/2070004
113.52/111.31	c cleaning 64001 clauses out of 128005 with flag 4469977/2135002
117.26/115.02	c cleaning 65000 clauses out of 130002 with flag 4603445/2201000
121.54/119.32	c cleaning 66003 clauses out of 132006 with flag 4739324/2268004
125.37/123.13	c cleaning 66994 clauses out of 134000 with flag 4876804/2336001
129.05/126.82	c cleaning 68000 clauses out of 136005 with flag 5016128/2405000
133.84/131.64	c cleaning 68999 clauses out of 138009 with flag 5161867/2475004
139.25/137.06	c cleaning 69997 clauses out of 140007 with flag 5311406/2546001
143.74/141.59	c cleaning 71005 clauses out of 142009 with flag 5463360/2618000
149.35/147.18	c cleaning 72001 clauses out of 144010 with flag 5617380/2691006
155.14/152.94	c cleaning 73001 clauses out of 146007 with flag 5775094/2765004
160.56/158.31	c cleaning 74000 clauses out of 148004 with flag 5931308/2840002
165.37/163.16	c cleaning 74999 clauses out of 150003 with flag 6088641/2916001
170.36/168.18	c cleaning 76002 clauses out of 152003 with flag 6247991/2993000
176.54/174.38	c cleaning 76998 clauses out of 154002 with flag 6408527/3071001
182.25/180.07	c cleaning 78002 clauses out of 156006 with flag 6573037/3150003
187.84/185.68	c cleaning 78997 clauses out of 158003 with flag 6740186/3230002
193.35/191.18	c cleaning 79999 clauses out of 160006 with flag 6905490/3311002
202.30/199.88	c cleaning 80999 clauses out of 162006 with flag 7075435/3393001
210.18/207.75	c cleaning 81997 clauses out of 164006 with flag 7250789/3476000
219.80/217.32	c cleaning 83002 clauses out of 166011 with flag 7430680/3560002
228.69/226.27	c cleaning 84004 clauses out of 168012 with flag 7612455/3645005
236.19/233.78	c cleaning 84993 clauses out of 170004 with flag 7795436/3731001
243.78/241.35	c cleaning 86002 clauses out of 172013 with flag 7979684/3818003
253.37/251.01	c cleaning 87000 clauses out of 174012 with flag 8164927/3906004
262.46/260.07	c cleaning 88009 clauses out of 176019 with flag 8352711/3995011
272.73/270.35	c cleaning 88994 clauses out of 178000 with flag 8544051/4085001
283.77/281.39	c cleaning 89995 clauses out of 180005 with flag 8736387/4176000
292.37/289.90	c cleaning 91005 clauses out of 182010 with flag 8928676/4268000
301.07/298.68	c cleaning 91999 clauses out of 184005 with flag 9122951/4361000
310.86/308.43	c cleaning 93003 clauses out of 186011 with flag 9321825/4455005
320.35/317.91	c cleaning 93998 clauses out of 188007 with flag 9520136/4550004
331.15/328.74	c cleaning 95002 clauses out of 190013 with flag 9720565/4646008
343.44/341.08	c cleaning 96003 clauses out of 192007 with flag 9925457/4743004
353.54/351.18	c cleaning 96991 clauses out of 194001 with flag 10132934/4841001
365.61/363.28	c cleaning 98000 clauses out of 196009 with flag 10343646/4940000
375.92/373.56	c cleaning 99000 clauses out of 198009 with flag 10553758/5040000
385.10/382.72	c cleaning 100003 clauses out of 200015 with flag 10769530/5141006
397.13/394.74	c cleaning 101003 clauses out of 202009 with flag 10985153/5243003
410.70/408.30	c cleaning 101991 clauses out of 204003 with flag 11204650/5346000
424.32/421.99	c cleaning 103001 clauses out of 206012 with flag 11426197/5450000
438.88/436.57	c cleaning 104004 clauses out of 208014 with flag 11647457/5555003
450.18/447.89	c cleaning 105002 clauses out of 210008 with flag 11865423/5661001
464.06/461.78	c cleaning 105997 clauses out of 212005 with flag 12089910/5768000
478.93/476.61	c cleaning 106997 clauses out of 214008 with flag 12319241/5876000
495.01/492.78	c cleaning 107998 clauses out of 216011 with flag 12552492/5985000
507.19/504.92	c cleaning 109005 clauses out of 218014 with flag 12786537/6095001
518.29/516.07	c cleaning 110004 clauses out of 220011 with flag 13020924/6206003
529.57/527.35	c cleaning 110999 clauses out of 222009 with flag 13259341/6318005
540.14/537.98	c cleaning 112006 clauses out of 224012 with flag 13500469/6431007
551.13/548.94	c cleaning 112999 clauses out of 225999 with flag 13739882/6545000
562.81/560.63	c cleaning 113992 clauses out of 228001 with flag 13982924/6660001
576.62/574.42	c cleaning 114998 clauses out of 230010 with flag 14230157/6776002
590.40/588.29	c cleaning 116003 clauses out of 232015 with flag 14479055/6893005
603.99/601.03	c cleaning 116997 clauses out of 234007 with flag 14730567/7011000
616.46/613.53	c cleaning 118004 clauses out of 236012 with flag 14986549/7130002
629.48/626.51	c cleaning 118996 clauses out of 238007 with flag 15237544/7250001
643.07/640.19	c cleaning 120004 clauses out of 240010 with flag 15490072/7371000
660.83/657.94	c cleaning 120999 clauses out of 242013 with flag 15751195/7493007
675.11/672.29	c cleaning 122000 clauses out of 244009 with flag 16013825/7616002
685.49/682.63	c cleaning 123004 clauses out of 246008 with flag 16273405/7740001
695.10/692.20	c cleaning 124000 clauses out of 248004 with flag 16534177/7865001
704.29/701.47	c cleaning 125000 clauses out of 250003 with flag 16794541/7991000
716.24/713.31	c cleaning 126000 clauses out of 252003 with flag 17058824/8118000
728.12/725.28	c cleaning 126997 clauses out of 254006 with flag 17324131/8246003
738.66/735.77	c cleaning 128001 clauses out of 256010 with flag 17589873/8375004
749.64/746.77	c cleaning 129003 clauses out of 258007 with flag 17858403/8505002
759.86/756.92	c cleaning 130001 clauses out of 260003 with flag 18135623/8636001
770.94/768.05	c cleaning 130995 clauses out of 262002 with flag 18409139/8768001
783.97/781.06	c cleaning 132001 clauses out of 264006 with flag 18683554/8901000
799.82/796.94	c cleaning 133005 clauses out of 266009 with flag 18967886/9035004
816.66/813.76	c cleaning 134000 clauses out of 268003 with flag 19256470/9170003
836.23/833.33	c cleaning 135001 clauses out of 270003 with flag 19547915/9306003
850.84/847.95	c cleaning 135997 clauses out of 271999 with flag 19841934/9443000
866.71/863.81	c cleaning 137002 clauses out of 274007 with flag 20139360/9581005
882.18/879.28	c cleaning 137991 clauses out of 276000 with flag 20435508/9720000
895.65/892.78	c cleaning 139001 clauses out of 278011 with flag 20733076/9860002
912.43/909.51	c cleaning 140002 clauses out of 280009 with flag 21027954/10001001
928.10/925.20	c cleaning 140999 clauses out of 282008 with flag 21326047/10143002
941.78/938.98	c cleaning 142001 clauses out of 284011 with flag 21626346/10286004
955.05/952.20	c cleaning 143006 clauses out of 286011 with flag 21929184/10430005
969.52/966.74	c cleaning 143994 clauses out of 288000 with flag 22233389/10575000
982.10/979.37	c cleaning 145006 clauses out of 290011 with flag 22537449/10721005
995.78/993.06	c cleaning 145998 clauses out of 292002 with flag 22839726/10868002
1012.84/1010.15	c cleaning 146996 clauses out of 294004 with flag 23150416/11016002
1029.65/1026.78	c cleaning 148005 clauses out of 296009 with flag 23465296/11165003
1043.42/1040.57	c cleaning 149001 clauses out of 298003 with flag 23783410/11315002
1057.31/1054.46	c cleaning 149992 clauses out of 300001 with flag 24104139/11466001
1075.48/1071.93	c cleaning 150998 clauses out of 302011 with flag 24425166/11618003
1090.46/1086.96	c cleaning 152003 clauses out of 304011 with flag 24748239/11771001
1107.22/1103.72	c cleaning 153000 clauses out of 306009 with flag 25072355/11925002
1121.52/1117.98	c cleaning 154000 clauses out of 308011 with flag 25397220/12080004
1135.61/1132.08	c cleaning 155000 clauses out of 310009 with flag 25723726/12236002
1155.27/1151.72	c cleaning 155999 clauses out of 312007 with flag 26052393/12393000
1185.76/1182.29	c cleaning 157001 clauses out of 314008 with flag 26392350/12551000
1219.20/1215.76	c cleaning 157994 clauses out of 316007 with flag 26733413/12710000
1248.46/1245.06	c cleaning 159004 clauses out of 318014 with flag 27074968/12870001
1278.92/1275.51	c cleaning 159999 clauses out of 320010 with flag 27414042/13031001
1315.89/1312.52	c cleaning 161002 clauses out of 322010 with flag 27758729/13193000
1351.95/1348.66	c cleaning 161995 clauses out of 324009 with flag 28104528/13356001
1378.92/1375.60	c cleaning 162999 clauses out of 326013 with flag 28451732/13520000
1406.78/1403.50	c cleaning 164007 clauses out of 328016 with flag 28799786/13685002
1442.92/1439.77	c cleaning 165002 clauses out of 330008 with flag 29153872/13851001
1480.44/1477.37	c cleaning 166000 clauses out of 332006 with flag 29509950/14018001
1520.72/1517.60	c cleaning 167001 clauses out of 334005 with flag 29867128/14186000
1550.88/1547.89	c cleaning 167996 clauses out of 336004 with flag 30226760/14355000
1584.04/1581.03	c cleaning 168996 clauses out of 338009 with flag 30588780/14525001
1618.77/1615.73	c cleaning 170007 clauses out of 340016 with flag 30951322/14696004
1649.21/1646.21	c cleaning 170995 clauses out of 342005 with flag 31320168/14868000
1671.87/1668.96	c cleaning 172003 clauses out of 344010 with flag 31676426/15041000
1703.19/1700.23	c cleaning 173001 clauses out of 346013 with flag 32038421/15215006
1748.83/1745.99	c cleaning 174006 clauses out of 348013 with flag 32411268/15390007
1782.38/1779.58	c cleaning 174991 clauses out of 350000 with flag 32777570/15566000
1813.44/1810.65	c cleaning 176006 clauses out of 352012 with flag 33150988/15743003
1843.09/1840.24	c cleaning 177003 clauses out of 354010 with flag 33526439/15921007
1882.14/1879.38	c cleaning 177996 clauses out of 356004 with flag 33900538/16100004
1910.68/1907.83	c cleaning 179000 clauses out of 358004 with flag 34276927/16280000
1948.72/1945.92	c cleaning 179992 clauses out of 360009 with flag 34657766/16461005
1987.97/1985.24	c cleaning 181003 clauses out of 362012 with flag 35040967/16643000
2026.40/2023.73	c cleaning 181999 clauses out of 364011 with flag 35427101/16826002
2072.86/2070.21	c cleaning 183006 clauses out of 366013 with flag 35819272/17010003
2114.79/2112.21	c cleaning 184000 clauses out of 368006 with flag 36212066/17195002
2159.07/2156.53	c cleaning 185000 clauses out of 370004 with flag 36607632/17381000
2200.61/2198.15	c cleaning 186001 clauses out of 372005 with flag 37007898/17568001
2235.01/2232.55	c cleaning 187000 clauses out of 374003 with flag 37409129/17756000
2276.63/2274.24	c cleaning 187998 clauses out of 376005 with flag 37813239/17945002
2315.16/2312.85	c cleaning 189000 clauses out of 378005 with flag 38218603/18135000
2363.08/2360.86	c cleaning 189999 clauses out of 380006 with flag 38632926/18326001
2403.91/2401.76	c cleaning 190999 clauses out of 382006 with flag 39047911/18518000
2435.75/2433.62	c cleaning 192003 clauses out of 384008 with flag 39450890/18711001
2468.29/2466.21	c cleaning 193001 clauses out of 386006 with flag 39855883/18905002
2497.36/2495.31	c cleaning 193995 clauses out of 388006 with flag 40264371/19100003
2535.48/2533.46	c cleaning 194998 clauses out of 390012 with flag 40677796/19296004
2569.83/2567.37	c cleaning 195998 clauses out of 392010 with flag 41096242/19493000
2605.86/2603.33	c cleaning 197002 clauses out of 394017 with flag 41511454/19691005
2636.67/2634.18	c cleaning 197992 clauses out of 396010 with flag 41926812/19890000
2671.66/2669.13	c cleaning 199008 clauses out of 398027 with flag 42351074/20090009
2702.90/2700.36	c cleaning 199993 clauses out of 400010 with flag 42771706/20291000
2743.79/2741.27	c cleaning 201003 clauses out of 402018 with flag 43197090/20493001
2788.19/2785.61	c cleaning 202007 clauses out of 404017 with flag 43621871/20696003
2839.33/2836.78	c cleaning 203007 clauses out of 406013 with flag 44056021/20900006
2898.33/2895.70	c cleaning 203995 clauses out of 408000 with flag 44489562/21105000
2954.15/2951.67	c cleaning 204998 clauses out of 410005 with flag 44928209/21311000
3002.96/3000.56	c cleaning 206002 clauses out of 412012 with flag 45364555/21518005
3055.83/3053.47	c cleaning 206996 clauses out of 414006 with flag 45806754/21726001
3115.43/3113.16	c cleaning 208004 clauses out of 416016 with flag 46252749/21935007
3164.11/3162.19	c cleaning 208997 clauses out of 418010 with flag 46702755/22145005
3202.19/3200.54	c cleaning 209996 clauses out of 420009 with flag 47151399/22356001
3232.02/3230.52	c cleaning 211003 clauses out of 422016 with flag 47588303/22568004
3266.32/3265.10	c cleaning 212004 clauses out of 424011 with flag 48034936/22781002
3296.17/3295.19	c cleaning 213000 clauses out of 426005 with flag 48481352/22995000
3325.20/3324.21	c cleaning 213997 clauses out of 428005 with flag 48930556/23210000
3366.93/3365.92	c cleaning 214983 clauses out of 430010 with flag 49385287/23426002
3434.28/3433.37	c cleaning 216008 clauses out of 432028 with flag 49839346/23643003
3516.46/3515.69	c cleaning 217001 clauses out of 434021 with flag 50304642/23861004
3594.38/3593.68	c cleaning 218002 clauses out of 436022 with flag 50769999/24080006
3600.06/3599.33	c timeout
3600.06/3599.35	c starts		: 5687
3600.06/3599.36	c conflicts		: 24112268
3600.06/3599.36	c decisions		: 25332968
3600.06/3599.36	c propagations		: 207887168
3600.06/3599.36	c inspects		: 39047846941
3600.06/3599.36	c shortcuts		: 0
3600.06/3599.36	c learnt literals	: 0
3600.06/3599.36	c learnt binary clauses	: 0
3600.06/3599.36	c learnt ternary clauses	: 0
3600.06/3599.36	c learnt constraints	: 24112268
3600.06/3599.36	c ignored constraints	: 0
3600.06/3599.36	c root simplifications	: 0
3600.06/3599.36	c removed literals (reason simplification)	: 0
3600.06/3599.36	c reason swapping (by a shorter reason)	: 0
3600.06/3599.36	c Calls to reduceDB	: 215
3600.06/3599.36	c Number of update (reduction) of LBD	: 2158258
3600.06/3599.36	c Imported unit clauses	: 0
3600.06/3599.36	c No decision after first conflict	: false
3600.06/3599.36	c number of reductions to clauses (during analyze)	: 0
3600.06/3599.36	c number of learned constraints concerned by reduction	: 0
3600.06/3599.36	c number of learning phase by resolution	: 0
3600.06/3599.36	c number of learning phase by cutting planes	: 0
3600.06/3599.36	c number of rounding to 1 operations	: 0
3600.06/3599.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3599.36	c number of reductions of the coefficients by power 2 	: 0
3600.06/3599.36	c number of right shift for reduction by power 2 	: 0
3600.06/3599.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3599.36	c number of ending skipping 	: 0
3600.06/3599.36	c number of internal skipping 	: 0
3600.06/3599.36	c number of derivation steps 	: 0
3600.06/3599.36	c number of skipped derivation steps 	: 0
3600.06/3599.36	c number of remaining unassigned 	: 0
3600.06/3599.36	c number of remaining assigned 	: 0
3600.06/3599.36	c number of falsified literals weakened from reason	: 0
3600.06/3599.36	c number of falsified literals weakened from conflict	: 0
3600.06/3599.36	c time for arithmetic operations	: 0
3600.06/3599.36	c minimum degree of deleted constraints	: null
3600.06/3599.36	c maximum degree of deleted constraints	: null
3600.06/3599.36	c number of deleted constraints	: 0
3600.06/3599.36	c speed (assignments/second)	: 57760.217785299326
3600.06/3599.36	c non guided choices	: 31
3600.26/3599.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 250282
3600.26/3599.44	s UNKNOWN
3600.26/3599.44	c Total wall clock time (in seconds): 3599.274

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: 64059 MiB (61684 MiB free)
  memory of node 1: 64510 MiB (63479 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432275-1721099761/watcher-4432275-1721099761 -o /tmp/evaluation-result-4432275-1721099761/solver-4432275-1721099761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721096171-821628 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432275-1721099761.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=823742, runsolver pid=823739

[startup+0.100741 s]*
/proc/loadavg: 4.27 4.15 4.10 5/272 823760
/proc/meminfo: memFree=128128448/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=18975048 memory=58768 CPUtime=0.14 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 6616 0 0 0 11 3 0 0 20 0 18 0 162135659 19430449152 14692 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4743762 14692 5653 1 0 551007 0
[pid=823742/tid=823744] ppid=823739 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) S 823739 823742 821616 0 -1 1077936192 5582 0 0 0 7 2 0 0 20 0 18 0 162135659 19430449152 14692 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162135665 19430449152 14692 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=18975048 memory=15817789915191721 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 162135665 19430449152 14692 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58768 KiB

[startup+0.213252 s]*
/proc/loadavg: 4.27 4.15 4.10 7/272 823760
/proc/meminfo: memFree=128116920/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19041612 memory=68304 CPUtime=0.37 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 7468 0 0 0 34 3 0 0 20 0 19 0 162135659 19498610688 17076 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4760403 17076 5778 1 0 551975 0
[pid=823742/tid=823744] ppid=823739 vsize=19041612 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 5981 0 0 0 18 2 0 0 20 0 19 0 162135659 19498610688 17076 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19041612 memory=671 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162135665 19498610688 17076 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19041612 memory=14697383271339398 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162135665 19498610688 17076 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162135682 19498610688 17076 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 68304 KiB

[startup+0.344386 s]*
/proc/loadavg: 4.27 4.15 4.10 8/273 823761
/proc/meminfo: memFree=128113360/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19041612 memory=69672 CPUtime=0.57 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 7698 0 0 0 54 3 0 0 20 0 19 0 162135659 19498610688 17418 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4760403 17418 5862 1 0 552156 0
[pid=823742/tid=823744] ppid=823739 vsize=19041612 memory=-8528238148819722940 CPUtime=0.31 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 5987 0 0 0 29 2 0 0 20 0 19 0 162135659 19498610688 17418 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162135665 19498610688 17418 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162135665 19498610688 17418 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162135682 19498610688 17418 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69672 KiB

[startup+0.700371 s]
/proc/loadavg: 4.27 4.15 4.10 6/273 823761
/proc/meminfo: memFree=128103408/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19041612 memory=83540 CPUtime=1.24 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 11927 0 0 0 120 4 0 0 20 0 19 0 162135659 19498610688 20885 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4760403 20885 5862 1 0 554582 0
[pid=823742/tid=823744] ppid=823739 vsize=19041612 memory=41408 CPUtime=0.64 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 6039 0 0 0 62 2 0 0 20 0 19 0 162135659 19498610688 20885 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19041612 memory=12776 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162135665 19498610688 20885 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19041612 memory=2216 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162135665 19498610688 20885 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19041612 memory=32144 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162135682 19498610688 20885 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83540 KiB

[startup+1.50037 s]
/proc/loadavg: 4.27 4.15 4.10 6/273 823761
/proc/meminfo: memFree=128074752/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19041612 memory=102068 CPUtime=2.82 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 19844 0 0 0 277 5 0 0 20 0 19 0 162135659 19498610688 25517 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4760403 25517 5893 1 0 556457 0
[pid=823742/tid=823744] ppid=823739 vsize=19041612 memory=12776 CPUtime=1.43 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 6357 0 0 0 141 2 0 0 20 0 19 0 162135659 19498610688 25517 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162135665 19498610688 25517 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19041612 memory=2216 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162135665 19498610688 25517 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19041612 memory=32144 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162135682 19498610688 25517 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102068 KiB

[startup+3.11269 s]
/proc/loadavg: 4.48 4.20 4.12 7/294 823812
/proc/meminfo: memFree=128015196/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19041612 memory=131208 CPUtime=5.05 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 20708 0 0 0 499 6 0 0 20 0 19 0 162135659 19498610688 32802 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4760403 32802 5893 1 0 556460 0
[pid=823742/tid=823744] ppid=823739 vsize=19041612 memory=0 CPUtime=3.04 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 6661 0 0 0 301 3 0 0 20 0 19 0 162135659 19498610688 32802 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19041612 memory=-8528238148819722940 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162135665 19498610688 32802 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19041612 memory=12776 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162135665 19498610688 32802 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19041612 memory=2216 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162135682 19498610688 32802 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 131208 KiB

[startup+6.30042 s]
/proc/loadavg: 4.48 4.20 4.12 5/314 823864
/proc/meminfo: memFree=127853680/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=184268 CPUtime=8.38 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 22414 0 0 0 830 8 0 0 20 0 20 0 162135659 19566772224 46067 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4777044 46067 5909 1 0 556751 0
[pid=823742/tid=823744] ppid=823739 vsize=19108176 memory=2216 CPUtime=6.18 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 7007 0 0 0 614 4 0 0 20 0 20 0 162135659 19566772224 46067 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 46067 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19108176 memory=12776 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 46067 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19108176 memory=-2629627693197022622 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162135682 19566772224 46067 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 8.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184268 KiB

[startup+12.7004 s]
/proc/loadavg: 4.53 4.21 4.12 5/317 823867
/proc/meminfo: memFree=127746252/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=194896 CPUtime=14.93 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 27002 0 0 0 1483 10 0 0 20 0 20 0 162135659 19566772224 48724 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4777044 48724 5925 1 0 556751 0
[pid=823742/tid=823744] ppid=823739 vsize=19108176 memory=12776 CPUtime=12.51 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 7849 0 0 0 1247 4 0 0 20 0 20 0 162135659 19566772224 48724 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19108176 memory=184604 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 48724 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19108176 memory=184604 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 48724 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162135682 19566772224 48724 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 14.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194896 KiB

[startup+25.5005 s]
/proc/loadavg: 4.85 4.30 4.15 5/317 823870
/proc/meminfo: memFree=127558088/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=252544 CPUtime=27.72 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 29115 0 0 0 2760 12 0 0 20 0 20 0 162135659 19566772224 63136 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4777044 63136 5925 1 0 556751 0
[pid=823742/tid=823744] ppid=823739 vsize=19108176 memory=252540 CPUtime=25.13 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 8836 0 0 0 2509 4 0 0 20 0 20 0 162135659 19566772224 63136 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19108176 memory=252540 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 63136 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 63136 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162135682 19566772224 63136 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 27.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 252544 KiB

[startup+51.1128 s]
/proc/loadavg: 4.87 4.34 4.17 5/317 823873
/proc/meminfo: memFree=126993108/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=410476 CPUtime=53.35 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 33488 0 0 0 5319 16 0 0 20 0 20 0 162135659 19566772224 102619 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0

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

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/320 825642
/proc/meminfo: memFree=119554184/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=2421256 CPUtime=3283.47 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 162985 0 0 0 328114 233 0 0 20 0 20 0 162135659 19566772224 605314 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4777044 605314 5940 1 0 638447 0
[pid=823742/tid=823744] ppid=823739 vsize=19108176 memory=2421256 CPUtime=3261.34 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 68736 0 0 0 326111 23 0 0 20 0 20 0 162135659 19566772224 605314 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19108176 memory=28344 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 605314 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19108176 memory=12776 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 3424 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 605314 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19108176 memory=2421256 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162135682 19566772224 605314 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 3283.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2421256 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/320 825652
/proc/meminfo: memFree=119551936/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=2423316 CPUtime=3343.36 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 164924 0 0 0 334100 236 0 0 20 0 20 0 162135659 19566772224 605829 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4777044 605829 5940 1 0 638447 0
[pid=823742/tid=823744] ppid=823739 vsize=19108176 memory=5544 CPUtime=3320.79 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 69774 0 0 0 332056 23 0 0 20 0 20 0 162135659 19566772224 605829 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19108176 memory=2728 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 605829 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19108176 memory=41408 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 3474 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 605829 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19108176 memory=2423316 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162135682 19566772224 605829 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 3343.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2423316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/320 825663
/proc/meminfo: memFree=119551552/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=2423328 CPUtime=3403.33 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 166306 0 0 0 340093 240 0 0 20 0 20 0 162135659 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4777044 605832 5940 1 0 638447 0
[pid=823742/tid=823744] ppid=823739 vsize=19108176 memory=2421268 CPUtime=3380.6 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 70615 0 0 0 338037 23 0 0 20 0 20 0 162135659 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19108176 memory=41408 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19108176 memory=2423328 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 3522 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19108176 memory=-8528238148819722940 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162135682 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 3403.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2423328 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/320 825673
/proc/meminfo: memFree=119551136/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=2423328 CPUtime=3463.24 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 167504 0 0 0 346081 243 0 0 20 0 20 0 162135659 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4777044 605832 5940 1 0 638447 0
[pid=823742/tid=823744] ppid=823739 vsize=19108176 memory=2421268 CPUtime=3440.46 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 71625 0 0 0 344023 23 0 0 20 0 20 0 162135659 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19108176 memory=6297842540895236693 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19108176 memory=2423328 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 3642 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162135682 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 3463.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2423328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.17 4.17 5/321 825687
/proc/meminfo: memFree=119550576/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=2423328 CPUtime=3523.15 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 168834 0 0 0 352068 247 0 0 20 0 20 0 162135659 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4777044 605832 5940 1 0 638447 0
[pid=823742/tid=823744] ppid=823739 vsize=19108176 memory=2423328 CPUtime=3500.31 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 72697 0 0 0 350008 23 0 0 20 0 20 0 162135659 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19108176 memory=2423328 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19108176 memory=2423328 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 3759 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19108176 memory=2423328 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162135682 19566772224 605832 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 3523.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2423328 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/319 825699
/proc/meminfo: memFree=119517400/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=2456108 CPUtime=3583.1 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 170272 0 0 0 358059 251 0 0 20 0 20 0 162135659 19566772224 614027 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4777044 614027 5940 1 0 638447 0
[pid=823742/tid=823744] ppid=823739 vsize=19108176 memory=5544 CPUtime=3560.1 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 73517 0 0 0 355986 24 0 0 20 0 20 0 162135659 19566772224 614027 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19108176 memory=2456108 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 614027 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19108176 memory=11464 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 3837 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 614027 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19108176 memory=16116 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162135682 19566772224 614027 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 3583.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2456108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.3 s]
/proc/loadavg: 4.17 4.16 4.17 4/294 825736
/proc/meminfo: memFree=121576360/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19108176 memory=2456108 CPUtime=3600.06 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 171038 0 0 0 359755 251 0 0 20 0 20 0 162135659 19566772224 614027 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4777044 614027 5940 1 0 638447 0
[pid=823742/tid=823744] ppid=823739 vsize=19108176 memory=2456108 CPUtime=3577.06 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) R 823739 823742 821616 0 -1 4194368 74157 0 0 0 357682 24 0 0 20 0 20 0 162135659 19566772224 614027 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19108176 memory=2456108 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 614027 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19108176 memory=2456108 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 3837 0 0 0 0 0 0 0 20 0 20 0 162135665 19566772224 614027 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823761] ppid=823739 vsize=19108176 memory=41408 CPUtime=0 cores=1,3
/proc/823742/task/823761/stat : 823761 (Timer-0) S 823739 823742 821616 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162135682 19566772224 614027 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2456108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.81 s, system=2.53734 s

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

[startup+3599.41 s]
/proc/loadavg: 4.17 4.16 4.17 4/294 825736
/proc/meminfo: memFree=121576360/131655788 swapFree=131071996/131071996
[pid=823742] ppid=823739 vsize=19307868 memory=2456852 CPUtime=3600.26 cores=1,3
/proc/823742/stat : 823742 (java) S 823739 823742 821616 0 -1 1077936128 173386 0 0 0 359774 252 0 0 20 0 21 0 162135659 19771256832 614213 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
/proc/823742/statm: 4826967 614213 5939 1 0 639384 0
[pid=823742/tid=823744] ppid=823739 vsize=19307868 memory=5544 CPUtime=3577.09 cores=1,3
/proc/823742/task/823744/stat : 823744 (java) S 823739 823742 821616 0 -1 1077936192 74362 0 0 0 357685 24 0 0 20 0 21 0 162135659 19771256832 614213 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823753] ppid=823739 vsize=19307868 memory=16116 CPUtime=0 cores=1,3
/proc/823742/task/823753/stat : 823753 (Finalizer) S 823739 823742 821616 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 162135665 19771256832 614213 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
[pid=823742/tid=823760] ppid=823739 vsize=19307868 memory=2216 CPUtime=0 cores=1,3
/proc/823742/task/823760/stat : 823760 (Common-Cleaner) S 823739 823742 821616 0 -1 1077936192 3837 0 0 0 0 0 0 0 20 0 21 0 162135665 19771256832 614213 134679101440 93887452766208 93887452769904 140730680475168 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93887452777720 93887452778512 93887475945472 140730680480775 140730680480865 140730680480865 140730680487880 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2456852 KiB

Child status: 143

Real time (s): 3599.46
CPU time (s): 3600.35
CPU user time (s): 3597.81
CPU system time (s): 2.53734
CPU usage (%): 100.025
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2456852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.81
system time used= 2.53735
maximum resident set size= 2457964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173600
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108065
involuntary context switches= 4825


# summary of solver processes directly reported to runsolver:
#   pid: 823742
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3597.81
#   total CPU system time (s): 2.53734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0513 second user time and 36.2918 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-16 05:16:13
IDJOB=4432275
IDBENCH=147583
IDSOLVER=3058
FILE ID=nodeC009/4432275-1721099761
RUNJOBID= nodeC009-1721096171-821628
SLURM_JOB_ID= 7505609
Free space on /tmp= 723672 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432275-1721099761/watcher-4432275-1721099761 -o /tmp/evaluation-result-4432275-1721099761/solver-4432275-1721099761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721096171-821628 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432275-1721099761.opb

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

MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b
RANDOM SEED=881077867

nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3672.911
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3632.813
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.574
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.318
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.487
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3668.691
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3673.379
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.469
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128168224 kB
MemAvailable:   129792460 kB
Buffers:          389596 kB
Cached:          2061140 kB
SwapCached:            0 kB
Active:           788908 kB
Inactive:        2140160 kB
Active(anon):       1460 kB
Inactive(anon):   514564 kB
Active(file):     787448 kB
Inactive(file):  1625596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2324 kB
Writeback:             0 kB
AnonPages:        478100 kB
Mapped:           123948 kB
Shmem:             37700 kB
KReclaimable:     102444 kB
Slab:             200504 kB
SReclaimable:     102444 kB
SUnreclaim:        98060 kB
KernelStack:        4128 kB
PageTables:        10400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3009536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC009 at 2024-07-16 06:16:12