Trace number 4440259

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)88 3600.36 3657.78

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
MD5SUMc6607e81ef495ea554e89cc8679fc78c
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 benchmark63
Best CPU time to get the best result obtained on this benchmark2.08211
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4676
Total number of constraints509
Number of constraints which are clauses509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint166
Number of terms in the objective function 4676
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 4676
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4676
Number of bits of the biggest sum of numbers13
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 		2104792832
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@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d 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	Expensive 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@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d 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 Expensive 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-4440259-1721769196.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
0.34/0.22	c ... done. Wall clock time 0.091s.
0.34/0.22	c declared #vars     4676
0.34/0.22	c #constraints  509
0.34/0.22	c constraints type 
0.34/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 509
0.34/0.22	c 509 constraints processed.
0.34/0.23	c objective function length is 4676 literals
0.34/0.26	c SATISFIABLE
0.34/0.26	c OPTIMIZING...
0.34/0.26	c Got one! Elapsed wall clock time (in seconds):0.136
0.34/0.26	o 89
0.74/0.44	c Got one! Elapsed wall clock time (in seconds):0.316
0.74/0.44	o 88
3.27/1.77	c cleaning 2677 clauses out of 5354 with flag 16091/5354
5.06/3.14	c cleaning 4339 clauses out of 8679 with flag 33341/11356
6.92/4.63	c cleaning 5647 clauses out of 11338 with flag 54714/18354
8.73/6.25	c cleaning 6839 clauses out of 13691 with flag 84135/26354
10.73/8.21	c cleaning 7908 clauses out of 15852 with flag 110783/35354
12.73/10.25	c cleaning 8963 clauses out of 17944 with flag 146316/45354
15.02/12.58	c cleaning 9984 clauses out of 19981 with flag 181837/56354
17.62/15.15	c cleaning 10986 clauses out of 21997 with flag 222779/68354
20.42/17.99	c cleaning 11986 clauses out of 24011 with flag 267228/81354
23.42/20.93	c cleaning 13012 clauses out of 26027 with flag 322300/95356
26.63/24.11	c cleaning 13997 clauses out of 28016 with flag 372405/110357
29.82/27.40	c cleaning 15008 clauses out of 30016 with flag 423660/126354
33.48/31.00	c cleaning 15978 clauses out of 32008 with flag 480610/143354
37.39/35.11	c cleaning 16997 clauses out of 34038 with flag 542614/161362
41.38/39.12	c cleaning 17982 clauses out of 36035 with flag 605625/180356
45.66/43.44	c cleaning 19002 clauses out of 38051 with flag 673463/200354
50.15/47.93	c cleaning 20001 clauses out of 40049 with flag 744728/221354
54.97/52.72	c cleaning 21023 clauses out of 42052 with flag 815312/243358
60.27/58.08	c cleaning 21952 clauses out of 44025 with flag 891148/266354
65.52/63.33	c cleaning 23000 clauses out of 46073 with flag 967218/290354
71.25/69.52	c cleaning 24011 clauses out of 48075 with flag 1051467/315356
77.20/75.52	c cleaning 24987 clauses out of 50062 with flag 1141897/341354
83.36/81.74	c cleaning 26036 clauses out of 52091 with flag 1227471/368370
90.04/88.47	c cleaning 27011 clauses out of 54042 with flag 1318884/396357
96.70/96.83	c cleaning 28009 clauses out of 56034 with flag 1411839/425360
103.58/103.70	c cleaning 28970 clauses out of 58019 with flag 1504892/455354
110.91/111.02	c cleaning 29993 clauses out of 60049 with flag 1608404/486354
118.80/118.90	c cleaning 31026 clauses out of 62056 with flag 1724559/518354
126.61/126.74	c cleaning 31969 clauses out of 64030 with flag 1837236/551354
134.82/136.06	c cleaning 32988 clauses out of 66062 with flag 1948997/585355
143.74/144.95	c cleaning 34030 clauses out of 68073 with flag 2069239/620354
152.66/153.82	c cleaning 34982 clauses out of 70044 with flag 2188738/656355
161.78/163.53	c cleaning 36011 clauses out of 72063 with flag 2322151/693356
171.31/173.10	c cleaning 36984 clauses out of 74050 with flag 2451719/731354
181.49/183.23	c cleaning 37994 clauses out of 76066 with flag 2575128/770354
192.10/194.57	c cleaning 38992 clauses out of 78072 with flag 2701760/810354
203.50/205.99	c cleaning 40008 clauses out of 80080 with flag 2825977/851354
214.62/217.10	c cleaning 41020 clauses out of 82074 with flag 2963300/893356
226.13/230.33	c cleaning 42025 clauses out of 84058 with flag 3095806/936360
237.60/241.82	c cleaning 42974 clauses out of 86033 with flag 3239350/980360
249.59/254.52	c cleaning 43978 clauses out of 88054 with flag 3380336/1025355
262.40/267.44	c cleaning 44986 clauses out of 90075 with flag 3521199/1071354
275.65/280.78	c cleaning 46045 clauses out of 92089 with flag 3675538/1118354
288.79/294.10	c cleaning 47016 clauses out of 94050 with flag 3830086/1166360
301.99/307.42	c cleaning 47967 clauses out of 96028 with flag 3988547/1215354
315.29/321.37	c cleaning 48994 clauses out of 98061 with flag 4146021/1265354
328.85/334.91	c cleaning 50007 clauses out of 100068 with flag 4304968/1316355
342.61/349.11	c cleaning 50992 clauses out of 102060 with flag 4471475/1368354
357.42/363.91	c cleaning 51985 clauses out of 104069 with flag 4639428/1421355
373.64/380.60	c cleaning 53029 clauses out of 106083 with flag 4808758/1475354
388.91/395.85	c cleaning 54010 clauses out of 108057 with flag 4985742/1530357
404.67/412.03	c cleaning 54997 clauses out of 110045 with flag 5164432/1586355
421.28/428.69	c cleaning 56007 clauses out of 112047 with flag 5355341/1643354
436.90/444.64	c cleaning 56970 clauses out of 114040 with flag 5549130/1701354
452.95/460.62	c cleaning 58002 clauses out of 116070 with flag 5743475/1760354
470.08/478.80	c cleaning 58993 clauses out of 118068 with flag 5947227/1820354
487.50/496.24	c cleaning 60020 clauses out of 120077 with flag 6140312/1881356
505.21/514.66	c cleaning 61015 clauses out of 122056 with flag 6350517/1943355
523.35/533.51	c cleaning 62010 clauses out of 124040 with flag 6560280/2006354
541.26/551.47	c cleaning 62973 clauses out of 126030 with flag 6779562/2070354
559.53/570.64	c cleaning 64001 clauses out of 128058 with flag 7000037/2135355
579.70/590.84	c cleaning 64980 clauses out of 130058 with flag 7201460/2201356
599.16/610.82	c cleaning 66022 clauses out of 132077 with flag 7422011/2268355
619.34/631.23	c cleaning 66989 clauses out of 134054 with flag 7639587/2336354
640.21/652.18	c cleaning 68028 clauses out of 136067 with flag 7874759/2405356
658.73/670.92	c cleaning 68996 clauses out of 138039 with flag 8108231/2475356
678.15/690.89	c cleaning 69992 clauses out of 140041 with flag 8338707/2546354
698.16/710.85	c cleaning 71024 clauses out of 142049 with flag 8581142/2618354
717.44/730.77	c cleaning 71986 clauses out of 144025 with flag 8817763/2691354
737.50/751.26	c cleaning 73018 clauses out of 146039 with flag 9059827/2765354
756.31/770.10	c cleaning 73993 clauses out of 148021 with flag 9309967/2840354
774.92/789.42	c cleaning 74991 clauses out of 150028 with flag 9576807/2916354
794.18/810.32	c cleaning 76021 clauses out of 152041 with flag 9838009/2993358
813.89/830.07	c cleaning 76952 clauses out of 154016 with flag 10116582/3071354
833.80/850.62	c cleaning 77994 clauses out of 156064 with flag 10397541/3150354
854.66/872.10	c cleaning 79036 clauses out of 158071 with flag 10683597/3230355
874.74/892.25	c cleaning 80012 clauses out of 160036 with flag 10958254/3311356
895.61/913.76	c cleaning 80999 clauses out of 162022 with flag 11212834/3393354
915.92/934.48	c cleaning 81935 clauses out of 164023 with flag 11493808/3476354
936.65/955.16	c cleaning 83037 clauses out of 166089 with flag 11800872/3560355
960.73/979.74	c cleaning 84025 clauses out of 168051 with flag 12065493/3645354
982.13/1001.83	c cleaning 84961 clauses out of 170026 with flag 12358259/3731354
1005.30/1025.68	c cleaning 86012 clauses out of 172065 with flag 12654181/3818354
1027.74/1048.07	c cleaning 87026 clauses out of 174054 with flag 12945265/3906355
1051.91/1072.61	c cleaning 87981 clauses out of 176027 with flag 13238379/3995354
1077.50/1098.42	c cleaning 89010 clauses out of 178047 with flag 13546753/4085355
1104.41/1125.75	c cleaning 90005 clauses out of 180042 with flag 13845859/4176360
1127.91/1149.64	c cleaning 90971 clauses out of 182031 with flag 14168866/4268354
1152.68/1174.34	c cleaning 92014 clauses out of 184060 with flag 14483385/4361354
1176.93/1198.99	c cleaning 92999 clauses out of 186046 with flag 14800747/4455354
1201.47/1223.77	c cleaning 94014 clauses out of 188047 with flag 15111164/4550354
1227.28/1249.70	c cleaning 94999 clauses out of 190033 with flag 15440136/4646354
1252.16/1274.98	c cleaning 95987 clauses out of 192038 with flag 15761566/4743358
1277.42/1300.49	c cleaning 97013 clauses out of 194047 with flag 16120081/4841354
1308.41/1331.78	c cleaning 98007 clauses out of 196034 with flag 16463261/4940354
1335.40/1358.60	c cleaning 98978 clauses out of 198027 with flag 16797788/5040354
1361.85/1385.45	c cleaning 99998 clauses out of 200053 with flag 17151853/5141358
1389.16/1412.81	c cleaning 100957 clauses out of 202060 with flag 17514331/5243363
1417.42/1441.42	c cleaning 102047 clauses out of 204094 with flag 17866099/5346354
1445.81/1470.23	c cleaning 103007 clauses out of 206048 with flag 18214158/5450355
1472.31/1497.37	c cleaning 103994 clauses out of 208041 with flag 18562261/5555355
1498.31/1523.89	c cleaning 105008 clauses out of 210046 with flag 18906211/5661354
1524.95/1550.96	c cleaning 105979 clauses out of 212038 with flag 19260982/5768354
1552.27/1578.82	c cleaning 107030 clauses out of 214059 with flag 19629658/5876354
1582.79/1609.86	c cleaning 107985 clauses out of 216029 with flag 20003106/5985354
1611.62/1638.55	c cleaning 109003 clauses out of 218044 with flag 20357020/6095354
1640.72/1668.24	c cleaning 110018 clauses out of 220041 with flag 20723729/6206354
1671.65/1699.83	c cleaning 110969 clauses out of 222023 with flag 21103392/6318354
1701.21/1729.99	c cleaning 112013 clauses out of 224054 with flag 21503903/6431354
1731.90/1761.39	c cleaning 112997 clauses out of 226041 with flag 21885059/6545354
1765.89/1796.21	c cleaning 114006 clauses out of 228044 with flag 22284440/6660354
1796.39/1834.51	c cleaning 114965 clauses out of 230038 with flag 22691318/6776354
1827.77/1866.90	c cleaning 116022 clauses out of 232073 with flag 23072506/6893354
1858.24/1898.54	c cleaning 117014 clauses out of 234052 with flag 23453185/7011355
1890.17/1930.88	c cleaning 117993 clauses out of 236037 with flag 23836360/7130354
1920.97/1962.18	c cleaning 118991 clauses out of 238048 with flag 24223314/7250358
1953.84/1995.65	c cleaning 120013 clauses out of 240054 with flag 24622349/7371355
1985.14/2027.12	c cleaning 121020 clauses out of 242043 with flag 25014590/7493357
2018.58/2060.86	c cleaning 122010 clauses out of 244020 with flag 25428561/7616354
2051.02/2093.53	c cleaning 123010 clauses out of 246019 with flag 25864701/7740363
2082.44/2124.96	c cleaning 123970 clauses out of 248000 with flag 26283907/7865354
2115.29/2158.02	c cleaning 124986 clauses out of 250030 with flag 26701896/7991354
2148.44/2191.59	c cleaning 126008 clauses out of 252046 with flag 27115107/8118356
2183.35/2226.94	c cleaning 126985 clauses out of 254036 with flag 27541105/8246354
2217.60/2262.78	c cleaning 128020 clauses out of 256051 with flag 27977264/8375354
2251.34/2296.98	c cleaning 128981 clauses out of 258031 with flag 28403006/8505354
2286.13/2332.23	c cleaning 129997 clauses out of 260052 with flag 28812441/8636356
2321.33/2367.86	c cleaning 130996 clauses out of 262054 with flag 29250457/8768355
2356.76/2403.55	c cleaning 132030 clauses out of 264060 with flag 29700040/8901357
2392.71/2439.85	c cleaning 132985 clauses out of 266027 with flag 30135796/9035354
2426.66/2474.24	c cleaning 134003 clauses out of 268046 with flag 30586440/9170358
2462.32/2511.23	c cleaning 134998 clauses out of 270039 with flag 31009738/9306354
2499.04/2547.78	c cleaning 135977 clauses out of 272041 with flag 31446304/9443354
2534.36/2583.26	c cleaning 137023 clauses out of 274064 with flag 31885222/9581354
2570.54/2619.59	c cleaning 138005 clauses out of 276045 with flag 32338963/9720358
2613.80/2663.24	c cleaning 139003 clauses out of 278036 with flag 32836806/9860354
2653.15/2702.79	c cleaning 140005 clauses out of 280033 with flag 33292257/10001354
2692.77/2742.03	c cleaning 140963 clauses out of 282028 with flag 33741764/10143354
2729.93/2779.61	c cleaning 142027 clauses out of 284065 with flag 34203032/10286354
2768.02/2818.64	c cleaning 142949 clauses out of 286038 with flag 34683580/10430354
2807.88/2858.70	c cleaning 143996 clauses out of 288090 with flag 35181358/10575355
2847.15/2898.18	c cleaning 145038 clauses out of 290094 with flag 35664800/10721355
2895.06/2945.84	c cleaning 146013 clauses out of 292055 with flag 36123954/10868354
2943.64/2994.50	c cleaning 147003 clauses out of 294042 with flag 36582781/11016354
2992.98/3044.12	c cleaning 147991 clauses out of 296039 with flag 37046213/11165354
3038.84/3090.85	c cleaning 148994 clauses out of 298048 with flag 37513347/11315354
3085.69/3138.10	c cleaning 149982 clauses out of 300054 with flag 37975931/11466354
3139.15/3191.64	c cleaning 151017 clauses out of 302072 with flag 38447980/11618354
3187.41/3239.95	c cleaning 151983 clauses out of 304055 with flag 38913178/11771354
3235.00/3287.62	c cleaning 153015 clauses out of 306074 with flag 39379651/11925356
3285.17/3337.73	c cleaning 154023 clauses out of 308059 with flag 39852740/12080356
3336.86/3389.57	c cleaning 154977 clauses out of 310036 with flag 40319568/12236356
3387.29/3440.32	c cleaning 155997 clauses out of 312057 with flag 40815412/12393354
3434.40/3487.66	c cleaning 157030 clauses out of 314061 with flag 41331800/12551355
3476.53/3529.68	c cleaning 158009 clauses out of 316030 with flag 41832852/12710354
3524.83/3578.24	c cleaning 158972 clauses out of 318021 with flag 42341857/12870354
3573.99/3631.48	c cleaning 160017 clauses out of 320049 with flag 42865162/13031354
3600.09/3657.62	c starts		: 6273
3600.09/3657.62	c conflicts		: 13127200
3600.09/3657.62	c decisions		: 110231074
3600.09/3657.62	c propagations		: 19540166207
3600.09/3657.62	c inspects		: 6830572743
3600.09/3657.62	c shortcuts		: 0
3600.09/3657.62	c learnt literals	: 0
3600.09/3657.62	c learnt binary clauses	: 0
3600.09/3657.62	c learnt ternary clauses	: 0
3600.09/3657.62	c learnt constraints	: 13127200
3600.09/3657.62	c ignored constraints	: 0
3600.09/3657.62	c root simplifications	: 0
3600.09/3657.62	c removed literals (reason simplification)	: 68855115
3600.09/3657.62	c reason swapping (by a shorter reason)	: 0
3600.09/3657.62	c Calls to reduceDB	: 157
3600.09/3657.62	c Number of update (reduction) of LBD	: 6499332
3600.09/3657.62	c Imported unit clauses	: 0
3600.09/3657.62	c No decision after first conflict	: false
3600.09/3657.62	c number of reductions to clauses (during analyze)	: 0
3600.09/3657.62	c number of learned constraints concerned by reduction	: 0
3600.09/3657.62	c number of learning phase by resolution	: 0
3600.09/3657.62	c number of learning phase by cutting planes	: 0
3600.09/3657.62	c number of rounding to 1 operations	: 0
3600.09/3657.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3657.62	c number of reductions of the coefficients by power 2 	: 0
3600.09/3657.62	c number of right shift for reduction by power 2 	: 0
3600.09/3657.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3657.62	c number of ending skipping 	: 0
3600.09/3657.62	c number of internal skipping 	: 0
3600.09/3657.62	c number of derivation steps 	: 0
3600.09/3657.62	c number of skipped derivation steps 	: 0
3600.09/3657.62	c number of remaining unassigned 	: 0
3600.09/3657.62	c number of remaining assigned 	: 0
3600.09/3657.62	c number of falsified literals weakened from reason	: 0
3600.09/3657.62	c number of falsified literals weakened from conflict	: 0
3600.09/3657.62	c time for arithmetic operations	: 0
3600.09/3657.62	c minimum degree of deleted constraints	: null
3600.09/3657.62	c maximum degree of deleted constraints	: null
3600.09/3657.62	c number of deleted constraints	: 0
3600.09/3657.62	c speed (assignments/second)	: 5342667.758614089
3600.09/3657.62	c non guided choices	: 0
3600.29/3657.73	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 255878
3600.29/3657.73	s SATISFIABLE
3600.29/3657.73	c Found 2 solution(s)
3600.29/3657.73	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 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 
3600.29/3657.73	c objective function=88
3600.29/3657.73	c Total wall clock time (in seconds): 3657.606

