Trace number 4444034

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT 3547.12 3550.39

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
MD5SUM392bb637b95a9bbde51dfdce2cdaf17a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.13387
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1650
Total number of constraints113164
Number of constraints which are clauses112614
Number of constraints which are cardinality constraints (but not clauses)550
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
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.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	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-4444034-1721317787.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
1.30/0.80	c ... done. Wall clock time 0.682s.
1.30/0.80	c declared #vars     1650
1.30/0.80	c #constraints  113714
1.30/0.80	c constraints type 
1.30/0.80	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 550
1.30/0.80	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 113164
1.30/0.80	c 113714 constraints processed.
3.08/1.69	c cleaning 2499 clauses out of 5000 with flag 19587/5000
4.07/2.36	c cleaning 4244 clauses out of 8501 with flag 46423/11000
4.98/3.11	c cleaning 5622 clauses out of 11257 with flag 79440/18000
5.83/3.97	c cleaning 6811 clauses out of 13636 with flag 118264/26001
6.94/4.92	c cleaning 7909 clauses out of 15825 with flag 163174/35001
8.04/6.01	c cleaning 8953 clauses out of 17915 with flag 219263/45000
9.14/7.15	c cleaning 9968 clauses out of 19963 with flag 272459/56001
10.43/8.47	c cleaning 10978 clauses out of 21994 with flag 331122/68000
11.93/9.92	c cleaning 12003 clauses out of 24018 with flag 402833/81002
13.43/11.46	c cleaning 13007 clauses out of 26015 with flag 471014/95002
15.03/13.09	c cleaning 13987 clauses out of 28008 with flag 547232/110002
16.95/14.91	c cleaning 15004 clauses out of 30019 with flag 635206/126000
18.77/16.77	c cleaning 15991 clauses out of 32015 with flag 732006/143000
20.98/18.87	c cleaning 17007 clauses out of 34024 with flag 833528/161000
23.17/21.05	c cleaning 17992 clauses out of 36017 with flag 926378/180000
25.58/23.40	c cleaning 19007 clauses out of 38026 with flag 1028790/200001
27.88/25.78	c cleaning 20000 clauses out of 40019 with flag 1140030/221001
30.49/28.31	c cleaning 20991 clauses out of 42018 with flag 1268712/243000
33.08/30.97	c cleaning 22011 clauses out of 44028 with flag 1385120/266001
35.92/33.75	c cleaning 22999 clauses out of 46017 with flag 1509469/290001
38.71/36.56	c cleaning 23996 clauses out of 48017 with flag 1644065/315000
41.84/39.67	c cleaning 25005 clauses out of 50021 with flag 1772148/341000
44.93/42.79	c cleaning 26004 clauses out of 52016 with flag 1924692/368000
48.37/46.14	c cleaning 26991 clauses out of 54012 with flag 2072097/396000
51.92/49.64	c cleaning 27999 clauses out of 56021 with flag 2217438/425000
55.50/53.26	c cleaning 29004 clauses out of 58024 with flag 2369551/455002
59.34/57.03	c cleaning 29999 clauses out of 60019 with flag 2530438/486001
63.02/60.79	c cleaning 30999 clauses out of 62020 with flag 2708282/518001
67.16/64.89	c cleaning 32012 clauses out of 64024 with flag 2874836/551004
71.35/69.06	c cleaning 32998 clauses out of 66010 with flag 3045121/585002
75.53/73.21	c cleaning 34001 clauses out of 68011 with flag 3239811/620001
79.98/77.64	c cleaning 34988 clauses out of 70009 with flag 3423371/656000
84.56/82.26	c cleaning 36007 clauses out of 72022 with flag 3608556/693001
89.24/86.97	c cleaning 36990 clauses out of 74017 with flag 3814471/731003
94.18/91.82	c cleaning 38006 clauses out of 76024 with flag 4020863/770000
99.17/96.82	c cleaning 38996 clauses out of 78018 with flag 4224020/810000
104.44/102.06	c cleaning 40006 clauses out of 80025 with flag 4438458/851003
109.72/107.33	c cleaning 41002 clauses out of 82016 with flag 4659178/893000
115.21/112.80	c cleaning 41998 clauses out of 84014 with flag 4873784/936000
120.70/118.35	c cleaning 42994 clauses out of 86017 with flag 5102163/980001
126.53/124.17	c cleaning 44008 clauses out of 88024 with flag 5350363/1025002
132.42/130.00	c cleaning 44994 clauses out of 90015 with flag 5591026/1071001
138.40/136.04	c cleaning 46007 clauses out of 92021 with flag 5831906/1118001
144.68/142.35	c cleaning 46998 clauses out of 94013 with flag 6079128/1166000
151.35/148.91	c cleaning 48005 clauses out of 96017 with flag 6330624/1215002
157.72/155.38	c cleaning 48999 clauses out of 98010 with flag 6595385/1265000
164.31/161.92	c cleaning 50002 clauses out of 100011 with flag 6874396/1316000
170.98/168.64	c cleaning 50993 clauses out of 102009 with flag 7158321/1368000
178.07/175.67	c cleaning 51999 clauses out of 104018 with flag 7447644/1421002
185.20/182.83	c cleaning 52989 clauses out of 106017 with flag 7729460/1475000
192.35/190.10	c cleaning 54005 clauses out of 108028 with flag 8019018/1530000
200.34/197.75	c cleaning 54996 clauses out of 110023 with flag 8311208/1586000
207.87/205.31	c cleaning 55999 clauses out of 112028 with flag 8607899/1643001
215.55/213.10	c cleaning 57013 clauses out of 114030 with flag 8907864/1701002
223.53/221.07	c cleaning 58000 clauses out of 116015 with flag 9218141/1760000
231.59/229.11	c cleaning 58986 clauses out of 118015 with flag 9540307/1820000
239.81/237.41	c cleaning 60004 clauses out of 120029 with flag 9868150/1881000
248.36/246.01	c cleaning 60991 clauses out of 122025 with flag 10194576/1943000
257.04/254.74	c cleaning 62007 clauses out of 124035 with flag 10529971/2006001
266.48/264.04	c cleaning 63006 clauses out of 126029 with flag 10855623/2070002
275.64/273.22	c cleaning 64003 clauses out of 128021 with flag 11188837/2135000
284.82/282.45	c cleaning 65005 clauses out of 130018 with flag 11548825/2201000
294.41/292.06	c cleaning 66001 clauses out of 132013 with flag 11892517/2268000
304.15/301.74	c cleaning 66989 clauses out of 134012 with flag 12242328/2336000
313.83/311.50	c cleaning 68002 clauses out of 136023 with flag 12603504/2405000
323.79/321.49	c cleaning 69012 clauses out of 138025 with flag 12967750/2475004
334.38/331.92	c cleaning 69992 clauses out of 140009 with flag 13324953/2546000
344.75/342.34	c cleaning 70994 clauses out of 142019 with flag 13700326/2618002
355.12/352.76	c cleaning 72010 clauses out of 144024 with flag 14083725/2691001
366.18/363.73	c cleaning 73004 clauses out of 146013 with flag 14457479/2765000
377.05/374.61	c cleaning 73986 clauses out of 148009 with flag 14858139/2840000
388.21/385.84	c cleaning 75007 clauses out of 150023 with flag 15259531/2916000
399.84/397.39	c cleaning 76001 clauses out of 152016 with flag 15663500/2993000
411.23/408.90	c cleaning 76997 clauses out of 154020 with flag 16070977/3071005
423.03/420.77	c cleaning 77996 clauses out of 156022 with flag 16478356/3150004
435.02/432.80	c cleaning 79003 clauses out of 158022 with flag 16902562/3230000
447.16/444.93	c cleaning 80006 clauses out of 160020 with flag 17340845/3311001
459.44/457.23	c cleaning 80986 clauses out of 162013 with flag 17779685/3393000
473.08/470.41	c cleaning 82010 clauses out of 164028 with flag 18197299/3476001
485.76/483.21	c cleaning 82996 clauses out of 166017 with flag 18636602/3560000
498.55/496.14	c cleaning 84001 clauses out of 168022 with flag 19097505/3645001
511.68/509.37	c cleaning 84998 clauses out of 170020 with flag 19547001/3731000
524.55/522.33	c cleaning 85993 clauses out of 172022 with flag 20062542/3818000
537.93/535.83	c cleaning 86994 clauses out of 174029 with flag 20526529/3906000
551.40/549.39	c cleaning 88009 clauses out of 176038 with flag 21024463/3995003
565.26/563.21	c cleaning 88998 clauses out of 178027 with flag 21505819/4085001
579.63/577.62	c cleaning 90002 clauses out of 180028 with flag 21972485/4176000
593.79/591.87	c cleaning 91001 clauses out of 182026 with flag 22480882/4268000
608.33/606.34	c cleaning 91998 clauses out of 184025 with flag 22983487/4361000
623.09/621.15	c cleaning 92995 clauses out of 186028 with flag 23519968/4455001
637.85/635.97	c cleaning 93999 clauses out of 188034 with flag 24026263/4550002
653.11/651.29	c cleaning 95011 clauses out of 190034 with flag 24533171/4646001
668.46/666.56	c cleaning 95999 clauses out of 192023 with flag 25054642/4743001
683.82/681.92	c cleaning 97007 clauses out of 194023 with flag 25581442/4841000
699.57/697.72	c cleaning 98001 clauses out of 196017 with flag 26136863/4940001
715.24/713.44	c cleaning 99000 clauses out of 198016 with flag 26701616/5040001
731.80/730.06	c cleaning 99994 clauses out of 200015 with flag 27235210/5141000
748.83/746.92	c cleaning 101000 clauses out of 202022 with flag 27766150/5243001
765.89/763.81	c cleaning 101998 clauses out of 204022 with flag 28327408/5346001
782.74/780.79	c cleaning 103004 clauses out of 206024 with flag 28874673/5450001
800.62/798.39	c cleaning 103990 clauses out of 208021 with flag 29428015/5555002
818.07/815.88	c cleaning 105010 clauses out of 210029 with flag 29992455/5661000
836.03/833.73	c cleaning 106001 clauses out of 212019 with flag 30558057/5768000
853.79/851.52	c cleaning 106999 clauses out of 214021 with flag 31164226/5876003
871.94/869.74	c cleaning 108006 clauses out of 216020 with flag 31747997/5985001
890.04/887.85	c cleaning 109001 clauses out of 218013 with flag 32346321/6095000
908.38/906.20	c cleaning 109997 clauses out of 220014 with flag 32955379/6206002
927.02/924.91	c cleaning 110982 clauses out of 222017 with flag 33571353/6318002
946.09/943.92	c cleaning 112002 clauses out of 224036 with flag 34181488/6431003
965.34/963.27	c cleaning 113005 clauses out of 226031 with flag 34793659/6545000
984.89/982.86	c cleaning 114005 clauses out of 228027 with flag 35404387/6660001
1004.52/1002.53	c cleaning 115012 clauses out of 230023 with flag 36050502/6776002
1024.73/1022.73	c cleaning 116003 clauses out of 232009 with flag 36674949/6893000
1044.67/1042.70	c cleaning 116995 clauses out of 234006 with flag 37340620/7011000
1065.02/1063.12	c cleaning 117997 clauses out of 236011 with flag 37995172/7130000
1085.55/1083.77	c cleaning 119007 clauses out of 238019 with flag 38698308/7250005
1106.64/1104.79	c cleaning 119995 clauses out of 240009 with flag 39361968/7371002
1128.07/1126.21	c cleaning 120982 clauses out of 242013 with flag 40018038/7493001
1149.40/1147.61	c cleaning 121994 clauses out of 244030 with flag 40710067/7616000
1171.22/1169.50	c cleaning 123012 clauses out of 246036 with flag 41367025/7740000
1193.04/1191.30	c cleaning 123997 clauses out of 248024 with flag 42054550/7865000
1215.18/1213.58	c cleaning 125002 clauses out of 250029 with flag 42722334/7991002
1237.81/1236.22	c cleaning 125990 clauses out of 252026 with flag 43399093/8118001
1261.57/1259.56	c cleaning 127006 clauses out of 254035 with flag 44081653/8246000
1284.36/1282.57	c cleaning 128010 clauses out of 256031 with flag 44784211/8375002
1307.05/1305.46	c cleaning 129004 clauses out of 258023 with flag 45498364/8505004
1331.11/1329.63	c cleaning 130000 clauses out of 260016 with flag 46196748/8636001
1354.78/1353.54	c cleaning 130994 clauses out of 262015 with flag 46918687/8768000
1378.25/1377.21	c cleaning 131993 clauses out of 264022 with flag 47656511/8901001
1402.48/1401.69	c cleaning 133001 clauses out of 266028 with flag 48386564/9035000
1427.15/1426.58	c cleaning 133994 clauses out of 268027 with flag 49125209/9170000
1451.90/1451.54	c cleaning 134996 clauses out of 270034 with flag 49871481/9306001
1477.09/1476.68	c cleaning 136015 clauses out of 272037 with flag 50623064/9443000
1502.11/1501.76	c cleaning 137009 clauses out of 274025 with flag 51400225/9581003
1527.72/1527.47	c cleaning 138003 clauses out of 276015 with flag 52173531/9720002
1553.26/1553.09	c cleaning 138990 clauses out of 278011 with flag 52937405/9860001
1580.15/1579.93	c cleaning 139992 clauses out of 280020 with flag 53682602/10001000
1606.48/1606.37	c cleaning 141008 clauses out of 282028 with flag 54445992/10143000
1633.29/1633.24	c cleaning 141991 clauses out of 284022 with flag 55222784/10286002
1661.03/1660.89	c cleaning 143002 clauses out of 286029 with flag 55986118/10430000
1688.27/1688.12	c cleaning 144008 clauses out of 288029 with flag 56805920/10575002
1716.34/1715.68	c cleaning 145006 clauses out of 290019 with flag 57666437/10721000
1744.37/1743.73	c cleaning 145987 clauses out of 292014 with flag 58473648/10868001
1772.20/1771.55	c cleaning 146997 clauses out of 294027 with flag 59308267/11016001
1800.93/1800.30	c cleaning 147999 clauses out of 296029 with flag 60127781/11165000
1829.62/1829.09	c cleaning 149012 clauses out of 298033 with flag 60965609/11315003
1858.44/1857.96	c cleaning 150004 clauses out of 300019 with flag 61802247/11466001
1887.59/1887.03	c cleaning 150999 clauses out of 302015 with flag 62638058/11618001
1916.30/1915.85	c cleaning 151993 clauses out of 304017 with flag 63493153/11771002
1945.83/1945.33	c cleaning 152999 clauses out of 306023 with flag 64355254/11925001
1975.85/1975.63	c cleaning 154005 clauses out of 308023 with flag 65209590/12080000
2006.06/2005.95	c cleaning 154985 clauses out of 310019 with flag 66110213/12236001
2036.88/2037.01	c cleaning 156013 clauses out of 312035 with flag 66979802/12393002
2067.81/2067.73	c cleaning 156994 clauses out of 314022 with flag 67920851/12551002
2099.56/2099.46	c cleaning 158005 clauses out of 316026 with flag 68787707/12710000
2131.09/2130.93	c cleaning 159002 clauses out of 318022 with flag 69739654/12870001
2163.06/2163.03	c cleaning 160002 clauses out of 320020 with flag 70636197/13031001
2195.91/2196.05	c cleaning 160996 clauses out of 322017 with flag 71511842/13193000
2228.17/2228.48	c cleaning 162010 clauses out of 324022 with flag 72443931/13356001
2261.73/2261.87	c cleaning 162998 clauses out of 326012 with flag 73330074/13520001
2294.88/2295.01	c cleaning 163999 clauses out of 328014 with flag 74229525/13685001
2328.79/2328.96	c cleaning 165000 clauses out of 330016 with flag 75149680/13851002
2363.17/2363.25	c cleaning 165998 clauses out of 332015 with flag 76050988/14018001
2397.06/2397.29	c cleaning 166997 clauses out of 334017 with flag 76986797/14186001
2431.92/2432.17	c cleaning 168000 clauses out of 336019 with flag 77921208/14355000
2467.22/2467.39	c cleaning 168997 clauses out of 338019 with flag 78868062/14525000
2502.78/2503.07	c cleaning 169998 clauses out of 340024 with flag 79805002/14696002
2539.11/2539.53	c cleaning 171002 clauses out of 342024 with flag 80740417/14868000
2575.81/2576.01	c cleaning 172004 clauses out of 344023 with flag 81705672/15041001
2612.01/2612.57	c cleaning 172999 clauses out of 346019 with flag 82675564/15215001
2647.85/2648.56	c cleaning 173990 clauses out of 348021 with flag 83662931/15390002
2683.21/2684.26	c cleaning 175012 clauses out of 350029 with flag 84670706/15566000
2721.15/2722.49	c cleaning 175984 clauses out of 352017 with flag 85641898/15743000
2758.20/2759.81	c cleaning 177006 clauses out of 354033 with flag 86645564/15921000
2795.84/2797.53	c cleaning 177998 clauses out of 356027 with flag 87667701/16100000
2833.73/2835.52	c cleaning 178998 clauses out of 358029 with flag 88665100/16280000
2872.00/2873.77	c cleaning 180009 clauses out of 360033 with flag 89650352/16461002
2910.90/2912.70	c cleaning 181003 clauses out of 362022 with flag 90655583/16643000
2949.31/2951.13	c cleaning 181999 clauses out of 364020 with flag 91694537/16826001
2988.20/2990.13	c cleaning 183007 clauses out of 366021 with flag 92730975/17010001
3028.25/3030.14	c cleaning 183992 clauses out of 368013 with flag 93767268/17195000
3067.32/3069.33	c cleaning 184998 clauses out of 370025 with flag 94820945/17381004
3106.86/3108.81	c cleaning 185997 clauses out of 372023 with flag 95883143/17568000
3147.05/3149.13	c cleaning 186996 clauses out of 374028 with flag 96971838/17756002
3188.38/3190.47	c cleaning 188006 clauses out of 376033 with flag 98005637/17945003
3229.37/3231.58	c cleaning 188992 clauses out of 378024 with flag 99067606/18135000
3271.52/3273.73	c cleaning 190009 clauses out of 380033 with flag 100134795/18326001
3313.80/3316.06	c cleaning 191002 clauses out of 382024 with flag 101208276/18518001
3355.94/3358.11	c cleaning 191996 clauses out of 384021 with flag 102296102/18711000
3399.34/3401.79	c cleaning 193012 clauses out of 386029 with flag 103399622/18905004
3441.79/3444.47	c cleaning 193983 clauses out of 388014 with flag 104514642/19100001
3484.83/3487.74	c cleaning 195003 clauses out of 390031 with flag 105658987/19296001
3528.16/3531.34	c cleaning 196006 clauses out of 392029 with flag 106771361/19493002
3546.89/3550.29	c SATISFIABLE
3546.99/3550.30	c starts		: 56877
3546.99/3550.30	c conflicts		: 19586129
3546.99/3550.30	c decisions		: 40488725
3546.99/3550.30	c propagations		: 2515108346
3546.99/3550.30	c inspects		: 40778791926
3546.99/3550.30	c shortcuts		: 0
3546.99/3550.30	c learnt literals	: 0
3546.99/3550.30	c learnt binary clauses	: 0
3546.99/3550.30	c learnt ternary clauses	: 0
3546.99/3550.30	c learnt constraints	: 19586129
3546.99/3550.30	c ignored constraints	: 0
3546.99/3550.30	c root simplifications	: 0
3546.99/3550.30	c removed literals (reason simplification)	: 0
3546.99/3550.30	c reason swapping (by a shorter reason)	: 0
3546.99/3550.30	c Calls to reduceDB	: 193
3546.99/3550.30	c Number of update (reduction) of LBD	: 7410190
3546.99/3550.30	c Imported unit clauses	: 0
3546.99/3550.30	c No decision after first conflict	: false
3546.99/3550.30	c number of reductions to clauses (during analyze)	: 0
3546.99/3550.31	c number of learned constraints concerned by reduction	: 0
3546.99/3550.31	c number of learning phase by resolution	: 0
3546.99/3550.31	c number of learning phase by cutting planes	: 0
3546.99/3550.31	c number of rounding to 1 operations	: 0
3546.99/3550.31	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3546.99/3550.31	c number of reductions of the coefficients by power 2 	: 0
3546.99/3550.31	c number of right shift for reduction by power 2 	: 0
3546.99/3550.31	c number of reductions of the coefficients by GCD over coefficients 	: 0
3546.99/3550.31	c number of ending skipping 	: 0
3546.99/3550.31	c number of internal skipping 	: 0
3546.99/3550.32	c number of derivation steps 	: 0
3546.99/3550.32	c number of skipped derivation steps 	: 0
3546.99/3550.32	c number of remaining unassigned 	: 0
3546.99/3550.32	c number of remaining assigned 	: 0
3546.99/3550.32	c number of falsified literals weakened from reason	: 0
3546.99/3550.32	c number of falsified literals weakened from conflict	: 0
3546.99/3550.32	c time for arithmetic operations	: 0
3546.99/3550.32	c minimum degree of deleted constraints	: null
3546.99/3550.32	c maximum degree of deleted constraints	: null
3546.99/3550.32	c number of deleted constraints	: 0
3546.99/3550.33	c speed (assignments/second)	: 708578.0299562053
3546.99/3550.33	c non guided choices	: 282
3546.99/3550.37	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 289150
3546.99/3550.38	s SATISFIABLE
3546.99/3550.38	c Found 1 solution(s)
3546.99/3550.38	v x1 -x2 -x3 -x4 -x5 x6 x7 -x8 -x9 x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 x23 -x24 -x25 x26 -x27 -x28 x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 x57 -x58 -x59 x60 x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 x70 -x71 -x72 -x73 x74 -x75 -x76 x77 -x78 -x79 x80 -x81 x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x91 -x92 x93 x94 -x95 -x96 -x97 x98 -x99 -x100 x101 -x102 x103 -x104 -x105 x106 -x107 -x108 x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 x126 -x127 -x128 x129 -x130 -x131 x132 -x133 x134 -x135 x136 -x137 -x138 x139 -x140 -x141 -x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 x168 -x169 x170 -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 x179 -x180 x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 x189 x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 x200 -x201 -x202 -x203 x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 x213 x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 x222 -x223 -x224 x225 -x226 -x227 x228 x229 -x230 -x231 -x232 x233 -x234 -x235 x236 -x237 x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 x246 x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 x258 x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 x269 -x270 -x271 x272 -x273 -x274 -x275 x276 -x277 x278 -x279 -x280 x281 -x282 x283 -x284 -x285 -x286 x287 -x288 -x289 x290 -x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 x306 -x307 x308 -x309 -x310 -x311 x312 x313 -x314 -x315 -x316 x317 -x318 -x319 x320 -x321 -x322 -x323 x324 -x325 x326 -x327 -x328 x329 -x330 x331 -x332 -x333 -x334 x335 -x336 x337 -x338 -x339 -x340 x341 -x342 x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 x353 -x354 x355 -x356 -x357 -x358 x359 -x360 x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 x369 x370 -x371 -x372 -x373 -x374 x375 x376 -x377 -x378 x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 x387 x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 x408 x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 x417 x418 -x419 -x420 -x421 -x422 x423 -x424 x425 -x426 -x427 -x428 x429 -x430 x431 -x432 -x433 -x434 x435 -x436 -x437 x438 -x439 x440 -x441 x442 -x443 -x444 -x445 -x446 x447 -x448 x449 -x450 x451 -x452 -x453 x454 -x455 -x456 -x457 x458 -x459 -x460 x461 -x462 x463 -x464 -x465 x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 x478 -x479 -x480 -x481 -x482 x483 x484 -x485 -x486 -x487 x488 -x489 -x490 x491 -x492 x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 x513 -x514 x515 -x516 x517 -x518 -x519 x520 -x521 -x522 x523 -x524 -x525 -x526 x527 -x528 -x529 x530 -x531 -x532 x533 -x534 x535 -x536 -x537 -x538 -x539 x540 x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 x549 -x550 -x551 x552 -x553 x554 -x555 -x556 -x557 x558 -x559 -x560 x561 -x562 x563 -x564 -x565 -x566 x567 -x568 -x569 x570 -x571 -x572 x573 -x574 x575 -x576 -x577 -x578 x579 x580 -x581 -x582 -x583 x584 -x585 -x586 x587 -x588 -x589 -x590 x591 -x592 -x593 x594 -x595 -x596 x597 x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 x606 -x607 x608 -x609 -x610 x611 -x612 -x613 x614 -x615 -x616 -x617 x618 x619 -x620 -x621 -x622 -x623 x624 x625 -x626 -x627 -x628 x629 -x630 -x631 x632 -x633 x634 -x635 -x636 -x637 -x638 x639 x640 -x641 -x642 -x643 -x644 x645 x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 x654 -x655 x656 -x657 -x658 -x659 x660 -x661 -x662 x663 -x664 x665 -x666 x667 -x668 -x669 -x670 x671 -x672 x673 -x674 -x675 -x676 x677 -x678 x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 x687 -x688 x689 -x690 -x691 x692 -x693 -x694 x695 -x696 -x697 -x698 x699 x700 -x701 -x702 -x703 x704 -x705 x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 x714 x715 -x716 -x717 x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 x726 -x727 x728 -x729 -x730 -x731 x732 -x733 x734 -x735 -x736 x737 -x738 -x739 x740 -x741 -x742 -x743 x744 x745 -x746 -x747 -x748 -x749 x750 -x751 x752 -x753 -x754 x755 -x756 -x757 -x758 x759 -x760 x761 -x762 -x763 x764 -x765 x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 x774 -x775 -x776 x777 x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 x786 x787 -x788 -x789 x790 -x791 -x792 x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 x801 -x802 -x803 x804 x805 -x806 -x807 -x808 -x809 x810 -x811 x812 -x813 -x814 x815 -x816 x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 x828 -x829 x830 -x831 x832 -x833 -x834 x835 -x836 -x837 x838 -x839 -x840 -x841 x842 -x843 x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 x852 -x853 x854 -x855 -x856 -x857 x858 -x859 -x860 x861 -x862 -x863 x864 -x865 x866 -x867 -x868 x869 -x870 x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 x879 -x880 -x881 x882 -x883 x884 -x885 x886 -x887 -x888 x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 x897 -x898 -x899 x900 x901 -x902 -x903 -x904 -x905 x906 -x907 x908 -x909 x910 -x911 -x912 -x913 x914 -x915 -x916 x917 -x918 -x919 -x920 x921 -x922 x923 -x924 -x925 -x926 x927 x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 x936 -x937 -x938 x939 x940 -x941 -x942 -x943 x944 -x945 x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 x954 -x955 x956 -x957 -x958 -x959 x960 -x961 -x962 x963 -x964 -x965 x966 x967 -x968 -x969 x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 x978 x979 -x980 -x981 x982 -x983 -x984 -x985 x986 -x987 -x988 x989 -x990 -x991 -x992 x993 -x994 x995 -x996 -x997 -x998 x999 x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 x1011 -x1012 x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 x1020 x1021 -x1022 -x1023 -x1024 x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 x1032 x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 x1040 -x1041 -x1042 x1043 -x1044 x1045 -x1046 -x1047 x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 x1059 -x1060 x1061 -x1062 -x1063 -x1064 x1065 x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 x1074 -x1075 x1076 -x1077 x1078 -x1079 -x1080 x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 x1088 -x1089 x1090 -x1091 -x1092 x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 x1107 -x1108 x1109 -x1110 -x1111 -x1112 x1113 -x1114 x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 x1122 x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 x1140 x1141 -x1142 -x1143 -x1144 -x1145 x1146 x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 -x1154 -x1155 x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 x1166 -x1167 -x1168 x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 x1179 -x1180 x1181 -x1182 -x1183 x1184 -x1185 x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 x1203 x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 x1218 x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 x1227 x1228 -x1229 -x1230 -x1231 x1232 -x1233 x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247 -x1248 x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 x1257 x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 x1272 -x1273 x1274 -x1275 x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 x1287 x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 x1305 x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 x1314 -x1315 x1316 -x1317 -x1318 x1319 -x1320 x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 x1329 x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 x1341 -x1342 -x1343 x1344 -x1345 x1346 -x1347 -x1348 x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 x1359 x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 x1370 -x1371 -x1372 x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 x1389 -x1390 x1391 -x1392 -x1393 x1394 -x1395 -x1396 x1397 -x1398 x1399 -x1400 -x1401 -x1402 x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 x1412 -x1413 -x1414 -x1415 x1416 -x1417 x1418 -x1419 -x1420 -x1421 x1422 x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 x1430 -x1431 x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 x1446 x1447 -x1448 -x1449 -x1450 -x1451 x1452 x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 x1461 -x1462 x1463 -x1464 x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 -x1476 x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 x1484 -x1485 x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 x1493 -x1494 -x1495 x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 x1503 x1504 -x1505 -x1506 -x1507 -x1508 x1509 x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 x1524 x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 x1532 -x1533 x1534 -x1535 -x1536 x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 x1547 -x1548 -x1549 x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 x1559 -x1560 x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 x1572 x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 x1580 -x1581 -x1582 x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 x1593 -x1594 -x1595 x1596 -x1597 -x1598 x1599 x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 x1607 -x1608 x1609 -x1610 -x1611 -x1612 x1613 -x1614 x1615 -x1616 -x1617 -x1618 x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 x1629 x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 x1637 -x1638 x1639 -x1640 -x1641 -x1642 x1643 -x1644 x1645 -x1646 -x1647 x1648 -x1649 -x1650 
3546.99/3550.38	c Total wall clock time (in seconds): 3550.266

