Trace number 4440579

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)-81 3600.31 3639.93

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern30-04.lin.opb
MD5SUM28e415f3c4d8dab53aac16682d7f066d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-81
Best CPU time to get the best result obtained on this benchmark7.64941
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables223
Total number of constraints386
Number of constraints which are clauses193
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints193
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 223
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2376
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2376
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4440579-1721825465.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.14	c  objective function found
0.13/0.18	c ... done. Wall clock time 0.043s.
0.13/0.18	c declared #vars     223
0.13/0.18	c #constraints  386
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 193
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 193
0.13/0.18	c 386 constraints processed.
0.13/0.18	c objective function length is 223 literals
0.13/0.19	c SATISFIABLE
0.13/0.19	c OPTIMIZING...
0.13/0.19	c Got one! Elapsed wall clock time (in seconds):0.061
0.13/0.19	o -73
0.51/0.35	c Got one! Elapsed wall clock time (in seconds):0.216
0.51/0.35	o -77
1.66/0.92	c cleaning 2807 clauses out of 5621 with flag 10673/5621
2.67/1.46	c cleaning 4407 clauses out of 8814 with flag 23765/11621
3.65/1.98	c cleaning 5704 clauses out of 11407 with flag 38697/18621
4.56/2.42	c cleaning 6852 clauses out of 13704 with flag 55557/26622
5.29/2.90	c cleaning 7926 clauses out of 15851 with flag 75047/35621
6.00/3.42	c cleaning 8963 clauses out of 17926 with flag 97390/45622
6.66/4.05	c cleaning 9982 clauses out of 19963 with flag 122669/56622
7.34/4.72	c cleaning 10990 clauses out of 21980 with flag 149553/68621
8.04/5.41	c cleaning 11995 clauses out of 23992 with flag 178580/81623
8.74/6.17	c cleaning 12998 clauses out of 25995 with flag 211022/95621
9.54/6.98	c cleaning 13995 clauses out of 27998 with flag 246250/110622
10.42/7.85	c cleaning 15000 clauses out of 30002 with flag 287209/126621
11.39/8.72	c cleaning 16001 clauses out of 32002 with flag 336007/143621
12.45/9.74	c cleaning 17001 clauses out of 34002 with flag 387787/161622
13.45/10.79	c cleaning 18000 clauses out of 36000 with flag 437412/180621
14.95/12.11	c cleaning 19001 clauses out of 38001 with flag 489430/200622
16.14/13.35	c cleaning 19997 clauses out of 40000 with flag 536380/221622
17.53/14.70	c cleaning 20996 clauses out of 42002 with flag 584960/243621
18.82/16.05	c cleaning 22003 clauses out of 44007 with flag 637808/266622
20.21/17.49	c cleaning 23001 clauses out of 46003 with flag 700729/290621
21.00/18.25	c Got one! Elapsed wall clock time (in seconds):18.118
21.00/18.25	o -78
21.41/18.60	c cleaning 21705 clauses out of 43410 with flag 10839/311029
21.71/18.94	c cleaning 13853 clauses out of 27706 with flag 23871/317030
22.21/19.41	c cleaning 10426 clauses out of 20852 with flag 38819/324029
22.61/19.82	c cleaning 9213 clauses out of 18428 with flag 56295/332031
23.00/20.29	c cleaning 9105 clauses out of 18213 with flag 76656/341029
23.60/20.83	c cleaning 9548 clauses out of 19108 with flag 97250/351029
24.19/21.48	c cleaning 10280 clauses out of 20560 with flag 120186/362029
24.98/22.28	c cleaning 11131 clauses out of 22280 with flag 146898/374029
25.78/23.04	c cleaning 12071 clauses out of 24150 with flag 174081/387030
26.57/23.82	c cleaning 13035 clauses out of 26078 with flag 203238/401029
27.48/24.78	c cleaning 14019 clauses out of 28044 with flag 235976/416030
28.46/25.72	c cleaning 15007 clauses out of 30024 with flag 270681/432029
29.46/26.79	c cleaning 16007 clauses out of 32017 with flag 310228/449029
30.76/28.02	c cleaning 17003 clauses out of 34011 with flag 351301/467030
32.04/29.38	c cleaning 18001 clauses out of 36008 with flag 393857/486030
33.53/30.82	c cleaning 19003 clauses out of 38006 with flag 437531/506029
35.32/32.63	c cleaning 19999 clauses out of 40005 with flag 485735/527031
37.16/34.88	c cleaning 21002 clauses out of 42004 with flag 534647/549029
38.85/36.51	c cleaning 21998 clauses out of 44002 with flag 582386/572029
40.44/38.11	c cleaning 23002 clauses out of 46004 with flag 631843/596029
42.02/39.71	c cleaning 24000 clauses out of 48003 with flag 683034/621030
43.60/41.38	c cleaning 24995 clauses out of 50002 with flag 736719/647029
45.48/43.24	c cleaning 26000 clauses out of 52008 with flag 793145/674030
47.09/44.87	c cleaning 26997 clauses out of 54008 with flag 854464/702030
48.97/46.77	c cleaning 28006 clauses out of 56011 with flag 915817/731030
51.64/49.48	c cleaning 29002 clauses out of 58004 with flag 980890/761029
53.84/51.67	c cleaning 29999 clauses out of 60003 with flag 1047650/792030
54.93/52.70	c Got one! Elapsed wall clock time (in seconds):52.569
54.93/52.70	o -79
55.34/53.17	c cleaning 27322 clauses out of 54659 with flag 11959/816685
55.74/53.57	c cleaning 16662 clauses out of 33338 with flag 27008/822686
56.17/53.92	c cleaning 11828 clauses out of 23675 with flag 43080/829685
56.66/54.31	c cleaning 9916 clauses out of 19847 with flag 62110/837685
57.06/54.74	c cleaning 9459 clauses out of 18931 with flag 83434/846685
57.55/55.23	c cleaning 9737 clauses out of 19473 with flag 105706/856686
58.06/55.79	c cleaning 10367 clauses out of 20735 with flag 131042/867685
58.65/56.38	c cleaning 11184 clauses out of 22369 with flag 158453/879686
59.43/57.09	c cleaning 12086 clauses out of 24184 with flag 187149/892685
59.71/57.28	c Got one! Elapsed wall clock time (in seconds):57.15
59.71/57.28	o -80
59.81/57.34	c cleaning 8726 clauses out of 17463 with flag 2216/898050
60.12/57.68	c cleaning 7366 clauses out of 14737 with flag 14894/904050
60.51/58.07	c cleaning 7184 clauses out of 14372 with flag 29614/911051
61.01/58.50	c cleaning 7593 clauses out of 15187 with flag 46290/919050
61.40/58.97	c cleaning 8294 clauses out of 16595 with flag 64879/928051
62.00/59.50	c cleaning 9148 clauses out of 18301 with flag 85685/938051
62.61/60.18	c cleaning 10075 clauses out of 20153 with flag 108714/949051
63.31/60.80	c cleaning 11039 clauses out of 22077 with flag 132957/961050
63.99/61.52	c cleaning 12017 clauses out of 24040 with flag 159224/974052
64.79/62.37	c cleaning 13008 clauses out of 26022 with flag 187911/988051
65.79/63.33	c cleaning 14000 clauses out of 28014 with flag 218906/1003051
66.79/64.33	c cleaning 15005 clauses out of 30014 with flag 252742/1019051
67.80/66.71	c cleaning 16005 clauses out of 32009 with flag 288333/1036051
69.01/67.92	c cleaning 16997 clauses out of 34003 with flag 326545/1054050
70.39/69.39	c cleaning 18002 clauses out of 36006 with flag 370834/1073050
72.00/70.96	c cleaning 18999 clauses out of 38004 with flag 416169/1093050
73.27/72.22	c cleaning 20003 clauses out of 40005 with flag 462281/1114050
74.58/73.57	c cleaning 20996 clauses out of 42003 with flag 506591/1136051
76.07/75.09	c cleaning 21998 clauses out of 44006 with flag 557733/1159050
77.58/76.58	c cleaning 23003 clauses out of 46009 with flag 606912/1183051
79.36/78.32	c cleaning 24001 clauses out of 48006 with flag 661004/1208051
81.07/80.05	c cleaning 24999 clauses out of 50004 with flag 718102/1234050
83.09/82.02	c cleaning 26000 clauses out of 52006 with flag 774262/1261051
85.16/84.16	c cleaning 26999 clauses out of 54006 with flag 831260/1289051
86.98/85.94	c cleaning 27999 clauses out of 56007 with flag 890713/1318051
88.80/87.76	c cleaning 28998 clauses out of 58007 with flag 951181/1348050
90.78/89.72	c cleaning 30002 clauses out of 60009 with flag 1013822/1379050
92.89/91.89	c cleaning 31003 clauses out of 62009 with flag 1078939/1411052
95.02/93.92	c cleaning 31996 clauses out of 64004 with flag 1151734/1444050
97.12/96.26	c cleaning 33000 clauses out of 66009 with flag 1226670/1478051
99.91/99.02	c cleaning 34001 clauses out of 68009 with flag 1306467/1513051
102.04/101.11	c cleaning 35001 clauses out of 70007 with flag 1386749/1549050
104.48/103.51	c cleaning 35999 clauses out of 72007 with flag 1469014/1586051
106.81/105.89	c cleaning 36999 clauses out of 74009 with flag 1551519/1624052
109.34/108.34	c cleaning 38001 clauses out of 76010 with flag 1637295/1663052
112.38/111.36	c cleaning 39001 clauses out of 78008 with flag 1726602/1703051
115.13/114.02	c cleaning 40001 clauses out of 80007 with flag 1816355/1744051
118.96/117.84	c cleaning 40999 clauses out of 82005 with flag 1910651/1786050
119.16/118.07	c Got one! Elapsed wall clock time (in seconds):117.944
119.16/118.07	o -81
119.27/118.19	c cleaning 23356 clauses out of 46719 with flag 2206/1791763
119.66/118.55	c cleaning 14679 clauses out of 29364 with flag 15203/1797764
120.07/118.93	c cleaning 10835 clauses out of 21683 with flag 30232/1804762
120.46/119.35	c cleaning 9420 clauses out of 18849 with flag 47556/1812763
120.99/119.89	c cleaning 9209 clauses out of 18428 with flag 66675/1821762
121.59/120.46	c cleaning 9606 clauses out of 19220 with flag 88198/1831763
122.20/121.07	c cleaning 10306 clauses out of 20616 with flag 111729/1842765
122.88/121.78	c cleaning 11145 clauses out of 22307 with flag 137562/1854762
123.71/122.59	c cleaning 12077 clauses out of 24163 with flag 165676/1867763
124.68/123.51	c cleaning 13038 clauses out of 26087 with flag 196001/1881764
125.58/124.46	c cleaning 14023 clauses out of 28048 with flag 229209/1896763
126.71/125.59	c cleaning 15013 clauses out of 30025 with flag 264815/1912763
127.96/127.03	c cleaning 16004 clauses out of 32011 with flag 302035/1929762
129.18/128.25	c cleaning 17004 clauses out of 34007 with flag 341085/1947762
130.38/129.49	c cleaning 17999 clauses out of 36003 with flag 381649/1966762
131.68/130.71	c cleaning 19000 clauses out of 38005 with flag 424582/1986763
133.11/132.18	c cleaning 20002 clauses out of 40005 with flag 469711/2007763
134.69/133.76	c cleaning 20999 clauses out of 42004 with flag 517544/2029764
136.30/135.35	c cleaning 21999 clauses out of 44003 with flag 565179/2052762
137.83/136.83	c cleaning 22998 clauses out of 46005 with flag 613662/2076763
139.52/138.56	c cleaning 23999 clauses out of 48007 with flag 664189/2101763
141.24/140.22	c cleaning 25000 clauses out of 50008 with flag 716416/2127763
143.14/142.10	c cleaning 25999 clauses out of 52008 with flag 771002/2154763
144.97/143.97	c cleaning 27001 clauses out of 54009 with flag 827227/2182763
146.90/145.80	c cleaning 28002 clauses out of 56007 with flag 885463/2211762
149.29/148.29	c cleaning 29003 clauses out of 58007 with flag 946136/2241764
151.42/150.30	c cleaning 29991 clauses out of 60002 with flag 1008551/2272762
153.55/152.44	c cleaning 31000 clauses out of 62011 with flag 1072788/2304762
155.88/154.70	c cleaning 32002 clauses out of 64012 with flag 1139137/2337763
158.36/157.84	c cleaning 33003 clauses out of 66012 with flag 1207476/2371765
161.05/160.55	c cleaning 34003 clauses out of 68006 with flag 1277996/2406762
163.58/163.09	c cleaning 34994 clauses out of 70003 with flag 1350542/2442762
166.51/165.92	c cleaning 36001 clauses out of 72010 with flag 1425937/2479763
169.05/168.43	c cleaning 37001 clauses out of 74008 with flag 1504524/2517762
171.99/171.33	c cleaning 38001 clauses out of 76008 with flag 1583573/2556763
174.93/174.22	c cleaning 38999 clauses out of 78006 with flag 1665651/2596762
178.37/177.64	c cleaning 40000 clauses out of 80007 with flag 1754820/2637762
181.31/180.51	c cleaning 40998 clauses out of 82008 with flag 1844061/2679763
184.64/183.88	c cleaning 42002 clauses out of 84010 with flag 1939896/2722763
187.66/186.83	c cleaning 42997 clauses out of 86008 with flag 2038422/2766763
190.83/190.47	c cleaning 43995 clauses out of 88010 with flag 2137817/2811762
194.04/193.70	c cleaning 45003 clauses out of 90015 with flag 2241441/2857762
198.15/197.79	c cleaning 46000 clauses out of 92013 with flag 2353553/2904763
202.07/201.63	c cleaning 47000 clauses out of 94012 with flag 2460723/2952762
207.49/207.02	c cleaning 48006 clauses out of 96012 with flag 2572497/3001762
211.30/210.86	c cleaning 49003 clauses out of 98006 with flag 2675409/3051762
215.36/214.87	c cleaning 50000 clauses out of 100006 with flag 2788366/3102765
219.81/219.49	c cleaning 50994 clauses out of 102003 with flag 2905393/3154762
224.02/223.60	c cleaning 51998 clauses out of 104010 with flag 3030283/3207763
228.46/228.10	c cleaning 53000 clauses out of 106011 with flag 3153560/3261762
232.87/232.48	c cleaning 53995 clauses out of 108012 with flag 3285135/3316763
237.21/236.71	c cleaning 55009 clauses out of 110017 with flag 3409255/3372763
243.10/242.68	c cleaning 56001 clauses out of 112007 with flag 3540145/3429762
247.53/247.04	c cleaning 56996 clauses out of 114006 with flag 3665949/3487762
251.95/251.69	c cleaning 58006 clauses out of 116011 with flag 3789823/3546763
256.93/256.69	c cleaning 59001 clauses out of 118005 with flag 3913586/3606763
261.85/261.34	c cleaning 59997 clauses out of 120004 with flag 4046950/3667763
266.64/266.16	c cleaning 61003 clauses out of 122006 with flag 4184649/3729762
271.01/270.50	c cleaning 62000 clauses out of 124004 with flag 4314316/3792763
276.12/275.62	c cleaning 63000 clauses out of 126005 with flag 4446183/3856764
280.32/280.10	c cleaning 63997 clauses out of 128004 with flag 4581315/3921763
286.16/285.80	c cleaning 64998 clauses out of 130006 with flag 4718378/3987762
291.51/291.14	c cleaning 66000 clauses out of 132010 with flag 4861288/4054764
297.08/296.66	c cleaning 67001 clauses out of 134008 with flag 5012869/4122762
302.04/301.51	c cleaning 67997 clauses out of 136007 with flag 5155296/4191762
309.22/308.54	c cleaning 69004 clauses out of 138011 with flag 5317590/4261763
314.80/314.57	c cleaning 70002 clauses out of 140006 with flag 5462801/4332762
322.02/321.72	c cleaning 71002 clauses out of 142004 with flag 5616934/4404762
329.98/329.60	c cleaning 71998 clauses out of 144002 with flag 5765405/4477762
337.34/336.99	c cleaning 73002 clauses out of 146004 with flag 5917678/4551762
347.80/347.71	c cleaning 74001 clauses out of 148002 with flag 6071711/4626762
357.03/356.95	c cleaning 75001 clauses out of 150002 with flag 6227281/4702763
365.20/365.01	c cleaning 75997 clauses out of 152000 with flag 6382995/4779762
371.54/371.35	c cleaning 77000 clauses out of 154005 with flag 6540048/4857764
379.46/379.39	c cleaning 78000 clauses out of 156004 with flag 6699295/4936763
388.81/388.68	c cleaning 78997 clauses out of 158003 with flag 6861946/5016762
398.36/398.17	c cleaning 79999 clauses out of 160007 with flag 7029632/5097763
409.18/409.44	c cleaning 81001 clauses out of 162007 with flag 7198989/5179762
418.86/419.09	c cleaning 82000 clauses out of 164006 with flag 7368440/5262762
428.87/429.03	c cleaning 83001 clauses out of 166006 with flag 7539649/5346762
438.44/438.79	c cleaning 84003 clauses out of 168006 with flag 7711769/5431763
448.47/448.72	c cleaning 84999 clauses out of 170002 with flag 7886633/5517762
459.02/459.38	c cleaning 85999 clauses out of 172005 with flag 8062976/5604764
472.06/472.75	c cleaning 87001 clauses out of 174006 with flag 8241616/5692764
480.25/480.99	c cleaning 87998 clauses out of 176003 with flag 8420775/5781762
491.60/492.20	c cleaning 89000 clauses out of 178005 with flag 8601860/5871762
501.59/502.60	c cleaning 90001 clauses out of 180007 with flag 8785979/5962764
515.14/516.14	c cleaning 91000 clauses out of 182004 with flag 8972868/6054762
525.06/526.89	c cleaning 91998 clauses out of 184004 with flag 9161923/6147762
534.44/536.19	c cleaning 93003 clauses out of 186007 with flag 9353585/6241763
545.70/547.49	c cleaning 93997 clauses out of 188004 with flag 9547461/6336763
555.47/557.65	c cleaning 94997 clauses out of 190007 with flag 9745341/6432763
567.26/569.48	c cleaning 96002 clauses out of 192009 with flag 9943382/6529762
579.79/582.03	c cleaning 97003 clauses out of 194007 with flag 10144022/6627762
594.30/596.74	c cleaning 97999 clauses out of 196004 with flag 10348664/6726762
611.85/614.26	c cleaning 99000 clauses out of 198005 with flag 10551761/6826762
631.92/634.57	c cleaning 100003 clauses out of 200005 with flag 10757307/6927762
644.51/647.12	c cleaning 100998 clauses out of 202003 with flag 10965605/7029763
655.07/658.15	c cleaning 101999 clauses out of 204004 with flag 11173998/7132762
668.80/671.92	c cleaning 102997 clauses out of 206007 with flag 11385169/7236764
684.78/688.31	c cleaning 104004 clauses out of 208009 with flag 11602256/7341763
699.92/703.56	c cleaning 104999 clauses out of 210004 with flag 11819241/7447762
718.28/722.91	c cleaning 105995 clauses out of 212005 with flag 12042379/7554762
731.48/736.11	c cleaning 107001 clauses out of 214011 with flag 12264967/7662763
746.14/751.27	c cleaning 108003 clauses out of 216010 with flag 12487598/7771763
765.69/770.79	c cleaning 108999 clauses out of 218007 with flag 12714486/7881763
781.25/786.45	c cleaning 110002 clauses out of 220007 with flag 12945481/7992762
796.14/801.12	c cleaning 110996 clauses out of 222006 with flag 13175204/8104763
805.55/810.79	c cleaning 111996 clauses out of 224010 with flag 13408716/8217763
816.45/821.66	c cleaning 113002 clauses out of 226013 with flag 13644650/8331762
827.53/832.63	c cleaning 114001 clauses out of 228013 with flag 13892899/8446764
844.12/850.14	c cleaning 115003 clauses out of 230011 with flag 14150686/8562763
856.67/862.64	c cleaning 115998 clauses out of 232007 with flag 14408140/8679762
868.19/874.54	c cleaning 116999 clauses out of 234010 with flag 14669118/8797763
881.95/888.27	c cleaning 118005 clauses out of 236011 with flag 14921925/8916763
896.43/902.93	c cleaning 118998 clauses out of 238007 with flag 15170144/9036764
910.28/916.71	c cleaning 120000 clauses out of 240008 with flag 15416898/9157763
921.77/928.56	c cleaning 120997 clauses out of 242008 with flag 15670789/9279763
933.96/940.66	c cleaning 121997 clauses out of 244010 with flag 15931886/9402762
947.11/953.74	c cleaning 123006 clauses out of 246013 with flag 16194067/9526762
965.16/972.21	c cleaning 124000 clauses out of 248007 with flag 16445632/9651762
988.22/996.57	c cleaning 125003 clauses out of 250007 with flag 16700215/9777762
1010.06/1018.36	c cleaning 125998 clauses out of 252004 with flag 16957265/9904762
1025.90/1034.54	c cleaning 126994 clauses out of 254007 with flag 17219332/10032763
1044.62/1053.59	c cleaning 128006 clauses out of 256013 with flag 17481682/10161763
1065.03/1073.80	c cleaning 128999 clauses out of 258006 with flag 17748476/10291762
1083.92/1092.95	c cleaning 130000 clauses out of 260007 with flag 18014053/10422762
1101.50/1110.45	c cleaning 131004 clauses out of 262009 with flag 18279769/10554764
1113.49/1122.67	c cleaning 131996 clauses out of 264004 with flag 18565562/10687763
1132.91/1142.09	c cleaning 132999 clauses out of 266008 with flag 18839751/10821763
1151.43/1160.76	c cleaning 134000 clauses out of 268008 with flag 19116361/10956762
1165.84/1175.06	c cleaning 135001 clauses out of 270009 with flag 19390749/11092763
1180.84/1190.99	c cleaning 135998 clauses out of 272008 with flag 19671296/11229763
1196.84/1207.50	c cleaning 137000 clauses out of 274011 with flag 19957290/11367764
1210.50/1221.14	c cleaning 138001 clauses out of 276009 with flag 20250431/11506762
1229.75/1241.41	c cleaning 139004 clauses out of 278010 with flag 20549307/11646764
1246.74/1258.16	c cleaning 140002 clauses out of 280004 with flag 20846827/11787762
1262.47/1274.94	c cleaning 140996 clauses out of 282002 with flag 21150881/11929762
1281.90/1294.35	c cleaning 141999 clauses out of 284006 with flag 21456372/12072762
1299.44/1312.69	c cleaning 143002 clauses out of 286007 with flag 21761973/12216762
1326.19/1340.32	c cleaning 144000 clauses out of 288005 with flag 22075565/12361762
1342.26/1356.43	c cleaning 144997 clauses out of 290007 with flag 22388277/12507764
1360.60/1375.80	c cleaning 146001 clauses out of 292009 with flag 22702197/12654763
1374.89/1390.07	c cleaning 146999 clauses out of 294007 with flag 23013310/12802762
1392.26/1408.08	c cleaning 147998 clauses out of 296009 with flag 23332574/12951763
1410.86/1427.22	c cleaning 149000 clauses out of 298010 with flag 23656347/13101762
1427.73/1444.06	c cleaning 149997 clauses out of 300010 with flag 23980507/13252762
1443.53/1459.79	c cleaning 151003 clauses out of 302014 with flag 24312741/13404763
1460.44/1476.65	c cleaning 151999 clauses out of 304011 with flag 24651527/13557763
1480.25/1496.95	c cleaning 152997 clauses out of 306011 with flag 24997174/13711762
1496.87/1513.33	c cleaning 154008 clauses out of 308016 with flag 25337418/13866764
1515.63/1532.43	c cleaning 154998 clauses out of 310006 with flag 25684750/14022762
1541.61/1559.18	c cleaning 156001 clauses out of 312009 with flag 26046209/14179763
1559.13/1576.56	c cleaning 156996 clauses out of 314008 with flag 26388204/14337763
1574.02/1591.38	c cleaning 158001 clauses out of 316012 with flag 26720612/14496763
1595.66/1615.38	c cleaning 159002 clauses out of 318011 with flag 27056162/14656763
1623.93/1643.81	c cleaning 160003 clauses out of 320009 with flag 27384282/14817763
1646.91/1666.80	c cleaning 160997 clauses out of 322005 with flag 27721740/14979762
1673.95/1694.23	c cleaning 162002 clauses out of 324008 with flag 28088622/15142762
1692.24/1712.79	c cleaning 163000 clauses out of 326006 with flag 28440003/15306762
1716.11/1738.43	c cleaning 163999 clauses out of 328007 with flag 28775489/15471763
1737.69/1760.08	c cleaning 164999 clauses out of 330008 with flag 29112125/15637763
1757.25/1779.81	c cleaning 165992 clauses out of 332008 with flag 29450169/15804762
1782.48/1805.45	c cleaning 167008 clauses out of 334016 with flag 29811115/15972762
1812.59/1835.71	c cleaning 167998 clauses out of 336008 with flag 30213188/16141762
1840.95/1864.04	c cleaning 169004 clauses out of 338010 with flag 30569145/16311762
1861.90/1884.82	c cleaning 169998 clauses out of 340006 with flag 30925364/16482762
1882.41/1905.44	c cleaning 170997 clauses out of 342008 with flag 31275528/16654762
1909.81/1933.09	c cleaning 172000 clauses out of 344011 with flag 31655292/16827762
1940.83/1964.11	c cleaning 173006 clauses out of 346012 with flag 32008962/17001763
1965.41/1989.44	c cleaning 174000 clauses out of 348005 with flag 32362169/17176762
1985.56/2009.44	c cleaning 175002 clauses out of 350005 with flag 32718449/17352762
2009.48/2033.58	c cleaning 176000 clauses out of 352006 with flag 33076200/17529765
2032.31/2056.49	c cleaning 176998 clauses out of 354003 with flag 33435103/17707762
2057.73/2082.30	c cleaning 177997 clauses out of 356005 with flag 33795804/17886762
2090.87/2115.66	c cleaning 179001 clauses out of 358008 with flag 34160164/18066762
2110.79/2135.10	c cleaning 179996 clauses out of 360007 with flag 34545059/18247762
2136.06/2160.86	c cleaning 180999 clauses out of 362012 with flag 34925809/18429763
2174.17/2199.65	c cleaning 182002 clauses out of 364013 with flag 35300911/18612763
2204.88/2230.84	c cleaning 183005 clauses out of 366012 with flag 35680807/18796764
2255.11/2280.95	c cleaning 184000 clauses out of 368005 with flag 36069669/18981762
2290.01/2315.94	c cleaning 184999 clauses out of 370006 with flag 36446110/19167763
2340.39/2366.75	c cleaning 186001 clauses out of 372007 with flag 36822067/19354763
2376.75/2403.37	c cleaning 187003 clauses out of 374008 with flag 37202942/19542765
2414.63/2441.19	c cleaning 187999 clauses out of 376004 with flag 37585380/19731764
2448.80/2475.50	c cleaning 188987 clauses out of 378003 with flag 37969888/19921762
2470.12/2497.13	c cleaning 190006 clauses out of 380016 with flag 38372124/20112762
2498.16/2525.29	c cleaning 191002 clauses out of 382011 with flag 38773539/20304763
2531.34/2558.92	c cleaning 191999 clauses out of 384009 with flag 39208157/20497763
2561.20/2589.95	c cleaning 193001 clauses out of 386009 with flag 39634090/20691762
2589.92/2618.78	c cleaning 193998 clauses out of 388009 with flag 40072727/20886763
2610.67/2645.95	c cleaning 195000 clauses out of 390011 with flag 40487405/21082763
2635.42/2669.85	c cleaning 195997 clauses out of 392010 with flag 40901787/21279762
2656.01/2690.76	c cleaning 197003 clauses out of 394014 with flag 41312814/21477763
2684.10/2718.45	c cleaning 198001 clauses out of 396010 with flag 41769222/21676762
2707.31/2741.59	c cleaning 198999 clauses out of 398009 with flag 42185024/21876762
2736.82/2771.78	c cleaning 200005 clauses out of 400010 with flag 42656664/22077762
2764.05/2799.02	c cleaning 201001 clauses out of 402007 with flag 43114506/22279764
2798.93/2834.35	c cleaning 201995 clauses out of 404006 with flag 43529317/22482764
2834.37/2869.71	c cleaning 203000 clauses out of 406010 with flag 43949953/22686763
2866.34/2901.16	c cleaning 203999 clauses out of 408010 with flag 44363457/22891763
2904.34/2939.26	c cleaning 205001 clauses out of 410011 with flag 44780737/23097763
2936.21/2970.76	c cleaning 206001 clauses out of 412009 with flag 45198867/23304762
2985.94/3021.68	c cleaning 207001 clauses out of 414008 with flag 45618723/23512762
3031.31/3067.46	c cleaning 207998 clauses out of 416007 with flag 46041748/23721762
3080.72/3117.56	c cleaning 209000 clauses out of 418011 with flag 46463892/23931764
3124.70/3161.60	c cleaning 209998 clauses out of 420011 with flag 46893799/24142764
3172.68/3209.56	c cleaning 211001 clauses out of 422012 with flag 47325875/24354763
3220.15/3257.22	c cleaning 212003 clauses out of 424011 with flag 47759293/24567763
3274.84/3311.67	c cleaning 213001 clauses out of 426008 with flag 48196347/24781763
3324.22/3361.81	c cleaning 213994 clauses out of 428007 with flag 48635890/24996763
3382.19/3420.18	c cleaning 215002 clauses out of 430013 with flag 49075968/25212763
3447.80/3486.72	c cleaning 215999 clauses out of 432010 with flag 49515537/25429762
3519.26/3558.75	c cleaning 217005 clauses out of 434012 with flag 49957715/25647763
3600.09/3639.82	c starts		: 114359
3600.09/3639.82	c conflicts		: 25866762
3600.09/3639.82	c decisions		: 33811895
3600.09/3639.82	c propagations		: 296747825
3600.09/3639.82	c inspects		: 33249584138
3600.09/3639.82	c shortcuts		: 0
3600.09/3639.82	c learnt literals	: 0
3600.09/3639.82	c learnt binary clauses	: 298
3600.09/3639.82	c learnt ternary clauses	: 589
3600.09/3639.82	c learnt constraints	: 25866762
3600.09/3639.82	c ignored constraints	: 0
3600.09/3639.82	c root simplifications	: 0
3600.09/3639.82	c removed literals (reason simplification)	: 145173545
3600.09/3639.82	c reason swapping (by a shorter reason)	: 0
3600.09/3639.82	c Calls to reduceDB	: 309
3600.09/3639.82	c Number of update (reduction) of LBD	: 446882
3600.09/3639.82	c Imported unit clauses	: 0
3600.09/3639.82	c No decision after first conflict	: false
3600.09/3639.82	c number of reductions to clauses (during analyze)	: 0
3600.09/3639.82	c number of learned constraints concerned by reduction	: 0
3600.09/3639.82	c number of learning phase by resolution	: 0
3600.09/3639.82	c number of learning phase by cutting planes	: 0
3600.09/3639.82	c number of rounding to 1 operations	: 0
3600.09/3639.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3639.82	c number of reductions of the coefficients by power 2 	: 0
3600.09/3639.82	c number of right shift for reduction by power 2 	: 0
3600.09/3639.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3639.82	c number of ending skipping 	: 0
3600.09/3639.82	c number of internal skipping 	: 0
3600.09/3639.82	c number of derivation steps 	: 0
3600.09/3639.82	c number of skipped derivation steps 	: 0
3600.09/3639.82	c number of remaining unassigned 	: 0
3600.09/3639.82	c number of remaining assigned 	: 0
3600.09/3639.82	c number of falsified literals weakened from reason	: 0
3600.09/3639.82	c number of falsified literals weakened from conflict	: 0
3600.09/3639.82	c time for arithmetic operations	: 0
3600.09/3639.82	c minimum degree of deleted constraints	: null
3600.09/3639.82	c maximum degree of deleted constraints	: null
3600.09/3639.82	c number of deleted constraints	: 0
3600.09/3639.82	c speed (assignments/second)	: 81532.48258681453
3600.09/3639.82	c non guided choices	: 0
3600.29/3639.90	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 435708
3600.29/3639.90	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 298
3600.29/3639.90	s SATISFIABLE
3600.29/3639.90	c Found 6 solution(s)
3600.29/3639.90	v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 
3600.29/3639.91	c objective function=-81
3600.29/3639.91	c Total wall clock time (in seconds): 3639.772

