Trace number 4432213

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)81425 3600.31 3590.14

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
MD5SUM45d4d1161a77415ffbfc9841f6913b11
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64210
Best CPU time to get the best result obtained on this benchmark72000.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432213-1721074053.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.91/0.56	c ... done. Wall clock time 0.43s.
0.91/0.56	c declared #vars     2700
0.91/0.56	c #constraints  43070
0.91/0.56	c constraints type 
0.91/0.56	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3330
0.91/0.56	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
0.91/0.56	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21600
0.91/0.56	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17340
0.91/0.56	c 43070 constraints processed.
0.91/0.56	c objective function length is 900 literals
1.88/1.07	c SATISFIABLE
1.88/1.07	c OPTIMIZING...
1.88/1.07	c Got one! Elapsed wall clock time (in seconds):0.946
1.88/1.07	o 91853
2.27/1.29	c cleaning 2649 clauses out of 5317 with flag 9932/5317
2.48/1.34	c Got one! Elapsed wall clock time (in seconds):1.222
2.48/1.34	o 81425
3.07/1.65	c cleaning 4029 clauses out of 8062 with flag 14954/10711
3.66/1.90	c cleaning 5012 clauses out of 10032 with flag 28588/16710
4.02/2.21	c cleaning 6006 clauses out of 12020 with flag 44980/23710
4.29/2.49	c cleaning 7008 clauses out of 14015 with flag 63356/31711
4.66/2.80	c cleaning 8005 clauses out of 16009 with flag 83326/40713
5.15/3.17	c cleaning 8996 clauses out of 18001 with flag 105680/50710
5.54/3.55	c cleaning 10003 clauses out of 20005 with flag 130855/61710
5.94/3.95	c cleaning 11000 clauses out of 22004 with flag 157912/73712
6.47/4.43	c cleaning 11997 clauses out of 24003 with flag 186902/86711
6.97/4.93	c cleaning 12995 clauses out of 26005 with flag 218292/100710
7.47/5.48	c cleaning 14003 clauses out of 28010 with flag 251859/115710
8.25/6.11	c cleaning 15000 clauses out of 30007 with flag 287891/131710
8.85/6.70	c cleaning 15999 clauses out of 32007 with flag 325798/148710
9.45/7.32	c cleaning 16994 clauses out of 34008 with flag 365350/166710
10.15/8.03	c cleaning 18001 clauses out of 36014 with flag 408089/185710
10.86/8.76	c cleaning 19003 clauses out of 38013 with flag 452579/205710
11.66/9.56	c cleaning 19997 clauses out of 40010 with flag 499726/226710
12.45/10.37	c cleaning 20998 clauses out of 42015 with flag 550426/248712
13.44/11.31	c cleaning 22004 clauses out of 44015 with flag 603056/271710
14.33/12.21	c cleaning 23005 clauses out of 46012 with flag 657335/295711
15.36/13.21	c cleaning 23997 clauses out of 48006 with flag 713994/320710
16.35/14.22	c cleaning 25002 clauses out of 50009 with flag 772718/346710
17.44/15.39	c cleaning 26001 clauses out of 52007 with flag 833390/373710
18.67/16.59	c cleaning 26993 clauses out of 54007 with flag 896361/401711
19.86/17.77	c cleaning 28003 clauses out of 56013 with flag 961886/430710
21.00/18.89	c cleaning 28995 clauses out of 58010 with flag 1029696/460710
22.21/20.08	c cleaning 30007 clauses out of 60015 with flag 1099723/491710
23.50/21.35	c cleaning 31001 clauses out of 62010 with flag 1172734/523712
24.80/22.67	c cleaning 32002 clauses out of 64007 with flag 1247024/556710
26.33/24.12	c cleaning 33003 clauses out of 66006 with flag 1323475/590711
27.73/25.50	c cleaning 33998 clauses out of 68002 with flag 1402206/625710
29.25/27.06	c cleaning 34994 clauses out of 70004 with flag 1483973/661710
30.74/28.58	c cleaning 35999 clauses out of 72010 with flag 1567914/698710
32.27/30.04	c cleaning 37002 clauses out of 74012 with flag 1654424/736711
33.77/31.53	c cleaning 38002 clauses out of 76010 with flag 1743164/775711
35.33/33.09	c cleaning 38997 clauses out of 78007 with flag 1835068/815710
36.92/34.60	c cleaning 39993 clauses out of 80010 with flag 1929100/856710
38.61/36.32	c cleaning 41001 clauses out of 82017 with flag 2025339/898710
40.55/38.25	c cleaning 42009 clauses out of 84017 with flag 2127347/941711
42.35/40.00	c cleaning 42994 clauses out of 86008 with flag 2230950/985711
44.39/42.04	c cleaning 43997 clauses out of 88013 with flag 2336050/1030710
46.28/43.93	c cleaning 45007 clauses out of 90017 with flag 2446276/1076711
48.38/46.04	c cleaning 45998 clauses out of 92010 with flag 2558899/1123711
50.43/48.02	c cleaning 46995 clauses out of 94011 with flag 2675914/1171710
52.61/50.29	c cleaning 48003 clauses out of 96017 with flag 2797597/1220711
54.71/52.31	c cleaning 49005 clauses out of 98013 with flag 2924930/1270710
56.86/54.41	c cleaning 50002 clauses out of 100012 with flag 3055324/1321714
59.35/56.92	c cleaning 50997 clauses out of 102006 with flag 3190998/1373710
61.65/59.25	c cleaning 51990 clauses out of 104009 with flag 3332863/1426710
63.94/61.57	c cleaning 53003 clauses out of 106020 with flag 3479504/1480711
66.64/64.18	c cleaning 54008 clauses out of 108017 with flag 3629936/1535711
69.22/66.70	c cleaning 54999 clauses out of 110008 with flag 3781665/1591710
72.02/69.59	c cleaning 55998 clauses out of 112009 with flag 3935356/1648710
75.33/72.77	c cleaning 56996 clauses out of 114012 with flag 4098405/1706711
78.33/75.73	c cleaning 58007 clauses out of 116019 with flag 4268425/1765714
81.33/78.77	c cleaning 58987 clauses out of 118008 with flag 4438695/1825710
85.30/82.37	c cleaning 60009 clauses out of 120021 with flag 4614724/1886710
88.79/85.88	c cleaning 60998 clauses out of 122012 with flag 4791292/1948710
92.28/89.33	c cleaning 61999 clauses out of 124016 with flag 4971623/2011712
96.02/93.04	c cleaning 62997 clauses out of 126016 with flag 5156256/2075711
100.30/97.35	c cleaning 64007 clauses out of 128019 with flag 5339411/2140711
104.59/101.61	c cleaning 65005 clauses out of 130011 with flag 5531651/2206710
108.89/105.99	c cleaning 65999 clauses out of 132009 with flag 5730192/2273713
113.25/110.24	c cleaning 67001 clauses out of 134011 with flag 5931228/2341714
117.64/114.63	c cleaning 67993 clauses out of 136006 with flag 6138405/2410710
122.23/119.28	c cleaning 68995 clauses out of 138014 with flag 6347865/2480711
127.41/124.42	c cleaning 70004 clauses out of 140018 with flag 6560111/2551710
132.18/129.17	c cleaning 71005 clauses out of 142014 with flag 6775079/2623710
137.23/134.21	c cleaning 72001 clauses out of 144010 with flag 6998844/2696711
142.58/139.66	c cleaning 72999 clauses out of 146008 with flag 7227265/2770710
148.52/145.57	c cleaning 74002 clauses out of 148009 with flag 7458018/2845710
154.17/151.23	c cleaning 75000 clauses out of 150007 with flag 7692478/2921710
160.21/157.31	c cleaning 76002 clauses out of 152007 with flag 7922611/2998710
167.19/164.38	c cleaning 76994 clauses out of 154007 with flag 8166399/3076712
173.85/170.97	c cleaning 78000 clauses out of 156012 with flag 8410298/3155711
180.64/177.78	c cleaning 79003 clauses out of 158013 with flag 8663367/3235712
187.93/185.07	c cleaning 79996 clauses out of 160010 with flag 8913941/3316712
195.11/192.22	c cleaning 81000 clauses out of 162012 with flag 9168578/3398710
202.88/199.94	c cleaning 82001 clauses out of 164015 with flag 9425336/3481713
209.77/206.88	c cleaning 83003 clauses out of 166012 with flag 9688860/3565711
217.26/214.30	c cleaning 83999 clauses out of 168008 with flag 9956618/3650710
224.94/222.00	c cleaning 85004 clauses out of 170011 with flag 10222544/3736712
233.03/230.15	c cleaning 85995 clauses out of 172005 with flag 10493776/3823710
241.70/238.85	c cleaning 86998 clauses out of 174010 with flag 10773424/3911710
250.00/247.19	c cleaning 87993 clauses out of 176012 with flag 11054742/4000710
258.89/256.03	c cleaning 89006 clauses out of 178021 with flag 11338014/4090712
267.75/264.73	c cleaning 89996 clauses out of 180016 with flag 11622580/4181713
277.33/274.32	c cleaning 91006 clauses out of 182019 with flag 11916489/4273712
285.32/282.32	c cleaning 92004 clauses out of 184011 with flag 12207963/4366710
294.67/291.51	c cleaning 93000 clauses out of 186007 with flag 12507020/4460710
304.15/301.00	c cleaning 94003 clauses out of 188011 with flag 12811848/4555714
313.63/310.55	c cleaning 94995 clauses out of 190007 with flag 13120299/4651713
323.42/319.78	c cleaning 95999 clauses out of 192009 with flag 13432595/4748710
332.71/329.02	c cleaning 97004 clauses out of 194010 with flag 13742716/4846710
341.29/337.63	c cleaning 97998 clauses out of 196007 with flag 14057958/4945711
351.75/348.01	c cleaning 98998 clauses out of 198008 with flag 14380768/5045710
363.11/359.44	c cleaning 99999 clauses out of 200010 with flag 14707304/5146710
375.19/371.52	c cleaning 101004 clauses out of 202012 with flag 15027110/5248711
385.36/381.74	c cleaning 102000 clauses out of 204007 with flag 15360655/5351710
395.67/391.91	c cleaning 102993 clauses out of 206007 with flag 15692927/5455710
407.05/403.32	c cleaning 104001 clauses out of 208017 with flag 16032152/5560713
418.33/414.69	c cleaning 104999 clauses out of 210014 with flag 16373178/5666711
428.92/425.16	c cleaning 106001 clauses out of 212015 with flag 16712283/5773711
440.28/436.58	c cleaning 107006 clauses out of 214013 with flag 17058715/5881710
452.95/449.21	c cleaning 107991 clauses out of 216007 with flag 17406576/5990710
466.12/462.47	c cleaning 109006 clauses out of 218017 with flag 17757632/6100711
478.93/475.17	c cleaning 109999 clauses out of 220010 with flag 18105273/6211710
491.30/487.58	c cleaning 110994 clauses out of 222011 with flag 18462889/6323710
504.07/500.35	c cleaning 111997 clauses out of 224018 with flag 18827576/6436711
515.45/511.75	c cleaning 113003 clauses out of 226020 with flag 19196017/6550710
527.97/524.17	c cleaning 113999 clauses out of 228017 with flag 19572730/6665710
540.85/537.09	c cleaning 115003 clauses out of 230019 with flag 19950522/6781711
555.02/551.21	c cleaning 116005 clauses out of 232019 with flag 20332035/6898714
567.50/563.79	c cleaning 116998 clauses out of 234011 with flag 20719892/7016711
581.06/577.29	c cleaning 118003 clauses out of 236013 with flag 21110020/7135711
593.84/590.02	c cleaning 118998 clauses out of 238010 with flag 21505438/7255711
608.21/604.45	c cleaning 119998 clauses out of 240015 with flag 21903152/7376714
623.76/619.37	c cleaning 121004 clauses out of 242014 with flag 22298425/7498711
637.54/633.13	c cleaning 121999 clauses out of 244009 with flag 22695469/7621710
651.70/647.34	c cleaning 123001 clauses out of 246010 with flag 23092771/7745710
665.94/661.54	c cleaning 123990 clauses out of 248009 with flag 23500467/7870710
680.21/675.83	c cleaning 124999 clauses out of 250020 with flag 23910799/7996711
694.50/690.13	c cleaning 126009 clauses out of 252022 with flag 24323287/8123712
710.30/705.81	c cleaning 127000 clauses out of 254012 with flag 24737248/8251711
727.47/723.00	c cleaning 128001 clauses out of 256011 with flag 25161663/8380710
741.64/737.24	c cleaning 128992 clauses out of 258010 with flag 25587101/8510710
757.21/752.89	c cleaning 130009 clauses out of 260018 with flag 26019605/8641710
773.20/768.72	c cleaning 130994 clauses out of 262010 with flag 26449074/8773711
788.07/783.62	c cleaning 132000 clauses out of 264018 with flag 26887068/8906713
803.54/799.16	c cleaning 133002 clauses out of 266015 with flag 27332818/9040710
819.58/815.08	c cleaning 134003 clauses out of 268015 with flag 27775596/9175712
837.35/832.89	c cleaning 135003 clauses out of 270012 with flag 28221544/9311712
855.21/850.76	c cleaning 135997 clauses out of 272009 with flag 28669244/9448712
873.84/869.25	c cleaning 137000 clauses out of 274010 with flag 29120268/9586710
888.42/883.89	c cleaning 137996 clauses out of 276011 with flag 29566531/9725711
903.09/898.37	c cleaning 138993 clauses out of 278015 with flag 30017471/9865711
919.66/915.00	c cleaning 139996 clauses out of 280021 with flag 30469019/10006710
937.38/931.91	c cleaning 141007 clauses out of 282025 with flag 30932862/10148710
954.34/948.83	c cleaning 141993 clauses out of 284018 with flag 31411723/10291710
972.01/966.59	c cleaning 143012 clauses out of 286025 with flag 31893005/10435710
989.35/983.87	c cleaning 143999 clauses out of 288014 with flag 32373025/10580711
1007.72/1002.29	c cleaning 144992 clauses out of 290014 with flag 32865008/10726710
1025.38/1019.97	c cleaning 146007 clauses out of 292023 with flag 33350191/10873711
1044.47/1039.09	c cleaning 146991 clauses out of 294015 with flag 33851182/11021710
1063.03/1057.63	c cleaning 148004 clauses out of 296025 with flag 34350554/11170711
1080.30/1074.90	c cleaning 149010 clauses out of 298022 with flag 34850149/11320712
1099.88/1094.55	c cleaning 149993 clauses out of 300010 with flag 35361193/11471710
1120.24/1114.94	c cleaning 151010 clauses out of 302019 with flag 35862967/11623712
1137.38/1132.03	c cleaning 151992 clauses out of 304007 with flag 36373409/11776710
1155.64/1150.35	c cleaning 153001 clauses out of 306016 with flag 36894592/11930711
1177.16/1171.85	c cleaning 154005 clauses out of 308016 with flag 37414374/12085712
1196.99/1191.82	c cleaning 155005 clauses out of 310011 with flag 37940085/12241712
1215.84/1210.86	c cleaning 155999 clauses out of 312011 with flag 38460862/12398717
1237.75/1232.73	c cleaning 157003 clauses out of 314009 with flag 38999689/12556714
1260.81/1255.87	c cleaning 158000 clauses out of 316003 with flag 39540735/12715711
1280.30/1275.13	c cleaning 158999 clauses out of 318002 with flag 40073110/12875710
1301.06/1295.96	c cleaning 159995 clauses out of 320003 with flag 40618600/13036710
1327.02/1321.23	c cleaning 161001 clauses out of 322017 with flag 41162224/13198719
1349.99/1344.13	c cleaning 161997 clauses out of 324009 with flag 41709501/13361712
1373.84/1368.07	c cleaning 162995 clauses out of 326010 with flag 42248447/13525710
1395.19/1389.37	c cleaning 163992 clauses out of 328016 with flag 42786177/13690711
1418.24/1412.47	c cleaning 165004 clauses out of 330023 with flag 43352866/13856710
1438.60/1432.71	c cleaning 166002 clauses out of 332019 with flag 43920050/14023710
1461.85/1456.03	c cleaning 166999 clauses out of 334017 with flag 44486186/14191710
1482.59/1476.85	c cleaning 167999 clauses out of 336018 with flag 45060461/14360710
1504.47/1498.71	c cleaning 169010 clauses out of 338023 with flag 45630635/14530714
1531.42/1525.79	c cleaning 169994 clauses out of 340009 with flag 46214126/14701710
1556.76/1551.14	c cleaning 171008 clauses out of 342017 with flag 46801308/14873712
1579.57/1573.76	c cleaning 171998 clauses out of 344008 with flag 47392049/15046711
1601.53/1595.74	c cleaning 173002 clauses out of 346010 with flag 47970741/15220711
1626.68/1620.87	c cleaning 173991 clauses out of 348008 with flag 48559285/15395711
1653.32/1647.53	c cleaning 174995 clauses out of 350016 with flag 49157112/15571710
1681.65/1675.96	c cleaning 176004 clauses out of 352023 with flag 49764446/15748712
1708.40/1701.87	c cleaning 177006 clauses out of 354021 with flag 50366377/15926714
1737.34/1730.82	c cleaning 178003 clauses out of 356012 with flag 50969083/16105711
1761.70/1755.21	c cleaning 178999 clauses out of 358008 with flag 51557490/16285710
1785.83/1779.40	c cleaning 180002 clauses out of 360010 with flag 52159135/16466711
1810.80/1804.62	c cleaning 180997 clauses out of 362007 with flag 52776139/16648710
1834.48/1828.39	c cleaning 182000 clauses out of 364012 with flag 53402270/16831712
1864.33/1858.29	c cleaning 183000 clauses out of 366011 with flag 54020357/17015711
1891.09/1884.96	c cleaning 184003 clauses out of 368011 with flag 54646056/17200711
1917.14/1911.08	c cleaning 184997 clauses out of 370008 with flag 55259077/17386711
1942.13/1935.90	c cleaning 186004 clauses out of 372012 with flag 55895423/17573712
1968.00/1962.05	c cleaning 186996 clauses out of 374006 with flag 56528943/17761710
1994.15/1988.31	c cleaning 188006 clauses out of 376011 with flag 57172840/17950711
2021.70/2015.90	c cleaning 188986 clauses out of 378004 with flag 57832538/18140710
2052.80/2047.09	c cleaning 190007 clauses out of 380019 with flag 58475747/18331711
2077.54/2071.80	c cleaning 190997 clauses out of 382011 with flag 59108993/18523710
2108.22/2101.97	c cleaning 192001 clauses out of 384014 with flag 59753931/18716710
2135.27/2128.96	c cleaning 193002 clauses out of 386013 with flag 60391414/18910710
2165.10/2159.07	c cleaning 193999 clauses out of 388011 with flag 61038092/19105710
2193.29/2187.28	c cleaning 195000 clauses out of 390014 with flag 61685425/19301712
2221.73/2215.79	c cleaning 195996 clauses out of 392014 with flag 62335658/19498712
2247.64/2241.64	c cleaning 197003 clauses out of 394016 with flag 62985398/19696710
2273.50/2267.53	c cleaning 198000 clauses out of 396013 with flag 63650014/19895710
2307.69/2301.50	c cleaning 198999 clauses out of 398014 with flag 64340143/20095711
2337.22/2331.15	c cleaning 200002 clauses out of 400016 with flag 65016608/20296712
2367.85/2361.70	c cleaning 201003 clauses out of 402013 with flag 65702344/20498711
2395.10/2389.02	c cleaning 201997 clauses out of 404009 with flag 66385068/20701710
2424.30/2417.43	c cleaning 202997 clauses out of 406012 with flag 67072228/20905710
2452.91/2446.10	c cleaning 203994 clauses out of 408016 with flag 67758948/21110711
2482.70/2475.73	c cleaning 205004 clauses out of 410021 with flag 68457815/21316710
2515.63/2508.79	c cleaning 206007 clauses out of 412018 with flag 69166633/21523711
2549.61/2542.70	c cleaning 206998 clauses out of 414011 with flag 69879461/21731711
2582.74/2575.97	c cleaning 207998 clauses out of 416012 with flag 70596031/21940710
2611.36/2604.51	c cleaning 209001 clauses out of 418014 with flag 71301653/22150710
2638.78/2631.84	c cleaning 209998 clauses out of 420013 with flag 72016994/22361710
2665.72/2658.86	c cleaning 211006 clauses out of 422017 with flag 72724144/22573712
2698.46/2691.51	c cleaning 211996 clauses out of 424009 with flag 73453243/22786710
2728.90/2720.72	c cleaning 212999 clauses out of 426013 with flag 74182024/23000710
2761.91/2753.86	c cleaning 214005 clauses out of 428015 with flag 74920089/23215711
2797.78/2789.60	c cleaning 214996 clauses out of 430009 with flag 75646618/23431710
2828.92/2820.72	c cleaning 216000 clauses out of 432013 with flag 76394868/23648710
2860.85/2852.69	c cleaning 217003 clauses out of 434013 with flag 77147920/23866710
2897.77/2888.58	c cleaning 218005 clauses out of 436010 with flag 77911285/24085710
2931.47/2922.27	c cleaning 219003 clauses out of 438011 with flag 78666917/24305716
2960.88/2951.50	c cleaning 219995 clauses out of 440003 with flag 79424223/24526711
2991.77/2982.38	c cleaning 221004 clauses out of 442010 with flag 80176203/24748713
3026.77/3017.26	c cleaning 222003 clauses out of 444005 with flag 80945145/24971712
3056.11/3046.69	c cleaning 222977 clauses out of 446002 with flag 81714627/25195712
3092.47/3083.03	c cleaning 223995 clauses out of 448023 with flag 82488182/25420710
3127.27/3118.05	c cleaning 225012 clauses out of 450029 with flag 83264992/25646711
3158.87/3148.74	c cleaning 225994 clauses out of 452017 with flag 84042040/25873711
3188.88/3178.78	c cleaning 227004 clauses out of 454022 with flag 84793935/26101710
3218.11/3207.86	c cleaning 227999 clauses out of 456019 with flag 85561548/26330711
3251.04/3240.84	c cleaning 229003 clauses out of 458020 with flag 86348818/26560711
3283.96/3273.77	c cleaning 229997 clauses out of 460016 with flag 87141722/26791710
3321.20/3311.07	c cleaning 231007 clauses out of 462021 with flag 87932560/27023712
3359.77/3349.60	c cleaning 232004 clauses out of 464014 with flag 88714703/27256712
3395.41/3385.35	c cleaning 233001 clauses out of 466009 with flag 89510742/27490711
3433.40/3423.38	c cleaning 234002 clauses out of 468007 with flag 90318090/27725710
3468.43/3458.44	c cleaning 234990 clauses out of 470005 with flag 91110051/27961710
3507.80/3497.80	c cleaning 236007 clauses out of 472019 with flag 91915417/28198714
3546.43/3536.53	c cleaning 236997 clauses out of 474008 with flag 92721544/28436710
3582.37/3572.34	c cleaning 237987 clauses out of 476011 with flag 93538927/28675710
3600.04/3590.03	c starts		: 453
3600.04/3590.03	c conflicts		: 28811923
3600.04/3590.03	c decisions		: 38905910
3600.04/3590.03	c propagations		: 338174504
3600.04/3590.03	c inspects		: 36444989330
3600.04/3590.03	c shortcuts		: 0
3600.04/3590.03	c learnt literals	: 0
3600.04/3590.03	c learnt binary clauses	: 0
3600.04/3590.03	c learnt ternary clauses	: 0
3600.04/3590.03	c learnt constraints	: 28811923
3600.04/3590.03	c ignored constraints	: 0
3600.04/3590.03	c root simplifications	: 0
3600.04/3590.03	c removed literals (reason simplification)	: 0
3600.04/3590.03	c reason swapping (by a shorter reason)	: 0
3600.04/3590.03	c Calls to reduceDB	: 236
3600.04/3590.03	c Number of update (reduction) of LBD	: 4669282
3600.04/3590.03	c Imported unit clauses	: 0
3600.04/3590.03	c No decision after first conflict	: false
3600.04/3590.03	c number of reductions to clauses (during analyze)	: 0
3600.04/3590.03	c number of learned constraints concerned by reduction	: 0
3600.04/3590.03	c number of learning phase by resolution	: 0
3600.04/3590.03	c number of learning phase by cutting planes	: 0
3600.04/3590.03	c number of rounding to 1 operations	: 0
3600.04/3590.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3590.03	c number of reductions of the coefficients by power 2 	: 0
3600.04/3590.03	c number of right shift for reduction by power 2 	: 0
3600.04/3590.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3590.03	c number of ending skipping 	: 0
3600.04/3590.03	c number of internal skipping 	: 0
3600.04/3590.03	c number of derivation steps 	: 0
3600.04/3590.03	c number of skipped derivation steps 	: 0
3600.04/3590.03	c number of remaining unassigned 	: 0
3600.04/3590.03	c number of remaining assigned 	: 0
3600.04/3590.03	c number of falsified literals weakened from reason	: 0
3600.04/3590.03	c number of falsified literals weakened from conflict	: 0
3600.04/3590.03	c time for arithmetic operations	: 0
3600.04/3590.05	c minimum degree of deleted constraints	: null
3600.04/3590.05	c maximum degree of deleted constraints	: null
3600.04/3590.05	c number of deleted constraints	: 0
3600.04/3590.05	c speed (assignments/second)	: 94212.8563162336
3600.04/3590.05	c non guided choices	: 510
3600.04/3590.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 374237
3600.25/3590.11	s SATISFIABLE
3600.25/3590.11	c Found 2 solution(s)
3600.25/3590.12	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 x1802 -x1803 x1804 -x1805 -x1806 x1807 x1808 x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 x1904 -x1905 -x1906 x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 x1999 x2000 -x2001 -x2002 x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 -x2100 -x2101 x2102 x2103 -x2104 x2105 x2106 -x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 x2197 -x2198 x2199 -x2200 x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 x2296 x2297 -x2298 x2299 -x2300 -x2301 x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 x2398 x2399 x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 x2495 -x2496 x2497 -x2498 x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 x2593 -x2594 x2595 -x2596 -x2597 x2598 x2599 x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 -x2694 x2695 -x2696 x2697 -x2698 x2699 x2700 
3600.25/3590.12	c objective function=81425
3600.25/3590.12	c Total wall clock time (in seconds): 3590.008

