Trace number 4432274

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.17 3603.2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
MD5SUM8548cf2fe8567884970fc9be656882ff
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 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5346
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432274-1721101407.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.14/0.15	c ... done. Wall clock time 0.018s.
0.14/0.15	c declared #vars     71
0.14/0.15	c #constraints  17
0.14/0.15	c constraints type 
0.14/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.14/0.15	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.14/0.15	c 17 constraints processed.
0.14/0.15	c objective function length is 1 literals
0.72/0.48	c cleaning 2506 clauses out of 5012 with flag 10318/5012
1.49/0.80	c cleaning 4249 clauses out of 8497 with flag 22547/11003
1.81/1.03	c cleaning 5623 clauses out of 11248 with flag 36963/18003
2.07/1.25	c cleaning 6814 clauses out of 13627 with flag 54055/26005
2.44/1.51	c cleaning 7905 clauses out of 15812 with flag 73249/35004
2.71/1.78	c cleaning 8953 clauses out of 17906 with flag 94553/45003
3.17/2.13	c cleaning 9975 clauses out of 19952 with flag 117949/56002
3.46/2.47	c cleaning 10989 clauses out of 21977 with flag 143215/68002
3.86/2.84	c cleaning 11993 clauses out of 23986 with flag 170457/81000
4.25/3.29	c cleaning 12996 clauses out of 25993 with flag 200130/95000
4.76/3.76	c cleaning 13996 clauses out of 27999 with flag 231942/110002
5.25/4.25	c cleaning 15002 clauses out of 30004 with flag 265763/126003
5.90/4.80	c cleaning 16000 clauses out of 31999 with flag 300945/143000
6.50/5.37	c cleaning 16998 clauses out of 34000 with flag 338694/161001
7.10/5.98	c cleaning 18002 clauses out of 36004 with flag 378716/180003
7.79/6.60	c cleaning 18996 clauses out of 37999 with flag 420799/200000
8.39/7.25	c cleaning 20002 clauses out of 40007 with flag 464850/221004
9.08/7.98	c cleaning 21003 clauses out of 42005 with flag 510457/243004
9.88/8.77	c cleaning 22001 clauses out of 44002 with flag 558586/266004
10.67/9.50	c cleaning 23001 clauses out of 46001 with flag 608785/290004
11.47/10.30	c cleaning 23994 clauses out of 47996 with flag 660970/315000
12.47/11.32	c cleaning 25004 clauses out of 50007 with flag 715067/341005
13.37/12.25	c cleaning 25997 clauses out of 51998 with flag 771229/368000
14.28/13.17	c cleaning 27000 clauses out of 54001 with flag 829363/396000
15.37/14.23	c cleaning 28004 clauses out of 56007 with flag 889398/425006
16.47/15.36	c cleaning 28999 clauses out of 57997 with flag 951171/455000
17.67/16.52	c cleaning 29998 clauses out of 59998 with flag 1015323/486000
18.97/17.82	c cleaning 30995 clauses out of 62002 with flag 1083046/518002
20.67/19.56	c cleaning 32003 clauses out of 64005 with flag 1152762/551000
22.06/20.99	c cleaning 33001 clauses out of 66002 with flag 1224255/585000
23.76/22.61	c cleaning 34000 clauses out of 68002 with flag 1297013/620001
25.37/24.22	c cleaning 35001 clauses out of 70005 with flag 1373102/656004
27.00/25.87	c cleaning 36000 clauses out of 72001 with flag 1450372/693001
28.49/27.32	c cleaning 36999 clauses out of 74001 with flag 1529054/731001
30.39/29.27	c cleaning 37998 clauses out of 76002 with flag 1610583/770001
32.59/31.46	c cleaning 39000 clauses out of 78003 with flag 1695014/810000
34.92/33.79	c cleaning 40000 clauses out of 80003 with flag 1781199/851000
37.22/36.04	c cleaning 41003 clauses out of 82008 with flag 1869060/893005
39.51/38.32	c cleaning 41997 clauses out of 84001 with flag 1959215/936001
41.61/40.49	c cleaning 42997 clauses out of 86004 with flag 2051371/980001
44.13/42.91	c cleaning 43995 clauses out of 88007 with flag 2145563/1025001
46.33/45.14	c cleaning 45004 clauses out of 90012 with flag 2241362/1071001
48.52/47.39	c cleaning 46001 clauses out of 92011 with flag 2339911/1118004
50.93/49.77	c cleaning 47003 clauses out of 94007 with flag 2440313/1166001
53.15/51.96	c cleaning 48000 clauses out of 96004 with flag 2541973/1215001
55.65/54.43	c cleaning 48995 clauses out of 98006 with flag 2645762/1265003
58.44/57.21	c cleaning 49998 clauses out of 100008 with flag 2752909/1316000
61.65/60.42	c cleaning 51003 clauses out of 102013 with flag 2862266/1368003
65.14/63.97	c cleaning 52004 clauses out of 104010 with flag 2973935/1421003
68.54/67.36	c cleaning 53003 clauses out of 106008 with flag 3086459/1475005
71.96/70.76	c cleaning 53997 clauses out of 108002 with flag 3199759/1530002
75.66/74.41	c cleaning 55000 clauses out of 110004 with flag 3318670/1586001
79.76/78.51	c cleaning 55993 clauses out of 112005 with flag 3440294/1643002
83.49/82.21	c cleaning 57004 clauses out of 114010 with flag 3562675/1701000
86.29/85.08	c cleaning 58001 clauses out of 116007 with flag 3684698/1760001
89.47/88.27	c cleaning 58994 clauses out of 118005 with flag 3808269/1820000
93.70/92.41	c cleaning 60001 clauses out of 120011 with flag 3936483/1881000
98.19/96.94	c cleaning 61003 clauses out of 122011 with flag 4069193/1943001
102.79/101.57	c cleaning 61993 clauses out of 124007 with flag 4202163/2006000
107.31/106.09	c cleaning 63003 clauses out of 126014 with flag 4336379/2070000
111.99/110.78	c cleaning 64002 clauses out of 128019 with flag 4472888/2135008
116.82/115.50	c cleaning 64994 clauses out of 130010 with flag 4613598/2201001
122.42/121.13	c cleaning 65997 clauses out of 132015 with flag 4755804/2268000
127.81/126.50	c cleaning 67006 clauses out of 134021 with flag 4899150/2336003
132.73/131.40	c cleaning 67999 clauses out of 136012 with flag 5043954/2405000
137.62/136.39	c cleaning 69006 clauses out of 138014 with flag 5189849/2475001
143.41/142.19	c cleaning 69999 clauses out of 140010 with flag 5339271/2546003
149.30/148.02	c cleaning 71001 clauses out of 142013 with flag 5490242/2618005
155.84/154.50	c cleaning 71993 clauses out of 144009 with flag 5645884/2691002
161.63/160.38	c cleaning 73008 clauses out of 146017 with flag 5803219/2765003
168.01/166.77	c cleaning 74002 clauses out of 148006 with flag 5962949/2840000
174.24/172.95	c cleaning 75002 clauses out of 150006 with flag 6123817/2916002
179.99/178.70	c cleaning 75998 clauses out of 152003 with flag 6285785/2993001
186.43/185.24	c cleaning 76998 clauses out of 154004 with flag 6448411/3071000
193.76/192.63	c cleaning 77995 clauses out of 156007 with flag 6616031/3150001
199.67/198.54	c cleaning 79004 clauses out of 158017 with flag 6783122/3230006
205.91/204.83	c cleaning 79999 clauses out of 160007 with flag 6956323/3311000
212.25/211.23	c cleaning 81004 clauses out of 162009 with flag 7129001/3393001
218.82/217.83	c cleaning 81998 clauses out of 164004 with flag 7304422/3476000
226.45/225.49	c cleaning 83001 clauses out of 166008 with flag 7481930/3560002
234.14/233.13	c cleaning 84001 clauses out of 168009 with flag 7661733/3645004
241.62/240.66	c cleaning 84995 clauses out of 170004 with flag 7841766/3731000
247.62/246.65	c cleaning 86002 clauses out of 172010 with flag 8022987/3818001
254.69/253.62	c cleaning 86996 clauses out of 174007 with flag 8205322/3906000
261.47/260.47	c cleaning 88002 clauses out of 176011 with flag 8391796/3995000
268.56/267.54	c cleaning 89011 clauses out of 178021 with flag 8577590/4085012
274.05/273.08	c cleaning 89999 clauses out of 179999 with flag 8768702/4176001
279.04/278.05	c cleaning 91002 clauses out of 182003 with flag 8962642/4268004
285.98/284.69	c cleaning 91998 clauses out of 183997 with flag 9157878/4361000
293.76/292.48	c cleaning 93000 clauses out of 186001 with flag 9353490/4455002
301.55/300.20	c cleaning 93998 clauses out of 188003 with flag 9551771/4550004
310.63/309.37	c cleaning 94992 clauses out of 190005 with flag 9754832/4646004
319.08/317.71	c cleaning 95997 clauses out of 192009 with flag 9959420/4743000
328.76/327.46	c cleaning 97008 clauses out of 194016 with flag 10167585/4841004
338.84/337.56	c cleaning 98002 clauses out of 196004 with flag 10376031/4940000
347.62/346.33	c cleaning 99001 clauses out of 198005 with flag 10583469/5040003
356.32/355.01	c cleaning 100002 clauses out of 200005 with flag 10791993/5141004
364.19/362.87	c cleaning 100999 clauses out of 202004 with flag 11004651/5243005
370.78/369.49	c cleaning 102000 clauses out of 204005 with flag 11221701/5346005
378.48/377.17	c cleaning 102995 clauses out of 206002 with flag 11439145/5450002
386.46/385.13	c cleaning 104001 clauses out of 208006 with flag 11653362/5555001
394.53/393.19	c cleaning 104994 clauses out of 210004 with flag 11869436/5661000
401.81/400.43	c cleaning 106004 clauses out of 212010 with flag 12086922/5768000
409.41/408.09	c cleaning 107002 clauses out of 214011 with flag 12307669/5876005
419.08/417.79	c cleaning 107997 clauses out of 216007 with flag 12533869/5985003
429.27/427.94	c cleaning 109002 clauses out of 218007 with flag 12762166/6095000
442.92/441.56	c cleaning 110005 clauses out of 220009 with flag 12996004/6206004
454.80/453.42	c cleaning 110997 clauses out of 222000 with flag 13232503/6318000
463.98/462.61	c cleaning 111990 clauses out of 224003 with flag 13468101/6431000
473.76/472.42	c cleaning 113004 clauses out of 226013 with flag 13708335/6545000
483.15/481.86	c cleaning 114003 clauses out of 228009 with flag 13947690/6660000
492.50/491.16	c cleaning 115006 clauses out of 230013 with flag 14186728/6776007
502.18/500.80	c cleaning 115995 clauses out of 232001 with flag 14428582/6893001
511.96/510.60	c cleaning 116998 clauses out of 234009 with flag 14671680/7011004
521.95/520.68	c cleaning 117993 clauses out of 236007 with flag 14916743/7130000
533.62/532.38	c cleaning 119008 clauses out of 238017 with flag 15168791/7250003
547.99/546.70	c cleaning 119990 clauses out of 240006 with flag 15423794/7371000
560.16/558.99	c cleaning 120998 clauses out of 242016 with flag 15681702/7493000
572.25/571.02	c cleaning 122006 clauses out of 244022 with flag 15941571/7616004
583.12/581.96	c cleaning 123000 clauses out of 246012 with flag 16197455/7740000
596.39/595.29	c cleaning 123999 clauses out of 248013 with flag 16454465/7865001
616.86/615.70	c cleaning 125006 clauses out of 250013 with flag 16721306/7991000
634.12/633.10	c cleaning 126000 clauses out of 252007 with flag 16990138/8118000
656.07/655.09	c cleaning 126998 clauses out of 254008 with flag 17262970/8246001
673.24/672.27	c cleaning 128001 clauses out of 256009 with flag 17536801/8375000
693.02/691.92	c cleaning 129002 clauses out of 258009 with flag 17814239/8505001
709.65/708.76	c cleaning 130000 clauses out of 260007 with flag 18093243/8636001
729.37/728.67	c cleaning 131004 clauses out of 262009 with flag 18370745/8768003
748.98/748.44	c cleaning 131996 clauses out of 264002 with flag 18653271/8901000
769.89/769.56	c cleaning 132997 clauses out of 266006 with flag 18935681/9035000
789.87/788.92	c cleaning 134005 clauses out of 268011 with flag 19219538/9170002
805.84/805.00	c cleaning 134996 clauses out of 270008 with flag 19506611/9306004
820.41/819.53	c cleaning 136003 clauses out of 272008 with flag 19794339/9443000
835.68/834.86	c cleaning 137003 clauses out of 274006 with flag 20085299/9581001
853.80/853.09	c cleaning 137996 clauses out of 276006 with flag 20374363/9720004
874.81/874.28	c cleaning 139003 clauses out of 278011 with flag 20668321/9860005
898.19/897.85	c cleaning 139996 clauses out of 280003 with flag 20965744/10001000
926.53/926.44	c cleaning 141002 clauses out of 282014 with flag 21266829/10143007
949.51/949.63	c cleaning 142001 clauses out of 284007 with flag 21567524/10286002
972.30/972.65	c cleaning 143006 clauses out of 286011 with flag 21866215/10430007
991.43/991.98	c cleaning 143997 clauses out of 288000 with flag 22167523/10575002
1012.11/1012.60	c cleaning 144998 clauses out of 290003 with flag 22471390/10721002
1037.48/1038.06	c cleaning 145994 clauses out of 292003 with flag 22783668/10868000
1061.54/1062.16	c cleaning 147003 clauses out of 294009 with flag 23094185/11016000
1084.59/1085.26	c cleaning 147996 clauses out of 296007 with flag 23406668/11165001
1106.06/1106.71	c cleaning 149001 clauses out of 298014 with flag 23721381/11315004
1125.52/1126.29	c cleaning 150003 clauses out of 300012 with flag 24034808/11466003
1152.57/1153.34	c cleaning 150998 clauses out of 302007 with flag 24355976/11618001
1177.75/1178.49	c cleaning 152007 clauses out of 304015 with flag 24679473/11771007
1201.70/1202.42	c cleaning 152990 clauses out of 306001 with flag 25002437/11925000
1231.55/1232.38	c cleaning 153993 clauses out of 308011 with flag 25331287/12080000
1263.09/1264.00	c cleaning 155009 clauses out of 310023 with flag 25664690/12236005
1292.53/1293.41	c cleaning 156004 clauses out of 312014 with flag 25996736/12393005
1319.68/1320.60	c cleaning 157000 clauses out of 314007 with flag 26327915/12551002
1346.13/1347.12	c cleaning 157999 clauses out of 316005 with flag 26663219/12710000
1377.19/1378.17	c cleaning 158993 clauses out of 318008 with flag 27003501/12870002
1414.81/1415.85	c cleaning 159995 clauses out of 320014 with flag 27347717/13031001
1437.37/1438.45	c cleaning 161004 clauses out of 322021 with flag 27684531/13193003
1458.43/1459.55	c cleaning 162007 clauses out of 324014 with flag 28029196/13356000
1481.78/1482.90	c cleaning 162996 clauses out of 326010 with flag 28370646/13520003
1507.84/1509.04	c cleaning 163998 clauses out of 328017 with flag 28718312/13685006
1536.11/1537.20	c cleaning 164999 clauses out of 330013 with flag 29070969/13851000
1564.16/1565.37	c cleaning 166005 clauses out of 332018 with flag 29423735/14018004
1596.10/1597.36	c cleaning 167002 clauses out of 334010 with flag 29775397/14186001
1625.05/1626.38	c cleaning 167998 clauses out of 336007 with flag 30132302/14355000
1648.83/1649.72	c cleaning 168995 clauses out of 338010 with flag 30486203/14525001
1673.09/1674.07	c cleaning 170001 clauses out of 340014 with flag 30845022/14696000
1696.74/1697.71	c cleaning 171004 clauses out of 342014 with flag 31207160/14868001
1722.19/1723.28	c cleaning 172000 clauses out of 344012 with flag 31571681/15041003
1743.66/1744.73	c cleaning 173005 clauses out of 346009 with flag 31935780/15215000
1768.26/1769.38	c cleaning 173998 clauses out of 348004 with flag 32297275/15390000
1799.71/1800.81	c cleaning 175001 clauses out of 350007 with flag 32670144/15566001
1832.05/1833.28	c cleaning 175998 clauses out of 352005 with flag 33040020/15743000
1875.06/1876.30	c cleaning 176995 clauses out of 354008 with flag 33415931/15921001
1924.68/1926.04	c cleaning 178000 clauses out of 356014 with flag 33796155/16100002
1956.52/1957.91	c cleaning 179009 clauses out of 358018 with flag 34171057/16280006
1989.79/1991.11	c cleaning 180003 clauses out of 360006 with flag 34549045/16461003
2019.03/2020.42	c cleaning 180995 clauses out of 362000 with flag 34928470/16643000
2052.47/2053.99	c cleaning 181995 clauses out of 364006 with flag 35312320/16826001
2089.29/2090.81	c cleaning 182999 clauses out of 366010 with flag 35699451/17010000
2126.60/2128.22	c cleaning 183997 clauses out of 368012 with flag 36087775/17195001
2168.50/2170.29	c cleaning 184998 clauses out of 370014 with flag 36483331/17381000
2196.83/2198.67	c cleaning 186002 clauses out of 372017 with flag 36875235/17568001
2238.81/2240.66	c cleaning 187006 clauses out of 374019 with flag 37275493/17756005
2275.64/2277.55	c cleaning 188003 clauses out of 376012 with flag 37674589/17945004
2305.77/2307.77	c cleaning 189006 clauses out of 378012 with flag 38067322/18135007
2347.39/2349.40	c cleaning 189987 clauses out of 379999 with flag 38465930/18326000
2397.07/2399.25	c cleaning 190996 clauses out of 382018 with flag 38872562/18518006
2441.77/2444.05	c cleaning 192003 clauses out of 384019 with flag 39277141/18711003
2490.17/2492.55	c cleaning 192993 clauses out of 386013 with flag 39689369/18905000
2522.52/2524.88	c cleaning 194013 clauses out of 388025 with flag 40102195/19100005
2560.95/2563.35	c cleaning 195002 clauses out of 390009 with flag 40514524/19296002
2594.68/2597.11	c cleaning 196001 clauses out of 392006 with flag 40932064/19493001
2625.10/2627.66	c cleaning 196997 clauses out of 394004 with flag 41339064/19691000
2658.62/2661.23	c cleaning 197994 clauses out of 396008 with flag 41752306/19890001
2697.83/2700.50	c cleaning 198999 clauses out of 398015 with flag 42168620/20090002
2749.01/2751.85	c cleaning 199997 clauses out of 400016 with flag 42593231/20291002
2781.12/2783.82	c cleaning 201003 clauses out of 402018 with flag 43018982/20493001
2806.66/2809.42	c cleaning 202002 clauses out of 404014 with flag 43445401/20696000
2837.10/2839.93	c cleaning 203002 clauses out of 406015 with flag 43877228/20900003
2857.85/2860.70	c cleaning 204004 clauses out of 408016 with flag 44308654/21105006
2884.80/2887.75	c cleaning 204997 clauses out of 410006 with flag 44742775/21311000
2912.74/2915.70	c cleaning 205993 clauses out of 412010 with flag 45179756/21518001
2939.54/2942.46	c cleaning 207009 clauses out of 414023 with flag 45623725/21726007
2969.98/2972.94	c cleaning 208006 clauses out of 416014 with flag 46064079/21935007
2993.74/2996.79	c cleaning 208997 clauses out of 418001 with flag 46496487/22145000
3027.38/3030.48	c cleaning 210003 clauses out of 420008 with flag 46942818/22356004
3053.85/3056.26	c cleaning 210997 clauses out of 422001 with flag 47387225/22568000
3078.14/3080.71	c cleaning 212002 clauses out of 424008 with flag 47826295/22781004
3107.03/3109.75	c cleaning 212998 clauses out of 426002 with flag 48266894/22995000
3143.48/3146.26	c cleaning 213996 clauses out of 428005 with flag 48722509/23210001
3174.94/3177.75	c cleaning 215005 clauses out of 430009 with flag 49176185/23426001
3202.88/3205.71	c cleaning 216003 clauses out of 432007 with flag 49626499/23643004
3229.92/3232.86	c cleaning 217000 clauses out of 434005 with flag 50085033/23861005
3257.46/3260.49	c cleaning 217997 clauses out of 436000 with flag 50546248/24080000
3284.81/3287.86	c cleaning 218999 clauses out of 438006 with flag 51005447/24300003
3310.71/3313.71	c cleaning 219995 clauses out of 440004 with flag 51466406/24521000
3337.86/3340.99	c cleaning 221004 clauses out of 442009 with flag 51934354/24743000
3363.62/3366.75	c cleaning 221998 clauses out of 444005 with flag 52394943/24966000
3388.07/3391.28	c cleaning 223000 clauses out of 446009 with flag 52859396/25190002
3409.82/3412.80	c cleaning 223998 clauses out of 448011 with flag 53319571/25415004
3438.67/3441.75	c cleaning 225003 clauses out of 450009 with flag 53783009/25641000
3461.53/3464.62	c cleaning 225996 clauses out of 452006 with flag 54249017/25868000
3483.90/3487.07	c cleaning 227006 clauses out of 454016 with flag 54716820/26096006
3511.14/3514.29	c cleaning 228001 clauses out of 456007 with flag 55187266/26325003
3542.00/3545.17	c cleaning 228996 clauses out of 458005 with flag 55666585/26555002
3565.44/3568.63	c cleaning 230000 clauses out of 460009 with flag 56146146/26786002
3588.35/3591.46	c cleaning 230997 clauses out of 462007 with flag 56628965/27018000
3600.04/3603.11	c starts		: 4811
3600.04/3603.12	c conflicts		: 27220018
3600.04/3603.12	c decisions		: 28376831
3600.04/3603.12	c propagations		: 230982246
3600.04/3603.12	c inspects		: 39818586937
3600.04/3603.12	c shortcuts		: 0
3600.04/3603.12	c learnt literals	: 0
3600.04/3603.12	c learnt binary clauses	: 0
3600.04/3603.12	c learnt ternary clauses	: 0
3600.04/3603.12	c learnt constraints	: 27220018
3600.04/3603.12	c ignored constraints	: 0
3600.04/3603.12	c root simplifications	: 0
3600.04/3603.12	c removed literals (reason simplification)	: 0
3600.04/3603.12	c reason swapping (by a shorter reason)	: 0
3600.04/3603.12	c Calls to reduceDB	: 228
3600.04/3603.12	c Number of update (reduction) of LBD	: 2201240
3600.04/3603.12	c Imported unit clauses	: 0
3600.04/3603.12	c No decision after first conflict	: false
3600.04/3603.12	c number of reductions to clauses (during analyze)	: 0
3600.04/3603.12	c number of learned constraints concerned by reduction	: 0
3600.04/3603.12	c number of learning phase by resolution	: 0
3600.04/3603.12	c number of learning phase by cutting planes	: 0
3600.04/3603.12	c number of rounding to 1 operations	: 0
3600.04/3603.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3603.12	c number of reductions of the coefficients by power 2 	: 0
3600.04/3603.12	c number of right shift for reduction by power 2 	: 0
3600.04/3603.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3603.12	c number of ending skipping 	: 0
3600.04/3603.12	c number of internal skipping 	: 0
3600.04/3603.12	c number of derivation steps 	: 0
3600.04/3603.12	c number of skipped derivation steps 	: 0
3600.04/3603.12	c number of remaining unassigned 	: 0
3600.04/3603.12	c number of remaining assigned 	: 0
3600.04/3603.12	c number of falsified literals weakened from reason	: 0
3600.04/3603.12	c number of falsified literals weakened from conflict	: 0
3600.04/3603.12	c time for arithmetic operations	: 0
3600.04/3603.12	c minimum degree of deleted constraints	: null
3600.04/3603.12	c maximum degree of deleted constraints	: null
3600.04/3603.12	c number of deleted constraints	: 0
3600.04/3603.12	c speed (assignments/second)	: 64108.84520270777
3600.04/3603.12	c non guided choices	: 34
3600.04/3603.13	c timeout
3600.04/3603.18	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 433028
3600.04/3603.18	s UNKNOWN
3600.04/3603.18	c Total wall clock time (in seconds): 3603.063

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: 63968 MiB (61487 MiB free)
  memory of node 1: 64473 MiB (61027 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432274-1721101407/watcher-4432274-1721101407 -o /tmp/evaluation-result-4432274-1721101407/solver-4432274-1721101407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721094210-831818 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432274-1721101407.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=836148, runsolver pid=836145

[startup+0.100967 s]*
/proc/loadavg: 4.29 4.20 4.12 7/331 836166
/proc/meminfo: memFree=125413840/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=18975048 memory=63404 CPUtime=0.14 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 7238 0 0 0 12 2 0 0 20 0 18 0 162304195 19430449152 15851 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4743762 15851 5717 1 0 549350 0
[pid=836148/tid=836150] ppid=836145 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) S 836145 836148 831807 0 -1 1077936192 5765 0 0 0 7 1 0 0 20 0 18 0 162304195 19430449152 15851 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162304198 19430449152 15851 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 162304198 19430449152 15851 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63404 KiB