Verifier Data 

OK	-81

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440579-1721825465/watcher-4440579-1721825465 -o /tmp/evaluation-result-4440579-1721825465/solver-4440579-1721825465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721817187-235997 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440579-1721825465 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440579-1721825465.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.101754 s]*
/proc/loadavg: 4.19 4.18 4.18 5/334 241194
/proc/meminfo: memFree=103770100/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=18975048 memory=67128 CPUtime=0.13 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 7178 0 0 0 11 2 0 0 20 0 18 0 19069517 19430449152 16782 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4743762 16782 5659 1 0 549319 0
[pid=241176/tid=241178] ppid=241173 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 1077936192 5741 0 0 0 7 1 0 0 20 0 18 0 19069518 19430449152 16782 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 19069520 19430449152 16782 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 19069521 19430449152 16782 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67128 KiB

[startup+0.211638 s]*
/proc/loadavg: 4.19 4.18 4.18 7/335 241195
/proc/meminfo: memFree=103765100/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19041612 memory=71460 CPUtime=0.32 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 7719 0 0 0 30 2 0 0 20 0 19 0 19069517 19498610688 17865 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4760403 17865 5856 1 0 550022 0
[pid=241176/tid=241178] ppid=241173 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 1077936192 6052 0 0 0 16 1 0 0 20 0 19 0 19069518 19498610688 17865 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19041612 memory=770575 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 19069520 19498610688 17865 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19041612 memory=15816698926204594 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 19069521 19498610688 17865 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 19069536 19498610688 17865 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71460 KiB

