Trace number 4525091

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 2025-06-06MSAT (TO) 3600.39 3578.89

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 benchmark1.10776
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4525091-1751617783.wbo
0.13/0.12	c reading problem ... 
0.13/0.18	c ... done. Wall clock time 0.052s.
0.13/0.18	c declared #vars     3280
0.13/0.18	c internal #vars     3397
0.13/0.18	c #constraints  163
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 17
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 63
0.13/0.18	c org.sat4j.specs.Constr$1 => 1
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 82
0.13/0.18	c 163 constraints processed.
0.13/0.19	c objective function length is 117 literals
1.09/0.68	c SATISFIABLE
1.09/0.68	c OPTIMIZING...
1.09/0.68	c Got one! Elapsed wall clock time (in seconds):0.554
1.09/0.68	o 59
2.09/1.25	c cleaning 2809 clauses out of 5638 with flag 17703/5638
3.23/1.91	c cleaning 4402 clauses out of 8829 with flag 56473/11638
4.24/2.91	c cleaning 5704 clauses out of 11431 with flag 113894/18642
5.74/4.44	c cleaning 6850 clauses out of 13723 with flag 179456/26638
7.54/6.27	c cleaning 7923 clauses out of 15874 with flag 246525/35639
9.83/8.45	c cleaning 8962 clauses out of 17951 with flag 314018/45639
10.92/9.55	c Got one! Elapsed wall clock time (in seconds):9.427
10.92/9.55	o 40
11.77/10.36	c cleaning 9545 clauses out of 19100 with flag 31213/55750
13.03/11.58	c cleaning 7774 clauses out of 15560 with flag 68588/61755
13.78/12.29	c Got one! Elapsed wall clock time (in seconds):12.167
13.78/12.29	o 35
14.43/12.82	c Got one! Elapsed wall clock time (in seconds):12.693
14.43/12.82	o 33
14.94/13.33	c cleaning 9833 clauses out of 19691 with flag 10925/73660
16.30/14.68	c cleaning 7923 clauses out of 15858 with flag 48676/79660
17.88/16.27	c cleaning 7459 clauses out of 14935 with flag 92605/86660
19.57/17.96	c cleaning 7730 clauses out of 15478 with flag 155942/94662
21.52/19.87	c cleaning 8361 clauses out of 16746 with flag 221655/103660
23.99/22.36	c cleaning 9183 clauses out of 18386 with flag 292569/113661
26.14/24.44	c Got one! Elapsed wall clock time (in seconds):24.315
26.14/24.44	o 26
26.65/24.98	c cleaning 12144 clauses out of 24329 with flag 33968/128787
27.37/25.63	c Got one! Elapsed wall clock time (in seconds):25.508
27.37/25.63	o 10
28.31/26.59	c cleaning 11315 clauses out of 22660 with flag 40168/139262
29.40/27.65	c cleaning 8665 clauses out of 17345 with flag 88683/145262
30.50/28.75	c cleaning 7825 clauses out of 15680 with flag 143311/152262
31.51/29.60	c cleaning 7905 clauses out of 15855 with flag 195384/160262
33.50/31.60	c cleaning 8433 clauses out of 16951 with flag 261535/169263
36.05/34.17	c cleaning 9203 clauses out of 18519 with flag 328805/179264
38.84/36.93	c cleaning 10144 clauses out of 20314 with flag 401578/190262
41.10/39.16	c cleaning 11069 clauses out of 22172 with flag 484405/202264
43.70/41.70	c cleaning 12035 clauses out of 24101 with flag 568279/215262
46.94/44.98	c cleaning 13023 clauses out of 26069 with flag 655613/229265
50.90/48.88	c cleaning 14009 clauses out of 28044 with flag 748725/244263
53.30/51.23	c Got one! Elapsed wall clock time (in seconds):51.104
53.30/51.23	o 6
53.90/51.80	c cleaning 14602 clauses out of 29212 with flag 29384/259440
54.55/52.44	c cleaning 10288 clauses out of 20606 with flag 65938/265436
55.45/53.36	c cleaning 8642 clauses out of 17319 with flag 110590/272437
56.65/54.43	c cleaning 8311 clauses out of 16677 with flag 166046/280437
57.89/55.69	c cleaning 8667 clauses out of 17368 with flag 228724/289439
59.29/57.06	c cleaning 9334 clauses out of 18698 with flag 299331/299436
61.14/58.90	c cleaning 10163 clauses out of 20364 with flag 369325/310436
63.24/60.96	c cleaning 11087 clauses out of 22202 with flag 458740/322437
65.44/63.15	c cleaning 12034 clauses out of 24116 with flag 554903/335438
66.14/63.64	c Got one! Elapsed wall clock time (in seconds):63.515
66.14/63.64	o 4
66.25/63.79	c cleaning 8861 clauses out of 17751 with flag 12459/341107
66.94/64.49	c cleaning 7432 clauses out of 14890 with flag 50923/347107
67.65/65.14	c cleaning 7193 clauses out of 14458 with flag 92151/354107
68.74/66.21	c cleaning 7601 clauses out of 15266 with flag 143849/362108
70.08/67.51	c cleaning 8305 clauses out of 16666 with flag 212752/371109
71.18/68.62	c cleaning 9145 clauses out of 18360 with flag 285334/381108
73.18/70.60	c cleaning 10069 clauses out of 20214 with flag 362467/392107
75.03/72.44	c cleaning 11045 clauses out of 22146 with flag 445701/404108
78.23/75.66	c cleaning 12026 clauses out of 24104 with flag 536869/417111
82.31/79.63	c cleaning 13010 clauses out of 26075 with flag 620188/431108
84.50/81.86	c cleaning 14000 clauses out of 28066 with flag 718913/446109
88.06/85.36	c cleaning 15003 clauses out of 30067 with flag 830190/462110
91.95/89.23	c cleaning 16001 clauses out of 32062 with flag 948909/479108
94.85/92.15	c cleaning 16991 clauses out of 34060 with flag 1079938/497107
99.64/96.88	c cleaning 18006 clauses out of 36071 with flag 1202314/516109
106.02/103.19	c cleaning 19000 clauses out of 38063 with flag 1375733/536107
110.50/107.67	c cleaning 20027 clauses out of 40067 with flag 1543027/557111
116.16/113.29	c cleaning 21002 clauses out of 42038 with flag 1708166/579109
122.66/119.75	c cleaning 22008 clauses out of 44035 with flag 1872533/602108
130.75/127.76	c cleaning 23006 clauses out of 46028 with flag 2050803/626109
141.25/137.89	c cleaning 23995 clauses out of 48020 with flag 2233657/651107
151.63/148.22	c cleaning 25002 clauses out of 50025 with flag 2425669/677107
163.52/160.02	c cleaning 26000 clauses out of 52025 with flag 2622011/704109
176.35/172.77	c cleaning 26999 clauses out of 54023 with flag 2843364/732107
180.54/176.93	c cleaning 27984 clauses out of 56024 with flag 3026072/761107
185.39/181.62	c cleaning 29014 clauses out of 58040 with flag 3208589/791107
189.49/185.76	c cleaning 29950 clauses out of 60027 with flag 3396470/822108
194.06/190.19	c cleaning 30997 clauses out of 62076 with flag 3598291/854107
202.67/198.70	c cleaning 32013 clauses out of 64081 with flag 3797691/887109
208.65/204.54	c cleaning 32974 clauses out of 66067 with flag 4009263/921108
220.40/215.82	c cleaning 34005 clauses out of 68093 with flag 4270814/956108
229.37/224.77	c cleaning 35008 clauses out of 70087 with flag 4516564/992107
240.05/235.47	c cleaning 36026 clauses out of 72080 with flag 4779901/1029108
246.38/241.68	c cleaning 37009 clauses out of 74053 with flag 5010600/1067107
256.12/251.21	c cleaning 38020 clauses out of 76044 with flag 5268514/1106107
267.17/262.13	c cleaning 38981 clauses out of 78025 with flag 5527423/1146108
278.81/273.60	c cleaning 39749 clauses out of 80044 with flag 5879419/1187108
334.68/328.24	c cleaning 40859 clauses out of 82295 with flag 6388711/1229108
351.32/344.79	c cleaning 42187 clauses out of 84436 with flag 6687010/1272108
370.47/363.78	c cleaning 43070 clauses out of 86248 with flag 6980357/1316107
391.89/385.06	c cleaning 44066 clauses out of 88179 with flag 7310009/1361108
403.96/396.93	c cleaning 45027 clauses out of 90117 with flag 7643908/1407112
430.88/423.78	c cleaning 46024 clauses out of 92085 with flag 8008784/1454107
454.63/447.31	c cleaning 47016 clauses out of 94061 with flag 8382207/1502107
489.61/481.78	c cleaning 48008 clauses out of 96045 with flag 8721807/1551107
511.75/503.88	c cleaning 49001 clauses out of 98038 with flag 9240419/1601108
534.28/526.25	c cleaning 50002 clauses out of 100038 with flag 9688996/1652109
562.82/554.64	c cleaning 50999 clauses out of 102035 with flag 10177727/1704108
594.94/586.65	c cleaning 51999 clauses out of 104037 with flag 10656368/1757109
629.43/621.03	c cleaning 53000 clauses out of 106036 with flag 11122356/1811107
667.80/659.30	c cleaning 54001 clauses out of 108036 with flag 11645751/1866107
705.31/696.79	c cleaning 55003 clauses out of 110039 with flag 12109633/1922111
745.16/736.57	c cleaning 55997 clauses out of 112033 with flag 12571452/1979108
785.21/776.53	c cleaning 56996 clauses out of 114035 with flag 13071684/2037107
825.90/817.11	c cleaning 58002 clauses out of 116039 with flag 13579040/2096107
876.13/867.30	c cleaning 58994 clauses out of 118038 with flag 14079786/2156108
925.99/916.40	c cleaning 59999 clauses out of 120043 with flag 14538245/2217107
987.73/978.12	c cleaning 61006 clauses out of 122044 with flag 14993431/2279107
1041.27/1031.65	c cleaning 61997 clauses out of 124038 with flag 15438798/2342107
1095.83/1086.11	c cleaning 63001 clauses out of 126042 with flag 15908267/2406108
1147.65/1137.98	c cleaning 64000 clauses out of 128040 with flag 16386003/2471107
1190.02/1180.22	c cleaning 65000 clauses out of 130040 with flag 16937323/2537107
1224.93/1214.82	c cleaning 65997 clauses out of 132040 with flag 17541765/2604107
1276.49/1266.35	c cleaning 67004 clauses out of 134044 with flag 18180511/2672108
1314.88/1304.68	c cleaning 67972 clauses out of 136041 with flag 18675208/2741109
1353.48/1343.11	c cleaning 68990 clauses out of 138068 with flag 19158481/2811108
1405.53/1394.95	c cleaning 69990 clauses out of 140078 with flag 19640163/2882108
1467.65/1456.26	c cleaning 71002 clauses out of 142087 with flag 20206133/2954107
1535.21/1523.80	c cleaning 72001 clauses out of 144086 with flag 20749082/3027108
1585.29/1573.77	c cleaning 73002 clauses out of 146086 with flag 21308937/3101109
1663.31/1651.53	c cleaning 73994 clauses out of 148082 with flag 21849800/3176107
1754.09/1742.38	c cleaning 74996 clauses out of 150088 with flag 22458940/3252107
1846.31/1834.47	c cleaning 76003 clauses out of 152096 with flag 23015353/3329111
1915.23/1903.30	c cleaning 77004 clauses out of 154089 with flag 23654597/3407107
1984.87/1973.07	c cleaning 77997 clauses out of 156087 with flag 24296105/3486109
2085.18/2073.25	c cleaning 79008 clauses out of 158091 with flag 24887102/3566110
2173.49/2161.53	c cleaning 80002 clauses out of 160081 with flag 25456565/3647108
2240.88/2228.02	c cleaning 80992 clauses out of 162078 with flag 26066391/3729107
2337.05/2324.26	c cleaning 81999 clauses out of 164086 with flag 26694306/3812107
2428.05/2415.25	c cleaning 83001 clauses out of 166089 with flag 27355338/3896109
2506.45/2493.45	c cleaning 83996 clauses out of 168086 with flag 28006927/3981107
2570.33/2557.12	c cleaning 85018 clauses out of 170092 with flag 28609231/4067109
2645.36/2631.91	c cleaning 85966 clauses out of 172072 with flag 29230941/4154107
2697.65/2683.54	c cleaning 87031 clauses out of 174106 with flag 30232686/4242107
2746.11/2731.76	c cleaning 87990 clauses out of 176076 with flag 30863902/4331108
2809.37/2794.77	c cleaning 89021 clauses out of 178088 with flag 31586438/4421110
2834.82/2819.20	c cleaning 89981 clauses out of 180064 with flag 32138313/4512107
2864.97/2849.29	c cleaning 90984 clauses out of 182084 with flag 32761022/4604108
2894.36/2878.20	c cleaning 92010 clauses out of 184099 with flag 33376033/4697107
2948.87/2932.67	c cleaning 93035 clauses out of 186089 with flag 33964587/4791107
2982.16/2965.60	c cleaning 94002 clauses out of 188054 with flag 34588367/4886107
3007.63/2990.86	c cleaning 95009 clauses out of 190052 with flag 35172895/4982107
3041.85/3025.00	c cleaning 95994 clauses out of 192043 with flag 35817784/5079107
3140.91/3123.76	c cleaning 96988 clauses out of 194051 with flag 36417656/5177109
3170.38/3153.04	c cleaning 98013 clauses out of 196061 with flag 37023027/5276107
3200.63/3182.93	c cleaning 99006 clauses out of 198048 with flag 37658586/5376107
3226.20/3208.37	c cleaning 100006 clauses out of 200043 with flag 38275455/5477108
3252.35/3234.17	c cleaning 100998 clauses out of 202037 with flag 38913378/5579108
3277.99/3259.67	c cleaning 102004 clauses out of 204038 with flag 39538148/5682107
3308.29/3289.61	c cleaning 102967 clauses out of 206035 with flag 40209300/5786108
3335.38/3315.69	c cleaning 104015 clauses out of 208067 with flag 40878542/5891107
3362.42/3342.55	c cleaning 104993 clauses out of 210052 with flag 41517886/5997107
3388.89/3368.83	c cleaning 106026 clauses out of 212060 with flag 42155358/6104108
3418.29/3398.19	c cleaning 106995 clauses out of 214034 with flag 42833647/6212108
3447.22/3426.65	c cleaning 107987 clauses out of 216038 with flag 43504954/6321107
3476.93/3456.20	c cleaning 109013 clauses out of 218052 with flag 44198900/6431108
3507.21/3486.22	c cleaning 109999 clauses out of 220040 with flag 44862905/6542109
3537.66/3516.55	c cleaning 110987 clauses out of 222039 with flag 45523944/6654107
3567.98/3546.74	c cleaning 111998 clauses out of 224052 with flag 46212389/6767107
3600.08/3578.71	c starts		: 15439
3600.08/3578.73	c conflicts		: 6876400
3600.08/3578.73	c decisions		: 30589634
3600.08/3578.73	c propagations		: 169775352
3600.08/3578.73	c inspects		: 21837498695
3600.08/3578.73	c shortcuts		: 0
3600.08/3578.74	c learnt literals	: 0
3600.08/3578.74	c learnt binary clauses	: 0
3600.08/3578.74	c learnt ternary clauses	: 0
3600.08/3578.74	c learnt constraints	: 6876400
3600.08/3578.74	c ignored constraints	: 0
3600.08/3578.74	c root simplifications	: 0
3600.08/3578.74	c removed literals (reason simplification)	: 10652128
3600.08/3578.74	c reason swapping (by a shorter reason)	: 0
3600.08/3578.74	c Calls to reduceDB	: 144
3600.08/3578.74	c Number of update (reduction) of LBD	: 3918580
3600.08/3578.74	c Imported unit clauses	: 0
3600.08/3578.74	c No decision after first conflict	: false
3600.08/3578.74	c number of reductions to clauses (during analyze)	: 0
3600.08/3578.74	c number of learned constraints concerned by reduction	: 0
3600.08/3578.74	c number of learning phase by resolution	: 0
3600.08/3578.74	c number of learning phase by cutting planes	: 0
3600.08/3578.74	c number of rounding to 1 operations	: 0
3600.08/3578.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3578.74	c number of reductions of the coefficients by power 2 	: 0
3600.08/3578.74	c number of right shift for reduction by power 2 	: 0
3600.08/3578.74	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3578.74	c number of ending skipping 	: 0
3600.08/3578.74	c number of internal skipping 	: 0
3600.08/3578.74	c number of derivation steps 	: 0
3600.08/3578.74	c number of skipped derivation steps 	: 0
3600.08/3578.74	c number of remaining unassigned 	: 0
3600.08/3578.74	c number of remaining assigned 	: 0
3600.08/3578.74	c number of falsified literals weakened from reason	: 0
3600.08/3578.74	c number of falsified literals weakened from conflict	: 0
3600.08/3578.74	c time for arithmetic operations	: 0
3600.08/3578.75	c minimum degree of deleted constraints	: null
3600.08/3578.75	c maximum degree of deleted constraints	: null
3600.08/3578.75	c number of deleted constraints	: 0
3600.08/3578.75	c speed (assignments/second)	: 47442.44518875501
3600.08/3578.75	c non guided choices	: 1065800
3600.28/3578.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 221347
3600.28/3578.82	s SATISFIABLE
3600.28/3578.82	c Found 8 solution(s)
3600.28/3578.84	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.28/3578.84	c objective function=4
3600.28/3578.84	c Total wall clock time (in seconds): 3578.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: 63708 MiB (62644 MiB free)
  memory of node 1: 64465 MiB (62993 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525091-1751617783/watcher-4525091-1751617783 -o /tmp/evaluation-result-4525091-1751617783/solver-4525091-1751617783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86867 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525091-1751617783.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 4.48 4.22 4.13 5/341 88311
/proc/meminfo: memFree=128624924/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=18930384 memory=57904 CPUtime=0.13 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 6593 0 0 0 11 2 0 0 20 0 18 0 77456161 19384713216 14476 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4732596 14476 5370 1 0 547639 0
[pid=88293/tid=88295] ppid=88290 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 5094 0 0 0 7 1 0 0 20 0 18 0 77456162 19384713216 14476 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77456164 19384713216 14476 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=18930384 memory=58485492679666 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77456164 19384713216 14476 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57904 KiB

[startup+0.205851 s]*
/proc/loadavg: 4.48 4.22 4.13 8/342 88312
/proc/meminfo: memFree=128611944/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=18996948 memory=66604 CPUtime=0.33 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 7127 0 0 0 31 2 0 0 20 0 19 0 77456161 19452874752 16651 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4749237 16651 5466 1 0 548280 0
[pid=88293/tid=88295] ppid=88290 vsize=18996948 memory=4026794268 CPUtime=0.17 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 5374 0 0 0 16 1 0 0 20 0 19 0 77456162 19452874752 16651 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=18996948 memory=16099 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77456164 19452874752 16651 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=18996948 memory=57385981051877 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77456164 19452874752 16651 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (java) R 88290 88293 86856 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 77456181 19452874752 16651 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66604 KiB

[startup+0.305818 s]*
/proc/loadavg: 4.48 4.22 4.13 8/342 88312
/proc/meminfo: memFree=128596892/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=18996948 memory=71932 CPUtime=0.52 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 8728 0 0 0 50 2 0 0 20 0 19 0 77456161 19452874752 17983 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4749237 17983 5466 1 0 549017 0
[pid=88293/tid=88295] ppid=88290 vsize=18996948 memory=-6000919506999338087 CPUtime=0.26 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 5390 0 0 0 25 1 0 0 20 0 19 0 77456162 19452874752 17983 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77456164 19452874752 17983 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77456164 19452874752 17983 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77456181 19452874752 17983 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71932 KiB

[startup+0.700237 s]
/proc/loadavg: 4.48 4.22 4.13 6/342 88312
/proc/meminfo: memFree=128588828/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=18996948 memory=94008 CPUtime=1.28 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 13389 0 0 0 125 3 0 0 20 0 19 0 77456161 19452874752 23502 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4749237 23502 5498 1 0 552368 0
[pid=88293/tid=88295] ppid=88290 vsize=18996948 memory=14336 CPUtime=0.63 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 5417 0 0 0 62 1 0 0 20 0 19 0 77456162 19452874752 23502 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77456164 19452874752 23502 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77456164 19452874752 23502 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77456181 19452874752 23502 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94008 KiB

[startup+1.50021 s]
/proc/loadavg: 4.48 4.22 4.13 6/342 88312
/proc/meminfo: memFree=128476852/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=18996948 memory=120060 CPUtime=2.52 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 18079 0 0 0 248 4 0 0 20 0 19 0 77456161 19452874752 30015 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4749237 30015 5498 1 0 552636 0
[pid=88293/tid=88295] ppid=88290 vsize=18996948 memory=0 CPUtime=1.43 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 6461 0 0 0 141 2 0 0 20 0 19 0 77456162 19452874752 30015 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77456164 19452874752 30015 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77456164 19452874752 30015 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77456181 19452874752 30015 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120060 KiB

[startup+3.10571 s]
/proc/loadavg: 4.48 4.22 4.13 5/342 88312
/proc/meminfo: memFree=128419260/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=18996948 memory=166276 CPUtime=4.45 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 20790 0 0 0 440 5 0 0 20 0 19 0 77456161 19452874752 41569 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4749237 41569 5498 1 0 552870 0
[pid=88293/tid=88295] ppid=88290 vsize=18996948 memory=10624 CPUtime=3.02 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 6824 0 0 0 300 2 0 0 20 0 19 0 77456162 19452874752 41569 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=18996948 memory=-6000919506999338087 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77456164 19452874752 41569 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77456164 19452874752 41569 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77456181 19452874752 41569 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 4.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 166276 KiB

[startup+6.30025 s]
/proc/loadavg: 4.52 4.24 4.13 5/343 88313
/proc/meminfo: memFree=128333244/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=189124 CPUtime=7.64 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 21891 0 0 0 758 6 0 0 20 0 20 0 77456161 19521036288 47281 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 47281 5530 1 0 553160 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=0 CPUtime=6.18 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 6838 0 0 0 616 2 0 0 20 0 20 0 77456162 19521036288 47281 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 47281 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 47281 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=19063512 memory=122244 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77456181 19521036288 47281 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 7.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189124 KiB

[startup+12.7002 s]
/proc/loadavg: 4.48 4.23 4.13 5/343 88313
/proc/meminfo: memFree=128034064/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=306408 CPUtime=14.33 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 26591 0 0 0 1424 9 0 0 20 0 20 0 77456161 19521036288 76602 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 76602 5562 1 0 553176 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=122244 CPUtime=12.45 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 7997 0 0 0 1243 2 0 0 20 0 20 0 77456162 19521036288 76602 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19063512 memory=306408 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 76602 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 76602 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77456181 19521036288 76602 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 306408 KiB

[startup+25.5002 s]
/proc/loadavg: 4.37 4.22 4.13 6/342 88378
/proc/meminfo: memFree=127645120/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=507312 CPUtime=27.27 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 30939 0 0 0 2713 14 0 0 20 0 20 0 77456161 19521036288 126828 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 126828 5562 1 0 553176 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=306408 CPUtime=24.98 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 9609 0 0 0 2495 3 0 0 20 0 20 0 77456162 19521036288 126828 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 126828 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19063512 memory=445872 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 126828 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77456181 19521036288 126828 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 27.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 507312 KiB

[startup+51.1058 s]
/proc/loadavg: 4.39 4.24 4.13 5/343 88380
/proc/meminfo: memFree=126449976/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=904736 CPUtime=53.2 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 32177 0 0 0 5297 23 0 0 20 0 20 0 77456161 19521036288 226184 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 226184 5562 1 0 553176 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=562640 CPUtime=50.18 cores=4,6

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

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/340 88691
/proc/meminfo: memFree=110885904/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=5986012 CPUtime=3240.32 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 153572 0 0 0 323795 237 0 0 20 0 20 0 77456161 19521036288 1496503 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 1496503 5594 1 0 1883182 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=4255684 CPUtime=3195.02 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 67599 0 0 0 319451 51 0 0 20 0 20 0 77456162 19521036288 1496503 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1496503 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19063512 memory=5979724 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 1239 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1496503 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77456181 19521036288 1496503 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 3240.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5986012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.16 4.15 6/340 88693
/proc/meminfo: memFree=110446340/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=6588124 CPUtime=3301 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 156342 0 0 0 329850 250 0 0 20 0 20 0 77456161 19521036288 1647031 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 1647031 5594 1 0 1883182 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=4255684 CPUtime=3253.98 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 68817 0 0 0 325346 52 0 0 20 0 20 0 77456162 19521036288 1647031 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19063512 memory=6420188 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1647031 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 1283 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1647031 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=19063512 memory=6420188 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77456181 19521036288 1647031 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 3301 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6588124 KiB

[startup+3342.3 s]
/proc/loadavg: 4.37 4.24 4.18 5/341 88696
/proc/meminfo: memFree=109481552/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=7386860 CPUtime=3362.22 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 163026 0 0 0 335953 269 0 0 20 0 20 0 77456161 19521036288 1846715 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 1846715 5594 1 0 2447472 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=4255684 CPUtime=3313.35 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 71731 0 0 0 331275 60 0 0 20 0 20 0 77456162 19521036288 1846715 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19063512 memory=7276268 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1846715 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 1284 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1846715 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=19063512 memory=7386860 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77456181 19521036288 1846715 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 3362.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7386860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.22 4.18 5/340 88701
/proc/meminfo: memFree=109415984/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=7444204 CPUtime=3422.65 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 166997 0 0 0 341992 273 0 0 20 0 20 0 77456161 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 1861051 5594 1 0 2447472 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=4255684 CPUtime=3372.58 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 74097 0 0 0 337197 61 0 0 20 0 20 0 77456162 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19063512 memory=7276268 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19063512 memory=7444204 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=19063512 memory=7444204 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77456181 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 3422.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7444204 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.20 4.17 5/341 88708
/proc/meminfo: memFree=109338208/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=7444204 CPUtime=3483.11 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 170422 0 0 0 348035 276 0 0 20 0 20 0 77456161 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 1861051 5594 1 0 2447472 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=4255684 CPUtime=3431.83 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 76066 0 0 0 343121 62 0 0 20 0 20 0 77456162 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19063512 memory=7276268 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19063512 memory=7444204 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 1430 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=19063512 memory=7444204 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77456181 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 3483.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7444204 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/341 88710
/proc/meminfo: memFree=109092104/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=7444204 CPUtime=3543.44 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 173854 0 0 0 354065 279 0 0 20 0 20 0 77456161 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 1861051 5594 1 0 2447472 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=4255684 CPUtime=3491.2 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 78275 0 0 0 349057 63 0 0 20 0 20 0 77456162 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19063512 memory=7444204 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19063512 memory=7444204 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 1430 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77456181 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 3543.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7444204 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3578.7 s]
/proc/loadavg: 4.15 4.17 4.17 5/341 88711
/proc/meminfo: memFree=108777300/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19063512 memory=7444204 CPUtime=3600.08 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 175254 0 0 0 359726 282 0 0 20 0 20 0 77456161 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4765878 1861051 5594 1 0 2447472 0
[pid=88293/tid=88295] ppid=88290 vsize=19063512 memory=4255684 CPUtime=3547.1 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 79275 0 0 0 354646 64 0 0 20 0 20 0 77456162 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19063512 memory=7444204 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19063512 memory=7444204 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 1466 0 0 0 0 0 0 0 20 0 20 0 77456164 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88312] ppid=88290 vsize=19063512 memory=-6000919506999338087 CPUtime=0 cores=4,6
/proc/88293/task/88312/stat : 88312 (Timer-0) S 88290 88293 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77456181 19521036288 1861051 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7444204 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.55 s, system=2.84845 s

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

