Trace number 4445144

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.19 3597.7

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
MD5SUMf4201f1ef8f74939600eabb6a2266017
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.14275
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables80
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint80
Maximum length of a constraint80
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 62442885
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 803031860
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4445144-1721320558.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.14/0.13	c ... done. Wall clock time 0.008s.
0.14/0.13	c declared #vars     80
0.14/0.13	c #constraints  2
0.14/0.13	c constraints type 
0.14/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.14/0.13	c 2 constraints processed.
0.72/0.41	c cleaning 2501 clauses out of 5001 with flag 10002/5001
1.10/0.65	c cleaning 4250 clauses out of 8499 with flag 22000/11000
1.49/0.80	c cleaning 5625 clauses out of 11249 with flag 36000/18000
1.61/0.92	c cleaning 6811 clauses out of 13624 with flag 52000/26000
1.79/1.08	c cleaning 7907 clauses out of 15813 with flag 70000/35000
2.08/1.25	c cleaning 8952 clauses out of 17906 with flag 90000/45000
2.33/1.43	c cleaning 9978 clauses out of 19955 with flag 112002/56001
2.53/1.65	c cleaning 10989 clauses out of 21978 with flag 136004/68002
3.00/1.91	c cleaning 11993 clauses out of 23988 with flag 162005/81001
3.39/2.20	c cleaning 12996 clauses out of 25994 with flag 190004/95000
3.60/2.48	c cleaning 13998 clauses out of 27998 with flag 220004/110000
3.90/2.78	c cleaning 15001 clauses out of 30002 with flag 252009/126002
4.34/3.12	c cleaning 15998 clauses out of 31999 with flag 286006/143000
4.74/3.52	c cleaning 17001 clauses out of 34002 with flag 322008/161001
5.03/3.89	c cleaning 18002 clauses out of 36003 with flag 360012/180003
5.43/4.28	c cleaning 19000 clauses out of 37999 with flag 400008/200001
5.93/4.76	c cleaning 19999 clauses out of 39998 with flag 442008/221000
6.43/5.24	c cleaning 20998 clauses out of 42001 with flag 486012/243002
7.04/5.82	c cleaning 21997 clauses out of 44002 with flag 532010/266001
7.54/6.33	c cleaning 22999 clauses out of 46004 with flag 580008/290000
8.04/6.89	c cleaning 24003 clauses out of 48005 with flag 630008/315000
8.73/7.59	c cleaning 24998 clauses out of 50002 with flag 682009/341000
9.47/8.24	c cleaning 25999 clauses out of 52005 with flag 736012/368001
10.17/8.93	c cleaning 27002 clauses out of 54005 with flag 792010/396000
10.77/9.59	c cleaning 27996 clauses out of 56004 with flag 850012/425001
11.57/10.38	c cleaning 28999 clauses out of 58007 with flag 910010/455000
12.37/11.11	c cleaning 30000 clauses out of 60008 with flag 972010/486000
13.18/11.93	c cleaning 31005 clauses out of 62009 with flag 1036012/518001
14.08/12.82	c cleaning 32001 clauses out of 64004 with flag 1102012/551001
14.98/13.76	c cleaning 32996 clauses out of 66003 with flag 1170012/585001
16.23/14.91	c cleaning 34004 clauses out of 68007 with flag 1240012/620001
17.12/15.87	c cleaning 35002 clauses out of 70003 with flag 1312013/656001
18.22/16.96	c cleaning 36001 clauses out of 72002 with flag 1386016/693002
19.22/17.92	c cleaning 36995 clauses out of 73999 with flag 1462012/731000
20.21/18.91	c cleaning 37995 clauses out of 76004 with flag 1540013/770000
21.42/20.11	c cleaning 39005 clauses out of 78009 with flag 1620013/810000
22.51/21.28	c cleaning 40000 clauses out of 80006 with flag 1702017/851002
23.94/22.68	c cleaning 41003 clauses out of 82005 with flag 1786016/893001
25.24/23.98	c cleaning 41996 clauses out of 84002 with flag 1872016/936001
26.68/25.30	c cleaning 43003 clauses out of 86005 with flag 1960029/980000
28.01/26.65	c cleaning 43999 clauses out of 88002 with flag 2050038/1025000
29.40/28.01	c cleaning 44995 clauses out of 90003 with flag 2142071/1071000
30.72/29.37	c cleaning 46005 clauses out of 92011 with flag 2236095/1118003
32.21/30.86	c cleaning 46997 clauses out of 94003 with flag 2332103/1166000
33.59/32.24	c cleaning 47998 clauses out of 96006 with flag 2430106/1215000
35.19/33.83	c cleaning 49005 clauses out of 98010 with flag 2530117/1265002
36.87/35.52	c cleaning 50002 clauses out of 100004 with flag 2632130/1316001
38.51/37.16	c cleaning 51001 clauses out of 102002 with flag 2736134/1368001
39.99/38.65	c cleaning 51997 clauses out of 104002 with flag 2842152/1421002
41.61/40.21	c cleaning 52999 clauses out of 106004 with flag 2950151/1475001
43.10/41.71	c cleaning 54000 clauses out of 108004 with flag 3060150/1530000
45.11/43.74	c cleaning 54997 clauses out of 110004 with flag 3172155/1586000
47.09/45.74	c cleaning 56003 clauses out of 112007 with flag 3286161/1643000
49.17/47.84	c cleaning 57002 clauses out of 114005 with flag 3402189/1701001
51.68/50.30	c cleaning 57999 clauses out of 116004 with flag 3520211/1760002
53.67/52.31	c cleaning 58997 clauses out of 118003 with flag 3640207/1820000
55.61/54.23	c cleaning 59998 clauses out of 120008 with flag 3762215/1881002
57.31/56.00	c cleaning 60998 clauses out of 122008 with flag 3886214/1943000
59.20/57.85	c cleaning 62005 clauses out of 124014 with flag 4012224/2006004
61.03/59.68	c cleaning 63003 clauses out of 126005 with flag 4140218/2070000
63.32/61.93	c cleaning 63995 clauses out of 128002 with flag 4270233/2135000
64.92/63.51	c cleaning 65001 clauses out of 130008 with flag 4402237/2201001
66.72/65.39	c cleaning 65998 clauses out of 132006 with flag 4536236/2268000
68.62/67.22	c cleaning 66998 clauses out of 134008 with flag 4672238/2336000
70.61/69.29	c cleaning 67997 clauses out of 136010 with flag 4810241/2405000
72.71/71.37	c cleaning 69002 clauses out of 138015 with flag 4950248/2475002
75.20/73.81	c cleaning 70004 clauses out of 140011 with flag 5092245/2546000
77.70/76.30	c cleaning 71003 clauses out of 142007 with flag 5236249/2618000
80.09/78.75	c cleaning 71998 clauses out of 144004 with flag 5382252/2691000
82.60/81.23	c cleaning 73002 clauses out of 146007 with flag 5530254/2765001
85.49/84.16	c cleaning 74000 clauses out of 148004 with flag 5680253/2840000
88.38/87.03	c cleaning 74998 clauses out of 150004 with flag 5832257/2916000
91.18/89.88	c cleaning 75998 clauses out of 152006 with flag 5986261/2993000
93.87/92.50	c cleaning 76998 clauses out of 154008 with flag 6142261/3071000
96.77/95.44	c cleaning 78000 clauses out of 156010 with flag 6300261/3150000
99.56/98.22	c cleaning 79002 clauses out of 158011 with flag 6460266/3230001
102.65/101.34	c cleaning 80001 clauses out of 160010 with flag 6622268/3311002
105.55/104.28	c cleaning 80999 clauses out of 162008 with flag 6786267/3393001
108.35/107.05	c cleaning 82000 clauses out of 164008 with flag 6952265/3476000
112.04/110.76	c cleaning 83003 clauses out of 166008 with flag 7120276/3560000
116.53/115.26	c cleaning 83997 clauses out of 168005 with flag 7290282/3645000
119.44/118.10	c cleaning 84995 clauses out of 170008 with flag 7462283/3731000
122.22/120.90	c cleaning 86003 clauses out of 172013 with flag 7636283/3818000
125.10/123.68	c cleaning 87001 clauses out of 174012 with flag 7812287/3906002
127.80/126.40	c cleaning 88004 clauses out of 176011 with flag 7990287/3995002
130.79/129.31	c cleaning 88999 clauses out of 178005 with flag 8170283/4085000
134.36/132.87	c cleaning 90003 clauses out of 180007 with flag 8352286/4176001
137.36/135.83	c cleaning 91002 clauses out of 182005 with flag 8536288/4268002
140.85/139.37	c cleaning 91994 clauses out of 184002 with flag 8722287/4361001
144.14/142.69	c cleaning 92998 clauses out of 186008 with flag 8910288/4455001
148.06/146.23	c cleaning 94001 clauses out of 188009 with flag 9100290/4550000
151.96/150.13	c cleaning 95000 clauses out of 190009 with flag 9292297/4646001
155.65/153.80	c cleaning 96000 clauses out of 192009 with flag 9486308/4743001
159.14/157.40	c cleaning 96998 clauses out of 194009 with flag 9682311/4841001
163.33/161.59	c cleaning 98000 clauses out of 196010 with flag 9880325/4940000
168.10/166.20	c cleaning 99003 clauses out of 198010 with flag 10080335/5040000
172.60/170.78	c cleaning 100004 clauses out of 200007 with flag 10282345/5141000
176.90/175.05	c cleaning 100999 clauses out of 202004 with flag 10486361/5243001
181.39/179.51	c cleaning 102001 clauses out of 204004 with flag 10692365/5346000
186.64/184.73	c cleaning 102998 clauses out of 206004 with flag 10900374/5450001
190.40/188.51	c cleaning 104000 clauses out of 208006 with flag 11110380/5555001
194.86/193.03	c cleaning 104997 clauses out of 210006 with flag 11322386/5661001
198.83/197.07	c cleaning 105998 clauses out of 212008 with flag 11536393/5768000
203.19/201.31	c cleaning 107006 clauses out of 214012 with flag 11752398/5876002
207.48/205.65	c cleaning 107997 clauses out of 216004 with flag 11970394/5985000
211.98/210.16	c cleaning 109004 clauses out of 218010 with flag 12190400/6095003
215.77/213.94	c cleaning 109997 clauses out of 220003 with flag 12412394/6206000
221.00/219.18	c cleaning 111000 clauses out of 222006 with flag 12636399/6318000
226.59/224.74	c cleaning 112000 clauses out of 224006 with flag 12862400/6431000
231.58/229.70	c cleaning 113001 clauses out of 226007 with flag 13090403/6545001
237.97/236.18	c cleaning 113997 clauses out of 228006 with flag 13320404/6660001
243.86/242.05	c cleaning 114998 clauses out of 230008 with flag 13552403/6776000
248.45/246.69	c cleaning 116000 clauses out of 232010 with flag 13786403/6893000
257.14/255.30	c cleaning 117000 clauses out of 234010 with flag 14022404/7011000
263.23/261.48	c cleaning 117995 clauses out of 236010 with flag 14260405/7130000
268.42/266.64	c cleaning 119007 clauses out of 238017 with flag 14500410/7250002
278.59/276.68	c cleaning 119997 clauses out of 240008 with flag 14742415/7371000
283.88/281.97	c cleaning 121001 clauses out of 242012 with flag 14986425/7493001
289.47/287.50	c cleaning 122000 clauses out of 244010 with flag 15232425/7616000
294.75/292.88	c cleaning 123001 clauses out of 246013 with flag 15480433/7740003
299.64/297.71	c cleaning 124004 clauses out of 248010 with flag 15730431/7865001
304.63/302.71	c cleaning 124999 clauses out of 250005 with flag 15982429/7991000
309.69/307.78	c cleaning 125996 clauses out of 252006 with flag 16236431/8118000
315.18/313.28	c cleaning 127004 clauses out of 254012 with flag 16492436/8246002
321.98/320.07	c cleaning 128001 clauses out of 256006 with flag 16750437/8375000
327.76/325.81	c cleaning 129001 clauses out of 258007 with flag 17010441/8505002
333.15/331.22	c cleaning 130002 clauses out of 260005 with flag 17272442/8636001
338.64/336.71	c cleaning 130998 clauses out of 262003 with flag 17536444/8768001
345.12/343.18	c cleaning 131998 clauses out of 264004 with flag 17802444/8901000
353.00/351.10	c cleaning 133001 clauses out of 266007 with flag 18070446/9035001
358.49/356.56	c cleaning 133999 clauses out of 268007 with flag 18340448/9170002
365.50/363.22	c cleaning 135000 clauses out of 270006 with flag 18612445/9306000
372.09/369.87	c cleaning 135998 clauses out of 272007 with flag 18886447/9443001
380.08/377.84	c cleaning 137000 clauses out of 274008 with flag 19162455/9581000
386.27/384.03	c cleaning 138001 clauses out of 276008 with flag 19440455/9720000
394.86/392.65	c cleaning 139001 clauses out of 278008 with flag 19720457/9860001
404.44/402.28	c cleaning 139997 clauses out of 280007 with flag 20002460/10001001
411.24/408.95	c cleaning 141002 clauses out of 282009 with flag 20286458/10143000
419.33/417.06	c cleaning 142002 clauses out of 284009 with flag 20572462/10286002
426.01/423.79	c cleaning 142999 clauses out of 286005 with flag 20860466/10430000
432.30/430.07	c cleaning 143997 clauses out of 288006 with flag 21150473/10575000
441.68/439.49	c cleaning 145004 clauses out of 290009 with flag 21442499/10721000
449.22/446.86	c cleaning 145998 clauses out of 292005 with flag 21736510/10868000
457.81/455.46	c cleaning 146999 clauses out of 294007 with flag 22032510/11016000
464.30/461.93	c cleaning 147996 clauses out of 296012 with flag 22330519/11165004
472.09/469.71	c cleaning 149004 clauses out of 298013 with flag 22630514/11315001
479.68/477.31	c cleaning 150001 clauses out of 300009 with flag 22932516/11466001
487.61/485.25	c cleaning 150996 clauses out of 302008 with flag 23236527/11618001
494.10/491.71	c cleaning 152000 clauses out of 304012 with flag 23542540/11771001
502.89/500.55	c cleaning 153001 clauses out of 306011 with flag 23850541/11925000
510.57/508.27	c cleaning 153996 clauses out of 308010 with flag 24160546/12080000
518.66/516.39	c cleaning 155004 clauses out of 310014 with flag 24472558/12236000
526.85/524.59	c cleaning 156003 clauses out of 312010 with flag 24786588/12393000
538.58/536.22	c cleaning 156998 clauses out of 314007 with flag 25102652/12551000
548.77/546.42	c cleaning 158002 clauses out of 316009 with flag 25420656/12710000
558.86/556.50	c cleaning 159004 clauses out of 318008 with flag 25740664/12870001
568.74/566.45	c cleaning 160003 clauses out of 320006 with flag 26062694/13031003
577.72/575.48	c cleaning 160993 clauses out of 322000 with flag 26386703/13193000
588.41/586.14	c cleaning 162001 clauses out of 324008 with flag 26712717/13356001
597.79/595.56	c cleaning 163004 clauses out of 326007 with flag 27040732/13520001
604.98/602.76	c cleaning 163991 clauses out of 328002 with flag 27370731/13685000
617.11/614.76	c cleaning 165001 clauses out of 330012 with flag 27702735/13851001
625.30/622.93	c cleaning 166003 clauses out of 332010 with flag 28036733/14018000
632.79/630.42	c cleaning 166998 clauses out of 334007 with flag 28372735/14186000
640.35/637.99	c cleaning 167998 clauses out of 336009 with flag 28710735/14355000
648.63/646.28	c cleaning 169006 clauses out of 338011 with flag 29050738/14525000
656.42/654.01	c cleaning 169996 clauses out of 340006 with flag 29392740/14696001
666.30/663.93	c cleaning 171002 clauses out of 342009 with flag 29736739/14868000
674.88/672.58	c cleaning 172000 clauses out of 344009 with flag 30082746/15041002
686.76/684.40	c cleaning 172999 clauses out of 346010 with flag 30430748/15215003
695.87/693.14	c cleaning 174003 clauses out of 348009 with flag 30780751/15390001
705.35/702.69	c cleaning 175000 clauses out of 350005 with flag 31132750/15566000
713.53/710.82	c cleaning 176002 clauses out of 352006 with flag 31486755/15743001
725.92/723.28	c cleaning 176997 clauses out of 354004 with flag 31842755/15921001
734.71/732.06	c cleaning 178000 clauses out of 356006 with flag 32200755/16100000
744.56/741.80	c cleaning 178997 clauses out of 358006 with flag 32560756/16280000
754.44/751.79	c cleaning 180002 clauses out of 360010 with flag 32922761/16461001
765.61/762.95	c cleaning 180995 clauses out of 362009 with flag 33286768/16643002
775.10/772.45	c cleaning 181998 clauses out of 364012 with flag 33652766/16826000
784.48/781.80	c cleaning 183005 clauses out of 366017 with flag 34020777/17010003
794.77/792.16	c cleaning 184001 clauses out of 368009 with flag 34390777/17195000
807.14/804.59	c cleaning 185004 clauses out of 370011 with flag 34762784/17381003
818.51/815.84	c cleaning 185993 clauses out of 372004 with flag 35136781/17568000
832.40/829.71	c cleaning 187001 clauses out of 374011 with flag 35512786/17756000
841.88/839.21	c cleaning 187999 clauses out of 376011 with flag 35890797/17945001
855.16/852.54	c cleaning 189002 clauses out of 378011 with flag 36270800/18135000
864.54/861.98	c cleaning 190001 clauses out of 380010 with flag 36652808/18326001
875.82/873.20	c cleaning 191004 clauses out of 382010 with flag 37036819/18518002
885.10/882.53	c cleaning 191999 clauses out of 384004 with flag 37422822/18711000
894.18/891.69	c cleaning 192998 clauses out of 386005 with flag 37810834/18905000
906.82/904.25	c cleaning 194003 clauses out of 388007 with flag 38200843/19100000
918.91/916.39	c cleaning 194993 clauses out of 390007 with flag 38592856/19296003
931.48/928.98	c cleaning 196000 clauses out of 392011 with flag 38986859/19493000
941.87/939.30	c cleaning 197004 clauses out of 394011 with flag 39382860/19691000
953.15/950.62	c cleaning 197994 clauses out of 396007 with flag 39780872/19890000
966.33/963.82	c cleaning 199004 clauses out of 398014 with flag 40180881/20090001
980.11/977.65	c cleaning 200004 clauses out of 400011 with flag 40582889/20291002
997.78/995.38	c cleaning 201004 clauses out of 402008 with flag 40986896/20493003
1010.36/1007.96	c cleaning 201998 clauses out of 404003 with flag 41392896/20696002
1021.81/1019.28	c cleaning 202998 clauses out of 406003 with flag 41800893/20900000
1034.99/1032.56	c cleaning 203999 clauses out of 408006 with flag 42210900/21105001
1049.77/1047.42	c cleaning 205002 clauses out of 410006 with flag 42622899/21311000
1064.74/1062.58	c cleaning 206000 clauses out of 412004 with flag 43036902/21518000
1080.71/1078.65	c cleaning 207002 clauses out of 414005 with flag 43452904/21726001
1105.11/1103.24	c cleaning 207997 clauses out of 416002 with flag 43870903/21935000
1120.07/1118.15	c cleaning 208999 clauses out of 418007 with flag 44290909/22145002
1134.24/1132.40	c cleaning 209998 clauses out of 420006 with flag 44712905/22356000
1150.55/1148.88	c cleaning 211006 clauses out of 422011 with flag 45136911/22568003
1165.22/1163.52	c cleaning 212000 clauses out of 424005 with flag 45562911/22781003
1183.70/1182.08	c cleaning 212999 clauses out of 426004 with flag 45990909/22995002
1201.01/1198.81	c cleaning 214000 clauses out of 428003 with flag 46420906/23210000
1215.68/1213.58	c cleaning 215000 clauses out of 430003 with flag 46852906/23426000
1228.75/1226.64	c cleaning 215995 clauses out of 432004 with flag 47286908/23643001
1243.93/1241.86	c cleaning 217001 clauses out of 434008 with flag 47722906/23861000
1259.10/1257.05	c cleaning 218002 clauses out of 436008 with flag 48160909/24080001
1277.98/1275.81	c cleaning 219001 clauses out of 438007 with flag 48600912/24300002
1294.95/1292.87	c cleaning 219999 clauses out of 440004 with flag 49042908/24521000
1308.83/1306.73	c cleaning 221001 clauses out of 442005 with flag 49486908/24743000
1324.50/1322.41	c cleaning 221997 clauses out of 444005 with flag 49932910/24966001
1336.68/1334.64	c cleaning 223001 clauses out of 446009 with flag 50380913/25190002
1355.82/1353.63	c cleaning 223993 clauses out of 448006 with flag 50830913/25415000
1373.29/1371.10	c cleaning 225002 clauses out of 450014 with flag 51282915/25641001
1387.66/1385.56	c cleaning 226007 clauses out of 452014 with flag 51736920/25868003
1400.75/1398.61	c cleaning 226996 clauses out of 454005 with flag 52192917/26096001
1416.81/1414.61	c cleaning 227997 clauses out of 456010 with flag 52650923/26325002
1431.79/1429.61	c cleaning 229000 clauses out of 458011 with flag 53110920/26555000
1447.87/1445.77	c cleaning 229994 clauses out of 460012 with flag 53572925/26786001
1467.84/1465.80	c cleaning 231002 clauses out of 462018 with flag 54036929/27018001
1482.24/1479.55	c cleaning 232003 clauses out of 464015 with flag 54502928/27251000
1495.22/1492.50	c cleaning 233004 clauses out of 466013 with flag 54970932/27485001
1508.41/1505.77	c cleaning 234003 clauses out of 468008 with flag 55440946/27720000
1522.02/1519.28	c cleaning 234998 clauses out of 470006 with flag 55912949/27956001
1536.80/1534.03	c cleaning 235994 clauses out of 472007 with flag 56386948/28193000
1548.97/1546.26	c cleaning 237003 clauses out of 474014 with flag 56862952/28431001
1569.82/1567.09	c cleaning 238004 clauses out of 476011 with flag 57340952/28670001
1585.19/1582.41	c cleaning 238998 clauses out of 478006 with flag 57820959/28910000
1599.87/1597.15	c cleaning 239999 clauses out of 480009 with flag 58302966/29151001
1619.24/1616.54	c cleaning 240999 clauses out of 482010 with flag 58786968/29393001
1638.30/1635.52	c cleaning 242003 clauses out of 484011 with flag 59272968/29636001
1653.18/1650.40	c cleaning 242999 clauses out of 486009 with flag 59760970/29880002
1672.35/1669.67	c cleaning 244001 clauses out of 488008 with flag 60250967/30125000
1687.67/1684.84	c cleaning 244999 clauses out of 490007 with flag 60742967/30371000
1704.64/1701.84	c cleaning 245999 clauses out of 492010 with flag 61236971/30618002
1721.72/1718.90	c cleaning 246998 clauses out of 494010 with flag 61732969/30866001
1740.17/1736.78	c cleaning 248007 clauses out of 496013 with flag 62230971/31115002
1756.44/1753.03	c cleaning 248994 clauses out of 498007 with flag 62730974/31365003
1772.02/1768.63	c cleaning 250003 clauses out of 500011 with flag 63232971/31616001
1789.39/1786.09	c cleaning 251000 clauses out of 502007 with flag 63736973/31868000
1806.66/1803.35	c cleaning 252001 clauses out of 504010 with flag 64242979/32121003
1825.47/1822.19	c cleaning 252998 clauses out of 506008 with flag 64750978/32375002
1842.33/1839.13	c cleaning 253998 clauses out of 508009 with flag 65260980/32630001
1858.90/1855.75	c cleaning 255002 clauses out of 510012 with flag 65772983/32886002
1874.09/1871.09	c cleaning 256001 clauses out of 512009 with flag 66286981/33143001
1891.26/1888.28	c cleaning 257000 clauses out of 514008 with flag 66802981/33401001
1908.18/1905.18	c cleaning 257999 clauses out of 516007 with flag 67320981/33660000
1926.46/1923.44	c cleaning 259001 clauses out of 518008 with flag 67840983/33920000
1947.62/1944.62	c cleaning 260003 clauses out of 520009 with flag 68362987/34181002
1967.31/1964.23	c cleaning 260996 clauses out of 522004 with flag 68886983/34443000
1989.17/1986.16	c cleaning 262001 clauses out of 524010 with flag 69412988/34706002
2004.74/2001.71	c cleaning 263001 clauses out of 526007 with flag 69940987/34970000
2023.98/2020.54	c cleaning 264003 clauses out of 528007 with flag 70470993/35235001
2044.07/2040.78	c cleaning 264999 clauses out of 530003 with flag 71002991/35501000
2067.11/2063.71	c cleaning 266002 clauses out of 532005 with flag 71536997/35768001
2086.78/2083.41	c cleaning 266999 clauses out of 534002 with flag 72072995/36036000
2109.35/2106.03	c cleaning 267996 clauses out of 536003 with flag 72610995/36305000
2128.61/2125.31	c cleaning 268998 clauses out of 538008 with flag 73150997/36575001
2148.26/2144.93	c cleaning 270002 clauses out of 540009 with flag 73692999/36846000
2173.43/2170.17	c cleaning 271000 clauses out of 542007 with flag 74237001/37118000
2193.60/2190.34	c cleaning 272004 clauses out of 544008 with flag 74783007/37391001
2218.96/2215.74	c cleaning 272989 clauses out of 546004 with flag 75331009/37665001
2241.74/2238.30	c cleaning 274001 clauses out of 548014 with flag 75881010/37940000
2262.10/2258.75	c cleaning 275002 clauses out of 550014 with flag 76433013/38216001
2284.97/2281.61	c cleaning 275999 clauses out of 552011 with flag 76987017/38493000
2307.88/2303.88	c cleaning 276997 clauses out of 554014 with flag 77543026/38771002
2329.95/2325.96	c cleaning 278002 clauses out of 556016 with flag 78101029/39050001
2354.71/2350.79	c cleaning 279000 clauses out of 558014 with flag 78661033/39330001
2382.02/2378.29	c cleaning 280006 clauses out of 560013 with flag 79223033/39611000
2408.22/2404.66	c cleaning 281000 clauses out of 562009 with flag 79787039/39893002
2433.32/2429.94	c cleaning 281999 clauses out of 564008 with flag 80353038/40176001
2454.58/2451.38	c cleaning 282997 clauses out of 566008 with flag 80921037/40460000
2471.25/2468.19	c cleaning 284002 clauses out of 568012 with flag 81491040/40745001
2488.21/2485.28	c cleaning 285003 clauses out of 570011 with flag 82063042/41031002
2507.84/2505.08	c cleaning 285998 clauses out of 572007 with flag 82637045/41318001
2528.30/2525.59	c cleaning 287000 clauses out of 574010 with flag 83213052/41606002
2553.65/2551.00	c cleaning 288004 clauses out of 576009 with flag 83791057/41895001
2574.82/2572.10	c cleaning 288999 clauses out of 578006 with flag 84371060/42185002
2594.08/2591.45	c cleaning 290000 clauses out of 580006 with flag 84953062/42476001
2618.49/2615.70	c cleaning 291001 clauses out of 582006 with flag 85537066/42768001
2640.56/2637.80	c cleaning 291997 clauses out of 584005 with flag 86123074/43061001
2660.22/2657.54	c cleaning 293003 clauses out of 586008 with flag 86711079/43355001
2691.58/2688.93	c cleaning 294002 clauses out of 588005 with flag 87301098/43650001
2719.64/2716.91	c cleaning 294998 clauses out of 590003 with flag 87893105/43946001
2740.81/2738.16	c cleaning 296000 clauses out of 592004 with flag 88487107/44243000
2763.16/2760.56	c cleaning 297001 clauses out of 594006 with flag 89083112/44541002
2785.03/2782.45	c cleaning 298001 clauses out of 596003 with flag 89681108/44840000
2814.48/2811.16	c cleaning 298996 clauses out of 598003 with flag 90281111/45140001
2836.54/2833.29	c cleaning 299997 clauses out of 600006 with flag 90883118/45441000
2862.20/2858.91	c cleaning 300999 clauses out of 602009 with flag 91487123/45743000
2883.18/2879.95	c cleaning 301996 clauses out of 604011 with flag 92093126/46046001
2904.84/2901.69	c cleaning 302999 clauses out of 606014 with flag 92701127/46350000
2927.71/2924.56	c cleaning 304005 clauses out of 608018 with flag 93311136/46655003
2963.13/2959.92	c cleaning 305003 clauses out of 610010 with flag 93923135/46961000
2990.06/2986.92	c cleaning 306004 clauses out of 612008 with flag 94537140/47268001
3019.21/3016.13	c cleaning 307002 clauses out of 614003 with flag 95153141/47576000
3041.56/3038.53	c cleaning 307993 clauses out of 616002 with flag 95771144/47885001
3072.97/3070.01	c cleaning 309002 clauses out of 618008 with flag 96391153/48195000
3098.16/3095.46	c cleaning 309997 clauses out of 620006 with flag 97013154/48506000
3121.45/3118.99	c cleaning 310996 clauses out of 622009 with flag 97637157/48818000
3154.28/3151.90	c cleaning 312003 clauses out of 624014 with flag 98263160/49131001
3180.00/3177.65	c cleaning 313006 clauses out of 626011 with flag 98891162/49445001
3204.26/3201.94	c cleaning 313997 clauses out of 628005 with flag 99521165/49760001
3228.42/3226.17	c cleaning 315000 clauses out of 630007 with flag 100153168/50076000
3252.96/3249.90	c cleaning 316000 clauses out of 632008 with flag 100787170/50393001
3283.02/3280.01	c cleaning 317001 clauses out of 634007 with flag 101423173/50711000
3314.16/3311.23	c cleaning 317995 clauses out of 636006 with flag 102061177/51030000
3343.10/3340.23	c cleaning 319006 clauses out of 638012 with flag 102701182/51350001
3369.98/3367.30	c cleaning 319996 clauses out of 640005 with flag 103343184/51671000
3413.51/3411.09	c cleaning 321000 clauses out of 642009 with flag 103987184/51993000
3448.03/3445.58	c cleaning 322001 clauses out of 644009 with flag 104633190/52316000
3491.07/3488.62	c cleaning 323004 clauses out of 646008 with flag 105281198/52640000
3523.03/3520.67	c cleaning 324000 clauses out of 648004 with flag 105931205/52965000
3557.51/3555.07	c cleaning 324996 clauses out of 650005 with flag 106583212/53291001
3599.05/3596.64	c cleaning 326003 clauses out of 652009 with flag 107237215/53618001
3600.04/3597.61	c timeout
3600.04/3597.61	c starts		: 1
3600.04/3597.62	c conflicts		: 53658712
3600.04/3597.62	c decisions		: 53659027
3600.04/3597.62	c propagations		: 263302281
3600.04/3597.62	c inspects		: 11262928604
3600.04/3597.62	c shortcuts		: 0
3600.04/3597.62	c learnt literals	: 0
3600.04/3597.62	c learnt binary clauses	: 0
3600.04/3597.62	c learnt ternary clauses	: 0
3600.04/3597.62	c learnt constraints	: 53658712
3600.04/3597.62	c ignored constraints	: 0
3600.04/3597.62	c root simplifications	: 0
3600.04/3597.62	c removed literals (reason simplification)	: 0
3600.04/3597.62	c reason swapping (by a shorter reason)	: 0
3600.04/3597.62	c Calls to reduceDB	: 323
3600.04/3597.62	c Number of update (reduction) of LBD	: 601
3600.04/3597.62	c Imported unit clauses	: 0
3600.04/3597.62	c No decision after first conflict	: false
3600.04/3597.62	c number of reductions to clauses (during analyze)	: 0
3600.04/3597.62	c number of learned constraints concerned by reduction	: 0
3600.04/3597.62	c number of learning phase by resolution	: 0
3600.04/3597.62	c number of learning phase by cutting planes	: 0
3600.04/3597.62	c number of rounding to 1 operations	: 0
3600.04/3597.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3597.62	c number of reductions of the coefficients by power 2 	: 0
3600.04/3597.62	c number of right shift for reduction by power 2 	: 0
3600.04/3597.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3597.62	c number of ending skipping 	: 0
3600.04/3597.62	c number of internal skipping 	: 0
3600.04/3597.62	c number of derivation steps 	: 0
3600.04/3597.62	c number of skipped derivation steps 	: 0
3600.04/3597.62	c number of remaining unassigned 	: 0
3600.04/3597.62	c number of remaining assigned 	: 0
3600.04/3597.62	c number of falsified literals weakened from reason	: 0
3600.04/3597.62	c number of falsified literals weakened from conflict	: 0
3600.04/3597.62	c time for arithmetic operations	: 0
3600.04/3597.62	c minimum degree of deleted constraints	: null
3600.04/3597.62	c maximum degree of deleted constraints	: null
3600.04/3597.62	c number of deleted constraints	: 0
3600.04/3597.62	c speed (assignments/second)	: 73190.6543043265
3600.04/3597.62	c non guided choices	: 68
3600.04/3597.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 366717
3600.04/3597.68	s UNKNOWN
3600.04/3597.68	c Total wall clock time (in seconds): 3597.561

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445144-1721320558/watcher-4445144-1721320558 -o /tmp/evaluation-result-4445144-1721320558/solver-4445144-1721320558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937015 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4445144-1721320558.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=940388, runsolver pid=940385

