Trace number 4432335

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)25 3600.29 3596.75

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMbeae51edba02eeda3c8007d8306fd545
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark16.5068
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
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.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432335-1721116721.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.34/0.26	c ... done. Wall clock time 0.135s.
0.34/0.26	c declared #vars     4318
0.34/0.26	c #constraints  15120
0.34/0.26	c constraints type 
0.34/0.26	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287
0.34/0.26	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.34/0.26	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.34/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827
0.34/0.26	c 15120 constraints processed.
0.34/0.28	c objective function length is 490 literals
0.52/0.32	c SATISFIABLE
0.52/0.32	c OPTIMIZING...
0.52/0.32	c Got one! Elapsed wall clock time (in seconds):0.195
0.52/0.32	o 26
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.206
0.52/0.33	o 25
2.53/1.65	c cleaning 2506 clauses out of 5012 with flag 26980/5012
3.92/2.88	c cleaning 4243 clauses out of 8507 with flag 62338/11013
5.46/4.26	c cleaning 5613 clauses out of 11263 with flag 104285/18012
7.16/5.91	c cleaning 6806 clauses out of 13650 with flag 154583/26012
8.66/7.40	c cleaning 7912 clauses out of 15846 with flag 218448/35014
10.46/9.22	c cleaning 8945 clauses out of 17932 with flag 292469/45012
12.56/11.31	c cleaning 9990 clauses out of 19987 with flag 383167/56012
14.66/13.47	c cleaning 10998 clauses out of 21998 with flag 494954/68013
17.17/15.90	c cleaning 11992 clauses out of 23999 with flag 623249/81012
19.57/18.38	c cleaning 12992 clauses out of 26007 with flag 763487/95012
22.27/21.07	c cleaning 14008 clauses out of 28015 with flag 915679/110012
25.16/23.95	c cleaning 14986 clauses out of 30009 with flag 1070165/126014
28.30/27.03	c cleaning 16004 clauses out of 32021 with flag 1213911/143012
31.61/30.30	c cleaning 16997 clauses out of 34018 with flag 1352280/161013
34.81/33.55	c cleaning 17994 clauses out of 36020 with flag 1514770/180012
38.30/37.01	c cleaning 18988 clauses out of 38026 with flag 1691005/200012
42.09/40.80	c cleaning 20009 clauses out of 40041 with flag 1911733/221015
45.98/44.71	c cleaning 20993 clauses out of 42029 with flag 2134118/243012
49.98/48.73	c cleaning 21984 clauses out of 44036 with flag 2339624/266012
54.40/53.14	c cleaning 22991 clauses out of 46052 with flag 2535138/290012
59.19/57.96	c cleaning 24005 clauses out of 48061 with flag 2713430/315012
64.48/63.23	c cleaning 25013 clauses out of 50057 with flag 2915722/341013
69.70/68.45	c cleaning 25999 clauses out of 52043 with flag 3116148/368012
75.49/74.29	c cleaning 27010 clauses out of 54044 with flag 3315004/396012
81.63/80.30	c cleaning 27992 clauses out of 56034 with flag 3533867/425012
87.87/86.61	c cleaning 29002 clauses out of 58042 with flag 3759216/455012
94.22/93.01	c cleaning 29964 clauses out of 60040 with flag 3994059/486012
101.10/99.99	c cleaning 31024 clauses out of 62076 with flag 4248314/518012
107.95/106.88	c cleaning 31999 clauses out of 64052 with flag 4519879/551012
115.33/114.25	c cleaning 33003 clauses out of 66053 with flag 4807992/585012
122.56/121.57	c cleaning 34018 clauses out of 68050 with flag 5098275/620012
130.44/129.42	c cleaning 35001 clauses out of 70032 with flag 5420817/656012
138.07/137.11	c cleaning 35979 clauses out of 72031 with flag 5731140/693012
146.08/145.11	c cleaning 37018 clauses out of 74055 with flag 6027717/731015
153.66/152.79	c cleaning 37997 clauses out of 76034 with flag 6326214/770012
161.80/160.82	c cleaning 38976 clauses out of 78038 with flag 6664741/810013
170.28/169.34	c cleaning 39994 clauses out of 80061 with flag 7028535/851012
178.81/177.87	c cleaning 41027 clauses out of 82068 with flag 7405716/893013
187.05/186.08	c cleaning 41992 clauses out of 84040 with flag 7763172/936012
195.89/194.80	c cleaning 43012 clauses out of 86048 with flag 8145447/980012
205.37/204.37	c cleaning 44003 clauses out of 88036 with flag 8500456/1025012
214.66/213.66	c cleaning 44997 clauses out of 90033 with flag 8850724/1071012
224.07/223.05	c cleaning 45965 clauses out of 92036 with flag 9208964/1118012
233.85/232.85	c cleaning 47026 clauses out of 94071 with flag 9602912/1166012
243.59/242.53	c cleaning 47988 clauses out of 96045 with flag 10023464/1215012
254.27/253.27	c cleaning 49004 clauses out of 98057 with flag 10471810/1265012
265.42/264.34	c cleaning 49979 clauses out of 100053 with flag 10927960/1316012
276.30/275.27	c cleaning 51005 clauses out of 102074 with flag 11347241/1368012
287.98/286.94	c cleaning 52021 clauses out of 104069 with flag 11788729/1421012
300.88/299.57	c cleaning 52940 clauses out of 106048 with flag 12233629/1475012
310.31/308.87	c cleaning 53994 clauses out of 108109 with flag 12865744/1530013
320.38/318.60	c cleaning 54996 clauses out of 110114 with flag 13477909/1586012
330.25/328.54	c cleaning 55995 clauses out of 112118 with flag 14071279/1643012
341.51/339.76	c cleaning 57005 clauses out of 114123 with flag 14822125/1701012
352.52/350.62	c cleaning 58048 clauses out of 116118 with flag 15474239/1760012
363.91/362.09	c cleaning 59030 clauses out of 118072 with flag 16008420/1820014
374.68/372.87	c cleaning 60003 clauses out of 120040 with flag 16586314/1881012
386.06/384.23	c cleaning 61008 clauses out of 122039 with flag 17273272/1943014
397.66/395.91	c cleaning 61989 clauses out of 124029 with flag 17835820/2006012
410.03/408.38	c cleaning 63003 clauses out of 126040 with flag 18445815/2070012
421.63/420.08	c cleaning 63932 clauses out of 128039 with flag 19191058/2135014
434.01/432.54	c cleaning 65021 clauses out of 130105 with flag 19871084/2201012
446.87/445.46	c cleaning 65972 clauses out of 132084 with flag 20619894/2268012
458.76/457.48	c cleaning 67023 clauses out of 134114 with flag 21346442/2336014
472.20/470.86	c cleaning 67994 clauses out of 136091 with flag 22186630/2405014
484.30/483.00	c cleaning 69006 clauses out of 138095 with flag 22881942/2475012
497.47/496.25	c cleaning 70015 clauses out of 140089 with flag 23623941/2546012
511.15/510.05	c cleaning 71018 clauses out of 142074 with flag 24348667/2618012
525.12/523.87	c cleaning 71993 clauses out of 144056 with flag 25148865/2691012
539.30/538.07	c cleaning 72988 clauses out of 146063 with flag 25939494/2765012
554.38/553.11	c cleaning 74005 clauses out of 148075 with flag 26620643/2840012
568.58/567.36	c cleaning 75026 clauses out of 150073 with flag 27361436/2916015
583.75/582.61	c cleaning 75996 clauses out of 152045 with flag 28051336/2993013
598.21/597.25	c cleaning 76947 clauses out of 154048 with flag 28738382/3071012
613.19/612.31	c cleaning 78016 clauses out of 156102 with flag 29480931/3150013
628.35/627.60	c cleaning 78973 clauses out of 158085 with flag 30196143/3230012
642.86/642.15	c cleaning 80017 clauses out of 160112 with flag 31005391/3311012
657.93/657.38	c cleaning 81043 clauses out of 162095 with flag 31789028/3393012
674.48/674.04	c cleaning 82012 clauses out of 164054 with flag 32389415/3476014
690.63/690.37	c cleaning 83000 clauses out of 166040 with flag 33176720/3560012
707.03/706.74	c cleaning 84008 clauses out of 168040 with flag 34001840/3645012
724.87/724.78	c cleaning 84990 clauses out of 170032 with flag 34854506/3731012
741.56/741.30	c cleaning 85900 clauses out of 172042 with flag 35768287/3818012
758.93/758.70	c cleaning 87050 clauses out of 174142 with flag 36584437/3906012
775.90/775.74	c cleaning 88038 clauses out of 176096 with flag 37471694/3995016
793.17/793.06	c cleaning 89023 clauses out of 178055 with flag 38420065/4085013
810.23/810.08	c cleaning 89982 clauses out of 180031 with flag 39137317/4176012
828.40/828.30	c cleaning 91013 clauses out of 182053 with flag 40088733/4268016
845.96/845.88	c cleaning 91995 clauses out of 184036 with flag 40973719/4361012
864.17/863.95	c cleaning 93015 clauses out of 186041 with flag 42054075/4455012
886.58/885.98	c cleaning 93994 clauses out of 188026 with flag 43117674/4550012
905.25/904.57	c cleaning 94991 clauses out of 190032 with flag 44017256/4646012
923.92/923.29	c cleaning 96006 clauses out of 192044 with flag 44833772/4743015
942.59/941.93	c cleaning 96945 clauses out of 194035 with flag 45805030/4841012
962.34/961.61	c cleaning 98018 clauses out of 196090 with flag 46894162/4940012
981.31/980.61	c cleaning 99028 clauses out of 198074 with flag 48017938/5040014
1000.58/999.94	c cleaning 99989 clauses out of 200045 with flag 49114434/5141013
1020.93/1020.27	c cleaning 100979 clauses out of 202055 with flag 50323396/5243012
1041.49/1040.88	c cleaning 102001 clauses out of 204076 with flag 51429191/5346012
1062.36/1061.77	c cleaning 102999 clauses out of 206075 with flag 52461743/5450012
1085.63/1084.96	c cleaning 103891 clauses out of 208076 with flag 53585547/5555012
1105.89/1105.29	c cleaning 105039 clauses out of 210185 with flag 54683010/5661012
1128.48/1127.63	c cleaning 106055 clauses out of 212146 with flag 55764281/5768012
1150.79/1149.84	c cleaning 106990 clauses out of 214091 with flag 57292673/5876012
1173.45/1172.50	c cleaning 107976 clauses out of 216101 with flag 58523469/5985012
1196.15/1195.13	c cleaning 109044 clauses out of 218125 with flag 59871157/6095012
1219.83/1218.41	c cleaning 110012 clauses out of 220081 with flag 61062113/6206012
1243.66/1242.35	c cleaning 110952 clauses out of 222069 with flag 62390250/6318012
1265.77/1264.65	c cleaning 112046 clauses out of 224122 with flag 63645878/6431017
1288.44/1287.33	c cleaning 112905 clauses out of 226071 with flag 64887709/6545012
1312.11/1311.06	c cleaning 114005 clauses out of 228166 with flag 66086656/6660012
1336.26/1335.23	c cleaning 115073 clauses out of 230161 with flag 67099942/6776012
1360.22/1359.20	c cleaning 116038 clauses out of 232088 with flag 68140040/6893012
1385.98/1384.97	c cleaning 117013 clauses out of 234050 with flag 69082225/7011012
1409.44/1408.45	c cleaning 117972 clauses out of 236037 with flag 70100173/7130012
1434.30/1433.37	c cleaning 119028 clauses out of 238065 with flag 71248419/7250012
1457.92/1456.89	c cleaning 120002 clauses out of 240037 with flag 72445006/7371012
1484.47/1483.46	c cleaning 120984 clauses out of 242035 with flag 73915484/7493012
1511.60/1510.44	c cleaning 122000 clauses out of 244052 with flag 75206871/7616013
1538.97/1537.66	c cleaning 123009 clauses out of 246051 with flag 76151358/7740012
1566.82/1565.50	c cleaning 124002 clauses out of 248042 with flag 77110959/7865012
1595.17/1593.98	c cleaning 124995 clauses out of 250040 with flag 78070523/7991012
1623.16/1621.80	c cleaning 125994 clauses out of 252045 with flag 79357700/8118012
1650.61/1649.20	c cleaning 127008 clauses out of 254051 with flag 80897467/8246012
1683.72/1681.97	c cleaning 127986 clauses out of 256044 with flag 82386102/8375013
1712.28/1710.37	c cleaning 128926 clauses out of 258061 with flag 83722320/8505016
1740.14/1738.30	c cleaning 130015 clauses out of 260131 with flag 85113490/8636012
1776.03/1773.85	c cleaning 130983 clauses out of 262116 with flag 86759154/8768012
1804.95/1802.69	c cleaning 132047 clauses out of 264135 with flag 88177891/8901014
1832.30/1830.10	c cleaning 132961 clauses out of 266086 with flag 89597009/9035012
1859.99/1857.65	c cleaning 134000 clauses out of 268126 with flag 91162982/9170013
1889.62/1886.88	c cleaning 135057 clauses out of 270126 with flag 92602927/9306013
1916.07/1913.39	c cleaning 136032 clauses out of 272068 with flag 93919980/9443012
1944.19/1941.45	c cleaning 137000 clauses out of 274038 with flag 95036752/9581014
1973.84/1971.11	c cleaning 137996 clauses out of 276036 with flag 96320341/9720012
2005.09/2002.46	c cleaning 139012 clauses out of 278040 with flag 97548248/9860012
2038.15/2035.44	c cleaning 139990 clauses out of 280030 with flag 98705975/10001014
2069.39/2066.72	c cleaning 141002 clauses out of 282040 with flag 99942483/10143014
2100.57/2097.96	c cleaning 141969 clauses out of 284036 with flag 101391110/10286012
2131.78/2129.49	c cleaning 143006 clauses out of 286068 with flag 102671253/10430013
2165.94/2163.66	c cleaning 143991 clauses out of 288061 with flag 104077521/10575012
2199.19/2196.98	c cleaning 145017 clauses out of 290073 with flag 105813621/10721015
2232.44/2230.18	c cleaning 145978 clauses out of 292053 with flag 107140017/10868012
2264.88/2262.61	c cleaning 147017 clauses out of 294075 with flag 108631082/11016012
2300.10/2297.76	c cleaning 148001 clauses out of 296058 with flag 110025047/11165012
2333.24/2330.99	c cleaning 149015 clauses out of 298059 with flag 111493695/11315014
2365.36/2362.95	c cleaning 149999 clauses out of 300042 with flag 113236330/11466012
2399.69/2397.40	c cleaning 150936 clauses out of 302043 with flag 114537967/11618012
2433.94/2431.66	c cleaning 151987 clauses out of 304107 with flag 116357073/11771012
2473.03/2470.45	c cleaning 153048 clauses out of 306120 with flag 118154348/11925012
2507.46/2504.49	c cleaning 154006 clauses out of 308072 with flag 119815357/12080012
2541.80/2538.86	c cleaning 155013 clauses out of 310066 with flag 121277100/12236012
2575.01/2572.08	c cleaning 156017 clauses out of 312054 with flag 123053017/12393013
2608.80/2606.12	c cleaning 156923 clauses out of 314036 with flag 124658952/12551012
2644.87/2642.42	c cleaning 158022 clauses out of 316113 with flag 126365246/12710012
2679.45/2677.07	c cleaning 159020 clauses out of 318093 with flag 127997517/12870014
2714.47/2711.93	c cleaning 160021 clauses out of 320071 with flag 129518654/13031012
2751.32/2748.80	c cleaning 160995 clauses out of 322051 with flag 131426025/13193013
2787.82/2785.25	c cleaning 162001 clauses out of 324056 with flag 133122478/13356013
2824.15/2821.62	c cleaning 162994 clauses out of 326054 with flag 134594967/13520012
2859.21/2856.68	c cleaning 164015 clauses out of 328060 with flag 135917519/13685012
2896.43/2893.98	c cleaning 164993 clauses out of 330045 with flag 137500157/13851012
2935.11/2932.58	c cleaning 166018 clauses out of 332052 with flag 139255636/14018012
2976.23/2973.06	c cleaning 167005 clauses out of 334034 with flag 141105942/14186012
3013.67/3010.37	c cleaning 168012 clauses out of 336029 with flag 143037246/14355012
3051.21/3047.96	c cleaning 169003 clauses out of 338017 with flag 144795016/14525012
3091.60/3088.30	c cleaning 169990 clauses out of 340016 with flag 146619775/14696014
3130.32/3126.98	c cleaning 170977 clauses out of 342024 with flag 148577653/14868012
3169.65/3165.93	c cleaning 172003 clauses out of 344047 with flag 150427851/15041012
3209.68/3206.10	c cleaning 173005 clauses out of 346044 with flag 152335735/15215012
3247.59/3244.08	c cleaning 174001 clauses out of 348039 with flag 154012735/15390012
3287.97/3284.32	c cleaning 174984 clauses out of 350038 with flag 155718790/15566012
3328.59/3324.80	c cleaning 175993 clauses out of 352054 with flag 157488043/15743012
3368.22/3364.58	c cleaning 176994 clauses out of 354061 with flag 159239065/15921012
3413.68/3409.59	c cleaning 177925 clauses out of 356067 with flag 161016198/16100012
3454.61/3450.83	c cleaning 179059 clauses out of 358142 with flag 162977774/16280012
3494.65/3490.71	c cleaning 180029 clauses out of 360084 with flag 164868487/16461013
3539.41/3535.69	c cleaning 180961 clauses out of 362055 with flag 166828938/16643013
3580.21/3576.65	c cleaning 181935 clauses out of 364093 with flag 168673857/16826012
3600.04/3596.62	c starts		: 2144
3600.04/3596.62	c conflicts		: 16931436
3600.04/3596.62	c decisions		: 267496504
3600.04/3596.62	c propagations		: 10694986113
3600.04/3596.62	c inspects		: 40397583485
3600.04/3596.62	c shortcuts		: 0
3600.04/3596.62	c learnt literals	: 0
3600.04/3596.62	c learnt binary clauses	: 6
3600.04/3596.62	c learnt ternary clauses	: 39
3600.04/3596.62	c learnt constraints	: 16931436
3600.04/3596.62	c ignored constraints	: 0
3600.04/3596.62	c root simplifications	: 0
3600.04/3596.62	c removed literals (reason simplification)	: 0
3600.04/3596.62	c reason swapping (by a shorter reason)	: 0
3600.04/3596.62	c Calls to reduceDB	: 179
3600.04/3596.62	c Number of update (reduction) of LBD	: 12329478
3600.04/3596.62	c Imported unit clauses	: 0
3600.04/3596.62	c No decision after first conflict	: false
3600.04/3596.62	c number of reductions to clauses (during analyze)	: 0
3600.04/3596.62	c number of learned constraints concerned by reduction	: 0
3600.04/3596.62	c number of learning phase by resolution	: 0
3600.04/3596.62	c number of learning phase by cutting planes	: 0
3600.04/3596.62	c number of rounding to 1 operations	: 0
3600.04/3596.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3596.62	c number of reductions of the coefficients by power 2 	: 0
3600.04/3596.62	c number of right shift for reduction by power 2 	: 0
3600.04/3596.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3596.63	c number of ending skipping 	: 0
3600.04/3596.63	c number of internal skipping 	: 0
3600.04/3596.63	c number of derivation steps 	: 0
3600.04/3596.63	c number of skipped derivation steps 	: 0
3600.04/3596.63	c number of remaining unassigned 	: 0
3600.04/3596.63	c number of remaining assigned 	: 0
3600.04/3596.63	c number of falsified literals weakened from reason	: 0
3600.04/3596.63	c number of falsified literals weakened from conflict	: 0
3600.04/3596.63	c time for arithmetic operations	: 0
3600.04/3596.63	c minimum degree of deleted constraints	: null
3600.04/3596.63	c maximum degree of deleted constraints	: null
3600.04/3596.63	c number of deleted constraints	: 0
3600.04/3596.63	c speed (assignments/second)	: 2973855.3736760486
3600.04/3596.63	c non guided choices	: 0
3600.04/3596.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 287576
3600.04/3596.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 6
3600.04/3596.70	s SATISFIABLE
3600.04/3596.70	c Found 2 solution(s)
3600.04/3596.70	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 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 x3004 -x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 -x3193 x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 x3265 x3266 x3267 -x3268 x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 x3373 -x3374 -x3375 -x3376 -x3377 x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 x3413 x3414 -x3415 -x3416 -x3417 x3418 -x3419 -x3420 x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430 -x3431 x3432 -x3433 x3434 -x3435 x3436 -x3437 x3438 -x3439 x3440 -x3441 -x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 x3454 -x3455 x3456 -x3457 -x3458 -x3459 x3460 x3461 x3462 x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 x3502 -x3503 -x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 x3596 -x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 x3608 -x3609 -x3610 -x3611 -x3612 -x3613 x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 x3630 x3631 x3632 x3633 x3634 -x3635 x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 -x4316 -x4317 -x4318 
3600.25/3596.72	c objective function=25
3600.25/3596.72	c Total wall clock time (in seconds): 3596.586

