Trace number 4447454

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-07? (TO) 3600.17 3595.4

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n270-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM851f3387310df6bbd014cd79a7a4e679
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables405
Total number of constraints1080
Number of constraints which are clauses1080
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	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.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- 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-4447454-1721349171.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.14/0.16	c ... done. Wall clock time 0.039s.
0.14/0.16	c declared #vars     405
0.14/0.16	c #constraints  1080
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1080
0.14/0.16	c 1080 constraints processed.
0.72/0.41	c cleaning 2495 clauses out of 5001 with flag 20539/5001
0.92/0.59	c cleaning 4251 clauses out of 8506 with flag 50610/11001
1.30/0.72	c cleaning 5626 clauses out of 11255 with flag 86287/18001
1.47/0.83	c cleaning 6805 clauses out of 13628 with flag 123664/26000
1.65/0.95	c cleaning 7904 clauses out of 15824 with flag 158785/35001
1.82/1.10	c cleaning 8956 clauses out of 17919 with flag 197505/45000
2.22/1.24	c cleaning 9974 clauses out of 19963 with flag 250719/56000
2.46/1.40	c cleaning 10985 clauses out of 21990 with flag 304073/68001
2.56/1.59	c cleaning 11992 clauses out of 24005 with flag 359869/81001
2.86/1.81	c cleaning 12996 clauses out of 26013 with flag 419975/95001
3.07/2.05	c cleaning 13998 clauses out of 28017 with flag 484361/110001
3.37/2.31	c cleaning 15003 clauses out of 30019 with flag 553893/126001
3.71/2.60	c cleaning 15997 clauses out of 32016 with flag 632190/143001
3.91/2.87	c cleaning 17003 clauses out of 34018 with flag 720023/161000
4.21/3.16	c cleaning 18004 clauses out of 36015 with flag 816604/180000
4.51/3.45	c cleaning 18995 clauses out of 38012 with flag 921344/200001
4.81/3.75	c cleaning 19999 clauses out of 40016 with flag 1033547/221000
5.11/4.10	c cleaning 20997 clauses out of 42018 with flag 1143415/243001
5.51/4.44	c cleaning 22003 clauses out of 44021 with flag 1258372/266001
5.81/4.78	c cleaning 23003 clauses out of 46017 with flag 1383534/290000
6.21/5.14	c cleaning 23998 clauses out of 48015 with flag 1516728/315001
6.60/5.52	c cleaning 25000 clauses out of 50017 with flag 1658005/341001
7.00/5.92	c cleaning 25997 clauses out of 52016 with flag 1803993/368000
7.40/6.33	c cleaning 27003 clauses out of 54019 with flag 1954604/396000
7.80/6.78	c cleaning 28002 clauses out of 56016 with flag 2109329/425000
8.30/7.25	c cleaning 28999 clauses out of 58014 with flag 2272496/455000
8.81/7.79	c cleaning 30004 clauses out of 60016 with flag 2437757/486001
9.41/8.30	c cleaning 30994 clauses out of 62012 with flag 2613281/518001
9.90/8.82	c cleaning 32000 clauses out of 64018 with flag 2798653/551001
10.40/9.37	c cleaning 32995 clauses out of 66018 with flag 2975160/585001
11.00/9.95	c cleaning 34005 clauses out of 68022 with flag 3157625/620000
11.60/10.56	c cleaning 34999 clauses out of 70018 with flag 3346743/656001
12.20/11.14	c cleaning 36000 clauses out of 72018 with flag 3541207/693000
12.90/11.82	c cleaning 36995 clauses out of 74019 with flag 3762556/731001
13.50/12.49	c cleaning 38004 clauses out of 76023 with flag 3975624/770000
14.49/13.43	c cleaning 39002 clauses out of 78020 with flag 4204582/810001
15.59/14.55	c cleaning 40000 clauses out of 80018 with flag 4455013/851001
16.69/15.66	c cleaning 41000 clauses out of 82018 with flag 4711716/893001
18.02/16.93	c cleaning 41996 clauses out of 84018 with flag 4974778/936001
19.31/18.25	c cleaning 42999 clauses out of 86021 with flag 5244902/980000
20.61/19.57	c cleaning 44001 clauses out of 88022 with flag 5522169/1025000
22.01/20.96	c cleaning 45000 clauses out of 90022 with flag 5804178/1071001
23.62/22.51	c cleaning 45999 clauses out of 92021 with flag 6093143/1118000
24.92/23.89	c cleaning 47001 clauses out of 94023 with flag 6386728/1166001
26.51/25.44	c cleaning 47996 clauses out of 96021 with flag 6686800/1215000
28.01/26.98	c cleaning 49000 clauses out of 98026 with flag 6991040/1265001
29.73/28.60	c cleaning 50002 clauses out of 100026 with flag 7301957/1316001
31.43/30.33	c cleaning 51002 clauses out of 102024 with flag 7619221/1368001
33.43/32.35	c cleaning 52000 clauses out of 104021 with flag 7944896/1421000
35.92/34.89	c cleaning 52996 clauses out of 106022 with flag 8277670/1475001
38.72/37.62	c cleaning 54003 clauses out of 108026 with flag 8615195/1530001
41.21/40.19	c cleaning 55000 clauses out of 110023 with flag 8959773/1586001
43.29/42.27	c cleaning 55998 clauses out of 112023 with flag 9309530/1643001
45.60/44.57	c cleaning 57003 clauses out of 114025 with flag 9666084/1701001
48.47/47.47	c cleaning 57998 clauses out of 116022 with flag 10029931/1760001
51.47/50.40	c cleaning 58998 clauses out of 118024 with flag 10399630/1820001
53.76/52.79	c cleaning 59998 clauses out of 120026 with flag 10774750/1881001
55.67/54.61	c cleaning 61009 clauses out of 122028 with flag 11126526/1943001
57.08/56.05	c cleaning 62007 clauses out of 124019 with flag 11473441/2006001
58.58/57.57	c cleaning 63002 clauses out of 126011 with flag 11852507/2070000
60.10/59.09	c cleaning 63998 clauses out of 128010 with flag 12195737/2135001
61.59/60.56	c cleaning 64999 clauses out of 130012 with flag 12568424/2201001
63.09/62.09	c cleaning 66003 clauses out of 132013 with flag 12968265/2268001
64.72/63.60	c cleaning 66994 clauses out of 134009 with flag 13340456/2336000
66.22/65.12	c cleaning 68001 clauses out of 136015 with flag 13719355/2405000
67.72/66.62	c cleaning 68998 clauses out of 138015 with flag 14109424/2475001
69.31/68.25	c cleaning 70001 clauses out of 140016 with flag 14501899/2546000
70.93/69.84	c cleaning 70995 clauses out of 142015 with flag 14895659/2618000
72.73/71.63	c cleaning 72006 clauses out of 144020 with flag 15304664/2691000
74.42/73.38	c cleaning 73002 clauses out of 146014 with flag 15730229/2765000
76.15/75.06	c cleaning 74001 clauses out of 148013 with flag 16142474/2840001
77.85/76.79	c cleaning 74998 clauses out of 150012 with flag 16569572/2916001
79.54/78.49	c cleaning 76000 clauses out of 152014 with flag 17012655/2993001
81.49/80.35	c cleaning 76995 clauses out of 154014 with flag 17455987/3071001
83.88/82.75	c cleaning 78000 clauses out of 156019 with flag 17968598/3150001
85.88/84.70	c cleaning 79004 clauses out of 158019 with flag 18407005/3230001
87.67/86.52	c cleaning 80004 clauses out of 160014 with flag 18845434/3311000
89.61/88.40	c cleaning 80999 clauses out of 162010 with flag 19291508/3393000
91.41/90.28	c cleaning 81998 clauses out of 164011 with flag 19760546/3476000
93.31/92.17	c cleaning 82994 clauses out of 166014 with flag 20221303/3560001
95.31/94.17	c cleaning 83998 clauses out of 168020 with flag 20682850/3645001
97.44/96.24	c cleaning 84998 clauses out of 170021 with flag 21174978/3731000
99.63/98.43	c cleaning 86005 clauses out of 172023 with flag 21618475/3818000
101.73/100.50	c cleaning 87003 clauses out of 174019 with flag 22099711/3906001
103.82/102.66	c cleaning 88003 clauses out of 176015 with flag 22586730/3995000
105.92/104.74	c cleaning 88994 clauses out of 178013 with flag 23080828/4085001
108.15/106.97	c cleaning 90000 clauses out of 180019 with flag 23584695/4176001
110.35/109.16	c cleaning 90997 clauses out of 182019 with flag 24104608/4268001
113.35/112.17	c cleaning 92008 clauses out of 184023 with flag 24657340/4361002
115.84/114.65	c cleaning 93002 clauses out of 186014 with flag 25185325/4455001
118.34/117.19	c cleaning 93998 clauses out of 188012 with flag 25730990/4550001
121.00/119.73	c cleaning 94995 clauses out of 190014 with flag 26280354/4646001
123.50/122.29	c cleaning 95997 clauses out of 192018 with flag 26848909/4743000
126.09/124.85	c cleaning 96996 clauses out of 194022 with flag 27402285/4841001
128.39/127.17	c cleaning 98004 clauses out of 196027 with flag 27959215/4940002
130.58/129.37	c cleaning 99003 clauses out of 198022 with flag 28515320/5040001
133.18/131.97	c cleaning 100001 clauses out of 200018 with flag 29098946/5141000
135.47/134.27	c cleaning 100996 clauses out of 202017 with flag 29659428/5243000
138.25/136.99	c cleaning 102002 clauses out of 204022 with flag 30239133/5346001
140.84/139.51	c cleaning 103001 clauses out of 206020 with flag 30808831/5450001
143.24/142.00	c cleaning 104003 clauses out of 208019 with flag 31396699/5555001
145.73/144.40	c cleaning 104997 clauses out of 210015 with flag 31970933/5661000
148.13/146.83	c cleaning 106000 clauses out of 212018 with flag 32570328/5768000
150.92/149.65	c cleaning 106997 clauses out of 214019 with flag 33195674/5876001
153.48/152.17	c cleaning 108005 clauses out of 216022 with flag 33790968/5985001
156.07/154.76	c cleaning 108999 clauses out of 218016 with flag 34350641/6095000
158.86/157.58	c cleaning 110001 clauses out of 220018 with flag 34967554/6206001
161.76/160.43	c cleaning 110992 clauses out of 222016 with flag 35581835/6318000
164.55/163.24	c cleaning 112005 clauses out of 224024 with flag 36210821/6431000
167.45/166.10	c cleaning 113004 clauses out of 226019 with flag 36829242/6545000
170.14/168.82	c cleaning 113997 clauses out of 228016 with flag 37482556/6660001
173.01/171.66	c cleaning 115004 clauses out of 230018 with flag 38119734/6776000
176.00/174.62	c cleaning 115999 clauses out of 232014 with flag 38758489/6893000
178.89/177.59	c cleaning 116999 clauses out of 234016 with flag 39394165/7011001
181.89/180.53	c cleaning 117997 clauses out of 236016 with flag 40022206/7130000
184.89/183.56	c cleaning 119003 clauses out of 238019 with flag 40677733/7250000
188.58/187.23	c cleaning 119994 clauses out of 240016 with flag 41382101/7371000
192.18/190.83	c cleaning 121001 clauses out of 242022 with flag 42099042/7493000
196.66/195.38	c cleaning 121999 clauses out of 244022 with flag 42820802/7616001
200.33/198.94	c cleaning 123001 clauses out of 246023 with flag 43530912/7740001
204.02/202.64	c cleaning 124001 clauses out of 248021 with flag 44220977/7865000
207.21/205.85	c cleaning 125000 clauses out of 250021 with flag 44937322/7991001
210.32/208.98	c cleaning 126001 clauses out of 252021 with flag 45623152/8118001
214.01/212.63	c cleaning 127001 clauses out of 254019 with flag 46353365/8246000
217.41/216.10	c cleaning 128000 clauses out of 256018 with flag 47074971/8375000
221.19/219.86	c cleaning 129000 clauses out of 258019 with flag 47790614/8505001
224.69/223.33	c cleaning 130002 clauses out of 260019 with flag 48483176/8636001
228.38/227.07	c cleaning 131001 clauses out of 262017 with flag 49173097/8768001
232.07/230.71	c cleaning 131997 clauses out of 264015 with flag 49906168/8901000
235.37/234.09	c cleaning 132998 clauses out of 266018 with flag 50629480/9035000
239.26/237.97	c cleaning 134005 clauses out of 268022 with flag 51347006/9170002
244.35/243.05	c cleaning 134999 clauses out of 270015 with flag 52101869/9306000
248.34/247.07	c cleaning 135998 clauses out of 272016 with flag 52852094/9443000
252.33/251.05	c cleaning 137001 clauses out of 274018 with flag 53619127/9581000
256.76/254.90	c cleaning 138000 clauses out of 276017 with flag 54385700/9720000
260.86/259.05	c cleaning 139002 clauses out of 278018 with flag 55147960/9860001
264.85/263.06	c cleaning 139998 clauses out of 280015 with flag 55981342/10001000
270.34/268.54	c cleaning 141000 clauses out of 282018 with flag 56772811/10143001
274.43/272.69	c cleaning 141997 clauses out of 284017 with flag 57583392/10286000
278.42/276.65	c cleaning 142997 clauses out of 286020 with flag 58365427/10430000
282.51/280.76	c cleaning 144001 clauses out of 288023 with flag 59200844/10575000
286.60/284.84	c cleaning 145003 clauses out of 290023 with flag 60023116/10721001
291.19/289.34	c cleaning 145997 clauses out of 292020 with flag 60901461/10868001
296.08/294.24	c cleaning 147003 clauses out of 294022 with flag 61728443/11016000
300.67/298.87	c cleaning 148000 clauses out of 296020 with flag 62608968/11165001
305.26/303.40	c cleaning 149001 clauses out of 298019 with flag 63492236/11315000
310.05/308.27	c cleaning 149997 clauses out of 300018 with flag 64333653/11466000
315.14/313.35	c cleaning 151005 clauses out of 302021 with flag 65223273/11618000
319.33/317.58	c cleaning 152002 clauses out of 304017 with flag 66071655/11771001
325.01/323.28	c cleaning 152995 clauses out of 306014 with flag 66908360/11925000
334.39/332.54	c cleaning 153999 clauses out of 308020 with flag 67740216/12080001
342.13/340.39	c cleaning 154999 clauses out of 310020 with flag 68639107/12236000
351.94/350.26	c cleaning 155999 clauses out of 312021 with flag 69631896/12393000
362.46/360.84	c cleaning 157000 clauses out of 314023 with flag 70632038/12551001
373.47/371.96	c cleaning 157997 clauses out of 316023 with flag 71639433/12710001
380.12/378.60	c cleaning 158999 clauses out of 318025 with flag 72642505/12870000
388.70/387.13	c cleaning 160006 clauses out of 320027 with flag 73652002/13031001
397.08/395.53	c cleaning 160999 clauses out of 322021 with flag 74667202/13193001
404.87/403.39	c cleaning 161996 clauses out of 324021 with flag 75689328/13356000
413.76/412.22	c cleaning 162997 clauses out of 326025 with flag 76716889/13520000
422.44/420.97	c cleaning 163999 clauses out of 328028 with flag 77750704/13685000
431.23/429.70	c cleaning 164999 clauses out of 330029 with flag 78791100/13851000
440.29/438.78	c cleaning 166002 clauses out of 332031 with flag 79836292/14018001
449.58/448.05	c cleaning 167001 clauses out of 334029 with flag 80889762/14186001
458.66/457.14	c cleaning 168000 clauses out of 336028 with flag 81948834/14355001
467.94/466.41	c cleaning 168998 clauses out of 338027 with flag 83013644/14525000
477.43/475.94	c cleaning 170001 clauses out of 340029 with flag 84085048/14696000
487.01/485.59	c cleaning 171009 clauses out of 342029 with flag 85163195/14868001
496.09/494.59	c cleaning 172006 clauses out of 344020 with flag 86207958/15041001
501.77/500.22	c cleaning 173000 clauses out of 346014 with flag 87180499/15215001
507.16/505.66	c cleaning 174001 clauses out of 348013 with flag 88168120/15390000
514.05/512.56	c cleaning 174996 clauses out of 350012 with flag 89214266/15566000
519.74/518.27	c cleaning 176005 clauses out of 352017 with flag 90192084/15743001
525.33/523.89	c cleaning 177000 clauses out of 354011 with flag 91164979/15921000
531.52/529.91	c cleaning 177998 clauses out of 356012 with flag 92130443/16100001
537.81/536.26	c cleaning 178998 clauses out of 358013 with flag 93117825/16280000
543.70/542.10	c cleaning 180000 clauses out of 360016 with flag 94152917/16461001
549.79/548.21	c cleaning 180999 clauses out of 362016 with flag 95198504/16643001
555.97/554.49	c cleaning 181997 clauses out of 364016 with flag 96224429/16826000
562.36/560.86	c cleaning 183005 clauses out of 366019 with flag 97235803/17010000
568.65/567.18	c cleaning 183998 clauses out of 368015 with flag 98273209/17195001
575.20/573.65	c cleaning 185001 clauses out of 370017 with flag 99278057/17381001
581.60/580.08	c cleaning 185999 clauses out of 372016 with flag 100297664/17568001
587.59/586.01	c cleaning 187004 clauses out of 374016 with flag 101306145/17756000
593.97/592.43	c cleaning 188000 clauses out of 376012 with flag 102340450/17945000
600.46/598.96	c cleaning 188999 clauses out of 378013 with flag 103361366/18135001
606.74/605.28	c cleaning 189998 clauses out of 380014 with flag 104390904/18326001
615.34/613.41	c cleaning 191000 clauses out of 382016 with flag 105437522/18518001
622.52/620.66	c cleaning 191997 clauses out of 384015 with flag 106387042/18711000
633.70/631.84	c cleaning 192998 clauses out of 386019 with flag 107304995/18905001
641.28/639.48	c cleaning 194001 clauses out of 388020 with flag 108318678/19100000
648.57/646.74	c cleaning 195001 clauses out of 390020 with flag 109361487/19296001
655.35/653.53	c cleaning 196002 clauses out of 392018 with flag 110377207/19493000
662.40/660.51	c cleaning 197000 clauses out of 394017 with flag 111515632/19691001
669.30/667.49	c cleaning 198000 clauses out of 396016 with flag 112587118/19890000
676.28/674.43	c cleaning 199002 clauses out of 398017 with flag 113639229/20090001
683.37/681.57	c cleaning 199997 clauses out of 400014 with flag 114754802/20291000
695.05/693.25	c cleaning 200996 clauses out of 402018 with flag 115855725/20493001
707.72/705.99	c cleaning 201999 clauses out of 404021 with flag 116961503/20696000
719.60/717.85	c cleaning 202994 clauses out of 406022 with flag 118080085/20900000
732.49/730.76	c cleaning 203997 clauses out of 408028 with flag 119209433/21105000
746.11/744.20	c cleaning 204999 clauses out of 410031 with flag 120344720/21311000
759.29/757.44	c cleaning 206003 clauses out of 412033 with flag 121497418/21518001
773.16/771.31	c cleaning 206997 clauses out of 414030 with flag 122634400/21726001
786.54/784.73	c cleaning 208004 clauses out of 416033 with flag 123768741/21935001
800.32/798.53	c cleaning 209003 clauses out of 418028 with flag 124927382/22145000
814.50/812.71	c cleaning 209995 clauses out of 420025 with flag 126122790/22356000
824.89/823.10	c cleaning 211005 clauses out of 422031 with flag 127284028/22568001
833.82/831.96	c cleaning 212005 clauses out of 424025 with flag 128430845/22781000
841.91/840.09	c cleaning 213001 clauses out of 426021 with flag 129617258/22995001
851.19/849.34	c cleaning 213998 clauses out of 428020 with flag 130811982/23210001
859.78/857.91	c cleaning 215006 clauses out of 430022 with flag 131968975/23426001
869.06/867.23	c cleaning 215991 clauses out of 432015 with flag 133309887/23643000
882.43/880.61	c cleaning 217003 clauses out of 434025 with flag 134524926/23861001
898.47/896.52	c cleaning 218003 clauses out of 436022 with flag 135748392/24080001
912.74/910.87	c cleaning 218998 clauses out of 438019 with flag 136954496/24300001
928.12/926.29	c cleaning 220001 clauses out of 440021 with flag 138172129/24521001
943.59/941.72	c cleaning 221000 clauses out of 442020 with flag 139395327/24743001
960.73/958.31	c cleaning 221999 clauses out of 444020 with flag 140647131/24966001
977.51/975.12	c cleaning 223001 clauses out of 446021 with flag 141887353/25190001
993.58/991.26	c cleaning 223997 clauses out of 448020 with flag 143121613/25415001
1010.85/1008.57	c cleaning 225000 clauses out of 450023 with flag 144378691/25641001
1025.14/1022.87	c cleaning 226002 clauses out of 452023 with flag 145617751/25868001
1033.77/1031.51	c cleaning 227001 clauses out of 454021 with flag 146885831/26096001
1042.29/1040.19	c cleaning 227996 clauses out of 456020 with flag 148140105/26325001
1055.67/1053.66	c cleaning 229000 clauses out of 458023 with flag 149202726/26555000
1070.22/1068.24	c cleaning 230003 clauses out of 460024 with flag 150367791/26786001
1081.02/1079.01	c cleaning 230995 clauses out of 462020 with flag 151568099/27018000
1091.65/1089.56	c cleaning 232003 clauses out of 464026 with flag 152756647/27251001
1100.34/1098.24	c cleaning 233000 clauses out of 466023 with flag 153985554/27485001
1110.22/1108.17	c cleaning 234004 clauses out of 468023 with flag 155172295/27720001
1120.68/1118.62	c cleaning 235003 clauses out of 470018 with flag 156413837/27956000
1130.46/1128.49	c cleaning 235999 clauses out of 472016 with flag 157648566/28193001
1140.54/1138.56	c cleaning 236995 clauses out of 474017 with flag 158995322/28431001
1163.69/1161.62	c cleaning 238005 clauses out of 476021 with flag 160322055/28670000
1174.97/1172.90	c cleaning 239001 clauses out of 478016 with flag 161687690/28910000
1184.66/1182.60	c cleaning 239998 clauses out of 480016 with flag 162973916/29151001
1193.44/1191.47	c cleaning 240999 clauses out of 482017 with flag 164318276/29393000
1206.02/1204.03	c cleaning 241996 clauses out of 484019 with flag 165618254/29636001
1216.27/1214.19	c cleaning 243004 clauses out of 486023 with flag 166932150/29880001
1225.94/1223.84	c cleaning 244002 clauses out of 488018 with flag 168177929/30125000
1240.03/1237.99	c cleaning 245000 clauses out of 490017 with flag 169440327/30371001
1250.70/1248.62	c cleaning 245999 clauses out of 492018 with flag 170771108/30618002
1262.69/1260.01	c cleaning 246999 clauses out of 494017 with flag 172192745/30866000
1272.47/1269.84	c cleaning 247996 clauses out of 496019 with flag 173527515/31115001
1282.05/1279.44	c cleaning 249005 clauses out of 498022 with flag 174865835/31365000
1292.24/1289.66	c cleaning 249997 clauses out of 500018 with flag 176163881/31616001
1301.86/1299.28	c cleaning 251001 clauses out of 502021 with flag 177575260/31868001
1315.43/1312.88	c cleaning 252002 clauses out of 504020 with flag 179023480/32121001
1325.71/1323.18	c cleaning 252998 clauses out of 506018 with flag 180408152/32375001
1338.70/1336.12	c cleaning 254001 clauses out of 508019 with flag 181719801/32630000
1349.77/1347.20	c cleaning 255000 clauses out of 510019 with flag 183135758/32886001
1360.55/1358.08	c cleaning 256004 clauses out of 512018 with flag 184540712/33143000
1370.51/1367.97	c cleaning 256997 clauses out of 514015 with flag 185939874/33401001
1379.91/1377.36	c cleaning 257996 clauses out of 516017 with flag 187297897/33660000
1406.26/1403.75	c cleaning 259000 clauses out of 518022 with flag 188701923/33920001
1418.53/1416.06	c cleaning 260002 clauses out of 520022 with flag 190206080/34181001
1431.69/1429.20	c cleaning 260998 clauses out of 522019 with flag 191585453/34443000
1464.62/1462.27	c cleaning 262001 clauses out of 524021 with flag 193028791/34706000
1476.58/1474.09	c cleaning 263002 clauses out of 526021 with flag 194630452/34970001
1490.05/1487.55	c cleaning 264001 clauses out of 528018 with flag 196055291/35235000
1500.53/1498.02	c cleaning 265000 clauses out of 530018 with flag 197523237/35501001
1512.51/1510.05	c cleaning 266000 clauses out of 532018 with flag 198980641/35768001
1522.29/1519.86	c cleaning 266998 clauses out of 534017 with flag 200332609/36036000
1533.28/1530.88	c cleaning 268000 clauses out of 536019 with flag 201707141/36305000
1544.73/1542.24	c cleaning 268998 clauses out of 538019 with flag 203123744/36575000
1556.51/1554.00	c cleaning 269996 clauses out of 540021 with flag 204695621/36846000
1569.29/1566.82	c cleaning 271004 clauses out of 542026 with flag 206172749/37118001
1583.47/1581.02	c cleaning 272001 clauses out of 544021 with flag 207591964/37391000
1603.04/1600.61	c cleaning 273003 clauses out of 546021 with flag 209042339/37665001
1615.24/1612.72	c cleaning 274003 clauses out of 548017 with flag 210536696/37940000
1628.11/1625.67	c cleaning 275001 clauses out of 550015 with flag 212020589/38216001
1639.69/1637.26	c cleaning 275999 clauses out of 552013 with flag 213493627/38493000
1655.48/1653.09	c cleaning 276998 clauses out of 554014 with flag 214988280/38771000
1670.45/1668.05	c cleaning 277999 clauses out of 556016 with flag 216526327/39050000
1685.80/1682.97	c cleaning 278999 clauses out of 558017 with flag 218053684/39330000
1697.00/1694.22	c cleaning 280002 clauses out of 560019 with flag 219675179/39611001
1722.88/1720.20	c cleaning 280993 clauses out of 562017 with flag 221711022/39893001
1747.74/1745.16	c cleaning 282003 clauses out of 564024 with flag 223767196/40176001
1761.26/1758.59	c cleaning 283001 clauses out of 566021 with flag 225551289/40460001
1775.04/1772.39	c cleaning 283999 clauses out of 568020 with flag 227098198/40745001
1786.52/1783.84	c cleaning 285005 clauses out of 570020 with flag 228658857/41031000
1797.60/1794.98	c cleaning 285999 clauses out of 572016 with flag 230165804/41318001
1810.22/1807.54	c cleaning 287001 clauses out of 574016 with flag 231683227/41606000
1823.10/1820.45	c cleaning 288003 clauses out of 576015 with flag 233283696/41895000
1841.07/1838.46	c cleaning 288998 clauses out of 578012 with flag 235070289/42185000
1854.14/1851.56	c cleaning 289997 clauses out of 580015 with flag 236735876/42476001
1872.93/1870.28	c cleaning 290997 clauses out of 582017 with flag 238412226/42768000
1893.99/1891.38	c cleaning 292001 clauses out of 584021 with flag 240132719/43061001
1913.67/1911.07	c cleaning 292998 clauses out of 586020 with flag 241964607/43355001
1927.84/1925.24	c cleaning 294004 clauses out of 588021 with flag 243506870/43650000
1940.13/1937.51	c cleaning 295001 clauses out of 590018 with flag 245105736/43946001
1954.84/1952.17	c cleaning 296003 clauses out of 592017 with flag 246647306/44243001
1967.41/1964.75	c cleaning 296994 clauses out of 594014 with flag 248326005/44541001
1980.29/1977.64	c cleaning 298003 clauses out of 596019 with flag 250050792/44840000
1994.47/1991.86	c cleaning 298998 clauses out of 598016 with flag 251722516/45140000
2007.12/2004.41	c cleaning 300003 clauses out of 600019 with flag 253301286/45441001
2024.59/2021.93	c cleaning 300996 clauses out of 602015 with flag 254914322/45743000
2038.08/2035.48	c cleaning 302003 clauses out of 604019 with flag 256527989/46046000
2056.65/2054.02	c cleaning 303002 clauses out of 606016 with flag 258116029/46350000
2071.16/2068.44	c cleaning 304001 clauses out of 608015 with flag 259750559/46655001
2085.33/2082.62	c cleaning 304995 clauses out of 610014 with flag 261402032/46961001
2099.70/2097.06	c cleaning 306000 clauses out of 612019 with flag 263128439/47268001
2119.15/2116.56	c cleaning 307005 clauses out of 614020 with flag 264862334/47576002
2132.65/2129.64	c cleaning 307997 clauses out of 616013 with flag 266557550/47885000
2154.02/2151.09	c cleaning 308998 clauses out of 618017 with flag 268243511/48195001
2170.19/2167.21	c cleaning 309998 clauses out of 620019 with flag 269905950/48506001
2194.33/2191.32	c cleaning 311001 clauses out of 622021 with flag 271400618/48818001
2221.10/2218.18	c cleaning 311997 clauses out of 624019 with flag 272962176/49131000
2245.46/2242.59	c cleaning 313002 clauses out of 626023 with flag 274507005/49445001
2259.23/2256.30	c cleaning 314004 clauses out of 628020 with flag 276107609/49760000
2274.27/2271.34	c cleaning 315002 clauses out of 630016 with flag 277952169/50076000
2290.95/2287.97	c cleaning 315997 clauses out of 632014 with flag 279762252/50393000
2304.93/2301.96	c cleaning 317005 clauses out of 634018 with flag 281487416/50711001
2320.81/2317.89	c cleaning 317997 clauses out of 636013 with flag 283244686/51030001
2341.22/2338.21	c cleaning 318995 clauses out of 638015 with flag 284913325/51350000
2361.22/2358.03	c cleaning 320001 clauses out of 640021 with flag 286641973/51671001
2376.64/2373.42	c cleaning 321001 clauses out of 642019 with flag 288444585/51993000
2392.47/2389.23	c cleaning 322003 clauses out of 644019 with flag 290208198/52316001
2407.58/2404.33	c cleaning 323001 clauses out of 646015 with flag 291907685/52640000
2422.36/2419.15	c cleaning 323993 clauses out of 648015 with flag 293641792/52965001
2451.84/2448.10	c cleaning 324997 clauses out of 650022 with flag 295465496/53291001
2470.10/2466.34	c cleaning 326004 clauses out of 652025 with flag 297270694/53618001
2509.61/2505.97	c cleaning 327007 clauses out of 654020 with flag 299912142/53946000
2549.62/2546.00	c cleaning 327998 clauses out of 656014 with flag 302503056/54275001
2577.23/2573.50	c cleaning 328992 clauses out of 658015 with flag 304540115/54605000
2595.90/2592.23	c cleaning 330002 clauses out of 660024 with flag 306298635/54936001
2612.97/2609.39	c cleaning 331004 clauses out of 662022 with flag 308117530/55268001
2629.20/2624.89	c cleaning 332005 clauses out of 664018 with flag 309910517/55601001
2648.57/2644.29	c cleaning 332994 clauses out of 666012 with flag 311713467/55935000
2665.04/2660.70	c cleaning 334003 clauses out of 668019 with flag 313461609/56270001
2680.35/2675.92	c cleaning 334998 clauses out of 670016 with flag 315259620/56606001
2695.62/2691.27	c cleaning 336001 clauses out of 672018 with flag 317047009/56943001
2712.71/2708.36	c cleaning 337002 clauses out of 674017 with flag 318994067/57281001
2730.56/2726.18	c cleaning 338000 clauses out of 676014 with flag 320919621/57620000
2747.32/2742.94	c cleaning 338995 clauses out of 678015 with flag 322795368/57960001
2763.95/2759.55	c cleaning 340005 clauses out of 680019 with flag 324684567/58301000
2780.93/2776.58	c cleaning 340999 clauses out of 682015 with flag 326528305/58643001
2797.60/2793.16	c cleaning 341997 clauses out of 684016 with flag 328473186/58986001
2813.66/2809.24	c cleaning 342999 clauses out of 686018 with flag 330295174/59330000
2838.53/2834.19	c cleaning 343998 clauses out of 688020 with flag 332409887/59675001
2891.75/2887.42	c cleaning 344996 clauses out of 690021 with flag 334352445/60021000
2915.50/2911.25	c cleaning 346005 clauses out of 692025 with flag 336355023/60368000
2948.95/2944.70	c cleaning 347003 clauses out of 694021 with flag 338583169/60716001
2967.68/2963.32	c cleaning 347998 clauses out of 696018 with flag 340691589/61065001
2986.15/2981.80	c cleaning 348996 clauses out of 698020 with flag 342729043/61415001
3022.97/3018.63	c cleaning 349999 clauses out of 700023 with flag 344749250/61766000
3044.63/3040.36	c cleaning 351001 clauses out of 702024 with flag 346669406/62118000
3073.30/3069.08	c cleaning 351997 clauses out of 704024 with flag 348559244/62471001
3105.47/3101.25	c cleaning 353002 clauses out of 706026 with flag 350554992/62825000
3126.93/3122.72	c cleaning 354003 clauses out of 708025 with flag 352563066/63180001
3146.02/3141.79	c cleaning 355012 clauses out of 710023 with flag 354552895/63536002
3164.77/3159.97	c cleaning 356002 clauses out of 712009 with flag 356602566/63893000
3205.19/3200.44	c cleaning 356989 clauses out of 714008 with flag 358568675/64251001
3227.56/3222.80	c cleaning 357998 clauses out of 716019 with flag 360704820/64610001
3258.43/3253.70	c cleaning 359002 clauses out of 718021 with flag 362801480/64970001
3288.39/3283.69	c cleaning 359996 clauses out of 720018 with flag 364930597/65331000
3318.94/3314.24	c cleaning 361000 clauses out of 722022 with flag 367001782/65693000
3354.03/3349.31	c cleaning 362001 clauses out of 724022 with flag 369143365/66056000
3388.68/3384.07	c cleaning 362999 clauses out of 726021 with flag 371226825/66420000
3419.48/3414.77	c cleaning 363999 clauses out of 728022 with flag 373418720/66785000
3455.23/3450.53	c cleaning 365000 clauses out of 730024 with flag 375595740/67151001
3490.16/3485.56	c cleaning 365998 clauses out of 732023 with flag 377773045/67518000
3526.64/3521.97	c cleaning 367001 clauses out of 734025 with flag 379980133/67886000
3561.09/3556.40	c cleaning 367998 clauses out of 736024 with flag 382147778/68255000
3596.82/3592.15	c cleaning 368998 clauses out of 738026 with flag 384366798/68625000
3600.01/3595.31	c starts		: 100278
3600.01/3595.31	c conflicts		: 68763576
3600.01/3595.31	c decisions		: 88948161
3600.01/3595.31	c propagations		: 795785507
3600.01/3595.31	c inspects		: 35262833837
3600.01/3595.31	c shortcuts		: 0
3600.01/3595.31	c learnt literals	: 0
3600.01/3595.31	c learnt binary clauses	: 0
3600.01/3595.31	c learnt ternary clauses	: 0
3600.01/3595.31	c learnt constraints	: 68763576
3600.01/3595.31	c ignored constraints	: 0
3600.01/3595.31	c root simplifications	: 0
3600.01/3595.31	c removed literals (reason simplification)	: 0
3600.01/3595.31	c reason swapping (by a shorter reason)	: 0
3600.01/3595.31	c Calls to reduceDB	: 366
3600.01/3595.31	c Number of update (reduction) of LBD	: 5182637
3600.01/3595.31	c Imported unit clauses	: 0
3600.01/3595.31	c No decision after first conflict	: false
3600.01/3595.31	c number of reductions to clauses (during analyze)	: 0
3600.01/3595.31	c number of learned constraints concerned by reduction	: 0
3600.01/3595.31	c number of learning phase by resolution	: 0
3600.01/3595.31	c number of learning phase by cutting planes	: 0
3600.01/3595.31	c number of rounding to 1 operations	: 0
3600.01/3595.31	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3595.31	c number of reductions of the coefficients by power 2 	: 0
3600.01/3595.31	c number of right shift for reduction by power 2 	: 0
3600.01/3595.31	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3595.31	c number of ending skipping 	: 0
3600.01/3595.31	c number of internal skipping 	: 0
3600.01/3595.31	c number of derivation steps 	: 0
3600.01/3595.31	c number of skipped derivation steps 	: 0
3600.01/3595.31	c number of remaining unassigned 	: 0
3600.01/3595.31	c number of remaining assigned 	: 0
3600.01/3595.31	c number of falsified literals weakened from reason	: 0
3600.01/3595.31	c number of falsified literals weakened from conflict	: 0
3600.01/3595.31	c time for arithmetic operations	: 0
3600.01/3595.32	c minimum degree of deleted constraints	: null
3600.01/3595.32	c maximum degree of deleted constraints	: null
3600.01/3595.32	c number of deleted constraints	: 0
3600.01/3595.32	c speed (assignments/second)	: 221349.30602474383
3600.01/3595.32	c non guided choices	: 213449
3600.01/3595.36	c timeout
3600.01/3595.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 507604
3600.01/3595.38	s UNKNOWN
3600.01/3595.38	c Total wall clock time (in seconds): 3595.267

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (59464 MiB free)
  memory of node 1: 64473 MiB (60170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447454-1721349171/watcher-4447454-1721349171 -o /tmp/evaluation-result-4447454-1721349171/solver-4447454-1721349171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721341105-984138 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4447454-1721349171.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=989857, runsolver pid=989854
Current StackSize limit: 8192 KiB


[startup+0.10008 s]*
/proc/loadavg: 4.27 4.21 4.19 5/333 989875
/proc/meminfo: memFree=122464396/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=18975048 memory=63408 CPUtime=0.14 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 7231 0 0 0 12 2 0 0 20 0 18 0 187087981 19430449152 15852 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4743762 15852 5716 1 0 549341 0
[pid=989857/tid=989859] ppid=989854 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 5753 0 0 0 7 1 0 0 20 0 18 0 187087982 19430449152 15852 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187087984 19430449152 15852 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=18975048 memory=14971178779437607 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187087985 19430449152 15852 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63408 KiB

[startup+0.205749 s]*
/proc/loadavg: 4.27 4.21 4.19 7/334 989876
/proc/meminfo: memFree=122458476/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19041612 memory=69348 CPUtime=0.34 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 7669 0 0 0 32 2 0 0 20 0 19 0 187087981 19498610688 17337 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4760403 17337 5803 1 0 549871 0
[pid=989857/tid=989859] ppid=989854 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 5926 0 0 0 18 1 0 0 20 0 19 0 187087982 19498610688 17337 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19041612 memory=15997 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187087984 19498610688 17337 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19041612 memory=14689703802701563 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187087985 19498610688 17337 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187087998 19498610688 17337 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69348 KiB

[startup+0.305691 s]*
/proc/loadavg: 4.27 4.21 4.19 6/334 989876
/proc/meminfo: memFree=122449700/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19041612 memory=75556 CPUtime=0.53 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 10338 0 0 0 51 2 0 0 20 0 19 0 187087981 19498610688 18889 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4760403 18889 5803 1 0 551380 0
[pid=989857/tid=989859] ppid=989854 vsize=19041612 memory=-8887962043673780924 CPUtime=0.28 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 5932 0 0 0 27 1 0 0 20 0 19 0 187087982 19498610688 18889 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187087984 19498610688 18889 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187087985 19498610688 18889 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187087998 19498610688 18889 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75556 KiB

[startup+0.700704 s]
/proc/loadavg: 4.27 4.21 4.19 6/334 989876
/proc/meminfo: memFree=122438892/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19041612 memory=90308 CPUtime=1.3 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 11758 0 0 0 127 3 0 0 20 0 19 0 187087981 19498610688 22577 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4760403 22577 5835 1 0 552469 0
[pid=989857/tid=989859] ppid=989854 vsize=19041612 memory=43852 CPUtime=0.66 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 5980 0 0 0 65 1 0 0 20 0 19 0 187087982 19498610688 22577 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19041612 memory=13184 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187087984 19498610688 22577 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19041612 memory=2164 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187087985 19498610688 22577 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19041612 memory=32812 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187087998 19498610688 22577 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90308 KiB

[startup+1.50027 s]
/proc/loadavg: 4.27 4.21 4.19 6/334 989876
/proc/meminfo: memFree=122422144/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19041612 memory=112628 CPUtime=2.56 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 15908 0 0 0 252 4 0 0 20 0 19 0 187087981 19498610688 28157 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4760403 28157 5835 1 0 552791 0
[pid=989857/tid=989859] ppid=989854 vsize=19041612 memory=13184 CPUtime=1.46 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 6317 0 0 0 144 2 0 0 20 0 19 0 187087982 19498610688 28157 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187087984 19498610688 28157 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19041612 memory=2164 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187087985 19498610688 28157 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19041612 memory=32812 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187087998 19498610688 28157 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 112628 KiB

[startup+3.10553 s]
/proc/loadavg: 4.27 4.21 4.19 5/334 989876
/proc/meminfo: memFree=122312056/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19041612 memory=147652 CPUtime=4.21 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 16683 0 0 0 417 4 0 0 20 0 19 0 187087981 19498610688 36913 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4760403 36913 5842 1 0 552809 0
[pid=989857/tid=989859] ppid=989854 vsize=19041612 memory=0 CPUtime=3.06 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 6581 0 0 0 304 2 0 0 20 0 19 0 187087982 19498610688 36913 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19041612 memory=-8887962043673780924 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187087984 19498610688 36913 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19041612 memory=13184 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187087985 19498610688 36913 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19041612 memory=2164 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187087998 19498610688 36913 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 147652 KiB

[startup+6.30027 s]
/proc/loadavg: 4.32 4.22 4.19 5/335 989877
/proc/meminfo: memFree=122252216/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=182764 CPUtime=7.4 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 18591 0 0 0 734 6 0 0 20 0 20 0 187087981 19566772224 45691 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 45691 5858 1 0 553098 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=2164 CPUtime=6.22 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 6874 0 0 0 619 3 0 0 20 0 20 0 187087982 19566772224 45691 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 45691 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 45691 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 45691 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182764 KiB

[startup+12.7003 s]
/proc/loadavg: 4.38 4.23 4.20 5/335 989878
/proc/meminfo: memFree=122122460/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=203628 CPUtime=13.79 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 20127 0 0 0 1373 6 0 0 20 0 20 0 187087981 19566772224 50907 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 50907 5874 1 0 553098 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=13184 CPUtime=12.55 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 7329 0 0 0 1252 3 0 0 20 0 20 0 187087982 19566772224 50907 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=189252 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 50907 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=43852 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 50907 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 50907 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 13.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203628 KiB

[startup+25.5003 s]
/proc/loadavg: 4.29 4.22 4.19 5/334 989880
/proc/meminfo: memFree=121972076/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=279756 CPUtime=26.61 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 22836 0 0 0 2653 8 0 0 20 0 20 0 187087981 19566772224 69939 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 69939 5874 1 0 553098 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=6943526294502006880 CPUtime=25.23 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 8261 0 0 0 2520 3 0 0 20 0 20 0 187087982 19566772224 69939 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 69939 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=3564 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 69939 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 69939 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 26.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 279756 KiB

[startup+51.1056 s]
/proc/loadavg: 4.34 4.24 4.20 5/334 989884
/proc/meminfo: memFree=121694252/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=380424 CPUtime=52.17 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 27539 0 0 0 5206 11 0 0 20 0 20 0 187087981 19566772224 95106 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 95106 5874 1 0 553098 0

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

/proc/meminfo: memFree=120204112/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=2219188 CPUtime=3287.09 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 161905 0 0 0 328589 120 0 0 20 0 20 0 187087981 19566772224 554797 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 554797 5871 1 0 564030 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=2219188 CPUtime=3266.23 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 62307 0 0 0 326604 19 0 0 20 0 20 0 187087982 19566772224 554797 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 554797 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=2219188 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 1567 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 554797 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=2219188 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 554797 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 3287.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2219188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.27 4.17 5/334 991826
/proc/meminfo: memFree=120203132/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=2219188 CPUtime=3347.04 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 163185 0 0 0 334582 122 0 0 20 0 20 0 187087981 19566772224 554797 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 554797 5871 1 0 564030 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=2219188 CPUtime=3326.05 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 62820 0 0 0 332586 19 0 0 20 0 20 0 187087982 19566772224 554797 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=2219188 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 554797 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=2219188 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 1640 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 554797 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=2219188 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 554797 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 3347.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2219188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.23 4.17 5/334 991837
/proc/meminfo: memFree=120202536/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=2219232 CPUtime=3407.1 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 163731 0 0 0 340587 123 0 0 20 0 20 0 187087981 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 554808 5871 1 0 564030 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=2219188 CPUtime=3385.78 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 62977 0 0 0 338559 19 0 0 20 0 20 0 187087982 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=43852 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=7668060549637500013 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 1640 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=2219232 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 3407.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2219232 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.20 4.16 5/335 991905
/proc/meminfo: memFree=120201512/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=2219232 CPUtime=3467.01 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 163771 0 0 0 346577 124 0 0 20 0 20 0 187087981 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 554808 5871 1 0 564030 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=2219188 CPUtime=3445.66 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 63013 0 0 0 344547 19 0 0 20 0 20 0 187087982 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=43852 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=2219232 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 1640 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=2219232 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 3467.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2219232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.18 4.16 5/335 991917
/proc/meminfo: memFree=120200568/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=2219232 CPUtime=3527.04 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 164013 0 0 0 352579 125 0 0 20 0 20 0 187087981 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 554808 5871 1 0 564030 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=2219232 CPUtime=3505.4 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 63039 0 0 0 350521 19 0 0 20 0 20 0 187087982 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=19660 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=2612 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 1640 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=2219232 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 3527.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2219232 KiB

[startup+3582.3 s]
/proc/loadavg: 3.66 4.05 4.11 4/309 991962
/proc/meminfo: memFree=122372136/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=2219232 CPUtime=3587.03 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 164222 0 0 0 358577 126 0 0 20 0 20 0 187087981 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 554808 5871 1 0 564030 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=2219232 CPUtime=3565.17 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 63128 0 0 0 356498 19 0 0 20 0 20 0 187087982 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=2219232 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 1640 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=2219232 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 3587.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2219232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.3 s]
/proc/loadavg: 3.56 4.01 4.10 4/309 991963
/proc/meminfo: memFree=122372080/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=2219232 CPUtime=3600.01 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 164844 0 0 0 359875 126 0 0 20 0 20 0 187087981 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 554808 5871 1 0 564030 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=2219232 CPUtime=3578.14 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 63745 0 0 0 357795 19 0 0 20 0 20 0 187087982 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=2219232 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 1640 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=2219232 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2219232 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.9 s, system=1.27482 s

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