[startup+0.30687 s]*
/proc/loadavg: 4.19 4.18 4.18 7/335 241195
/proc/meminfo: memFree=103744852/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19041612 memory=90328 CPUtime=0.51 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 9164 0 0 0 48 3 0 0 20 0 19 0 19069517 19498610688 22582 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4760403 22582 5856 1 0 550611 0
[pid=241176/tid=241178] ppid=241173 vsize=19041612 memory=-8959464418766987964 CPUtime=0.26 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 6072 0 0 0 25 1 0 0 20 0 19 0 19069518 19498610688 22582 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 19069520 19498610688 22582 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 19069521 19498610688 22582 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 19069536 19498610688 22582 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90328 KiB

[startup+0.706885 s]
/proc/loadavg: 4.19 4.18 4.18 6/335 241195
/proc/meminfo: memFree=103684768/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=173784 CPUtime=1.28 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 12673 0 0 0 123 5 0 0 20 0 20 0 19069517 19566772224 43446 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 43446 5856 1 0 553193 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=71968 CPUtime=0.61 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 6124 0 0 0 58 3 0 0 20 0 20 0 19069518 19566772224 43446 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 43446 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 43446 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=25948 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 43446 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 173784 KiB

[startup+1.50087 s]
/proc/loadavg: 4.19 4.18 4.18 7/336 241196
/proc/meminfo: memFree=103645556/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=194768 CPUtime=2.85 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 21325 0 0 0 277 8 0 0 20 0 20 0 19069517 19566772224 48692 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 48692 5888 1 0 555146 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=12264 CPUtime=1.35 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 6628 0 0 0 131 4 0 0 20 0 20 0 19069518 19566772224 48692 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 48692 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 48692 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=25948 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 48692 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194768 KiB