Verifier Data 

OK	88

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.101306 s]*
/proc/loadavg: 4.50 4.48 4.28 10/332 136858
/proc/meminfo: memFree=85863908/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=18975048 memory=64688 CPUtime=0.14 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 7251 0 0 0 12 2 0 0 20 0 18 0 13443531 19430449152 16172 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4743762 16172 5530 1 0 549381 0
[pid=136808/tid=136810] ppid=136805 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 5766 0 0 0 8 1 0 0 20 0 18 0 13443531 19430449152 16172 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=18975048 memory=5719 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13443533 19430449152 16172 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=18975048 memory=14127849065940646 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13443534 19430449152 16172 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64688 KiB

[startup+0.209476 s]*
/proc/loadavg: 4.50 4.48 4.28 9/333 136859
/proc/meminfo: memFree=85828736/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=18975048 memory=83484 CPUtime=0.34 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 8346 0 0 0 31 3 0 0 20 0 18 0 13443531 19430449152 20871 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4743762 20871 5816 1 0 550132 0
[pid=136808/tid=136810] ppid=136805 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 5928 0 0 0 18 1 0 0 20 0 18 0 13443531 19430449152 20871 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=18975048 memory=5719 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13443533 19430449152 20871 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=18975048 memory=14127849065940646 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13443534 19430449152 20871 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83484 KiB