Verifier Data 

OK	25

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432335-1721116721/watcher-4432335-1721116721 -o /tmp/evaluation-result-4432335-1721116721/solver-4432335-1721116721 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721116734-845886 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432335-1721116721.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=845924, runsolver pid=845921

[startup+0.100058 s]*
/proc/loadavg: 1.07 1.20 1.70 9/306 845993
/proc/meminfo: memFree=126268464/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=18975048 memory=65652 CPUtime=0.14 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 7192 0 0 0 11 3 0 0 20 0 18 0 163835966 19430449152 16413 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4743762 16413 5766 1 0 549334 0
[pid=845924/tid=845928] ppid=845921 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 1078198336 5745 0 0 0 6 2 0 0 20 0 18 0 163835966 19430449152 16413 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=18975048 memory=3640 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163835969 19430449152 16413 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163835969 19430449152 16413 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65652 KiB

[startup+0.21177 s]*
/proc/loadavg: 1.07 1.20 1.70 14/326 846016
/proc/meminfo: memFree=126177032/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=18975048 memory=81228 CPUtime=0.34 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 8578 0 0 0 31 3 0 0 20 0 18 0 163835966 19430449152 20307 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4743762 20307 5837 1 0 550245 0
[pid=845924/tid=845928] ppid=845921 vsize=18975048 memory=7301190626353741955 CPUtime=0.17 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 5913 0 0 0 15 2 0 0 20 0 18 0 163835966 19430449152 20307 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=18975048 memory=3640 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163835969 19430449152 20307 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163835969 19430449152 20307 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81228 KiB