Verifier Data 

OK	0

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: 63931 MiB (62601 MiB free)
  memory of node 1: 64510 MiB (62942 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444034-1721317787/watcher-4444034-1721317787 -o /tmp/evaluation-result-4444034-1721317787/solver-4444034-1721317787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980848 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4444034-1721317787.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=980894, runsolver pid=980891
Current StackSize limit: 8192 KiB


[startup+0.100381 s]*
/proc/loadavg: 1.13 1.37 2.00 8/280 980923
/proc/meminfo: memFree=128483932/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=18975048 memory=62788 CPUtime=0.14 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 7263 0 0 0 12 2 0 0 20 0 18 0 183946970 19430449152 15697 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4743762 15697 5601 1 0 549354 0
[pid=980894/tid=980897] ppid=980891 vsize=18975048 memory=4026531959 CPUtime=0.09 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 5783 0 0 0 8 1 0 0 20 0 18 0 183946970 19430449152 15697 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=18975048 memory=15929 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183946973 19430449152 15697 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=18975048 memory=14691881351120164 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183946973 19430449152 15697 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62788 KiB

[startup+0.205736 s]*
/proc/loadavg: 1.13 1.37 2.00 11/301 980951
/proc/meminfo: memFree=128384228/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=18975048 memory=94316 CPUtime=0.34 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 8697 0 0 0 32 2 0 0 20 0 18 0 183946970 19430449152 23579 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4743762 23579 5873 1 0 550230 0
[pid=980894/tid=980897] ppid=980891 vsize=18975048 memory=3472328300254199927 CPUtime=0.19 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 5928 0 0 0 17 2 0 0 20 0 18 0 183946970 19430449152 23579 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=18975048 memory=15929 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183946973 19430449152 23579 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=18975048 memory=14691881351120164 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183946973 19430449152 23579 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 94316 KiB

[startup+0.305841 s]*
/proc/loadavg: 1.13 1.37 2.00 12/308 980963
/proc/meminfo: memFree=128273608/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=18975048 memory=139432 CPUtime=0.54 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 9237 0 0 0 50 4 0 0 20 0 18 0 183946970 19430449152 34858 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4743762 34858 5873 1 0 550653 0
[pid=980894/tid=980897] ppid=980891 vsize=18975048 memory=-8599730606665147068 CPUtime=0.29 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 5950 0 0 0 26 3 0 0 20 0 18 0 183946970 19430449152 34858 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183946973 19430449152 34858 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183946973 19430449152 35370 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 139432 KiB

[startup+0.700841 s]
/proc/loadavg: 1.13 1.37 2.00 15/326 980981
/proc/meminfo: memFree=128004912/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19041612 memory=198924 CPUtime=1.3 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 17962 0 0 0 124 6 0 0 20 0 19 0 183946970 19498610688 49731 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4760403 49731 5873 1 0 557369 0
[pid=980894/tid=980897] ppid=980891 vsize=19041612 memory=44056 CPUtime=0.64 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 5963 0 0 0 61 3 0 0 20 0 19 0 183946970 19498610688 49731 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19041612 memory=13120 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183946973 19498610688 49731 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19041612 memory=2228 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183946973 19498610688 49731 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 198924 KiB

[startup+1.50784 s]
/proc/loadavg: 1.13 1.37 2.00 12/330 980985
/proc/meminfo: memFree=127837432/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=209540 CPUtime=2.89 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 18633 0 0 0 283 6 0 0 20 0 20 0 183946970 19566772224 52385 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 52385 5921 1 0 557728 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=13120 CPUtime=1.41 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 6005 0 0 0 138 3 0 0 20 0 20 0 183946970 19566772224 52385 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=2228 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 52385 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 52385 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 52385 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209540 KiB

[startup+3.10574 s]
/proc/loadavg: 1.13 1.37 2.00 6/331 980986
/proc/meminfo: memFree=126590980/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=210088 CPUtime=4.98 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 22790 0 0 0 491 7 0 0 20 0 20 0 183946970 19566772224 52522 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 52522 5921 1 0 557775 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=0 CPUtime=3 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 6418 0 0 0 297 3 0 0 20 0 20 0 183946970 19566772224 52522 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 52522 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 52522 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=208628 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 52522 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210088 KiB

[startup+6.30026 s]
/proc/loadavg: 1.36 1.42 2.02 5/311 981003
/proc/meminfo: memFree=127515964/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=218680 CPUtime=8.34 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 24992 0 0 0 826 8 0 0 20 0 20 0 183946970 19566772224 54670 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 54670 5937 1 0 557777 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=0 CPUtime=6.15 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 6688 0 0 0 612 3 0 0 20 0 20 0 183946970 19566772224 54670 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 54670 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=44056 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 54670 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=6720661030462112363 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 54670 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 218680 KiB

[startup+12.7003 s]
/proc/loadavg: 1.73 1.50 2.04 5/333 981058
/proc/meminfo: memFree=127204836/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=251592 CPUtime=14.73 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 26754 0 0 0 1464 9 0 0 20 0 20 0 183946970 19566772224 62898 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 62898 5940 1 0 557793 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=5788930165031592000 CPUtime=12.45 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 7362 0 0 0 1242 3 0 0 20 0 20 0 183946970 19566772224 62898 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 62898 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=280853817374304 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 62898 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 62898 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 14.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 251592 KiB

[startup+25.5003 s]
/proc/loadavg: 2.53 1.68 2.09 6/332 981323
/proc/meminfo: memFree=126859032/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=383148 CPUtime=27.68 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 34764 0 0 0 2755 13 0 0 20 0 20 0 183946970 19566772224 95787 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 95787 5955 1 0 557793 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=0 CPUtime=25.01 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 8744 0 0 0 2498 3 0 0 20 0 20 0 183946970 19566772224 95787 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 95787 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=383148 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 95787 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 95787 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 27.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 383148 KiB

[startup+51.1059 s]
/proc/loadavg: 3.19 1.90 2.15 6/316 981660
/proc/meminfo: memFree=126255060/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=629392 CPUtime=53.42 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 39773 0 0 0 5323 19 0 0 20 0 20 0 183946970 19566772224 157348 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 157348 5955 1 0 557793 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=11392 CPUtime=50.25 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 10254 0 0 0 5022 3 0 0 20 0 20 0 183946970 19566772224 157348 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=44056 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 157348 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=479684 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 157348 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0

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

/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 3519.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2905776 KiB

[startup+3550.39 s]
# the end of solver process 980894 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3545.31 s, system=1.80484 s

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

[startup+3532.8 s]
/proc/loadavg: 4.15 4.17 4.11 6/331 984945
/proc/meminfo: memFree=109246312/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=2905776 CPUtime=3529.64 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 198946 0 0 0 352786 178 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 726444 5970 1 0 740349 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=2905684 CPUtime=3502.98 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 83023 0 0 0 350262 36 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=44056 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 1677 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 3529.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2905776 KiB

[startup+3539.2 s]
/proc/loadavg: 4.13 4.17 4.11 5/331 984945
/proc/meminfo: memFree=109246284/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=2905776 CPUtime=3535.98 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 199146 0 0 0 353420 178 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 726444 5970 1 0 740349 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=2905776 CPUtime=3509.31 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 83164 0 0 0 350895 36 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=7356 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 1677 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=7019818073594162029 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 3535.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2905776 KiB

[startup+3545.6 s]
/proc/loadavg: 4.12 4.16 4.11 5/331 984947
/proc/meminfo: memFree=109246200/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=2905776 CPUtime=3542.33 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 199268 0 0 0 354054 179 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 726444 5970 1 0 740349 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=2905776 CPUtime=3515.65 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 83196 0 0 0 351529 36 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 1764 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=1848 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 3542.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2905776 KiB

[startup+3548.8 s]
/proc/loadavg: 4.12 4.16 4.11 5/331 984947
/proc/meminfo: memFree=109246228/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=2905776 CPUtime=3545.5 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 199284 0 0 0 354371 179 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 726444 5970 1 0 740349 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=32340 CPUtime=3518.82 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 83212 0 0 0 351846 36 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=2905776 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=27320 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 1764 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 3545.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2905776 KiB

[startup+3549.6 s]
/proc/loadavg: 4.11 4.16 4.10 5/331 984947
/proc/meminfo: memFree=109246228/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=2905776 CPUtime=3546.3 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 199287 0 0 0 354451 179 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 726444 5970 1 0 740349 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=11392 CPUtime=3519.61 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 83215 0 0 0 351925 36 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=44056 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 1764 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=5428 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 3546.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2905776 KiB

[startup+3550 s]*
/proc/loadavg: 4.11 4.16 4.10 5/331 984949
/proc/meminfo: memFree=109245532/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=2905776 CPUtime=3546.69 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 199371 0 0 0 354490 179 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 726444 5970 1 0 740349 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=2848 CPUtime=3520.01 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 83276 0 0 0 351965 36 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=4792 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 1764 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=11204 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 3546.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2905776 KiB

[startup+3550.2 s]
/proc/loadavg: 4.11 4.16 4.10 5/331 984949
/proc/meminfo: memFree=109245532/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=2905776 CPUtime=3546.89 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 199383 0 0 0 354510 179 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 726444 5970 1 0 740349 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=11204 CPUtime=3520.21 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 4194368 83288 0 0 0 351985 36 0 0 20 0 20 0 183946970 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=2732 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=5120 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 1764 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=3389208 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 726444 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 3546.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2905776 KiB

[startup+3550.3 s]
/proc/loadavg: 4.11 4.16 4.10 5/331 984949
/proc/meminfo: memFree=109245532/131524600 swapFree=131071996/131071996
[pid=980894] ppid=980891 vsize=19108176 memory=2905888 CPUtime=3546.99 cores=0,2
/proc/980894/stat : 980894 (java) S 980891 980894 980838 0 -1 1077936128 201253 0 0 0 354520 179 0 0 20 0 20 0 183946970 19566772224 726472 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
/proc/980894/statm: 4777044 726472 5969 1 0 740376 0
[pid=980894/tid=980897] ppid=980891 vsize=19108176 memory=2905712 CPUtime=3520.3 cores=0,2
/proc/980894/task/980897/stat : 980897 (java) R 980891 980894 980838 0 -1 1077936192 85012 0 0 0 351994 36 0 0 20 0 20 0 183946970 19566772224 726472 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980916] ppid=980891 vsize=19108176 memory=11392 CPUtime=0 cores=0,2
/proc/980894/task/980916/stat : 980916 (Finalizer) S 980891 980894 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726472 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980923] ppid=980891 vsize=19108176 memory=2905776 CPUtime=0 cores=0,2
/proc/980894/task/980923/stat : 980923 (Common-Cleaner) S 980891 980894 980838 0 -1 1077936192 1764 0 0 0 0 0 0 0 20 0 20 0 183946973 19566772224 726472 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
[pid=980894/tid=980985] ppid=980891 vsize=19108176 memory=2905776 CPUtime=0 cores=0,2
/proc/980894/task/980985/stat : 980985 (Timer-0) S 980891 980894 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947050 19566772224 726472 134679101440 94115169001472 94115169005168 140724022133264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94115169012984 94115169013776 94115183751168 140724022137862 140724022137952 140724022137952 140724022144968 0
Current children cumulated CPU time: 3546.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2905888 KiB