[startup+3.10587 s]
/proc/loadavg: 4.25 4.20 4.19 6/336 241196
/proc/meminfo: memFree=103398160/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=397580 CPUtime=5.7 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 25671 0 0 0 554 16 0 0 20 0 20 0 19069517 19566772224 99395 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 99395 5904 1 0 555982 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=0 CPUtime=2.92 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 7085 0 0 0 281 11 0 0 20 0 20 0 19069518 19566772224 99395 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=-8959464418766987964 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 99395 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 99395 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 99395 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 397580 KiB

[startup+6.30089 s]
/proc/loadavg: 4.25 4.20 4.19 5/336 241196
/proc/meminfo: memFree=102729056/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1134016 CPUtime=8.94 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 26244 0 0 0 858 36 0 0 20 0 20 0 19069517 19566772224 283504 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 283504 5904 1 0 555982 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=2248 CPUtime=6.07 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 7613 0 0 0 577 30 0 0 20 0 20 0 19069518 19566772224 283504 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 283504 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 283504 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 283504 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 8.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1134016 KiB

[startup+12.7009 s]
/proc/loadavg: 4.23 4.19 4.18 5/336 241198
/proc/meminfo: memFree=102281868/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1334908 CPUtime=15.54 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 31710 0 0 0 1505 49 0 0 20 0 20 0 19069517 19566772224 333727 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 333727 5904 1 0 555982 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=12264 CPUtime=12.33 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 8565 0 0 0 1192 41 0 0 20 0 20 0 19069518 19566772224 333727 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=1326636 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 333727 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=71968 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 333727 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 333727 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 15.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1334908 KiB