Verifier Data 

OK	81425

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432213-1721074053/watcher-4432213-1721074053 -o /tmp/evaluation-result-4432213-1721074053/solver-4432213-1721074053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815595 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432213-1721074053.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=818145, runsolver pid=818142

[startup+0.100459 s]*
/proc/loadavg: 4.32 4.24 4.18 8/327 818164
/proc/meminfo: memFree=124804256/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=18975048 memory=63372 CPUtime=0.14 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 7249 0 0 0 12 2 0 0 20 0 18 0 159568828 19430449152 15843 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4743762 15843 5685 1 0 549343 0
[pid=818145/tid=818147] ppid=818142 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) S 818142 818145 815582 0 -1 1077936192 5757 0 0 0 7 1 0 0 20 0 18 0 159568828 19430449152 15843 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159568831 19430449152 15843 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159568831 19430449152 15843 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63372 KiB

[startup+0.206305 s]*
/proc/loadavg: 4.32 4.24 4.18 8/327 818164
/proc/meminfo: memFree=124771024/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=18975048 memory=90520 CPUtime=0.33 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 7823 0 0 0 31 2 0 0 20 0 18 0 159568828 19430449152 22630 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4743762 22630 5812 1 0 549777 0
[pid=818145/tid=818147] ppid=818142 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 5919 0 0 0 17 2 0 0 20 0 18 0 159568828 19430449152 22630 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=18975048 memory=1623 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159568831 19430449152 22630 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159568831 19430449152 22630 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 90520 KiB