[startup+3578.81 s]
/proc/loadavg: 4.15 4.17 4.17 5/341 88711
/proc/meminfo: memFree=108777300/131249996 swapFree=33000896/33010684
[pid=88293] ppid=88290 vsize=19263204 memory=7444844 CPUtime=3600.28 cores=4,6
/proc/88293/stat : 88293 (java) S 88290 88293 86856 0 -1 4194304 177651 0 0 0 359746 282 0 0 20 0 21 0 77456161 19725520896 1861211 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
/proc/88293/statm: 4815801 1861211 5594 1 0 2448410 0
[pid=88293/tid=88295] ppid=88290 vsize=19263204 memory=9088 CPUtime=3547.2 cores=4,6
/proc/88293/task/88295/stat : 88295 (java) R 88290 88293 86856 0 -1 4194368 79461 0 0 0 354656 64 0 0 20 0 21 0 77456162 19725520896 1861211 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88304] ppid=88290 vsize=19263204 memory=-6000919506999338087 CPUtime=0 cores=4,6
/proc/88293/task/88304/stat : 88304 (Finalizer) S 88290 88293 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77456164 19725520896 1861211 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
[pid=88293/tid=88311] ppid=88290 vsize=19263204 memory=6784 CPUtime=0 cores=4,6
/proc/88293/task/88311/stat : 88311 (Common-Cleaner) S 88290 88293 86856 0 -1 4194368 1466 0 0 0 0 0 0 0 20 0 21 0 77456164 19725520896 1861211 18446744073709551615 94211596267520 94211596271216 140723310636064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94211596279032 94211596279824 94211622559744 140723310639487 140723310639588 140723310639588 140723310645192 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7444844 KiB