[startup+0.309056 s]*
/proc/loadavg: 4.50 4.48 4.28 9/334 136860
/proc/meminfo: memFree=85802608/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19041612 memory=93104 CPUtime=0.53 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 9447 0 0 0 50 3 0 0 20 0 19 0 13443531 19498610688 23276 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4760403 23276 5853 1 0 551012 0
[pid=136808/tid=136810] ppid=136805 vsize=19041612 memory=-8672352224482730684 CPUtime=0.29 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 6064 0 0 0 27 2 0 0 20 0 19 0 13443531 19498610688 23276 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13443533 19498610688 23276 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13443534 19498610688 23276 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13443554 19498610688 23276 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93104 KiB

[startup+0.70304 s]
/proc/loadavg: 4.50 4.48 4.28 9/334 136860
/proc/meminfo: memFree=85720436/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=174980 CPUtime=1.29 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 12126 0 0 0 124 5 0 0 20 0 20 0 13443531 19566772224 43745 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 43745 5869 1 0 553163 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=12992 CPUtime=0.67 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 6133 0 0 0 63 4 0 0 20 0 20 0 13443531 19566772224 43745 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=12992 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 43745 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=281306533786600 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 43745 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=32404 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 43745 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174980 KiB

[startup+1.51005 s]
/proc/loadavg: 4.50 4.48 4.28 8/336 136862
/proc/meminfo: memFree=85607784/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=177508 CPUtime=2.89 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 17362 0 0 0 283 6 0 0 20 0 20 0 13443531 19566772224 44377 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 44377 5917 1 0 553514 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=12992 CPUtime=1.45 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 6427 0 0 0 141 4 0 0 20 0 20 0 13443531 19566772224 44377 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=32404 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 44377 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 44377 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 44377 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177508 KiB