[startup+3595.3 s]
/proc/loadavg: 3.56 4.01 4.10 4/309 991963
/proc/meminfo: memFree=122372080/131524600 swapFree=131071996/131071996
[pid=989857] ppid=989854 vsize=19108176 memory=2219232 CPUtime=3600.01 cores=5,7
/proc/989857/stat : 989857 (java) S 989854 989857 984125 0 -1 1077936128 164844 0 0 0 359875 126 0 0 20 0 20 0 187087981 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
/proc/989857/statm: 4777044 554808 5871 1 0 564030 0
[pid=989857/tid=989859] ppid=989854 vsize=19108176 memory=2219232 CPUtime=3578.14 cores=5,7
/proc/989857/task/989859/stat : 989859 (java) R 989854 989857 984125 0 -1 4194368 63745 0 0 0 357795 19 0 0 20 0 20 0 187087982 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989868] ppid=989854 vsize=19108176 memory=2219232 CPUtime=0 cores=5,7
/proc/989857/task/989868/stat : 989868 (Finalizer) S 989854 989857 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187087984 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989875] ppid=989854 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/989857/task/989875/stat : 989875 (Common-Cleaner) S 989854 989857 984125 0 -1 1077936192 1640 0 0 0 0 0 0 0 20 0 20 0 187087985 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
[pid=989857/tid=989876] ppid=989854 vsize=19108176 memory=2219232 CPUtime=0 cores=5,7
/proc/989857/task/989876/stat : 989876 (Timer-0) S 989854 989857 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187087998 19566772224 554808 134679101440 94077381619712 94077381623408 140727866173008 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94077381631224 94077381632016 94077388996608 140727866176518 140727866176608 140727866176608 140727866183624 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2219232 KiB