[startup+0.306305 s]*
/proc/loadavg: 4.32 4.24 4.18 9/327 818164
/proc/meminfo: memFree=124722884/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=18975048 memory=132800 CPUtime=0.53 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 9176 0 0 0 49 4 0 0 20 0 18 0 159568828 19430449152 33200 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4743762 33200 5812 1 0 550566 0
[pid=818145/tid=818147] ppid=818142 vsize=18975048 memory=-9032366407720215228 CPUtime=0.28 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 5939 0 0 0 25 3 0 0 20 0 18 0 159568828 19430449152 33200 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159568831 19430449152 33200 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159568831 19430449152 33200 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 132800 KiB

[startup+0.700304 s]
/proc/loadavg: 4.32 4.24 4.18 8/328 818165
/proc/meminfo: memFree=124679848/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=187796 CPUtime=1.27 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 17713 0 0 0 122 5 0 0 20 0 20 0 159568828 19566772224 46949 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 46949 5866 1 0 556269 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=5436 CPUtime=0.63 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 6078 0 0 0 59 4 0 0 20 0 20 0 159568828 19566772224 46949 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 46949 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 46949 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187796 KiB

[startup+1.50431 s]
/proc/loadavg: 4.62 4.31 4.21 6/329 818166
/proc/meminfo: memFree=124652592/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=192992 CPUtime=2.88 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 24819 0 0 0 282 6 0 0 20 0 20 0 159568828 19566772224 48248 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 48248 5898 1 0 556977 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=0 CPUtime=1.42 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 6953 0 0 0 138 4 0 0 20 0 20 0 159568828 19566772224 48248 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 48248 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 48248 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 48248 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192992 KiB