[startup+0.206389 s]*
/proc/loadavg: 4.29 4.20 4.12 10/333 836168
/proc/meminfo: memFree=125408376/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19041612 memory=69276 CPUtime=0.34 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 8680 0 0 0 31 3 0 0 20 0 19 0 162304195 19498610688 17319 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4760403 17319 5888 1 0 550298 0
[pid=836148/tid=836150] ppid=836145 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 6002 0 0 0 17 1 0 0 20 0 19 0 162304195 19498610688 17319 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19041612 memory=1623 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162304198 19498610688 17319 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19041612 memory=14695192770905705 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162304198 19498610688 17319 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162304211 19498610688 17319 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69276 KiB

[startup+0.306391 s]*
/proc/loadavg: 4.29 4.20 4.12 6/311 836172
/proc/meminfo: memFree=127485232/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19041612 memory=73948 CPUtime=0.53 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 10954 0 0 0 50 3 0 0 20 0 19 0 162304195 19498610688 18487 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4760403 18487 5904 1 0 551604 0
[pid=836148/tid=836150] ppid=836145 vsize=19041612 memory=-8816193634162811580 CPUtime=0.26 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 6039 0 0 0 25 1 0 0 20 0 19 0 162304195 19498610688 18553 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162304198 19498610688 18553 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162304198 19498610688 18553 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162304211 19498610688 18553 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73948 KiB