Child status: 10

Real time (s): 3550.39
CPU time (s): 3547.12
CPU user time (s): 3545.31
CPU system time (s): 1.80484
CPU usage (%): 99.9077
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2905888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3545.31
system time used= 1.80484
maximum resident set size= 2907204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106929
involuntary context switches= 31465


# summary of solver processes directly reported to runsolver:
#   pid: 980894
#   total CPU time (s): 3547.12
#   total CPU user time (s): 3545.31
#   total CPU system time (s): 1.80484

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70975 second user time and 17.7266 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-18 17:50:00
IDJOB=4444034
IDBENCH=147894
IDSOLVER=3058
FILE ID=nodeC031/4444034-1721317787
RUNJOBID= nodeC031-1721317800-980848
SLURM_JOB_ID= 7542669
Free space on /tmp= 890056 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444034-1721317787/watcher-4444034-1721317787 -o /tmp/evaluation-result-4444034-1721317787/solver-4444034-1721317787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980848 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4444034-1721317787.opb

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

MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=1070236304

nodeC031.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		: 3641.608
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	: 6999.55
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		: 3661.368
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	: 7006.11
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		: 3628.591
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	: 6999.55
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.411
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	: 7006.11
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		: 3631.301
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	: 6999.55
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		: 3638.686
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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128587912 kB
MemAvailable:   129680848 kB
Buffers:          468376 kB
Cached:          1457136 kB
SwapCached:            0 kB
Active:           931748 kB
Inactive:        1387924 kB
Active(anon):       1496 kB
Inactive(anon):   430376 kB
Active(file):     930252 kB
Inactive(file):   957548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29144 kB
Writeback:            36 kB
AnonPages:        392880 kB
Mapped:           106812 kB
Shmem:             37720 kB
KReclaimable:      89564 kB
Slab:             200172 kB
SReclaimable:      89564 kB
SUnreclaim:       110608 kB
KernelStack:        3980 kB
PageTables:        10504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     713748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69376 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC031 at 2024-07-18 18:49:10