Child status: 143

Real time (s): 3595.4
CPU time (s): 3600.17
CPU user time (s): 3598.9
CPU system time (s): 1.27482
CPU usage (%): 100.133
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2219232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.9
system time used= 1.27482
maximum resident set size= 2220972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167117
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107257
involuntary context switches= 4404


# summary of solver processes directly reported to runsolver:
#   pid: 989857
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3598.9
#   total CPU system time (s): 1.27482

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38055 second user time and 15.9219 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-19 02:33:04
IDJOB=4447454
IDBENCH=158904
IDSOLVER=3058
FILE ID=nodeC035/4447454-1721349171
RUNJOBID= nodeC035-1721341105-984138
SLURM_JOB_ID= 7542728
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n270-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447454-1721349171/watcher-4447454-1721349171 -o /tmp/evaluation-result-4447454-1721349171/solver-4447454-1721349171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721341105-984138 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4447454-1721349171.opb

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

MD5SUM BENCH= 851f3387310df6bbd014cd79a7a4e679
RANDOM SEED=1844308804

nodeC035.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		: 3600.097
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.65
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		: 3684.422
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
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		: 3671.376
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.65
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		: 3653.672
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122506780 kB
MemAvailable:   123517932 kB
Buffers:          492996 kB
Cached:          1350952 kB
SwapCached:            0 kB
Active:           957244 kB
Inactive:        7429748 kB
Active(anon):       1536 kB
Inactive(anon):  6579208 kB
Active(file):     955708 kB
Inactive(file):   850540 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1028 kB
Writeback:             0 kB
AnonPages:       6543028 kB
Mapped:           126472 kB
Shmem:             37724 kB
KReclaimable:      89452 kB
Slab:             200776 kB
SReclaimable:      89452 kB
SUnreclaim:       111324 kB
KernelStack:        5088 kB
PageTables:        22888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9654440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70560 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6207488 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC035 at 2024-07-19 03:32:59