Trace number 4456461

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.28 3603.83

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-cap101_wcsp.wbo
MD5SUM67d067d79b844c4946a358fd5c7ae34f
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7648133
Best CPU time to get the best result obtained on this benchmark1.29866
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 59386724
Min constraint cost 1
Max constraint cost 59386724
Sum of constraints costs 74836280126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4456461-1721721992.wbo
0.13/0.12	c reading problem ... 
0.13/0.19	c ... done. Wall clock time 0.065s.
0.13/0.19	c declared #vars     1300
0.13/0.19	c internal #vars     3823
0.13/0.19	c #constraints  2674
0.13/0.19	c constraints type 
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1323
0.13/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.13/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1300
0.13/0.19	c 2674 constraints processed.
0.13/0.20	c objective function length is 2523 literals
0.34/0.24	c SATISFIABLE
0.34/0.24	c OPTIMIZING...
0.34/0.24	c Got one! Elapsed wall clock time (in seconds):0.112
0.34/0.24	o 7851242
1.88/1.03	c cleaning 2499 clauses out of 5000 with flag 14308/5000
2.67/1.75	c cleaning 4251 clauses out of 8501 with flag 32994/11000
3.55/2.57	c cleaning 5623 clauses out of 11252 with flag 54765/18002
4.46/3.38	c cleaning 6807 clauses out of 13627 with flag 78963/26000
5.66/4.41	c cleaning 7903 clauses out of 15820 with flag 105982/35000
6.76/5.43	c cleaning 8954 clauses out of 17917 with flag 138365/45000
7.79/6.43	c cleaning 9980 clauses out of 19964 with flag 175627/56001
8.90/7.53	c cleaning 10979 clauses out of 21984 with flag 213546/68001
10.10/8.76	c cleaning 11996 clauses out of 24004 with flag 258182/81000
11.62/10.26	c cleaning 13002 clauses out of 26008 with flag 317610/95000
13.31/11.93	c cleaning 13992 clauses out of 28006 with flag 368995/110000
14.91/13.58	c cleaning 15004 clauses out of 30014 with flag 426618/126000
16.75/15.30	c cleaning 15991 clauses out of 32010 with flag 488048/143000
18.56/17.15	c cleaning 16998 clauses out of 34019 with flag 555539/161000
20.46/19.06	c cleaning 17995 clauses out of 36021 with flag 625574/180000
22.57/21.19	c cleaning 19007 clauses out of 38026 with flag 700255/200000
24.90/23.43	c cleaning 20009 clauses out of 40021 with flag 772586/221002
27.00/25.56	c cleaning 20996 clauses out of 42012 with flag 851949/243002
29.20/27.78	c cleaning 22008 clauses out of 44015 with flag 932772/266001
31.69/30.21	c cleaning 22992 clauses out of 46006 with flag 1014843/290000
34.19/32.76	c cleaning 24005 clauses out of 48014 with flag 1102012/315000
37.29/35.88	c cleaning 25003 clauses out of 50010 with flag 1183539/341001
40.68/39.20	c cleaning 26002 clauses out of 52006 with flag 1274608/368000
44.38/42.94	c cleaning 27003 clauses out of 54006 with flag 1367077/396002
48.27/46.82	c cleaning 28001 clauses out of 56001 with flag 1475219/425000
51.97/50.59	c cleaning 28998 clauses out of 58000 with flag 1579894/455000
55.89/54.49	c cleaning 29993 clauses out of 60002 with flag 1690184/486000
60.15/58.70	c cleaning 31002 clauses out of 62012 with flag 1797755/518003
64.22/62.87	c cleaning 32000 clauses out of 64007 with flag 1915269/551000
68.49/67.19	c cleaning 32994 clauses out of 66007 with flag 2038135/585000
72.78/71.49	c cleaning 34000 clauses out of 68013 with flag 2155963/620000
76.64/75.39	c cleaning 34990 clauses out of 70013 with flag 2270001/656000
81.14/79.88	c cleaning 36010 clauses out of 72025 with flag 2389240/693002
85.20/83.96	c cleaning 36984 clauses out of 74013 with flag 2530900/731000
89.19/87.98	c cleaning 38000 clauses out of 76030 with flag 2672797/770001
93.52/92.23	c cleaning 39003 clauses out of 78029 with flag 2824741/810000
97.90/96.60	c cleaning 40010 clauses out of 80026 with flag 2989508/851000
102.04/100.79	c cleaning 40982 clauses out of 82017 with flag 3150718/893001
106.93/105.64	c cleaning 41984 clauses out of 84037 with flag 3309240/936003
112.12/110.89	c cleaning 43018 clauses out of 86052 with flag 3487110/980002
117.32/116.07	c cleaning 44003 clauses out of 88032 with flag 3660762/1025000
122.61/121.30	c cleaning 44999 clauses out of 90029 with flag 3833677/1071000
128.10/126.82	c cleaning 46008 clauses out of 92030 with flag 4009299/1118000
133.59/132.38	c cleaning 47010 clauses out of 94022 with flag 4179282/1166000
139.42/138.18	c cleaning 47999 clauses out of 96012 with flag 4355141/1215000
144.90/143.62	c cleaning 48992 clauses out of 98014 with flag 4534728/1265001
150.61/149.37	c cleaning 50000 clauses out of 100022 with flag 4710583/1316001
156.30/155.09	c cleaning 51006 clauses out of 102022 with flag 4903646/1368001
162.23/160.93	c cleaning 52004 clauses out of 104017 with flag 5102579/1421002
168.22/166.90	c cleaning 52990 clauses out of 106011 with flag 5307694/1475000
174.31/173.04	c cleaning 53991 clauses out of 108021 with flag 5507169/1530000
181.03/179.71	c cleaning 54996 clauses out of 110031 with flag 5713641/1586001
187.61/186.37	c cleaning 56006 clauses out of 112034 with flag 5917084/1643000
194.60/193.34	c cleaning 57008 clauses out of 114029 with flag 6138638/1701001
201.35/200.04	c cleaning 58003 clauses out of 116020 with flag 6369810/1760000
208.23/206.93	c cleaning 58985 clauses out of 118017 with flag 6611762/1820000
215.32/214.02	c cleaning 60011 clauses out of 120034 with flag 6858123/1881002
222.80/221.53	c cleaning 61003 clauses out of 122021 with flag 7072969/1943000
230.73/229.49	c cleaning 62000 clauses out of 124020 with flag 7301878/2006002
238.33/237.03	c cleaning 62995 clauses out of 126018 with flag 7548454/2070000
245.51/244.29	c cleaning 63993 clauses out of 128024 with flag 7792541/2135001
253.56/252.22	c cleaning 65014 clauses out of 130033 with flag 8042322/2201003
261.54/260.28	c cleaning 65993 clauses out of 132016 with flag 8286403/2268000
269.63/268.30	c cleaning 66991 clauses out of 134023 with flag 8557774/2336000
277.32/276.03	c cleaning 67998 clauses out of 136034 with flag 8827843/2405002
285.55/284.26	c cleaning 69002 clauses out of 138034 with flag 9087718/2475000
293.83/292.56	c cleaning 70014 clauses out of 140032 with flag 9350167/2546000
302.61/301.31	c cleaning 71001 clauses out of 142019 with flag 9622153/2618001
311.50/310.21	c cleaning 72002 clauses out of 144020 with flag 9882931/2691003
321.66/320.35	c cleaning 72997 clauses out of 146016 with flag 10172837/2765001
331.64/330.32	c cleaning 73997 clauses out of 148018 with flag 10439366/2840000
342.43/341.15	c cleaning 75008 clauses out of 150022 with flag 10723491/2916001
354.00/352.78	c cleaning 75994 clauses out of 152014 with flag 11031379/2993001
365.88/364.63	c cleaning 77003 clauses out of 154019 with flag 11392489/3071000
376.96/375.79	c cleaning 77996 clauses out of 156016 with flag 11750544/3150000
389.04/387.31	c cleaning 79009 clauses out of 158022 with flag 12077372/3230002
401.12/399.41	c cleaning 80000 clauses out of 160011 with flag 12397362/3311000
413.19/411.50	c cleaning 81005 clauses out of 162011 with flag 12712368/3393000
424.87/423.22	c cleaning 81979 clauses out of 164007 with flag 13025476/3476001
437.45/435.86	c cleaning 83007 clauses out of 166028 with flag 13351480/3560001
448.40/446.73	c cleaning 83997 clauses out of 168022 with flag 13669356/3645002
459.08/457.50	c cleaning 84977 clauses out of 170023 with flag 13998292/3731000
469.76/468.13	c cleaning 86017 clauses out of 172046 with flag 14319513/3818000
480.14/478.52	c cleaning 86995 clauses out of 174029 with flag 14669279/3906000
493.10/491.40	c cleaning 88016 clauses out of 176035 with flag 14998329/3995001
504.69/503.06	c cleaning 88978 clauses out of 178018 with flag 15339299/4085000
515.77/514.18	c cleaning 90017 clauses out of 180041 with flag 15695383/4176001
526.90/525.39	c cleaning 90999 clauses out of 182023 with flag 16048785/4268000
537.84/536.27	c cleaning 91999 clauses out of 184024 with flag 16426843/4361000
548.12/546.50	c cleaning 92983 clauses out of 186027 with flag 16843139/4455002
557.91/556.37	c cleaning 94000 clauses out of 188042 with flag 17245792/4550000
568.39/566.89	c cleaning 95009 clauses out of 190042 with flag 17661270/4646000
579.83/578.20	c cleaning 95996 clauses out of 192033 with flag 18082695/4743000
590.73/589.22	c cleaning 97001 clauses out of 194040 with flag 18472662/4841003
603.03/601.66	c cleaning 98010 clauses out of 196037 with flag 18851897/4940001
615.81/614.54	c cleaning 98996 clauses out of 198026 with flag 19255320/5040000
626.71/625.53	c cleaning 99991 clauses out of 200033 with flag 19692793/5141003
638.48/637.38	c cleaning 100991 clauses out of 202039 with flag 20109803/5243000
651.37/650.36	c cleaning 102013 clauses out of 204048 with flag 20543545/5346000
663.37/662.45	c cleaning 103000 clauses out of 206035 with flag 20987891/5450000
675.96/675.19	c cleaning 104010 clauses out of 208037 with flag 21416453/5555002
688.84/688.17	c cleaning 104973 clauses out of 210027 with flag 21862602/5661002
702.72/702.17	c cleaning 106016 clauses out of 212053 with flag 22278192/5768001
716.68/716.24	c cleaning 106999 clauses out of 214036 with flag 22691809/5876000
732.42/732.00	c cleaning 108011 clauses out of 216042 with flag 23130523/5985005
745.01/744.71	c cleaning 108984 clauses out of 218027 with flag 23567493/6095001
758.79/758.65	c cleaning 110001 clauses out of 220044 with flag 24007123/6206002
773.78/773.15	c cleaning 111016 clauses out of 222041 with flag 24444934/6318000
790.08/789.55	c cleaning 112007 clauses out of 224025 with flag 24848182/6431000
805.35/804.80	c cleaning 113003 clauses out of 226018 with flag 25256291/6545000
820.72/820.26	c cleaning 113993 clauses out of 228015 with flag 25692635/6660000
838.06/837.67	c cleaning 115005 clauses out of 230023 with flag 26140591/6776001
853.33/853.10	c cleaning 115995 clauses out of 232019 with flag 26573884/6893002
869.19/869.01	c cleaning 117003 clauses out of 234022 with flag 27003559/7011000
885.74/885.77	c cleaning 118002 clauses out of 236019 with flag 27426880/7130000
902.69/902.83	c cleaning 118992 clauses out of 238018 with flag 27840142/7250001
920.18/920.36	c cleaning 120013 clauses out of 240026 with flag 28304021/7371001
936.75/936.93	c cleaning 120991 clauses out of 242012 with flag 28737487/7493000
952.93/953.12	c cleaning 121990 clauses out of 244021 with flag 29190911/7616000
968.59/968.84	c cleaning 123004 clauses out of 246031 with flag 29656539/7740000
985.25/985.57	c cleaning 124000 clauses out of 248028 with flag 30121653/7865001
1002.71/1003.08	c cleaning 125005 clauses out of 250028 with flag 30587729/7991001
1020.45/1020.78	c cleaning 126000 clauses out of 252022 with flag 31055874/8118000
1037.11/1037.45	c cleaning 126987 clauses out of 254022 with flag 31546802/8246000
1054.58/1054.91	c cleaning 128003 clauses out of 256035 with flag 32041161/8375000
1070.94/1071.32	c cleaning 129003 clauses out of 258033 with flag 32509485/8505001
1088.80/1089.29	c cleaning 130011 clauses out of 260030 with flag 33004406/8636001
1107.27/1107.68	c cleaning 131005 clauses out of 262018 with flag 33535952/8768000
1124.75/1125.18	c cleaning 131998 clauses out of 264015 with flag 34048739/8901002
1142.71/1143.11	c cleaning 132997 clauses out of 266018 with flag 34544266/9035003
1160.47/1160.99	c cleaning 133989 clauses out of 268019 with flag 35018349/9170001
1178.23/1178.67	c cleaning 135010 clauses out of 270030 with flag 35551069/9306001
1195.60/1196.07	c cleaning 135992 clauses out of 272020 with flag 36046206/9443001
1213.87/1214.37	c cleaning 136997 clauses out of 274027 with flag 36583948/9581000
1232.13/1232.67	c cleaning 138000 clauses out of 276030 with flag 37110053/9720000
1250.51/1251.07	c cleaning 139015 clauses out of 278030 with flag 37634460/9860000
1269.02/1269.15	c cleaning 139989 clauses out of 280018 with flag 38176557/10001003
1287.36/1287.66	c cleaning 141008 clauses out of 282027 with flag 38727483/10143001
1306.09/1306.52	c cleaning 141999 clauses out of 284020 with flag 39306763/10286002
1324.01/1324.55	c cleaning 143003 clauses out of 286020 with flag 39870567/10430001
1342.93/1343.64	c cleaning 143994 clauses out of 288017 with flag 40462610/10575001
1362.76/1363.65	c cleaning 145013 clauses out of 290025 with flag 41054429/10721003
1382.28/1383.36	c cleaning 146001 clauses out of 292009 with flag 41669347/10868000
1403.59/1404.88	c cleaning 147003 clauses out of 294009 with flag 42308144/11016001
1421.77/1422.97	c cleaning 147987 clauses out of 296005 with flag 42933497/11165000
1442.33/1443.51	c cleaning 149000 clauses out of 298018 with flag 43519236/11315000
1462.81/1464.02	c cleaning 149995 clauses out of 300018 with flag 44113104/11466000
1485.57/1486.82	c cleaning 150990 clauses out of 302023 with flag 44684649/11618000
1505.47/1506.62	c cleaning 151994 clauses out of 304033 with flag 45301200/11771000
1526.13/1527.35	c cleaning 153013 clauses out of 306042 with flag 45928637/11925003
1544.91/1546.10	c cleaning 154006 clauses out of 308027 with flag 46619663/12080001
1564.26/1565.59	c cleaning 154978 clauses out of 310021 with flag 47283722/12236001
1584.13/1585.46	c cleaning 156004 clauses out of 312042 with flag 47982451/12393000
1604.22/1605.52	c cleaning 157008 clauses out of 314040 with flag 48651357/12551002
1625.92/1627.47	c cleaning 157992 clauses out of 316030 with flag 49330529/12710000
1648.02/1649.73	c cleaning 159006 clauses out of 318043 with flag 50000057/12870005
1670.23/1672.18	c cleaning 160011 clauses out of 320032 with flag 50648449/13031000
1692.38/1693.96	c cleaning 161002 clauses out of 322021 with flag 51293562/13193000
1714.84/1716.42	c cleaning 161995 clauses out of 324019 with flag 51939635/13356000
1736.80/1738.47	c cleaning 162998 clauses out of 326024 with flag 52584440/13520000
1764.36/1766.02	c cleaning 164001 clauses out of 328026 with flag 53187424/13685000
1792.88/1794.51	c cleaning 165000 clauses out of 330025 with flag 53796760/13851000
1817.03/1818.70	c cleaning 166001 clauses out of 332025 with flag 54443774/14018000
1844.88/1846.62	c cleaning 166991 clauses out of 334024 with flag 55111170/14186000
1868.53/1870.38	c cleaning 168003 clauses out of 336034 with flag 55766329/14355001
1895.18/1897.07	c cleaning 168988 clauses out of 338030 with flag 56435436/14525000
1919.75/1921.65	c cleaning 169997 clauses out of 340043 with flag 57090028/14696001
1945.23/1947.30	c cleaning 171004 clauses out of 342050 with flag 57792736/14868005
1969.52/1971.80	c cleaning 172014 clauses out of 344043 with flag 58479974/15041002
1995.49/1998.02	c cleaning 173003 clauses out of 346027 with flag 59194282/15215000
2022.55/2025.36	c cleaning 174000 clauses out of 348024 with flag 59867688/15390000
2049.99/2052.73	c cleaning 174999 clauses out of 350024 with flag 60595207/15566000
2077.35/2080.11	c cleaning 176006 clauses out of 352027 with flag 61279935/15743002
2107.90/2110.75	c cleaning 177003 clauses out of 354019 with flag 61966422/15921000
2132.36/2135.26	c cleaning 178009 clauses out of 356018 with flag 62686713/16100002
2158.20/2160.90	c cleaning 178994 clauses out of 358007 with flag 63392198/16280000
2186.15/2188.93	c cleaning 179992 clauses out of 360013 with flag 64111216/16461000
2212.80/2215.60	c cleaning 180989 clauses out of 362021 with flag 64848966/16643000
2241.10/2243.23	c cleaning 181998 clauses out of 364033 with flag 65530949/16826001
2270.05/2272.20	c cleaning 183005 clauses out of 366035 with flag 66230400/17010001
2296.01/2298.29	c cleaning 183997 clauses out of 368029 with flag 66962193/17195000
2322.05/2324.20	c cleaning 185000 clauses out of 370035 with flag 67705259/17381003
2348.60/2350.89	c cleaning 186005 clauses out of 372032 with flag 68442058/17568000
2376.66/2378.96	c cleaning 187005 clauses out of 374027 with flag 69166383/17756000
2405.80/2408.06	c cleaning 188000 clauses out of 376024 with flag 69876643/17945002
2431.75/2434.06	c cleaning 188992 clauses out of 378023 with flag 70627344/18135001
2457.00/2459.32	c cleaning 190006 clauses out of 380032 with flag 71392127/18326002
2485.24/2487.61	c cleaning 190989 clauses out of 382024 with flag 72157994/18518000
2510.19/2512.63	c cleaning 192005 clauses out of 384038 with flag 72959222/18711003
2535.75/2538.46	c cleaning 192991 clauses out of 386030 with flag 73773539/18905000
2560.73/2563.68	c cleaning 194012 clauses out of 388039 with flag 74590546/19100000
2586.15/2589.07	c cleaning 195004 clauses out of 390028 with flag 75414795/19296001
2619.20/2622.18	c cleaning 196008 clauses out of 392027 with flag 76195308/19493004
2646.06/2649.03	c cleaning 196985 clauses out of 394015 with flag 76935118/19691000
2674.16/2676.40	c cleaning 197988 clauses out of 396031 with flag 77690284/19890001
2698.23/2700.68	c cleaning 198987 clauses out of 398042 with flag 78510778/20090000
2726.58/2729.27	c cleaning 200008 clauses out of 400055 with flag 79272400/20291000
2752.95/2755.85	c cleaning 201007 clauses out of 402047 with flag 80110870/20493000
2778.93/2781.97	c cleaning 202015 clauses out of 404040 with flag 80951434/20696000
2804.00/2807.20	c cleaning 202987 clauses out of 406027 with flag 81782694/20900002
2829.18/2832.69	c cleaning 203994 clauses out of 408038 with flag 82658547/21105000
2855.07/2858.52	c cleaning 205003 clauses out of 410044 with flag 83506292/21311000
2882.93/2886.45	c cleaning 206009 clauses out of 412041 with flag 84339074/21518000
2913.58/2917.15	c cleaning 206990 clauses out of 414032 with flag 85101025/21726000
2944.32/2947.82	c cleaning 208014 clauses out of 416043 with flag 85907964/21935001
2971.97/2975.58	c cleaning 209002 clauses out of 418031 with flag 86722424/22145003
3004.53/3008.13	c cleaning 210011 clauses out of 420026 with flag 87563881/22356000
3036.38/3039.93	c cleaning 210993 clauses out of 422015 with flag 88393619/22568000
3066.33/3069.96	c cleaning 211992 clauses out of 424023 with flag 89218788/22781001
3098.49/3101.38	c cleaning 213005 clauses out of 426033 with flag 90034240/22995003
3128.02/3130.97	c cleaning 213975 clauses out of 428025 with flag 90859160/23210000
3161.43/3164.53	c cleaning 215019 clauses out of 430050 with flag 91724704/23426000
3190.87/3194.28	c cleaning 216007 clauses out of 432031 with flag 92578694/23643000
3221.81/3225.22	c cleaning 216997 clauses out of 434026 with flag 93451667/23861002
3251.46/3255.00	c cleaning 218000 clauses out of 436027 with flag 94325332/24080000
3278.81/3282.34	c cleaning 219011 clauses out of 438028 with flag 95196756/24300001
3309.42/3312.99	c cleaning 219996 clauses out of 440020 with flag 96120321/24521004
3340.77/3344.37	c cleaning 220993 clauses out of 442020 with flag 97032929/24743000
3374.91/3378.59	c cleaning 221996 clauses out of 444027 with flag 97933715/24966000
3407.42/3411.07	c cleaning 223001 clauses out of 446032 with flag 98795566/25190001
3442.36/3446.06	c cleaning 224008 clauses out of 448030 with flag 99629031/25415000
3477.30/3481.01	c cleaning 224969 clauses out of 450022 with flag 100522840/25641000
3513.38/3517.02	c cleaning 226013 clauses out of 452053 with flag 101440295/25868000
3548.43/3552.16	c cleaning 227009 clauses out of 454040 with flag 102292129/26096000
3585.06/3588.86	c cleaning 228001 clauses out of 456033 with flag 103117787/26325002
3600.04/3603.71	c starts		: 14408
3600.04/3603.71	c conflicts		: 26444859
3600.04/3603.71	c decisions		: 102422352
3600.04/3603.71	c propagations		: 11628058278
3600.04/3603.71	c inspects		: 19383087273
3600.04/3603.71	c shortcuts		: 0
3600.04/3603.71	c learnt literals	: 0
3600.04/3603.71	c learnt binary clauses	: 0
3600.04/3603.71	c learnt ternary clauses	: 0
3600.04/3603.71	c learnt constraints	: 26444859
3600.04/3603.71	c ignored constraints	: 0
3600.04/3603.71	c root simplifications	: 0
3600.04/3603.71	c removed literals (reason simplification)	: 0
3600.04/3603.71	c reason swapping (by a shorter reason)	: 0
3600.04/3603.71	c Calls to reduceDB	: 225
3600.04/3603.71	c Number of update (reduction) of LBD	: 15157879
3600.04/3603.71	c Imported unit clauses	: 0
3600.04/3603.71	c No decision after first conflict	: false
3600.04/3603.71	c number of reductions to clauses (during analyze)	: 0
3600.04/3603.71	c number of learned constraints concerned by reduction	: 0
3600.04/3603.71	c number of learning phase by resolution	: 0
3600.04/3603.71	c number of learning phase by cutting planes	: 0
3600.04/3603.71	c number of rounding to 1 operations	: 0
3600.04/3603.71	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3603.71	c number of reductions of the coefficients by power 2 	: 0
3600.04/3603.71	c number of right shift for reduction by power 2 	: 0
3600.04/3603.71	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3603.72	c number of ending skipping 	: 0
3600.04/3603.72	c number of internal skipping 	: 0
3600.04/3603.72	c number of derivation steps 	: 0
3600.04/3603.72	c number of skipped derivation steps 	: 0
3600.04/3603.72	c number of remaining unassigned 	: 0
3600.04/3603.72	c number of remaining assigned 	: 0
3600.04/3603.72	c number of falsified literals weakened from reason	: 0
3600.04/3603.72	c number of falsified literals weakened from conflict	: 0
3600.04/3603.72	c time for arithmetic operations	: 0
3600.04/3603.72	c minimum degree of deleted constraints	: null
3600.04/3603.72	c maximum degree of deleted constraints	: null
3600.04/3603.72	c number of deleted constraints	: 0
3600.04/3603.74	c speed (assignments/second)	: 3226873.572015698
3600.04/3603.74	c non guided choices	: 271
3600.24/3603.81	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 347889
3600.24/3603.81	s SATISFIABLE
3600.24/3603.81	c Found 1 solution(s)
3600.24/3603.81	v -x1 x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 -x11 x12 -x13 x14 -x15 x16 -x17 x18 -x19 x20 -x21 x22 -x23 x24 -x25 x26 x27 -x28 -x29 x30 -x31 x32 -x33 x34 -x35 x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 x46 -x47 x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 
3600.24/3603.81	c objective function=7851242
3600.24/3603.81	c Total wall clock time (in seconds): 3603.686