[startup+0.101027 s]*
/proc/loadavg: 4.16 4.14 4.10 7/328 940406
/proc/meminfo: memFree=118305268/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=18975048 memory=63028 CPUtime=0.14 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 7218 0 0 0 12 2 0 0 20 0 18 0 184216347 19430449152 15757 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4743762 15757 5635 1 0 549341 0
[pid=940388/tid=940390] ppid=940385 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 1077936192 5746 0 0 0 7 1 0 0 20 0 18 0 184216347 19430449152 15757 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184216349 19430449152 15757 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184216350 19430449152 15757 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63028 KiB

[startup+0.206235 s]*
/proc/loadavg: 4.16 4.14 4.10 7/329 940407
/proc/meminfo: memFree=118297364/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19041612 memory=70720 CPUtime=0.33 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 8325 0 0 0 31 2 0 0 20 0 19 0 184216347 19498610688 17680 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4760403 17680 5866 1 0 550283 0
[pid=940388/tid=940390] ppid=940385 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 5932 0 0 0 17 1 0 0 20 0 19 0 184216347 19498610688 17680 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19041612 memory=14994 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184216349 19498610688 17680 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19041612 memory=15537410087847364 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184216350 19498610688 17680 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184216360 19498610688 17680 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70720 KiB

[startup+0.306234 s]*
/proc/loadavg: 4.16 4.14 4.10 7/329 940407
/proc/meminfo: memFree=118295312/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19041612 memory=73188 CPUtime=0.52 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 9270 0 0 0 50 2 0 0 20 0 19 0 184216347 19498610688 18297 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4760403 18297 5866 1 0 550860 0
[pid=940388/tid=940390] ppid=940385 vsize=19041612 memory=-8815065560985674428 CPUtime=0.27 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 5952 0 0 0 26 1 0 0 20 0 19 0 184216347 19498610688 18297 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184216349 19498610688 18297 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184216350 19498610688 18297 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184216360 19498610688 18297 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73188 KiB