[startup+3.10556 s]
/proc/loadavg: 4.62 4.31 4.21 5/329 818166
/proc/meminfo: memFree=124595784/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=205476 CPUtime=5.15 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 27754 0 0 0 509 6 0 0 20 0 20 0 159568828 19566772224 51369 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 51369 5898 1 0 557403 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=0 CPUtime=2.98 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 7339 0 0 0 294 4 0 0 20 0 20 0 159568828 19566772224 51369 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 51369 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 51369 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 51369 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205476 KiB

[startup+6.30028 s]
/proc/loadavg: 4.57 4.30 4.20 5/330 818169
/proc/meminfo: memFree=124521640/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=280088 CPUtime=8.45 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 28795 0 0 0 837 8 0 0 20 0 20 0 159568828 19566772224 70022 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 70022 5930 1 0 557405 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=12292 CPUtime=6.1 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 7421 0 0 0 606 4 0 0 20 0 20 0 159568828 19566772224 70022 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 70022 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=234936 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 70022 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=1480 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 70022 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 8.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 280088 KiB

[startup+12.7003 s]
/proc/loadavg: 4.60 4.31 4.21 5/330 818237
/proc/meminfo: memFree=126403408/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=364256 CPUtime=14.83 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 31172 0 0 0 1473 10 0 0 20 0 20 0 159568828 19566772224 91064 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 91064 5930 1 0 557405 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=0 CPUtime=12.34 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 8275 0 0 0 1230 4 0 0 20 0 20 0 159568828 19566772224 91064 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 91064 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=364256 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 91064 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=205476 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 91064 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 364256 KiB