Verifier Data 

OK	7851242

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456461-1721721992/watcher-4456461-1721721992 -o /tmp/evaluation-result-4456461-1721721992/solver-4456461-1721721992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86040 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456461-1721721992.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=89463, runsolver pid=89460

[startup+0.100934 s]*
/proc/loadavg: 4.31 4.20 4.13 5/328 89481
/proc/meminfo: memFree=88771760/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=18975048 memory=65676 CPUtime=0.13 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 7717 0 0 0 11 2 0 0 20 0 18 0 8721714 19430449152 16419 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4743762 16419 5772 1 0 549335 0
[pid=89463/tid=89465] ppid=89460 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 1078198336 6243 0 0 0 7 1 0 0 20 0 18 0 8721714 19430449152 16419 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8721717 19430449152 16419 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=18975048 memory=15542920530909205 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8721717 19430449152 16419 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65676 KiB

[startup+0.208385 s]*
/proc/loadavg: 4.31 4.20 4.13 7/328 89481
/proc/meminfo: memFree=88761580/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=18975048 memory=76040 CPUtime=0.34 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 8216 0 0 0 31 3 0 0 20 0 18 0 8721714 19430449152 19010 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4743762 19010 5896 1 0 549640 0
[pid=89463/tid=89465] ppid=89460 vsize=18975048 memory=664970838410264707 CPUtime=0.18 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 6510 0 0 0 16 2 0 0 20 0 18 0 8721714 19430449152 19010 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=18975048 memory=18993 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8721717 19430449152 19010 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8721717 19430449152 19010 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76040 KiB