[startup+0.706234 s]
/proc/loadavg: 4.16 4.14 4.10 7/329 940407
/proc/meminfo: memFree=118279460/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19041612 memory=95864 CPUtime=1.3 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 14370 0 0 0 126 4 0 0 20 0 19 0 184216347 19498610688 23966 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4760403 23966 5866 1 0 553946 0
[pid=940388/tid=940390] ppid=940385 vsize=19041612 memory=43592 CPUtime=0.65 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 6010 0 0 0 63 2 0 0 20 0 19 0 184216347 19498610688 23966 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19041612 memory=13012 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184216349 19498610688 23966 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19041612 memory=2312 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184216350 19498610688 23966 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19041612 memory=26268 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184216360 19498610688 23966 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95864 KiB

[startup+1.50125 s]
/proc/loadavg: 4.16 4.14 4.10 5/329 940407
/proc/meminfo: memFree=118259660/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19041612 memory=129284 CPUtime=2.43 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 18175 0 0 0 238 5 0 0 20 0 19 0 184216347 19498610688 32321 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4760403 32321 5866 1 0 553948 0
[pid=940388/tid=940390] ppid=940385 vsize=19041612 memory=13012 CPUtime=1.44 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 6361 0 0 0 141 3 0 0 20 0 19 0 184216347 19498610688 32321 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184216349 19498610688 32321 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19041612 memory=2312 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184216350 19498610688 32321 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19041612 memory=26268 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 184216360 19498610688 32321 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129284 KiB