[startup+0.700387 s]
/proc/loadavg: 4.29 4.20 4.12 6/309 836198
/proc/meminfo: memFree=127474792/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19041612 memory=91716 CPUtime=1.29 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 14633 0 0 0 125 4 0 0 20 0 19 0 162304195 19498610688 22929 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4760403 22929 5904 1 0 554209 0
[pid=836148/tid=836150] ppid=836145 vsize=19041612 memory=12292 CPUtime=0.62 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 6104 0 0 0 61 1 0 0 20 0 19 0 162304195 19498610688 22929 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19041612 memory=12292 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162304198 19498610688 22929 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162304198 19498610688 22929 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19041612 memory=5484 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162304211 19498610688 22929 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91716 KiB

[startup+1.50039 s]
/proc/loadavg: 4.29 4.20 4.12 7/331 836236
/proc/meminfo: memFree=127408196/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19041612 memory=106616 CPUtime=2.44 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 17512 0 0 0 240 4 0 0 20 0 19 0 162304195 19498610688 26654 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4760403 26654 5904 1 0 554211 0
[pid=836148/tid=836150] ppid=836145 vsize=19041612 memory=12292 CPUtime=1.42 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 6422 0 0 0 140 2 0 0 20 0 19 0 162304195 19498610688 26654 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19041612 memory=5484 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162304198 19498610688 26654 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162304198 19498610688 26654 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162304211 19498610688 26654 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 106616 KiB

