Trace number 4424823

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.72 3552.96

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM85c61b41516c561b6bc7de90e3cecd83
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.090188
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3280
Total number of constraints162
Number of soft constraints117
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 5670
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5669
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
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.11/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.12	c See www.sat4j.org for details.
0.11/0.13	c version CUSTOM.v20240707
0.11/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.13	c java.vm.version	22.0.1+8-16
0.11/0.14	c java.vm.vendor	Oracle Corporation
0.11/0.14	c sun.arch.data.model	64
0.11/0.14	c java.version		22.0.1
0.11/0.14	c os.name		Linux
0.11/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.14	c os.arch		amd64
0.11/0.14	c Free memory 		2115194816
0.11/0.14	c Max memory 		16282288128
0.11/0.14	c Total memory 		2122317824
0.11/0.14	c Number of processors 	2
0.11/0.18	--- Begin Solver configuration ---
0.11/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.11/0.18	Learn all clauses as in MiniSAT
0.11/0.18	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.18	No reason simplification
0.11/0.18	Glucose 2.1 dynamic restart strategy
0.11/0.18	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.11/0.18	timeout=2147483s
0.11/0.18	DB Simplification allowed=false
0.11/0.18	Listener: none
0.11/0.18	--- End Solver configuration ---
0.11/0.18	c Pseudo Boolean Optimization by upper bound
0.11/0.18	c --- Begin Solver configuration ---
0.11/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.11/0.18	c Learn all clauses as in MiniSAT
0.11/0.18	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.18	c No reason simplification
0.11/0.18	c Glucose 2.1 dynamic restart strategy
0.11/0.18	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.11/0.18	c timeout=2147483s
0.11/0.18	c DB Simplification allowed=false
0.11/0.18	c Listener: none
0.11/0.18	c --- End Solver configuration ---
0.11/0.18	c solving HOME/instance-4424823-1720879438.wbo
0.11/0.18	c reading problem ... 
0.30/0.29	c ... done. Wall clock time 0.105s.
0.30/0.29	c declared #vars     3280
0.30/0.29	c internal #vars     3397
0.30/0.29	c #constraints  163
0.30/0.29	c constraints type 
0.30/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 17
0.30/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 63
0.30/0.29	c org.sat4j.specs.Constr$1 => 1
0.30/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 82
0.30/0.29	c 163 constraints processed.
0.30/0.32	c objective function length is 117 literals
1.21/0.75	c SATISFIABLE
1.21/0.76	c OPTIMIZING...
1.21/0.76	c Got one! Elapsed wall clock time (in seconds):0.572
1.21/0.76	o 104
1.86/1.12	c Got one! Elapsed wall clock time (in seconds):0.927
1.86/1.12	o 91
2.54/1.62	c cleaning 2924 clauses out of 5870 with flag 10920/5870
3.60/2.51	c cleaning 4466 clauses out of 8946 with flag 48771/11870
4.53/3.36	c cleaning 5730 clauses out of 11479 with flag 87927/18869
6.44/5.28	c cleaning 6863 clauses out of 13749 with flag 144864/26869
8.43/7.27	c cleaning 7926 clauses out of 15886 with flag 215372/35869
10.70/9.35	c cleaning 8969 clauses out of 17962 with flag 289220/45871
10.70/9.38	c Got one! Elapsed wall clock time (in seconds):9.198
10.70/9.38	o 55
11.34/9.92	c cleaning 7252 clauses out of 14528 with flag 32445/51406
11.74/10.34	c cleaning 6616 clauses out of 13276 with flag 71554/57406
12.55/10.91	c Got one! Elapsed wall clock time (in seconds):10.725
12.55/10.91	o 40
13.11/11.37	c cleaning 8524 clauses out of 17061 with flag 35270/67807
13.41/11.65	c Got one! Elapsed wall clock time (in seconds):11.471
13.41/11.65	o 31
13.72/12.00	c cleaning 6865 clauses out of 13747 with flag 12421/73017
14.92/13.10	c cleaning 6426 clauses out of 12884 with flag 48948/79019
15.92/14.08	c cleaning 6718 clauses out of 13459 with flag 99651/86020
17.30/15.41	c cleaning 7357 clauses out of 14738 with flag 151553/94017
19.00/17.04	c cleaning 8179 clauses out of 16384 with flag 207074/103020
19.49/17.50	c Got one! Elapsed wall clock time (in seconds):17.319
19.49/17.50	o 20
19.89/17.90	c cleaning 6756 clauses out of 13533 with flag 12085/108348
20.69/18.71	c cleaning 6378 clauses out of 12778 with flag 54973/114349
21.79/19.76	c cleaning 6687 clauses out of 13399 with flag 104608/121348
22.10/20.05	c Got one! Elapsed wall clock time (in seconds):19.871
22.10/20.05	o 8
22.40/20.31	c cleaning 6202 clauses out of 12430 with flag 16016/127066
23.28/21.17	c cleaning 6101 clauses out of 12229 with flag 60971/133067
23.86/21.75	c cleaning 6548 clauses out of 13127 with flag 111756/140066
24.51/22.36	c cleaning 7262 clauses out of 14579 with flag 159911/148066
25.62/23.42	c cleaning 8129 clauses out of 16317 with flag 220739/157066
27.23/25.09	c cleaning 9061 clauses out of 18188 with flag 297286/167066
29.47/27.27	c cleaning 10036 clauses out of 20130 with flag 383266/178069
32.07/29.88	c cleaning 11015 clauses out of 22092 with flag 468009/190067
35.98/33.67	c cleaning 12007 clauses out of 24077 with flag 559603/203067
40.39/38.05	c cleaning 13001 clauses out of 26071 with flag 674201/217068
45.06/42.61	c cleaning 14002 clauses out of 28069 with flag 780867/232067
49.96/47.55	c cleaning 14996 clauses out of 30068 with flag 908080/248068
56.06/53.52	c cleaning 16017 clauses out of 32071 with flag 1041438/265067
56.16/53.62	c Got one! Elapsed wall clock time (in seconds):53.443
56.16/53.62	o 4
56.36/53.81	c cleaning 10660 clauses out of 21360 with flag 18057/270373
56.86/54.33	c cleaning 8325 clauses out of 16700 with flag 58161/276373
57.67/55.17	c cleaning 7663 clauses out of 15375 with flag 114819/283373
58.84/56.20	c cleaning 7834 clauses out of 15713 with flag 179790/291374
59.93/57.31	c cleaning 8419 clauses out of 16878 with flag 255331/300373
61.23/58.65	c cleaning 9211 clauses out of 18460 with flag 336696/310374
63.13/60.46	c cleaning 10106 clauses out of 20249 with flag 434497/321374
65.43/62.71	c cleaning 11055 clauses out of 22143 with flag 531093/333374
67.13/64.36	c cleaning 12007 clauses out of 24087 with flag 618068/346373
69.04/66.22	c cleaning 13007 clauses out of 26083 with flag 708034/360376
71.03/68.23	c cleaning 14003 clauses out of 28073 with flag 808200/375373
74.32/71.41	c cleaning 15012 clauses out of 30070 with flag 919097/391373
78.43/75.44	c cleaning 15998 clauses out of 32059 with flag 1037490/408374
81.32/78.31	c cleaning 17006 clauses out of 34060 with flag 1159004/426373
86.86/83.17	c cleaning 17795 clauses out of 36054 with flag 1333020/445373
91.00/87.05	c cleaning 18818 clauses out of 38260 with flag 1524360/465374
96.67/92.71	c cleaning 19916 clauses out of 40445 with flag 1668205/486377
99.88/95.83	c cleaning 21234 clauses out of 42532 with flag 1814436/508380
105.87/101.81	c cleaning 22118 clauses out of 44291 with flag 1975371/531373
113.51/109.34	c cleaning 23054 clauses out of 46174 with flag 2150083/555374
120.91/116.70	c cleaning 24026 clauses out of 48121 with flag 2329767/580375
129.86/125.56	c cleaning 25015 clauses out of 50094 with flag 2530864/606374
139.44/134.90	c cleaning 26014 clauses out of 52079 with flag 2737330/633374
148.94/144.47	c cleaning 27002 clauses out of 54065 with flag 2946360/661374
159.59/154.98	c cleaning 27999 clauses out of 56063 with flag 3149044/690374
173.02/168.11	c cleaning 28992 clauses out of 58063 with flag 3346412/720373
188.89/184.03	c cleaning 30000 clauses out of 60075 with flag 3548628/751377
205.17/200.11	c cleaning 31006 clauses out of 62072 with flag 3769395/783374
219.84/214.69	c cleaning 31995 clauses out of 64065 with flag 3984670/816373
242.78/237.46	c cleaning 33018 clauses out of 66070 with flag 4221718/850373
254.71/248.63	c cleaning 34002 clauses out of 68055 with flag 4458228/885376
270.58/264.37	c cleaning 34999 clauses out of 70050 with flag 4733235/921373
282.38/275.92	c cleaning 35993 clauses out of 72052 with flag 5028047/958374
297.15/290.51	c cleaning 37000 clauses out of 74058 with flag 5336893/996373
310.93/304.34	c cleaning 37999 clauses out of 76058 with flag 5630621/1035373
325.80/319.10	c cleaning 39002 clauses out of 78059 with flag 5918399/1075373
342.44/335.55	c cleaning 40007 clauses out of 80060 with flag 6222294/1116376
362.26/355.27	c cleaning 41003 clauses out of 82053 with flag 6547934/1158376
376.83/369.64	c cleaning 42010 clauses out of 84048 with flag 6862443/1201374
395.19/387.82	c cleaning 43006 clauses out of 86039 with flag 7170714/1245375
411.18/403.66	c cleaning 43992 clauses out of 88032 with flag 7512169/1290374
434.26/424.65	c cleaning 44717 clauses out of 90040 with flag 8061290/1336374
454.84/445.06	c cleaning 45916 clauses out of 92322 with flag 8411574/1383373
470.87/460.84	c cleaning 46959 clauses out of 94411 with flag 8812409/1431378
491.57/481.34	c cleaning 47976 clauses out of 96447 with flag 9240834/1480373
502.10/491.63	c cleaning 49183 clauses out of 98472 with flag 9603974/1530374
521.83/511.18	c cleaning 50113 clauses out of 100288 with flag 9939767/1581373
554.55/543.61	c cleaning 51055 clauses out of 102177 with flag 10303885/1633375
577.19/566.09	c cleaning 52007 clauses out of 104120 with flag 10751607/1686373
607.22/595.84	c cleaning 53014 clauses out of 106114 with flag 11205126/1740374
639.54/628.00	c cleaning 54016 clauses out of 108099 with flag 11691164/1795373
667.45/655.63	c cleaning 55011 clauses out of 110085 with flag 12182576/1851375
693.28/681.00	c cleaning 56003 clauses out of 112073 with flag 12744482/1908374
718.97/706.48	c cleaning 57003 clauses out of 114069 with flag 13257693/1966373
755.24/742.57	c cleaning 58007 clauses out of 116068 with flag 13754694/2025375
801.63/788.79	c cleaning 58993 clauses out of 118061 with flag 14258916/2085375
850.02/836.94	c cleaning 59997 clauses out of 120066 with flag 14741092/2146373
874.27/860.41	c cleaning 60836 clauses out of 122071 with flag 15203408/2208375
903.32/888.54	c cleaning 61752 clauses out of 124233 with flag 15910722/2271373
929.59/914.56	c cleaning 63176 clauses out of 126481 with flag 16372245/2335373
957.67/942.31	c cleaning 64110 clauses out of 128305 with flag 16857244/2400373
969.78/954.16	c cleaning 65094 clauses out of 130196 with flag 17282109/2466374
983.32/967.04	c cleaning 65770 clauses out of 132101 with flag 17765915/2533373
1018.58/1002.05	c cleaning 67091 clauses out of 134335 with flag 18303027/2601377
1032.98/1016.11	c cleaning 68093 clauses out of 136240 with flag 18784328/2670373
1049.07/1031.61	c cleaning 68852 clauses out of 138147 with flag 19294231/2740373
1087.59/1069.90	c cleaning 70103 clauses out of 140297 with flag 19743661/2811375
1111.83/1093.30	c cleaning 70836 clauses out of 142192 with flag 20338669/2883373
1127.40/1108.64	c cleaning 72140 clauses out of 144357 with flag 20808202/2956374
1143.77/1124.51	c cleaning 73094 clauses out of 146217 with flag 21280375/3030374
1166.84/1147.48	c cleaning 74013 clauses out of 148122 with flag 21765332/3105373
1209.08/1188.89	c cleaning 75042 clauses out of 150109 with flag 22247606/3181373
1225.38/1204.83	c cleaning 76019 clauses out of 152067 with flag 22726108/3258373
1252.48/1231.65	c cleaning 76999 clauses out of 154048 with flag 23242130/3336373
1271.20/1249.68	c cleaning 78023 clauses out of 156052 with flag 23748243/3415376
1288.88/1266.96	c cleaning 78994 clauses out of 158026 with flag 24246739/3495373
1304.34/1282.10	c cleaning 79997 clauses out of 160033 with flag 24738697/3576374
1319.00/1296.47	c cleaning 80992 clauses out of 162036 with flag 25248102/3658374
1332.18/1309.34	c cleaning 81994 clauses out of 164043 with flag 25776964/3741373
1382.60/1359.22	c cleaning 83014 clauses out of 166050 with flag 26394780/3825374
1422.22/1398.16	c cleaning 83970 clauses out of 168035 with flag 26979252/3910373
1549.42/1523.16	c cleaning 84754 clauses out of 170065 with flag 27998350/3996373
1723.01/1691.91	c cleaning 86122 clauses out of 172311 with flag 29407339/4083373
1982.92/1951.01	c cleaning 87093 clauses out of 174191 with flag 30805964/4171375
2269.16/2231.88	c cleaning 88046 clauses out of 176098 with flag 32360350/4260375
2512.48/2472.24	c cleaning 89023 clauses out of 178050 with flag 33790660/4350373
2973.78/2931.48	c cleaning 90012 clauses out of 180028 with flag 35288260/4441374
3367.79/3321.69	c cleaning 91008 clauses out of 182018 with flag 36866966/4533376
3600.07/3552.63	c starts		: 21530
3600.07/3552.67	c conflicts		: 4608016
3600.07/3552.67	c decisions		: 29645515
3600.07/3552.67	c propagations		: 122247147
3600.07/3552.67	c inspects		: 14593172250
3600.07/3552.67	c shortcuts		: 0
3600.07/3552.67	c learnt literals	: 0
3600.07/3552.67	c learnt binary clauses	: 0
3600.07/3552.67	c learnt ternary clauses	: 0
3600.07/3552.67	c learnt constraints	: 4608016
3600.07/3552.67	c ignored constraints	: 0
3600.07/3552.67	c root simplifications	: 0
3600.07/3552.67	c removed literals (reason simplification)	: 0
3600.07/3552.67	c reason swapping (by a shorter reason)	: 0
3600.07/3552.67	c Calls to reduceDB	: 118
3600.07/3552.67	c Number of update (reduction) of LBD	: 2622940
3600.07/3552.67	c Imported unit clauses	: 0
3600.07/3552.67	c No decision after first conflict	: false
3600.07/3552.67	c number of reductions to clauses (during analyze)	: 0
3600.07/3552.67	c number of learned constraints concerned by reduction	: 0
3600.07/3552.67	c number of learning phase by resolution	: 0
3600.07/3552.67	c number of learning phase by cutting planes	: 0
3600.07/3552.67	c number of rounding to 1 operations	: 0
3600.07/3552.67	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3552.67	c number of reductions of the coefficients by power 2 	: 0
3600.07/3552.67	c number of right shift for reduction by power 2 	: 0
3600.07/3552.67	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3552.68	c number of ending skipping 	: 0
3600.07/3552.68	c number of internal skipping 	: 0
3600.07/3552.68	c number of derivation steps 	: 0
3600.07/3552.68	c number of skipped derivation steps 	: 0
3600.07/3552.68	c number of remaining unassigned 	: 0
3600.07/3552.68	c number of remaining assigned 	: 0
3600.07/3552.68	c number of falsified literals weakened from reason	: 0
3600.07/3552.68	c number of falsified literals weakened from conflict	: 0
3600.07/3552.68	c time for arithmetic operations	: 0
3600.07/3552.70	c minimum degree of deleted constraints	: null
3600.07/3552.70	c maximum degree of deleted constraints	: null
3600.07/3552.70	c number of deleted constraints	: 0
3600.07/3552.70	c speed (assignments/second)	: 34412.996846598064
3600.07/3552.70	c non guided choices	: 518609
3600.45/3552.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 165650
3600.45/3552.89	s SATISFIABLE
3600.45/3552.89	c Found 8 solution(s)
3600.45/3552.89	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 
3600.65/3552.90	c objective function=4
3600.65/3552.90	c Total wall clock time (in seconds): 3552.716