[startup+25.5003 s]
/proc/loadavg: 4.66 4.33 4.22 5/330 818240
/proc/meminfo: memFree=122958232/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=682844 CPUtime=27.73 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 36256 0 0 0 2755 18 0 0 20 0 20 0 159568828 19566772224 170711 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 170711 5930 1 0 674359 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=460580 CPUtime=24.84 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 9389 0 0 0 2478 6 0 0 20 0 20 0 159568828 19566772224 170711 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=552752 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 170711 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=-9032366407720215228 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 170711 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=-8889094545062863548 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 170711 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 27.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 682844 KiB

[startup+51.1056 s]
/proc/loadavg: 4.58 4.35 4.23 5/330 818243
/proc/meminfo: memFree=117804440/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=1174572 CPUtime=53.52 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 39417 0 0 0 5324 28 0 0 20 0 20 0 159568828 19566772224 293643 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 293643 5930 1 0 674369 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=1174572 CPUtime=50.08 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 10698 0 0 0 5001 7 0 0 20 0 20 0 159568828 19566772224 293643 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 293643 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 293643 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.28 4.35 5/335 820744
/proc/meminfo: memFree=120333116/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=3310224 CPUtime=3292.55 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 225951 0 0 0 329084 171 0 0 20 0 20 0 159568828 19566772224 827556 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 827556 5930 1 0 841075 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=3310224 CPUtime=3260.63 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 87139 0 0 0 326028 35 0 0 20 0 20 0 159568828 19566772224 827556 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=3310040 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827556 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=3310040 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 1297 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827556 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=-9032366407720215228 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 827556 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 3292.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3310224 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.24 4.33 5/335 820754
/proc/meminfo: memFree=119933888/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=3310244 CPUtime=3352.49 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 226400 0 0 0 335076 173 0 0 20 0 20 0 159568828 19566772224 827561 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 827561 5930 1 0 841075 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=3310244 CPUtime=3320.44 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 87387 0 0 0 332009 35 0 0 20 0 20 0 159568828 19566772224 827561 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=3310244 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827561 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 1297 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827561 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=3310244 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 827561 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 3352.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3310244 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.23 4.32 5/333 820768
/proc/meminfo: memFree=119728036/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=3310264 CPUtime=3412.44 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 226609 0 0 0 341070 174 0 0 20 0 20 0 159568828 19566772224 827566 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 827566 5930 1 0 841075 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=3310244 CPUtime=3380.17 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 87483 0 0 0 337982 35 0 0 20 0 20 0 159568828 19566772224 827566 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827566 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=3310244 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 1297 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827566 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 827566 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 3412.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3310264 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.26 4.32 5/333 820778
/proc/meminfo: memFree=119011392/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=3310276 CPUtime=3472.37 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 226704 0 0 0 347061 176 0 0 20 0 20 0 159568828 19566772224 827569 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 827569 5930 1 0 841075 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=3310244 CPUtime=3439.99 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 87530 0 0 0 343964 35 0 0 20 0 20 0 159568828 19566772224 827569 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=3310264 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827569 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 1297 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827569 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=3310264 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 827569 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 3472.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3310276 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.24 4.31 5/331 820789
/proc/meminfo: memFree=118430300/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=3310276 CPUtime=3532.25 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 226734 0 0 0 353049 176 0 0 20 0 20 0 159568828 19566772224 827569 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 827569 5930 1 0 841075 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=3310276 CPUtime=3499.86 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 87557 0 0 0 349951 35 0 0 20 0 20 0 159568828 19566772224 827569 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=3310276 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827569 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 1297 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827569 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=3310276 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 827569 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 3532.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3310276 KiB