[startup+3.10639 s]
/proc/loadavg: 4.43 4.23 4.13 5/331 836368
/proc/meminfo: memFree=127249488/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19041612 memory=135484 CPUtime=4.16 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 19184 0 0 0 411 5 0 0 20 0 19 0 162304195 19498610688 33871 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4760403 33871 5904 1 0 554230 0
[pid=836148/tid=836150] ppid=836145 vsize=19041612 memory=0 CPUtime=3 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 6733 0 0 0 298 2 0 0 20 0 19 0 162304195 19498610688 33871 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19041612 memory=12292 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162304198 19498610688 33871 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162304198 19498610688 33871 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19041612 memory=12064 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162304211 19498610688 33871 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 135484 KiB

[startup+6.3004 s]
/proc/loadavg: 4.43 4.23 4.13 5/332 836369
/proc/meminfo: memFree=127145512/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=191136 CPUtime=7.5 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 21164 0 0 0 743 7 0 0 20 0 20 0 162304195 19566772224 47784 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 47784 5920 1 0 554519 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=12292 CPUtime=6.15 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 6816 0 0 0 611 4 0 0 20 0 20 0 162304195 19566772224 47784 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 47784 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 47784 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 47784 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191136 KiB

[startup+12.7002 s]
/proc/loadavg: 4.40 4.22 4.13 5/332 836370
/proc/meminfo: memFree=127043728/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=193516 CPUtime=13.87 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 23324 0 0 0 1380 7 0 0 20 0 20 0 162304195 19566772224 48379 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 48379 5936 1 0 554519 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=12292 CPUtime=12.5 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 7276 0 0 0 1246 4 0 0 20 0 20 0 162304195 19566772224 48379 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=156472 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 48379 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 48379 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 48379 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 13.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193516 KiB