Verifier Data 

OK	4

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: 64059 MiB (60913 MiB free)
  memory of node 1: 64510 MiB (55464 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424823-1720879438/watcher-4424823-1720879438 -o /tmp/evaluation-result-4424823-1720879438/solver-4424823-1720879438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699780 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424823-1720879438.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=701971, runsolver pid=701968

[startup+0.100446 s]*
/proc/loadavg: 4.11 4.33 4.29 5/316 701989
/proc/meminfo: memFree=119135732/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=18975048 memory=56436 CPUtime=0.11 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 6564 0 0 0 8 3 0 0 20 0 18 0 140100503 19430449152 14109 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4743762 14109 5641 1 0 550908 0
[pid=701971/tid=701973] ppid=701968 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 5491 0 0 0 6 3 0 0 20 0 18 0 140100504 19430449152 14109 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140100509 19430449152 14109 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=18975048 memory=13563812552942208 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140100510 19430449152 14109 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56436 KiB

[startup+0.213461 s]*
/proc/loadavg: 4.42 4.39 4.31 7/316 701989
/proc/meminfo: memFree=119125428/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=18975048 memory=66120 CPUtime=0.3 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 7446 0 0 0 26 4 0 0 20 0 18 0 140100503 19430449152 16530 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4743762 16530 5717 1 0 551627 0
[pid=701971/tid=701973] ppid=701968 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 1077936192 5948 0 0 0 15 3 0 0 20 0 18 0 140100504 19430449152 16530 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=18975048 memory=5822 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140100509 19430449152 16530 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=18975048 memory=13849655494580062 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140100510 19430449152 16530 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66120 KiB

[startup+0.321659 s]*
/proc/loadavg: 4.42 4.39 4.31 6/316 701989
/proc/meminfo: memFree=119120184/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=18975048 memory=71692 CPUtime=0.49 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 7711 0 0 0 45 4 0 0 20 0 18 0 140100503 19430449152 17923 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4743762 17923 5818 1 0 551770 0
[pid=701971/tid=701973] ppid=701968 vsize=18975048 memory=-8599449127527817916 CPUtime=0.25 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 6045 0 0 0 22 3 0 0 20 0 18 0 140100504 19430449152 17923 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140100509 19430449152 17923 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140100510 19430449152 17923 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71692 KiB

[startup+0.710437 s]
/proc/loadavg: 4.42 4.39 4.31 7/317 701990
/proc/meminfo: memFree=119111948/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19041612 memory=87340 CPUtime=1.21 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 11147 0 0 0 116 5 0 0 20 0 19 0 140100503 19498610688 21835 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4760403 21835 5869 1 0 553721 0
[pid=701971/tid=701973] ppid=701968 vsize=19041612 memory=5620 CPUtime=0.58 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 6106 0 0 0 55 3 0 0 20 0 19 0 140100504 19498610688 21835 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19041612 memory=12724 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140100509 19498610688 21835 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19041612 memory=164 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140100510 19498610688 21835 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140100538 19498610688 21835 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87340 KiB

[startup+1.50044 s]
/proc/loadavg: 4.42 4.39 4.31 5/317 701990
/proc/meminfo: memFree=119093588/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19041612 memory=110644 CPUtime=2.42 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 14849 0 0 0 236 6 0 0 20 0 19 0 140100503 19498610688 27661 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4760403 27661 5869 1 0 554840 0
[pid=701971/tid=701973] ppid=701968 vsize=19041612 memory=12724 CPUtime=1.36 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 6233 0 0 0 132 4 0 0 20 0 19 0 140100504 19498610688 27661 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140100509 19498610688 27661 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140100510 19498610688 27661 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19041612 memory=831 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140100538 19498610688 27661 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110644 KiB

[startup+3.10544 s]
/proc/loadavg: 4.42 4.39 4.31 5/317 701990
/proc/meminfo: memFree=119032932/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19041612 memory=158920 CPUtime=4.34 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 17605 0 0 0 427 7 0 0 20 0 19 0 140100503 19498610688 39730 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4760403 39730 5869 1 0 555041 0
[pid=701971/tid=701973] ppid=701968 vsize=19041612 memory=0 CPUtime=2.94 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 7463 0 0 0 289 5 0 0 20 0 19 0 140100504 19498610688 39730 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140100509 19498610688 39730 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19041612 memory=12724 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140100510 19498610688 39730 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19041612 memory=11408 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140100538 19498610688 39730 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 4.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158920 KiB

[startup+6.30045 s]
/proc/loadavg: 4.39 4.38 4.31 5/318 701992
/proc/meminfo: memFree=118998632/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19108176 memory=192648 CPUtime=7.53 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 18606 0 0 0 745 8 0 0 20 0 20 0 140100503 19566772224 48162 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4777044 48162 5885 1 0 555332 0
[pid=701971/tid=701973] ppid=701968 vsize=19108176 memory=12724 CPUtime=6.06 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 7481 0 0 0 601 5 0 0 20 0 20 0 140100504 19566772224 48162 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140100509 19566772224 48162 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140100510 19566772224 48162 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140100538 19566772224 48162 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192648 KiB

[startup+12.7004 s]
/proc/loadavg: 4.35 4.37 4.31 5/318 701992
/proc/meminfo: memFree=118886184/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19108176 memory=349748 CPUtime=14.58 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 24223 0 0 0 1445 13 0 0 20 0 20 0 140100503 19566772224 87437 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4777044 87437 5890 1 0 555348 0
[pid=701971/tid=701973] ppid=701968 vsize=19108176 memory=304672 CPUtime=12.09 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) S 701968 701971 697515 0 -1 1077936192 8473 0 0 0 1204 5 0 0 20 0 20 0 140100504 19566772224 87437 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140100509 19566772224 87437 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140100510 19566772224 87437 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140100538 19566772224 87437 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 14.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 349748 KiB