[startup+25.5009 s]
/proc/loadavg: 4.18 4.18 4.18 5/336 241199
/proc/meminfo: memFree=102013648/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1339056 CPUtime=28.27 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 35169 0 0 0 2757 70 0 0 20 0 20 0 19069517 19566772224 334764 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 334764 5904 1 0 555982 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=6943526294502006880 CPUtime=24.91 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 10391 0 0 0 2429 62 0 0 20 0 20 0 19069518 19566772224 334764 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=11608 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 334764 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=3564 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 334764 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 334764 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 28.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1339056 KiB

[startup+51.1059 s]
/proc/loadavg: 4.19 4.18 4.18 5/336 241205
/proc/meminfo: memFree=101562208/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1361596 CPUtime=53.35 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 38807 0 0 0 5233 102 0 0 20 0 20 0 19069517 19566772224 340399 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 340399 5904 1 0 555982 0

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

[startup+3282.3 s]
/proc/loadavg: 1.23 1.47 2.61 2/257 243157
/proc/meminfo: memFree=99604716/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1952728 CPUtime=3244.97 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 334438 0 0 0 322098 2399 0 0 20 0 20 0 19069517 19566772224 488182 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 488182 5951 1 0 501357 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=1952728 CPUtime=3173.11 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 123641 0 0 0 315075 2236 0 0 20 0 20 0 19069518 19566772224 488182 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5838 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=1952728 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 488182 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=1952728 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 2884 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 488182 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=1952728 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 488182 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 3244.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1952728 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.40 2.51 2/255 243169
/proc/meminfo: memFree=99436664/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1952732 CPUtime=3304.59 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 343176 0 0 0 328033 2426 0 0 20 0 20 0 19069517 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 488183 5951 1 0 501357 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=71968 CPUtime=3231.43 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 127034 0 0 0 320884 2259 0 0 20 0 20 0 19069518 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5953 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=11640 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 2980 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 3304.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1952732 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.34 2.42 2/255 243179
/proc/meminfo: memFree=99257440/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1952732 CPUtime=3363.77 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 343634 0 0 0 333924 2453 0 0 20 0 20 0 19069517 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 488183 5951 1 0 501357 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=11616 CPUtime=3289.76 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 127364 0 0 0 326692 2284 0 0 20 0 20 0 19069518 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6059 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=1952732 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=1952732 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 2980 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=71968 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 3363.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1952732 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.30 2.34 2/255 243190
/proc/meminfo: memFree=99129116/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1952732 CPUtime=3423.75 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 347224 0 0 0 339899 2476 0 0 20 0 20 0 19069517 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 488183 5951 1 0 501357 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=1952732 CPUtime=3348.7 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 129670 0 0 0 332566 2304 0 0 20 0 20 0 19069518 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6125 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=1952732 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 2981 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=1952732 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 3423.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1952732 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.26 2.26 2/255 243201
/proc/meminfo: memFree=99009240/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1952732 CPUtime=3483.2 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 347775 0 0 0 345825 2495 0 0 20 0 20 0 19069517 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 488183 5951 1 0 501357 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=1952732 CPUtime=3407.7 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 130048 0 0 0 338449 2321 0 0 20 0 20 0 19069518 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6186 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=25948 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=16084 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 3078 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=1952732 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 488183 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 3483.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1952732 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.24 2.19 2/257 243217
/proc/meminfo: memFree=98865684/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1952736 CPUtime=3542.9 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 355425 0 0 0 351772 2518 0 0 20 0 20 0 19069517 19566772224 488184 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 488184 5951 1 0 501357 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=1952732 CPUtime=3466.44 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 132414 0 0 0 344304 2340 0 0 20 0 20 0 19069518 19566772224 488184 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6265 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 488184 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 3078 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 488184 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=1952736 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 488184 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 3542.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1952736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3639.8 s]
/proc/loadavg: 1.11 1.21 2.12 2/257 243227
/proc/meminfo: memFree=98781036/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19108176 memory=1952736 CPUtime=3600.09 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 357602 0 0 0 357474 2535 0 0 20 0 20 0 19069517 19566772224 488184 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4777044 488184 5951 1 0 501359 0
[pid=241176/tid=241178] ppid=241173 vsize=19108176 memory=39812 CPUtime=3523.21 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 133252 0 0 0 349966 2355 0 0 20 0 20 0 19069518 19566772224 488184 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6302 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19108176 memory=21132 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19069520 19566772224 488184 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19108176 memory=2288 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 3083 0 0 0 0 0 0 0 20 0 20 0 19069521 19566772224 488184 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241195] ppid=241173 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/241176/task/241195/stat : 241195 (Timer-0) S 241173 241176 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19069536 19566772224 488184 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1952736 KiB

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

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