[startup+25.5003 s]
/proc/loadavg: 4.31 4.21 4.12 5/333 836374
/proc/meminfo: memFree=126845136/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=277876 CPUtime=26.7 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 26287 0 0 0 2660 10 0 0 20 0 20 0 162304195 19566772224 69469 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 69469 5936 1 0 554519 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=156472 CPUtime=25.18 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 8326 0 0 0 2514 4 0 0 20 0 20 0 162304195 19566772224 69469 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 69469 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 69469 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 69469 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 26.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 277876 KiB

[startup+51.1057 s]
/proc/loadavg: 4.34 4.23 4.13 5/333 836381
/proc/meminfo: memFree=126495288/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=429784 CPUtime=52.36 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 31170 0 0 0 5222 14 0 0 20 0 20 0 162304195 19566772224 107446 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 107446 5936 1 0 554519 0

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

/proc/meminfo: memFree=119475808/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=2215676 CPUtime=3279.32 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 170223 0 0 0 327772 160 0 0 20 0 20 0 162304195 19566772224 553919 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 553919 5968 1 0 567327 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=2215676 CPUtime=3267.78 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 79105 0 0 0 326754 24 0 0 20 0 20 0 162304195 19566772224 553919 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=2215676 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553919 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 4654 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553919 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=2215676 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 553919 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 3279.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2215676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.18 4.15 5/330 838162
/proc/meminfo: memFree=119475456/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=2215700 CPUtime=3339.26 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 172873 0 0 0 333765 161 0 0 20 0 20 0 162304195 19566772224 553925 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 553925 5968 1 0 567327 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=2215700 CPUtime=3327.4 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 80201 0 0 0 332716 24 0 0 20 0 20 0 162304195 19566772224 553925 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=12292 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553925 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=2215700 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 4824 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553925 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 553925 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 3339.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2215700 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.19 4.15 5/330 838173
/proc/meminfo: memFree=119458560/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=2215728 CPUtime=3399.34 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 175900 0 0 0 339771 163 0 0 20 0 20 0 162304195 19566772224 553932 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 553932 5968 1 0 567327 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=2215700 CPUtime=3387.06 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 81370 0 0 0 338682 24 0 0 20 0 20 0 162304195 19566772224 553932 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=41324 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553932 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=12064 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 4830 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553932 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=2215700 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 553932 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 3399.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2215728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.16 4.14 5/332 838188
/proc/meminfo: memFree=119421424/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=2215732 CPUtime=3459.23 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 177169 0 0 0 345758 165 0 0 20 0 20 0 162304195 19566772224 553933 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 553933 5968 1 0 567327 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=2215700 CPUtime=3446.92 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 82281 0 0 0 344668 24 0 0 20 0 20 0 162304195 19566772224 553933 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=41324 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553933 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=2215732 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 4882 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553933 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=2215732 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 553933 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 3459.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2215732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/332 838198
/proc/meminfo: memFree=119420940/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=2215748 CPUtime=3519.23 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 179947 0 0 0 351757 166 0 0 20 0 20 0 162304195 19566772224 553937 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 553937 5968 1 0 567327 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=16224 CPUtime=3506.65 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 83441 0 0 0 350641 24 0 0 20 0 20 0 162304195 19566772224 553937 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=2215748 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553937 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=31640 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 4959 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553937 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=16224 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 553937 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 3519.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2215748 KiB