[startup+0.306387 s]*
/proc/loadavg: 4.45 4.23 4.14 7/329 89482
/proc/meminfo: memFree=88756200/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19041612 memory=80972 CPUtime=0.52 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 9412 0 0 0 49 3 0 0 20 0 19 0 8721714 19498610688 20243 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4760403 20243 5897 1 0 550653 0
[pid=89463/tid=89465] ppid=89460 vsize=19041612 memory=-6000919507049538407 CPUtime=0.27 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 6559 0 0 0 25 2 0 0 20 0 19 0 8721714 19498610688 20243 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721717 19498610688 20243 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721717 19498610688 20243 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721736 19498610688 20243 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80972 KiB

[startup+0.700388 s]
/proc/loadavg: 4.45 4.23 4.14 7/329 89482
/proc/meminfo: memFree=88749364/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19041612 memory=93216 CPUtime=1.28 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 12495 0 0 0 125 3 0 0 20 0 19 0 8721714 19498610688 23304 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4760403 23304 5897 1 0 552631 0
[pid=89463/tid=89465] ppid=89460 vsize=19041612 memory=13048 CPUtime=0.65 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 6569 0 0 0 63 2 0 0 20 0 19 0 8721714 19498610688 23304 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19041612 memory=13048 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721717 19498610688 23304 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721717 19498610688 23304 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19041612 memory=39748 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721736 19498610688 23304 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93216 KiB