[startup+3.10623 s]
/proc/loadavg: 4.16 4.14 4.10 8/330 940478
/proc/meminfo: memFree=120552348/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=189024 CPUtime=4.34 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 19968 0 0 0 428 6 0 0 20 0 20 0 184216347 19566772224 47256 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 47256 5882 1 0 554272 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=0 CPUtime=3.01 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 6727 0 0 0 297 4 0 0 20 0 20 0 184216347 19566772224 47256 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=-8815065560985674428 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 47256 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 47256 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=2312 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 47256 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 4.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189024 KiB

[startup+6.30028 s]
/proc/loadavg: 4.14 4.14 4.10 5/331 940479
/proc/meminfo: memFree=120428660/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=188752 CPUtime=7.54 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 20063 0 0 0 748 6 0 0 20 0 20 0 184216347 19566772224 47188 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 47188 5882 1 0 554272 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=2312 CPUtime=6.18 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 6729 0 0 0 614 4 0 0 20 0 20 0 184216347 19566772224 47188 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 47188 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 47188 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=-7740131308798844277 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 47188 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 7.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188752 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.14 4.10 5/331 940479
/proc/meminfo: memFree=120269556/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=261148 CPUtime=13.98 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 21026 0 0 0 1390 8 0 0 20 0 20 0 184216347 19566772224 65287 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 65287 5898 1 0 554272 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=13012 CPUtime=12.51 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 7201 0 0 0 1247 4 0 0 20 0 20 0 184216347 19566772224 65287 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=234380 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 65287 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=261148 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 65287 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 65287 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 13.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 261148 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.09 5/331 940482
/proc/meminfo: memFree=119856248/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=460248 CPUtime=26.88 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 25677 0 0 0 2675 13 0 0 20 0 20 0 184216347 19566772224 115062 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 115062 5898 1 0 554272 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=390504 CPUtime=25.09 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 8354 0 0 0 2505 4 0 0 20 0 20 0 184216347 19566772224 115062 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=390496 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 115062 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 115062 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 115062 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 26.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 460248 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.14 4.09 5/331 940485
/proc/meminfo: memFree=119207060/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=749252 CPUtime=52.48 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 29676 0 0 0 5228 20 0 0 20 0 20 0 184216347 19566772224 187313 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 187313 5898 1 0 554272 0

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