[startup+25.5005 s]
/proc/loadavg: 4.38 4.38 4.31 5/318 701995
/proc/meminfo: memFree=118537732/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19108176 memory=652200 CPUtime=27.72 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 29227 0 0 0 2750 22 0 0 20 0 20 0 140100503 19566772224 163050 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4777044 163050 5896 1 0 686933 0
[pid=701971/tid=701973] ppid=701968 vsize=19108176 memory=259236 CPUtime=24.56 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 10229 0 0 0 2448 8 0 0 20 0 20 0 140100504 19566772224 163050 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19108176 memory=652184 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140100509 19566772224 163050 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19108176 memory=652184 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140100510 19566772224 163050 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19108176 memory=12724 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140100538 19566772224 163050 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 27.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 652200 KiB

[startup+51.1133 s]
/proc/loadavg: 4.30 4.36 4.30 5/318 701999
/proc/meminfo: memFree=118163668/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19108176 memory=1025236 CPUtime=53.68 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 33325 0 0 0 5337 31 0 0 20 0 20 0 140100503 19566772224 256309 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4777044 256309 5896 1 0 686934 0
[pid=701971/tid=701973] ppid=701968 vsize=19108176 memory=926912 CPUtime=49.55 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 11439 0 0 0 4947 8 0 0 20 0 20 0 140100504 19566772224 256309 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19108176 memory=370228 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140100509 19566772224 256309 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0

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