[startup+1.5055 s]
/proc/loadavg: 4.45 4.23 4.14 8/307 89499
/proc/meminfo: memFree=99847044/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19041612 memory=101652 CPUtime=2.47 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 14263 0 0 0 243 4 0 0 20 0 19 0 8721714 19498610688 25413 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4760403 25413 5897 1 0 553071 0
[pid=89463/tid=89465] ppid=89460 vsize=19041612 memory=13048 CPUtime=1.44 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 6723 0 0 0 142 2 0 0 20 0 19 0 8721714 19498610688 25413 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721717 19498610688 25413 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721717 19498610688 25413 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19041612 memory=65 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721736 19498610688 25413 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101652 KiB

[startup+3.10559 s]
/proc/loadavg: 4.45 4.23 4.14 5/328 89549
/proc/meminfo: memFree=99747664/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19041612 memory=114028 CPUtime=4.27 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 17050 0 0 0 423 4 0 0 20 0 19 0 8721714 19498610688 28507 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4760403 28507 5897 1 0 553079 0
[pid=89463/tid=89465] ppid=89460 vsize=19041612 memory=0 CPUtime=3.04 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 7176 0 0 0 301 3 0 0 20 0 19 0 8721714 19498610688 28507 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721717 19498610688 28507 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19041612 memory=103712 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721717 19498610688 28507 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19041612 memory=13048 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721736 19498610688 28507 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 114028 KiB