/proc/meminfo: memFree=116807380/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=2130516 CPUtime=3224.62 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 182718 0 0 0 322329 133 0 0 20 0 20 0 184216347 19566772224 532629 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 532629 5914 1 0 544761 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=2130516 CPUtime=3205.61 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 55870 0 0 0 320529 32 0 0 20 0 20 0 184216347 19566772224 532629 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 532629 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=2130516 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 2470 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 532629 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=2130516 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 532629 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 3224.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130516 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/335 942606
/proc/meminfo: memFree=116806376/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=2130564 CPUtime=3285.31 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 185638 0 0 0 328397 134 0 0 20 0 20 0 184216347 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 532641 5914 1 0 544761 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=2130564 CPUtime=3265.34 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 56117 0 0 0 326502 32 0 0 20 0 20 0 184216347 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=2130516 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=32440 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 2474 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=2130564 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 3285.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130564 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/335 942617
/proc/meminfo: memFree=116804648/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=2130564 CPUtime=3345.18 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 186923 0 0 0 334383 135 0 0 20 0 20 0 184216347 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 532641 5914 1 0 544761 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=11488 CPUtime=3324.94 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 56720 0 0 0 332462 32 0 0 20 0 20 0 184216347 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=2130564 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 2474 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=1976 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 3345.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130564 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.15 4.13 5/335 942628
/proc/meminfo: memFree=116752300/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=2130564 CPUtime=3404.82 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 187415 0 0 0 340345 137 0 0 20 0 20 0 184216347 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 532641 5914 1 0 544761 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=164 CPUtime=3384.57 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 57156 0 0 0 338424 33 0 0 20 0 20 0 184216347 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=2130564 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 2521 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 532641 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 3404.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130564 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/333 942638
/proc/meminfo: memFree=116751464/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=2130572 CPUtime=3464.81 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 188182 0 0 0 346342 139 0 0 20 0 20 0 184216347 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 532643 5914 1 0 544761 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=164 CPUtime=3444.38 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 57451 0 0 0 344405 33 0 0 20 0 20 0 184216347 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=43712 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 2521 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=2130572 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 3464.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130572 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/333 942651
/proc/meminfo: memFree=116746656/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=2130572 CPUtime=3524.72 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 188919 0 0 0 352332 140 0 0 20 0 20 0 184216347 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 532643 5914 1 0 544761 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=2130572 CPUtime=3504.27 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 58043 0 0 0 350394 33 0 0 20 0 20 0 184216347 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=2130572 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 2607 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=2130572 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 3524.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/332 942665
/proc/meminfo: memFree=116745776/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=2130572 CPUtime=3584.77 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 190244 0 0 0 358336 141 0 0 20 0 20 0 184216347 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 532643 5914 1 0 544761 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=2130572 CPUtime=3563.88 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 58364 0 0 0 356355 33 0 0 20 0 20 0 184216347 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=26268 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=2130572 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 2616 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=26268 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 3584.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.6 s]
/proc/loadavg: 4.11 4.14 4.12 5/332 942669
/proc/meminfo: memFree=116745516/131524600 swapFree=131071996/131071996
[pid=940388] ppid=940385 vsize=19108176 memory=2130572 CPUtime=3600.04 cores=4,6
/proc/940388/stat : 940388 (java) S 940385 940388 937004 0 -1 1077936128 190331 0 0 0 359863 141 0 0 20 0 20 0 184216347 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
/proc/940388/statm: 4777044 532643 5914 1 0 544761 0
[pid=940388/tid=940390] ppid=940385 vsize=19108176 memory=11488 CPUtime=3579.15 cores=4,6
/proc/940388/task/940390/stat : 940390 (java) R 940385 940388 937004 0 -1 4194368 58451 0 0 0 357882 33 0 0 20 0 20 0 184216347 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940399] ppid=940385 vsize=19108176 memory=43712 CPUtime=0 cores=4,6
/proc/940388/task/940399/stat : 940399 (Finalizer) S 940385 940388 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184216349 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940406] ppid=940385 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/940388/task/940406/stat : 940406 (Common-Cleaner) S 940385 940388 937004 0 -1 1077936192 2616 0 0 0 0 0 0 0 20 0 20 0 184216350 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
[pid=940388/tid=940407] ppid=940385 vsize=19108176 memory=2312 CPUtime=0 cores=4,6
/proc/940388/task/940407/stat : 940407 (Timer-0) S 940385 940388 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184216360 19566772224 532643 134679101440 94802659401728 94802659405424 140731072464032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802659413240 94802659414032 94802684162048 140731072472070 140731072472160 140731072472160 140731072479176 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130572 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.76 s, system=1.42895 s

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