[startup+3.10604 s]
/proc/loadavg: 4.62 4.51 4.29 5/336 136862
/proc/meminfo: memFree=85646484/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=184540 CPUtime=5.06 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 19561 0 0 0 499 7 0 0 20 0 20 0 13443531 19566772224 46135 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 46135 5917 1 0 553568 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=0 CPUtime=2.99 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 7249 0 0 0 295 4 0 0 20 0 20 0 13443531 19566772224 46135 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 46135 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=12992 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 46135 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 46135 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 5.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184540 KiB

[startup+6.30106 s]
/proc/loadavg: 4.62 4.51 4.29 5/336 136863
/proc/meminfo: memFree=84739460/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=334360 CPUtime=8.84 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 22616 0 0 0 873 11 0 0 20 0 20 0 13443531 19566772224 83590 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 83590 5917 1 0 554055 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=0 CPUtime=6.14 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 7776 0 0 0 607 7 0 0 20 0 20 0 13443531 19566772224 83590 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=-6231809381642518164 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 83590 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=12992 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 83590 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 83590 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 8.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 334360 KiB

[startup+12.7003 s]
/proc/loadavg: 4.52 4.49 4.29 5/336 136863
/proc/meminfo: memFree=83472332/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=1161272 CPUtime=15.22 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 24386 0 0 0 1493 29 0 0 20 0 20 0 13443531 19566772224 290318 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 290318 5932 1 0 554055 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=-8817311837488718524 CPUtime=12.51 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 9073 0 0 0 1226 25 0 0 20 0 20 0 13443531 19566772224 290318 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 290318 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 290318 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 290318 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 15.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1161272 KiB