[startup+6.30026 s]
/proc/loadavg: 4.49 4.24 4.14 5/328 89549
/proc/meminfo: memFree=99679476/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19041612 memory=140892 CPUtime=7.7 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 21949 0 0 0 765 5 0 0 20 0 19 0 8721714 19498610688 35223 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4760403 35223 5913 1 0 553093 0
[pid=89463/tid=89465] ppid=89460 vsize=19041612 memory=0 CPUtime=6.22 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 7896 0 0 0 619 3 0 0 20 0 19 0 8721714 19498610688 35223 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721717 19498610688 35223 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19041612 memory=13048 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721717 19498610688 35223 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19041612 memory=11684 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721736 19498610688 35223 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 7.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 140892 KiB

[startup+12.7003 s]
/proc/loadavg: 4.45 4.24 4.14 5/330 89552
/proc/meminfo: memFree=99575436/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19108176 memory=188968 CPUtime=14.11 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 25420 0 0 0 1404 7 0 0 20 0 20 0 8721714 19566772224 47242 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4777044 47242 5970 1 0 553398 0
[pid=89463/tid=89465] ppid=89460 vsize=19108176 memory=0 CPUtime=12.6 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 8710 0 0 0 1256 4 0 0 20 0 20 0 8721714 19566772224 47242 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19108176 memory=188968 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 47242 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 47242 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19108176 memory=13048 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721736 19566772224 47242 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 14.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188968 KiB