[startup+3582.3 s]
/proc/loadavg: 4.35 4.26 4.31 5/330 820800
/proc/meminfo: memFree=118396396/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=3310280 CPUtime=3592.35 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 227156 0 0 0 359057 178 0 0 20 0 20 0 159568828 19566772224 827570 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 827570 5930 1 0 841075 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=5436 CPUtime=3559.51 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 87795 0 0 0 355916 35 0 0 20 0 20 0 159568828 19566772224 827570 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=3310280 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827570 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=2236 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 1297 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827570 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=41036 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 827570 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 3592.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3310280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3590 s]*
/proc/loadavg: 4.32 4.26 4.31 6/330 820870
/proc/meminfo: memFree=120103392/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19108176 memory=3310280 CPUtime=3600.04 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 227171 0 0 0 359826 178 0 0 20 0 20 0 159568828 19566772224 827570 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4777044 827570 5930 1 0 841075 0
[pid=818145/tid=818147] ppid=818142 vsize=19108176 memory=-8672070775292142268 CPUtime=3567.19 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 87810 0 0 0 356684 35 0 0 20 0 20 0 159568828 19566772224 827570 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19108176 memory=11552 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827570 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19108176 memory=11580 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 1297 0 0 0 0 0 0 0 20 0 20 0 159568831 19566772224 827570 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818166] ppid=818142 vsize=19108176 memory=11636 CPUtime=0 cores=5,7
/proc/818145/task/818166/stat : 818166 (Timer-0) S 818142 818145 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159568885 19566772224 827570 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3310280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.51 s, system=1.80136 s

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