[startup+0.305267 s]*
/proc/loadavg: 1.07 1.20 1.70 12/327 846017
/proc/meminfo: memFree=126066280/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19042396 memory=105516 CPUtime=0.52 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 11127 0 0 0 48 4 0 0 20 0 19 0 163835966 19499413504 26379 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4760599 26379 5874 1 0 552265 0
[pid=845924/tid=845928] ppid=845921 vsize=19041612 memory=-8814777467464426172 CPUtime=0.25 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 6026 0 0 0 22 3 0 0 20 0 19 0 163835966 19498610688 26191 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 26191 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 26191 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163835994 19498610688 26191 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19042396 KiB
Current children cumulated memory: 105516 KiB

[startup+0.700305 s]
/proc/loadavg: 1.07 1.20 1.70 14/330 846020
/proc/meminfo: memFree=125861956/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19041612 memory=119368 CPUtime=1.28 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 15409 0 0 0 123 5 0 0 20 0 19 0 163835966 19498610688 29842 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4760403 29842 5874 1 0 555246 0
[pid=845924/tid=845928] ppid=845921 vsize=19041612 memory=5496 CPUtime=0.62 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 6054 0 0 0 59 3 0 0 20 0 19 0 163835966 19498610688 29842 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19041612 memory=12180 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 29842 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19041612 memory=65657 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 29842 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19041612 memory=2244 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163835994 19498610688 29842 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 119368 KiB