[startup+25.5003 s]
/proc/loadavg: 4.54 4.26 4.15 5/330 89554
/proc/meminfo: memFree=99531544/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19108176 memory=201560 CPUtime=27 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 30605 0 0 0 2692 8 0 0 20 0 20 0 8721714 19566772224 50390 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4777044 50390 5970 1 0 553398 0
[pid=89463/tid=89465] ppid=89460 vsize=19108176 memory=13048 CPUtime=25.33 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 9549 0 0 0 2529 4 0 0 20 0 20 0 8721714 19566772224 50390 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 50390 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19108176 memory=201560 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 50390 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19108176 memory=201560 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721736 19566772224 50390 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201560 KiB

[startup+51.1057 s]
/proc/loadavg: 4.41 4.25 4.15 5/330 89558
/proc/meminfo: memFree=99312756/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19108176 memory=273592 CPUtime=52.57 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 34023 0 0 0 5245 12 0 0 20 0 20 0 8721714 19566772224 68398 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4777044 68398 5970 1 0 553398 0
[pid=89463/tid=89465] ppid=89460 vsize=19108176 memory=201560 CPUtime=50.74 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 11090 0 0 0 5070 4 0 0 20 0 20 0 8721714 19566772224 68398 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19108176 memory=11684 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/333 91400
/proc/meminfo: memFree=98523268/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19108176 memory=2178084 CPUtime=3278.81 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 187203 0 0 0 327729 152 0 0 20 0 20 0 8721714 19566772224 544521 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4777044 544521 5985 1 0 557978 0
[pid=89463/tid=89465] ppid=89460 vsize=19108176 memory=2178084 CPUtime=3261.93 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 68402 0 0 0 326172 21 0 0 20 0 20 0 8721714 19566772224 544521 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19108176 memory=2178084 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544521 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19108176 memory=5520 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 2383 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544521 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19108176 memory=2720 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721736 19566772224 544521 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 3278.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178084 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/333 91410
/proc/meminfo: memFree=98244008/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19108176 memory=2178092 CPUtime=3338.77 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 188982 0 0 0 333723 154 0 0 20 0 20 0 8721714 19566772224 544523 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4777044 544523 5985 1 0 557978 0
[pid=89463/tid=89465] ppid=89460 vsize=19108176 memory=2178092 CPUtime=3321.72 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 69161 0 0 0 332151 21 0 0 20 0 20 0 8721714 19566772224 544523 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19108176 memory=2178092 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544523 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19108176 memory=11684 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 2460 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544523 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19108176 memory=2178092 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721736 19566772224 544523 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 3338.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.63 4.29 4.22 5/333 91421
/proc/meminfo: memFree=97985020/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19108176 memory=2178096 CPUtime=3398.73 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 190148 0 0 0 339718 155 0 0 20 0 20 0 8721714 19566772224 544524 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4777044 544524 5985 1 0 557978 0
[pid=89463/tid=89465] ppid=89460 vsize=19108176 memory=11684 CPUtime=3381.49 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 69434 0 0 0 338128 21 0 0 20 0 20 0 8721714 19566772224 544524 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19108176 memory=2178092 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544524 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19108176 memory=2178096 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 2460 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544524 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19108176 memory=2178096 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721736 19566772224 544524 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 3398.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178096 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.27 4.21 5/331 91431
/proc/meminfo: memFree=97984700/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19108176 memory=2178108 CPUtime=3458.62 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 191285 0 0 0 345706 156 0 0 20 0 20 0 8721714 19566772224 544527 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4777044 544527 5985 1 0 557978 0
[pid=89463/tid=89465] ppid=89460 vsize=19108176 memory=11684 CPUtime=3441.36 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 70227 0 0 0 344115 21 0 0 20 0 20 0 8721714 19566772224 544527 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19108176 memory=2178096 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544527 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19108176 memory=2720 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 2546 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544527 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19108176 memory=-6000919507049538407 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721736 19566772224 544527 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 3458.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.27 4.21 5/331 91442
/proc/meminfo: memFree=97984136/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19108176 memory=2178112 CPUtime=3518.68 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 193017 0 0 0 351709 159 0 0 20 0 20 0 8721714 19566772224 544528 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4777044 544528 5985 1 0 557978 0
[pid=89463/tid=89465] ppid=89460 vsize=19108176 memory=2720 CPUtime=3501.09 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 70565 0 0 0 350088 21 0 0 20 0 20 0 8721714 19566772224 544528 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544528 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19108176 memory=2178112 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 2556 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544528 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19108176 memory=2178112 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721736 19566772224 544528 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 3518.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.35 4.30 4.23 5/330 91452
/proc/meminfo: memFree=97647268/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19108176 memory=2178112 CPUtime=3578.57 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 193254 0 0 0 357697 160 0 0 20 0 20 0 8721714 19566772224 544528 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4777044 544528 5985 1 0 557978 0
[pid=89463/tid=89465] ppid=89460 vsize=19108176 memory=2178112 CPUtime=3560.96 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 70778 0 0 0 356075 21 0 0 20 0 20 0 8721714 19566772224 544528 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19108176 memory=2178112 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544528 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19108176 memory=2178112 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 2557 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544528 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19108176 memory=2178112 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721736 19566772224 544528 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 3578.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.7 s]
/proc/loadavg: 4.17 4.27 4.22 4/304 91489
/proc/meminfo: memFree=102058128/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19108176 memory=2178172 CPUtime=3600.04 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 195126 0 0 0 359844 160 0 0 20 0 20 0 8721714 19566772224 544543 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4777044 544543 5985 1 0 557978 0
[pid=89463/tid=89465] ppid=89460 vsize=19108176 memory=7480 CPUtime=3582.19 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 71352 0 0 0 358198 21 0 0 20 0 20 0 8721714 19566772224 544543 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19108176 memory=-6000919507049538407 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544543 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19108176 memory=2178172 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 2557 0 0 0 0 0 0 0 20 0 20 0 8721717 19566772224 544543 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89482] ppid=89460 vsize=19108176 memory=2178112 CPUtime=0 cores=4,6
/proc/89463/task/89482/stat : 89482 (Timer-0) S 89460 89463 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721736 19566772224 544543 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178172 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.66 s, system=1.62031 s

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