[startup+3582.3 s]
/proc/loadavg: 3.70 4.06 4.11 3/280 838276
/proc/meminfo: memFree=123769768/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=2215756 CPUtime=3579.26 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 182971 0 0 0 357757 169 0 0 20 0 20 0 162304195 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 553939 5968 1 0 567327 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=12292 CPUtime=3566.37 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 84611 0 0 0 356613 24 0 0 20 0 20 0 162304195 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=2215748 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=12292 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 5047 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=1976 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 3579.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2215756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.11 s]
/proc/loadavg: 3.22 3.92 4.06 3/280 838279
/proc/meminfo: memFree=123769860/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=2215756 CPUtime=3600.04 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 183205 0 0 0 359834 170 0 0 20 0 20 0 162304195 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 553939 5968 1 0 567327 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=2215756 CPUtime=3587.13 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 84707 0 0 0 358689 24 0 0 20 0 20 0 162304195 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=2215756 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=2215756 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 5047 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=2215756 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2215756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.46 s, system=1.71738 s

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

[startup+3603.11 s]
/proc/loadavg: 3.22 3.92 4.06 3/280 838279
/proc/meminfo: memFree=123769860/131524600 swapFree=131071996/131071996
[pid=836148] ppid=836145 vsize=19108176 memory=2215756 CPUtime=3600.04 cores=4,6
/proc/836148/stat : 836148 (java) S 836145 836148 831807 0 -1 1077936128 183205 0 0 0 359834 170 0 0 20 0 20 0 162304195 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
/proc/836148/statm: 4777044 553939 5968 1 0 567327 0
[pid=836148/tid=836150] ppid=836145 vsize=19108176 memory=2215756 CPUtime=3587.13 cores=4,6
/proc/836148/task/836150/stat : 836150 (java) R 836145 836148 831807 0 -1 4194368 84707 0 0 0 358689 24 0 0 20 0 20 0 162304195 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836159] ppid=836145 vsize=19108176 memory=2215756 CPUtime=0 cores=4,6
/proc/836148/task/836159/stat : 836159 (Finalizer) S 836145 836148 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836166] ppid=836145 vsize=19108176 memory=2215756 CPUtime=0 cores=4,6
/proc/836148/task/836166/stat : 836166 (Common-Cleaner) S 836145 836148 831807 0 -1 1077936192 5047 0 0 0 0 0 0 0 20 0 20 0 162304198 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
[pid=836148/tid=836167] ppid=836145 vsize=19108176 memory=2215756 CPUtime=0 cores=4,6
/proc/836148/task/836167/stat : 836167 (Timer-0) S 836145 836148 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162304211 19566772224 553939 134679101440 94600398446592 94600398450288 140732081768304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600398458104 94600398458896 94600419454976 140732081771527 140732081771617 140732081771617 140732081778632 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2215756 KiB