[startup+1.5003 s]
/proc/loadavg: 1.07 1.20 1.70 10/332 846022
/proc/meminfo: memFree=125769752/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19041612 memory=122048 CPUtime=2.43 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 16584 0 0 0 238 5 0 0 20 0 19 0 163835966 19498610688 30512 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4760403 30512 5874 1 0 555248 0
[pid=845924/tid=845928] ppid=845921 vsize=19041612 memory=12180 CPUtime=1.41 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 6165 0 0 0 138 3 0 0 20 0 19 0 163835966 19498610688 30512 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 30512 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19041612 memory=19432 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 30512 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19041612 memory=104 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163835994 19498610688 30512 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 122048 KiB

[startup+3.10631 s]
/proc/loadavg: 1.31 1.24 1.71 5/333 846025
/proc/meminfo: memFree=125524460/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19041612 memory=126596 CPUtime=4.29 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 20588 0 0 0 424 5 0 0 20 0 19 0 163835966 19498610688 31649 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4760403 31649 5874 1 0 555295 0
[pid=845924/tid=845928] ppid=845921 vsize=19041612 memory=12180 CPUtime=3 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 7365 0 0 0 297 3 0 0 20 0 19 0 163835966 19498610688 31649 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 31649 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19041612 memory=11560 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 31649 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19041612 memory=41948 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163835994 19498610688 31649 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 4.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 126596 KiB