Current children cumulated memory: 10175636 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.31 4.33 5/320 704759
/proc/meminfo: memFree=100393556/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19108176 memory=10175636 CPUtime=3328.55 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 210452 0 0 0 332425 430 0 0 20 0 20 0 140100503 19566772224 2543909 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4777044 2543909 5896 1 0 2837118 0
[pid=701971/tid=701973] ppid=701968 vsize=19108176 memory=10175636 CPUtime=3223.7 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 52282 0 0 0 322307 63 0 0 20 0 20 0 140100504 19566772224 2543909 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140100509 19566772224 2543909 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19108176 memory=10175636 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 1063 0 0 0 0 0 0 0 20 0 20 0 140100510 19566772224 2543909 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19108176 memory=10175636 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140100538 19566772224 2543909 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 3328.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10175636 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.27 4.31 5/320 704770
/proc/meminfo: memFree=100162304/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19108176 memory=10175636 CPUtime=3388.95 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 211505 0 0 0 338462 433 0 0 20 0 20 0 140100503 19566772224 2543909 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4777044 2543909 5896 1 0 2837118 0
[pid=701971/tid=701973] ppid=701968 vsize=19108176 memory=11408 CPUtime=3283.02 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 52724 0 0 0 328239 63 0 0 20 0 20 0 140100504 19566772224 2543909 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19108176 memory=10175636 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140100509 19566772224 2543909 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 1063 0 0 0 0 0 0 0 20 0 20 0 140100510 19566772224 2543909 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140100538 19566772224 2543909 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 3388.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10175636 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.26 4.30 5/321 704783
/proc/meminfo: memFree=99786356/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19108176 memory=10175644 CPUtime=3449.91 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 215013 0 0 0 344555 436 0 0 20 0 20 0 140100503 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4777044 2543911 5896 1 0 2837118 0
[pid=701971/tid=701973] ppid=701968 vsize=19108176 memory=10175636 CPUtime=3341.61 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 53165 0 0 0 334098 63 0 0 20 0 20 0 140100504 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19108176 memory=10175636 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140100509 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19108176 memory=10175644 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 1143 0 0 0 0 0 0 0 20 0 20 0 140100510 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140100538 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 3449.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10175644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.22 4.29 5/322 704806
/proc/meminfo: memFree=99457596/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19108176 memory=10175644 CPUtime=3509.98 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 215820 0 0 0 350559 439 0 0 20 0 20 0 140100503 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4777044 2543911 5896 1 0 2837118 0
[pid=701971/tid=701973] ppid=701968 vsize=19108176 memory=10175636 CPUtime=3400.44 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 53583 0 0 0 339981 63 0 0 20 0 20 0 140100504 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19108176 memory=10175636 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140100509 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19108176 memory=10175644 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 1143 0 0 0 0 0 0 0 20 0 20 0 140100510 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19108176 memory=10175644 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140100538 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 3509.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10175644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.24 4.29 5/322 704817
/proc/meminfo: memFree=99453116/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19108176 memory=10175644 CPUtime=3569.47 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 216383 0 0 0 356505 442 0 0 20 0 20 0 140100503 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4777044 2543911 5896 1 0 2837118 0
[pid=701971/tid=701973] ppid=701968 vsize=19108176 memory=10175636 CPUtime=3459.88 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 54141 0 0 0 345925 63 0 0 20 0 20 0 140100504 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140100509 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 1144 0 0 0 0 0 0 0 20 0 20 0 140100510 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19108176 memory=-8599449127527817916 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140100538 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 3569.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10175644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3552.6 s]
/proc/loadavg: 4.17 4.23 4.28 5/322 704822
/proc/meminfo: memFree=99452844/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19108176 memory=10175644 CPUtime=3600.07 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 216759 0 0 0 359563 444 0 0 20 0 20 0 140100503 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4777044 2543911 5896 1 0 2837118 0
[pid=701971/tid=701973] ppid=701968 vsize=19108176 memory=-8599449127527817916 CPUtime=3489.34 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 54379 0 0 0 348871 63 0 0 20 0 20 0 140100504 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19108176 memory=7928 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140100509 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19108176 memory=20000 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 1144 0 0 0 0 0 0 0 20 0 20 0 140100510 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701990] ppid=701968 vsize=19108176 memory=6760 CPUtime=0 cores=4,6
/proc/701971/task/701990/stat : 701990 (Timer-0) S 701968 701971 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140100538 19566772224 2543911 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10175644 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.25 s, system=4.47502 s

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