Child status: 143

Real time (s): 3603.2
CPU time (s): 3600.17
CPU user time (s): 3598.46
CPU system time (s): 1.71738
CPU usage (%): 99.916
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2215756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.46
system time used= 1.71738
maximum resident set size= 2217568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104047
involuntary context switches= 7431


# summary of solver processes directly reported to runsolver:
#   pid: 836148
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3598.46
#   total CPU system time (s): 1.71738

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0093 second user time and 15.9207 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-16 05:43:40
IDJOB=4432274
IDBENCH=147613
IDSOLVER=3058
FILE ID=nodeC020/4432274-1721101407
RUNJOBID= nodeC020-1721094210-831818
SLURM_JOB_ID= 7505599
Free space on /tmp= 890080 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_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432274-1721101407/watcher-4432274-1721101407 -o /tmp/evaluation-result-4432274-1721101407/solver-4432274-1721101407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721094210-831818 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432274-1721101407.opb

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

MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff
RANDOM SEED=88054824

nodeC020.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	: 0xb00002a
cpu MHz		: 3663.639
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 invpcid_single pti ibrs ibpb stibp 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	: 7000.05
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		: 3690.455
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.84
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		: 3606.664
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 invpcid_single pti ibrs ibpb stibp 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	: 7000.05
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		: 3600.458
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.84
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		: 3633.877
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 invpcid_single pti ibrs ibpb stibp 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	: 7000.05
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		: 3690.530
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.84
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		: 3648.982
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 invpcid_single pti ibrs ibpb stibp 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	: 7000.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125456020 kB
MemAvailable:   127053776 kB
Buffers:          401304 kB
Cached:          2020672 kB
SwapCached:            0 kB
Active:           633336 kB
Inactive:        4809372 kB
Active(anon):       1568 kB
Inactive(anon):  3056876 kB
Active(file):     631768 kB
Inactive(file):  1752496 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:       3019996 kB
Mapped:           123888 kB
Shmem:             37720 kB
KReclaimable:     106628 kB
Slab:             214136 kB
SReclaimable:     106628 kB
SUnreclaim:       107508 kB
KernelStack:        5056 kB
PageTables:        16136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7377352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59712 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2740224 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC020 at 2024-07-16 06:43:43