[startup+6.30029 s]
/proc/loadavg: 1.31 1.24 1.71 5/333 846025
/proc/meminfo: memFree=125534400/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19041612 memory=130468 CPUtime=7.57 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 21222 0 0 0 751 6 0 0 20 0 19 0 163835966 19498610688 32617 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4760403 32617 5874 1 0 555297 0
[pid=845924/tid=845928] ppid=845921 vsize=19041612 memory=-8815053532582212800 CPUtime=6.18 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 7436 0 0 0 615 3 0 0 20 0 19 0 163835966 19498610688 32617 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 32617 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19041612 memory=12180 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 32617 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163835994 19498610688 32617 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 130468 KiB

[startup+12.7003 s]
/proc/loadavg: 1.60 1.31 1.73 5/333 846026
/proc/meminfo: memFree=125324060/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19041612 memory=163248 CPUtime=13.96 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 23123 0 0 0 1389 7 0 0 20 0 19 0 163835966 19498610688 40812 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4760403 40812 5874 1 0 555297 0
[pid=845924/tid=845928] ppid=845921 vsize=19041612 memory=12180 CPUtime=12.57 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 8632 0 0 0 1253 4 0 0 20 0 19 0 163835966 19498610688 40812 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 40812 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19041612 memory=-9104978168453112508 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163835969 19498610688 40812 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19041612 memory=11560 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163835994 19498610688 40812 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 13.96 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163248 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 1.44 1.77 5/334 846029
/proc/meminfo: memFree=125040056/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19108176 memory=192692 CPUtime=26.78 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 28320 0 0 0 2670 8 0 0 20 0 20 0 163835966 19566772224 48173 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4777044 48173 5947 1 0 555602 0
[pid=845924/tid=845928] ppid=845921 vsize=19108176 memory=1396 CPUtime=25.32 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 9882 0 0 0 2528 4 0 0 20 0 20 0 163835966 19566772224 48173 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19108176 memory=192404 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 48173 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19108176 memory=-9104978168453112508 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 48173 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163835994 19566772224 48173 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192692 KiB