[startup+3603.81 s]
/proc/loadavg: 4.17 4.27 4.22 4/304 91489
/proc/meminfo: memFree=102058128/131524600 swapFree=131071996/131071996
[pid=89463] ppid=89460 vsize=19307868 memory=2178952 CPUtime=3600.24 cores=4,6
/proc/89463/stat : 89463 (java) S 89460 89463 86029 0 -1 1077936128 197877 0 0 0 359864 160 0 0 20 0 21 0 8721714 19771256832 544738 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
/proc/89463/statm: 4826967 544738 5984 1 0 558908 0
[pid=89463/tid=89465] ppid=89460 vsize=19307868 memory=16140 CPUtime=3582.28 cores=4,6
/proc/89463/task/89465/stat : 89465 (java) R 89460 89463 86029 0 -1 4194368 71425 0 0 0 358207 21 0 0 20 0 21 0 8721714 19771256832 544738 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89474] ppid=89460 vsize=19307868 memory=-6000919507049538407 CPUtime=0 cores=4,6
/proc/89463/task/89474/stat : 89474 (Finalizer) S 89460 89463 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8721717 19771256832 544738 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
[pid=89463/tid=89481] ppid=89460 vsize=19307868 memory=35460 CPUtime=0 cores=4,6
/proc/89463/task/89481/stat : 89481 (Common-Cleaner) S 89460 89463 86029 0 -1 1077936192 2557 0 0 0 0 0 0 0 20 0 21 0 8721717 19771256832 544738 134679101440 94751447203840 94751447207536 140722689128464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94751447215352 94751447216144 94751464923136 140722689131526 140722689131616 140722689131616 140722689138632 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2178952 KiB