# cumulated CPU time of all completed processes:  user=3574.94 s, system=25.3676 s

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

[startup+3639.9 s]
/proc/loadavg: 1.11 1.21 2.12 2/257 243227
/proc/meminfo: memFree=98781036/131524600 swapFree=131071996/131071996
[pid=241176] ppid=241173 vsize=19307868 memory=1953352 CPUtime=3600.29 cores=0,2
/proc/241176/stat : 241176 (java) S 241173 241176 235987 0 -1 1077936128 360793 0 0 0 357494 2535 0 0 20 0 21 0 19069517 19771256832 488338 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
/proc/241176/statm: 4826967 488338 5950 1 0 502294 0
[pid=241176/tid=241178] ppid=241173 vsize=19307868 memory=1952736 CPUtime=3523.31 cores=0,2
/proc/241176/task/241178/stat : 241178 (java) R 241173 241176 235987 0 -1 4194368 133252 0 0 0 349976 2355 0 0 20 0 21 0 19069518 19771256832 488338 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6302 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241187] ppid=241173 vsize=19307868 memory=1952736 CPUtime=0 cores=0,2
/proc/241176/task/241187/stat : 241187 (Finalizer) S 241173 241176 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 19069520 19771256832 488338 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
[pid=241176/tid=241194] ppid=241173 vsize=19307868 memory=1952736 CPUtime=0 cores=0,2
/proc/241176/task/241194/stat : 241194 (Common-Cleaner) S 241173 241176 235987 0 -1 1077936192 3083 0 0 0 0 0 0 0 20 0 21 0 19069521 19771256832 488338 134679101440 94769806979072 94769806982768 140723712592320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769806990584 94769806991376 94769821474816 140723712598955 140723712599137 140723712599137 140723712606152 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1953352 KiB