Child status: 143

Real time (s): 3578.89
CPU time (s): 3600.39
CPU user time (s): 3597.55
CPU system time (s): 2.84845
CPU usage (%): 100.601
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7444844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.55
system time used= 2.84845
maximum resident set size= 7444972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112176
involuntary context switches= 4625


# summary of solver processes directly reported to runsolver:
#   pid: 88293
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3597.55
#   total CPU system time (s): 2.84845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.83604 second user time and 16.2636 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 10:29:43
IDJOB=4525091
IDBENCH=143451
IDSOLVER=3380
FILE ID=nodeC023/4525091-1751617783
RUNJOBID= nodeC023-1751614174-86867
SLURM_JOB_ID= 9598917
Free space on /tmp= 431864 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
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 Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525091-1751617783/watcher-4525091-1751617783 -o /tmp/evaluation-result-4525091-1751617783/solver-4525091-1751617783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86867 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4525091-1751617783.wbo

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

MD5SUM BENCH= 85c61b41516c561b6bc7de90e3cecd83
RANDOM SEED=377686700

nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.906
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.900
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.821
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.536
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.894
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.909
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.410
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128652744 kB
MemAvailable:   128405600 kB
Buffers:              16 kB
Cached:           495820 kB
SwapCached:         2900 kB
Active:          1546444 kB
Inactive:         356352 kB
Active(anon):    1366116 kB
Inactive(anon):    53368 kB
Active(file):     180328 kB
Inactive(file):   302984 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2328 kB
Writeback:             0 kB
AnonPages:       1407228 kB
Mapped:           117984 kB
Shmem:             12524 kB
KReclaimable:     217568 kB
Slab:             309456 kB
SReclaimable:     217568 kB
SUnreclaim:        91888 kB
KernelStack:        5208 kB
PageTables:         6544 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7920224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1210368 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431868 MiB
End job on nodeC023 at 2025-07-04 11:29:22