[startup+25.5003 s]
/proc/loadavg: 4.52 4.49 4.29 5/336 136935
/proc/meminfo: memFree=97936144/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=1312988 CPUtime=28.03 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 27790 0 0 0 2766 37 0 0 20 0 20 0 13443531 19566772224 328247 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 328247 5932 1 0 554055 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=11624 CPUtime=25.22 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 10071 0 0 0 2490 32 0 0 20 0 20 0 13443531 19566772224 328247 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=334360 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 328247 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 328247 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=1312980 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 328247 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 28.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1312988 KiB

[startup+51.1059 s]
/proc/loadavg: 4.40 4.46 4.29 5/336 136939
/proc/meminfo: memFree=97255072/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=1366468 CPUtime=53.38 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 37811 0 0 0 5291 47 0 0 20 0 20 0 13443531 19566772224 341617 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 341617 5932 1 0 554055 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=8080 CPUtime=50.23 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 11989 0 0 0 4982 41 0 0 20 0 20 0 13443531 19566772224 341617 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0

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

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.21 5/339 139057
/proc/meminfo: memFree=13327684/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=2175464 CPUtime=3289.78 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 188055 0 0 0 327854 1124 0 0 20 0 20 0 13443531 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 543866 5932 1 0 556459 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=2175464 CPUtime=3248.96 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 81834 0 0 0 323878 1018 0 0 20 0 20 0 13443531 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6123 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=50952 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 2802 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 3289.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.20 4.21 5/339 139067
/proc/meminfo: memFree=12300096/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=2175464 CPUtime=3349.47 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 190109 0 0 0 333804 1143 0 0 20 0 20 0 13443531 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 543866 5932 1 0 556459 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=50952 CPUtime=3308.01 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 82992 0 0 0 329767 1034 0 0 20 0 20 0 13443531 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6169 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=2175464 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=2175464 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 2889 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 3349.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.23 4.22 5/345 139373
/proc/meminfo: memFree=11378940/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=2175464 CPUtime=3409.04 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 192358 0 0 0 339741 1163 0 0 20 0 20 0 13443531 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 543866 5932 1 0 556459 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=50952 CPUtime=3367 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 84571 0 0 0 335647 1053 0 0 20 0 20 0 13443531 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6205 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=2175464 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=2175464 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 2905 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=-8817311837488718524 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 543866 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 3409.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.23 4.22 5/345 139384
/proc/meminfo: memFree=10319856/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=2175540 CPUtime=3469.24 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 196285 0 0 0 345743 1181 0 0 20 0 20 0 13443531 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 543885 5948 1 0 556459 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=2175464 CPUtime=3426.19 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 85641 0 0 0 341550 1069 0 0 20 0 20 0 13443531 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6238 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=3500 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=2175540 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 2937 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=50952 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 3469.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.22 4.22 3/342 139463
/proc/meminfo: memFree=55044352/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=2175540 CPUtime=3527.59 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 197192 0 0 0 351560 1199 0 0 20 0 20 0 13443531 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 543885 5948 1 0 556459 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=5200 CPUtime=3484.07 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) D 136805 136808 134651 0 -1 4194368 86363 0 0 0 347321 1086 0 0 20 0 20 0 13443531 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6271 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 2989 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=2175540 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 3527.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175540 KiB