[startup+51.1056 s]
/proc/loadavg: 2.77 1.65 1.83 5/334 846032
/proc/meminfo: memFree=124488084/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19108176 memory=285144 CPUtime=52.41 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 32608 0 0 0 5230 11 0 0 20 0 20 0 163835966 19566772224 71286 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4777044 71286 5947 1 0 555602 0
[pid=845924/tid=845928] ppid=845921 vsize=19108176 memory=1396 CPUtime=50.73 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 11212 0 0 0 5069 4 0 0 20 0 20 0 163835966 19566772224 71286 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/332 847265
/proc/meminfo: memFree=111580220/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19108176 memory=3267580 CPUtime=3285.97 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 190823 0 0 0 328437 160 0 0 20 0 20 0 163835966 19566772224 816895 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4777044 816895 5947 1 0 868207 0
[pid=845924/tid=845928] ppid=845921 vsize=19108176 memory=3267580 CPUtime=3258.74 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 71344 0 0 0 325842 32 0 0 20 0 20 0 163835966 19566772224 816895 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19108176 memory=3267580 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 816895 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19108176 memory=3267580 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 2379 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 816895 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19108176 memory=-9104978168453112508 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163835994 19566772224 816895 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 3285.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3267580 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.05 5/332 847276
/proc/meminfo: memFree=111579224/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19108176 memory=3267816 CPUtime=3346.06 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 191680 0 0 0 334444 162 0 0 20 0 20 0 163835966 19566772224 816954 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4777044 816954 5947 1 0 868207 0
[pid=845924/tid=845928] ppid=845921 vsize=19108176 memory=11560 CPUtime=3318.42 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 71869 0 0 0 331810 32 0 0 20 0 20 0 163835966 19566772224 816954 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19108176 memory=3267580 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 816954 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19108176 memory=3267580 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 2426 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 816954 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19108176 memory=3267816 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163835994 19566772224 816954 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 3346.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3267816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.05 5/331 847668
/proc/meminfo: memFree=111153464/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19108176 memory=3515852 CPUtime=3406.54 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 197225 0 0 0 340485 169 0 0 20 0 20 0 163835966 19566772224 878963 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4777044 878963 5947 1 0 1010270 0
[pid=845924/tid=845928] ppid=845921 vsize=19108176 memory=11560 CPUtime=3378.03 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 72485 0 0 0 337767 36 0 0 20 0 20 0 163835966 19566772224 878963 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19108176 memory=3267580 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 878963 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19108176 memory=3407276 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 2427 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 878963 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19108176 memory=3407276 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163835994 19566772224 878963 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 3406.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3515852 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/331 847678
/proc/meminfo: memFree=111018288/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19108176 memory=3646352 CPUtime=3466.29 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 199779 0 0 0 346457 172 0 0 20 0 20 0 163835966 19566772224 911588 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4777044 911588 5962 1 0 1010286 0
[pid=845924/tid=845928] ppid=845921 vsize=19108176 memory=11560 CPUtime=3437.44 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 72721 0 0 0 343707 37 0 0 20 0 20 0 163835966 19566772224 911588 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19108176 memory=3267580 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 911588 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19108176 memory=3407276 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 2428 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 911588 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163835994 19566772224 911588 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 3466.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3646352 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/331 847689
/proc/meminfo: memFree=110968048/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19108176 memory=3695548 CPUtime=3526.21 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 202015 0 0 0 352446 175 0 0 20 0 20 0 163835966 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4777044 923887 5962 1 0 1010287 0
[pid=845924/tid=845928] ppid=845921 vsize=19108176 memory=3695548 CPUtime=3496.98 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 73615 0 0 0 349661 37 0 0 20 0 20 0 163835966 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19108176 memory=3695548 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 2506 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19108176 memory=3695548 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163835994 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 3526.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3695548 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/332 847869
/proc/meminfo: memFree=110788376/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19108176 memory=3695548 CPUtime=3585.86 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 202690 0 0 0 358409 177 0 0 20 0 20 0 163835966 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4777044 923887 5962 1 0 1010287 0
[pid=845924/tid=845928] ppid=845921 vsize=19108176 memory=41948 CPUtime=3556.26 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 73968 0 0 0 355588 38 0 0 20 0 20 0 163835966 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19108176 memory=3695548 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19108176 memory=5496 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 2506 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19108176 memory=3695548 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163835994 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3695548 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.6 s]
/proc/loadavg: 4.06 4.08 4.05 5/331 848005
/proc/meminfo: memFree=119309568/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19108176 memory=3695548 CPUtime=3600.04 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 202707 0 0 0 359826 178 0 0 20 0 20 0 163835966 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4777044 923887 5962 1 0 1010287 0
[pid=845924/tid=845928] ppid=845921 vsize=19108176 memory=21196 CPUtime=3570.43 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 73985 0 0 0 357005 38 0 0 20 0 20 0 163835966 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19108176 memory=28272 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19108176 memory=33008 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 2506 0 0 0 0 0 0 0 20 0 20 0 163835969 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=846017] ppid=845921 vsize=19108176 memory=7076 CPUtime=0 cores=4,6
/proc/845924/task/846017/stat : 846017 (Timer-0) S 845921 845924 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163835994 19566772224 923887 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3695548 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.5 s, system=1.79742 s

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