[startup+3552.8 s]
/proc/loadavg: 4.17 4.23 4.28 5/322 704822
/proc/meminfo: memFree=99452844/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19307868 memory=10176316 CPUtime=3600.45 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 219543 0 0 0 359601 444 0 0 20 0 21 0 140100503 19771256832 2544079 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4826967 2544079 5895 1 0 2838037 0
[pid=701971/tid=701973] ppid=701968 vsize=19307868 memory=10175644 CPUtime=3489.54 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 54626 0 0 0 348891 63 0 0 20 0 21 0 140100504 19771256832 2544079 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19307868 memory=5620 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140100509 19771256832 2544079 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19307868 memory=2560 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 1144 0 0 0 0 0 0 0 20 0 21 0 140100510 19771256832 2544079 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10176316 KiB

[startup+3552.9 s]
/proc/loadavg: 4.17 4.23 4.28 5/322 704822
/proc/meminfo: memFree=99452844/131655788 swapFree=131071996/131071996
[pid=701971] ppid=701968 vsize=19307868 memory=10176364 CPUtime=3600.65 cores=4,6
/proc/701971/stat : 701971 (java) S 701968 701971 697515 0 -1 1077936128 220138 0 0 0 359621 444 0 0 20 0 21 0 140100503 19771256832 2544091 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
/proc/701971/statm: 4826967 2544091 5895 1 0 2838037 0
[pid=701971/tid=701973] ppid=701968 vsize=19307868 memory=10175636 CPUtime=3489.63 cores=4,6
/proc/701971/task/701973/stat : 701973 (java) R 701968 701971 697515 0 -1 4194368 54626 0 0 0 348900 63 0 0 20 0 21 0 140100504 19771256832 2544091 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701982] ppid=701968 vsize=19307868 memory=11408 CPUtime=0 cores=4,6
/proc/701971/task/701982/stat : 701982 (Finalizer) S 701968 701971 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140100509 19771256832 2544091 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
[pid=701971/tid=701989] ppid=701968 vsize=19307868 memory=10175644 CPUtime=0 cores=4,6
/proc/701971/task/701989/stat : 701989 (Common-Cleaner) S 701968 701971 697515 0 -1 1077936192 1144 0 0 0 0 0 0 0 20 0 21 0 140100510 19771256832 2544091 134679101440 94711626878976 94711626882672 140723243623328 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94711626890488 94711626891280 94711635279872 140723243631597 140723243631687 140723243631687 140723243638728 0
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10176364 KiB