[startup+3642.3 s]
/proc/loadavg: 4.21 4.21 4.21 6/340 139542
/proc/meminfo: memFree=62834756/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=2175540 CPUtime=3584.91 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 198972 0 0 0 357277 1214 0 0 20 0 20 0 13443531 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 543885 5948 1 0 556459 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=5200 CPUtime=3540.73 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 87478 0 0 0 352974 1099 0 0 20 0 20 0 13443531 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6689 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=2175540 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=2175540 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 3091 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=2175540 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 3584.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175540 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3657.6 s]
/proc/loadavg: 4.30 4.23 4.22 5/340 139612
/proc/meminfo: memFree=84634072/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19108176 memory=2175540 CPUtime=3600.09 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 199119 0 0 0 358789 1220 0 0 20 0 20 0 13443531 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4777044 543885 5948 1 0 556459 0
[pid=136808/tid=136810] ppid=136805 vsize=19108176 memory=2175540 CPUtime=3555.79 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 87606 0 0 0 354474 1105 0 0 20 0 20 0 13443531 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6703 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19108176 memory=2175540 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13443533 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19108176 memory=11624 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 3091 0 0 0 0 0 0 0 20 0 20 0 13443534 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136860] ppid=136805 vsize=19108176 memory=2175540 CPUtime=0 cores=1,3
/proc/136808/task/136860/stat : 136860 (Timer-0) S 136805 136808 134651 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13443554 19566772224 543885 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175540 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.15 s, system=12.214 s

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