[startup+3596.71 s]
/proc/loadavg: 4.06 4.08 4.05 5/331 848005
/proc/meminfo: memFree=119309568/131524600 swapFree=131071996/131071996
[pid=845924] ppid=845921 vsize=19307868 memory=3696352 CPUtime=3600.25 cores=4,6
/proc/845924/stat : 845924 (java) S 845921 845924 845875 0 -1 1077936128 204900 0 0 0 359847 178 0 0 20 0 21 0 163835966 19771256832 924088 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
/proc/845924/statm: 4826967 924088 5961 1 0 1011205 0
[pid=845924/tid=845928] ppid=845921 vsize=19307868 memory=11560 CPUtime=3570.51 cores=4,6
/proc/845924/task/845928/stat : 845928 (java) R 845921 845924 845875 0 -1 4194368 74093 0 0 0 357013 38 0 0 20 0 21 0 163835966 19771256832 924088 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845961] ppid=845921 vsize=19307868 memory=3646352 CPUtime=0 cores=4,6
/proc/845924/task/845961/stat : 845961 (Finalizer) S 845921 845924 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 163835969 19771256832 924088 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
[pid=845924/tid=845976] ppid=845921 vsize=19307868 memory=3695548 CPUtime=0 cores=4,6
/proc/845924/task/845976/stat : 845976 (Common-Cleaner) S 845921 845924 845875 0 -1 1077936192 2506 0 0 0 0 0 0 0 20 0 21 0 163835969 19771256832 924088 134679101440 94637405487104 94637405490800 140732695033328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94637405498616 94637405499408 94637431308288 140732695041031 140732695041121 140732695041121 140732695048136 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3696352 KiB