Child status: 143

Real time (s): 3639.93
CPU time (s): 3600.31
CPU user time (s): 3574.94
CPU system time (s): 25.3676
CPU usage (%): 98.9115
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2179752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.94
system time used= 25.3676
maximum resident set size= 2179752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34574920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142379
involuntary context switches= 34651


# summary of solver processes directly reported to runsolver:
#   pid: 241176
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3574.94
#   total CPU system time (s): 25.3676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.79527 second user time and 17.7531 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-24 14:51:05
IDJOB=4440579
IDBENCH=158535
IDSOLVER=3079
FILE ID=nodeC024/4440579-1721825465
RUNJOBID= nodeC024-1721817187-235997
SLURM_JOB_ID= 7816882
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440579-1721825465/watcher-4440579-1721825465 -o /tmp/evaluation-result-4440579-1721825465/solver-4440579-1721825465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721817187-235997 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440579-1721825465 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440579-1721825465.opb

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

MD5SUM BENCH= 28e415f3c4d8dab53aac16682d7f066d
RANDOM SEED=208037289

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        103817108 kB
MemAvailable:   123330148 kB
Buffers:          251608 kB
Cached:         20013312 kB
SwapCached:            0 kB
Active:          2660612 kB
Inactive:       24263140 kB
Active(anon):       1552 kB
Inactive(anon):  6711460 kB
Active(file):    2659060 kB
Inactive(file): 17551680 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             55928 kB
Writeback:             0 kB
AnonPages:       6658304 kB
Mapped:           138748 kB
Shmem:             54104 kB
KReclaimable:     284248 kB
Slab:             410068 kB
SReclaimable:     284248 kB
SUnreclaim:       125820 kB
KernelStack:        5104 kB
PageTables:        23224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7409780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6328320 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:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC024 at 2024-07-24 15:51:45