[startup+3657.7 s]
/proc/loadavg: 4.30 4.23 4.22 5/340 139612
/proc/meminfo: memFree=84634072/131524600 swapFree=131071996/131071996
[pid=136808] ppid=136805 vsize=19307868 memory=2176168 CPUtime=3600.29 cores=1,3
/proc/136808/stat : 136808 (java) S 136805 136808 134651 0 -1 1077936128 201201 0 0 0 358809 1220 0 0 20 0 21 0 13443531 19771256832 544042 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
/proc/136808/statm: 4826967 544042 5947 1 0 557398 0
[pid=136808/tid=136810] ppid=136805 vsize=19307868 memory=5200 CPUtime=3555.89 cores=1,3
/proc/136808/task/136810/stat : 136810 (java) R 136805 136808 134651 0 -1 4194368 87713 0 0 0 354484 1105 0 0 20 0 21 0 13443531 19771256832 544042 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6703 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136828] ppid=136805 vsize=19307868 memory=2175540 CPUtime=0 cores=1,3
/proc/136808/task/136828/stat : 136828 (Finalizer) S 136805 136808 134651 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13443533 19771256832 544042 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
[pid=136808/tid=136835] ppid=136805 vsize=19307868 memory=2175540 CPUtime=0 cores=1,3
/proc/136808/task/136835/stat : 136835 (Common-Cleaner) S 136805 136808 134651 0 -1 1077936192 3091 0 0 0 0 0 0 0 20 0 21 0 13443534 19771256832 544042 134679101440 94637315653632 94637315657328 140732055742672 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94637315665144 94637315665936 94637318938624 140732055745451 140732055745633 140732055745633 140732055752648 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2176168 KiB