Child status: 143

Real time (s): 3603.83
CPU time (s): 3600.28
CPU user time (s): 3598.66
CPU system time (s): 1.62031
CPU usage (%): 99.9014
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2178952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.66
system time used= 1.62031
maximum resident set size= 2179688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105882
involuntary context switches= 14391


# summary of solver processes directly reported to runsolver:
#   pid: 89463
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3598.66
#   total CPU system time (s): 1.62031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.29455 second user time and 17.0392 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-23 10:06:32
IDJOB=4456461
IDBENCH=144004
IDSOLVER=3037
FILE ID=nodeC017/4456461-1721721992
RUNJOBID= nodeC017-1721718407-86040
SLURM_JOB_ID= 7770408
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap101_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456461-1721721992/watcher-4456461-1721721992 -o /tmp/evaluation-result-4456461-1721721992/solver-4456461-1721721992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86040 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4456461-1721721992.wbo

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

MD5SUM BENCH= 67d067d79b844c4946a358fd5c7ae34f
RANDOM SEED=2044937912

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        88816084 kB
MemAvailable:   109717252 kB
Buffers:          147380 kB
Cached:         21489736 kB
SwapCached:            0 kB
Active:           913408 kB
Inactive:       41011024 kB
Active(anon):       1552 kB
Inactive(anon): 20323476 kB
Active(file):     911856 kB
Inactive(file): 20687548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8844 kB
Writeback:             0 kB
AnonPages:      20285440 kB
Mapped:           120164 kB
Shmem:             37720 kB
KReclaimable:     283176 kB
Slab:             390796 kB
SReclaimable:     283176 kB
SUnreclaim:       107620 kB
KernelStack:        4976 kB
PageTables:        49704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   32041720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18400 kB
HardwareCorrupted:     0 kB
AnonHugePages:  19865600 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:      277204 kB
DirectMap2M:    21516288 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC017 at 2024-07-23 11:06:36