[startup+3590.11 s]
/proc/loadavg: 4.32 4.26 4.31 6/330 820870
/proc/meminfo: memFree=120103392/131524600 swapFree=131071996/131071996
[pid=818145] ppid=818142 vsize=19307868 memory=3310988 CPUtime=3600.25 cores=5,7
/proc/818145/stat : 818145 (java) S 818142 818145 815582 0 -1 1077936128 229892 0 0 0 359847 178 0 0 20 0 21 0 159568828 19771256832 827747 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
/proc/818145/statm: 4826967 827747 5929 1 0 841982 0
[pid=818145/tid=818147] ppid=818142 vsize=19307868 memory=12064 CPUtime=3567.29 cores=5,7
/proc/818145/task/818147/stat : 818147 (java) R 818142 818145 815582 0 -1 4194368 87929 0 0 0 356694 35 0 0 20 0 21 0 159568828 19771256832 827747 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818157] ppid=818142 vsize=19307868 memory=-9032366407720215228 CPUtime=0 cores=5,7
/proc/818145/task/818157/stat : 818157 (Finalizer) S 818142 818145 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 159568831 19771256832 827747 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
[pid=818145/tid=818164] ppid=818142 vsize=19307868 memory=2104960 CPUtime=0 cores=5,7
/proc/818145/task/818164/stat : 818164 (Common-Cleaner) S 818142 818145 815582 0 -1 1077936192 1297 0 0 0 0 0 0 0 20 0 21 0 159568831 19771256832 827747 134679101440 94056457990144 94056457993840 140736203639824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94056458001656 94056458002448 94056470663168 140736203641863 140736203641953 140736203641953 140736203648968 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3310988 KiB