Child status: 143

Real time (s): 3657.78
CPU time (s): 3600.36
CPU user time (s): 3588.15
CPU system time (s): 12.214
CPU usage (%): 98.4302
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2176168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.15
system time used= 12.214
maximum resident set size= 2177084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24445832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125986
involuntary context switches= 14623


# summary of solver processes directly reported to runsolver:
#   pid: 136808
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3588.15
#   total CPU system time (s): 12.214

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77988 second user time and 18.6248 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-23 23:13:16
IDJOB=4440259
IDBENCH=147201
IDSOLVER=3079
FILE ID=nodeC030/4440259-1721769196
RUNJOBID= nodeC030-1721765586-134663
SLURM_JOB_ID= 7770658
Free space on /tmp= 890072 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440259-1721769196/watcher-4440259-1721769196 -o /tmp/evaluation-result-4440259-1721769196/solver-4440259-1721769196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721765586-134663 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440259-1721769196 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440259-1721769196.opb

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

MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c
RANDOM SEED=985865819

nodeC030.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		: 3599.719
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.45
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		: 3663.730
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.46
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		: 3599.886
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.45
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		: 3670.241
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.46
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		: 3599.720
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.064
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.46
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		: 3599.720
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.45
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		: 3626.146
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        85947104 kB
MemAvailable:   125154712 kB
Buffers:          192512 kB
Cached:         39726936 kB
SwapCached:            0 kB
Active:          1358916 kB
Inactive:       43388120 kB
Active(anon):       1520 kB
Inactive(anon):  4871376 kB
Active(file):    1357396 kB
Inactive(file): 38516744 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             80388 kB
Writeback:             0 kB
AnonPages:       4823644 kB
Mapped:           128356 kB
Shmem:             45912 kB
KReclaimable:     346584 kB
Slab:             465440 kB
SReclaimable:     346584 kB
SUnreclaim:       118856 kB
KernelStack:        4688 kB
PageTables:        19512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7310040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21088 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4603904 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:      285396 kB
DirectMap2M:    27799552 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-24 00:14:14