Child status: 143

Real time (s): 3596.75
CPU time (s): 3600.29
CPU user time (s): 3598.5
CPU system time (s): 1.79742
CPU usage (%): 100.099
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3696352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.5
system time used= 1.79742
maximum resident set size= 3696376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109097
involuntary context switches= 12509


# summary of solver processes directly reported to runsolver:
#   pid: 845924
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3598.5
#   total CPU system time (s): 1.79742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06385 second user time and 18.078 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-16 09:58:54
IDJOB=4432335
IDBENCH=148191
IDSOLVER=3058
FILE ID=nodeC021/4432335-1721116721
RUNJOBID= nodeC021-1721116734-845886
SLURM_JOB_ID= 7505658
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432335-1721116721/watcher-4432335-1721116721 -o /tmp/evaluation-result-4432335-1721116721/solver-4432335-1721116721 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721116734-845886 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432335-1721116721.opb

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=40172820

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126400192 kB
MemAvailable:   129682136 kB
Buffers:          392400 kB
Cached:          3691528 kB
SwapCached:            0 kB
Active:           731840 kB
Inactive:        3719092 kB
Active(anon):       1448 kB
Inactive(anon):   403616 kB
Active(file):     730392 kB
Inactive(file):  3315476 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6468 kB
Writeback:            28 kB
AnonPages:        367344 kB
Mapped:           104160 kB
Shmem:             37720 kB
KReclaimable:     151800 kB
Slab:             265764 kB
SReclaimable:     151800 kB
SUnreclaim:       113964 kB
KernelStack:        3920 kB
PageTables:        10276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     775104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62272 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      256724 kB
DirectMap2M:    23633920 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC021 at 2024-07-16 10:58:51