Child status: 143

Real time (s): 3597.7
CPU time (s): 3600.19
CPU user time (s): 3598.76
CPU system time (s): 1.42895
CPU usage (%): 100.069
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2343624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.76
system time used= 1.42895
maximum resident set size= 2343640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106061
involuntary context switches= 9280


# summary of solver processes directly reported to runsolver:
#   pid: 940388
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3598.76
#   total CPU system time (s): 1.42895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99684 second user time and 14.4924 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-18 18:36:09
IDJOB=4445144
IDBENCH=148101
IDSOLVER=3058
FILE ID=nodeC016/4445144-1721320558
RUNJOBID= nodeC016-1721316965-937015
SLURM_JOB_ID= 7542659
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445144-1721320558/watcher-4445144-1721320558 -o /tmp/evaluation-result-4445144-1721320558/solver-4445144-1721320558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937015 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4445144-1721320558.opb

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

MD5SUM BENCH= f4201f1ef8f74939600eabb6a2266017
RANDOM SEED=1174981061

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        118347552 kB
MemAvailable:   121943572 kB
Buffers:          350360 kB
Cached:          4081596 kB
SwapCached:            0 kB
Active:           550284 kB
Inactive:       12001412 kB
Active(anon):       1584 kB
Inactive(anon):  8155892 kB
Active(file):     548700 kB
Inactive(file):  3845520 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               804 kB
Writeback:            32 kB
AnonPages:       8118168 kB
Mapped:           126672 kB
Shmem:             37720 kB
KReclaimable:      82896 kB
Slab:             193172 kB
SReclaimable:      82896 kB
SUnreclaim:       110276 kB
KernelStack:        5020 kB
PageTables:        25800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8682540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69696 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7927808 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC016 at 2024-07-18 19:36:07