Child status: 143

Real time (s): 3590.14
CPU time (s): 3600.31
CPU user time (s): 3598.51
CPU system time (s): 1.80136
CPU usage (%): 100.283
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3310988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.51
system time used= 1.80136
maximum resident set size= 3312204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108605
involuntary context switches= 6855


# summary of solver processes directly reported to runsolver:
#   pid: 818145
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3598.51
#   total CPU system time (s): 1.80136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65771 second user time and 18.439 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-15 22:07:46
IDJOB=4432213
IDBENCH=147023
IDSOLVER=3058
FILE ID=nodeC020/4432213-1721074053
RUNJOBID= nodeC020-1721070467-815595
SLURM_JOB_ID= 7505528
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432213-1721074053/watcher-4432213-1721074053 -o /tmp/evaluation-result-4432213-1721074053/solver-4432213-1721074053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815595 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432213-1721074053.opb

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

MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11
RANDOM SEED=1417497892

nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124854544 kB
MemAvailable:   126361300 kB
Buffers:          377948 kB
Cached:          1953968 kB
SwapCached:            0 kB
Active:           605144 kB
Inactive:        5440852 kB
Active(anon):       1568 kB
Inactive(anon):  3750224 kB
Active(file):     603576 kB
Inactive(file):  1690628 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6232 kB
Writeback:            28 kB
AnonPages:       3713412 kB
Mapped:           123636 kB
Shmem:             37720 kB
KReclaimable:     104752 kB
Slab:             211792 kB
SReclaimable:     104752 kB
SUnreclaim:       107040 kB
KernelStack:        4976 kB
PageTables:        17376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8269580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58880 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3416064 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC020 at 2024-07-15 23:07:37