Child status: 143

Real time (s): 3552.96
CPU time (s): 3600.72
CPU user time (s): 3596.25
CPU system time (s): 4.47502
CPU usage (%): 101.344
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10176364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.25
system time used= 4.47502
maximum resident set size= 10177260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112728
involuntary context switches= 14204


# summary of solver processes directly reported to runsolver:
#   pid: 701971
#   total CPU time (s): 3600.72
#   total CPU user time (s): 3596.25
#   total CPU system time (s): 4.47502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.8486 second user time and 24.762 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-13 16:04:11
IDJOB=4424823
IDBENCH=143451
IDSOLVER=3037
FILE ID=nodeC007/4424823-1720879438
RUNJOBID= nodeC007-1720877762-699780
SLURM_JOB_ID= 7483755
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424823-1720879438/watcher-4424823-1720879438 -o /tmp/evaluation-result-4424823-1720879438/solver-4424823-1720879438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699780 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424823-1720879438.wbo

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

MD5SUM BENCH= 85c61b41516c561b6bc7de90e3cecd83
RANDOM SEED=1462139764

nodeC007.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	: 0xb00001f
cpu MHz		: 3544.052
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.25
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	: 0xb00001f
cpu MHz		: 3636.471
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.280
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.25
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	: 0xb00001f
cpu MHz		: 1197.267
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 3632.114
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.25
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	: 0xb00001f
cpu MHz		: 3541.743
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.135
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.25
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	: 0xb00001f
cpu MHz		: 1197.163
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119171032 kB
MemAvailable:   119061504 kB
Buffers:          320608 kB
Cached:           419208 kB
SwapCached:            0 kB
Active:           474260 kB
Inactive:       11490604 kB
Active(anon):       1468 kB
Inactive(anon): 11261300 kB
Active(file):     472792 kB
Inactive(file):   229304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               884 kB
Writeback:            28 kB
AnonPages:      11225116 kB
Mapped:           121532 kB
Shmem:             37704 kB
KReclaimable:      56816 kB
Slab:             146532 kB
SReclaimable:      56816 kB
SUnreclaim:        89716 kB
KernelStack:        4848 kB
PageTables:        31944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   15133960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45632 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10831872 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC007 at 2024-07-13 17:03:24