Trace number 4456051

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.31 3585.46

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
MD5SUM96381e53effe0faa5b6fb6e6d9b14b44
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.072223
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2550
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 5465
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5464
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
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.01/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.01/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.19	c See www.sat4j.org for details.
0.01/0.20	c version CUSTOM.v20240707
0.10/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.21	c java.vm.version	22.0.1+8-16
0.10/0.21	c java.vm.vendor	Oracle Corporation
0.10/0.21	c sun.arch.data.model	64
0.10/0.21	c java.version		22.0.1
0.10/0.21	c os.name		Linux
0.10/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.10/0.21	c os.arch		amd64
0.10/0.21	c Free memory 		2106806208
0.10/0.21	c Max memory 		16282288128
0.10/0.21	c Total memory 		2113929216
0.10/0.22	c Number of processors 	2
0.10/0.25	--- Begin Solver configuration ---
0.10/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.10/0.25	Learn all clauses as in MiniSAT
0.10/0.25	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.25	No reason simplification
0.10/0.25	Glucose 2.1 dynamic restart strategy
0.10/0.25	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.10/0.25	timeout=2147483s
0.10/0.25	DB Simplification allowed=false
0.10/0.25	Listener: none
0.10/0.25	--- End Solver configuration ---
0.10/0.25	c Pseudo Boolean Optimization by upper bound
0.10/0.25	c --- Begin Solver configuration ---
0.10/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.10/0.25	c Learn all clauses as in MiniSAT
0.10/0.25	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.25	c No reason simplification
0.10/0.25	c Glucose 2.1 dynamic restart strategy
0.10/0.25	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.10/0.25	c timeout=2147483s
0.10/0.25	c DB Simplification allowed=false
0.10/0.25	c Listener: none
0.10/0.25	c --- End Solver configuration ---
0.10/0.25	c solving HOME/instance-4456051-1721718407.wbo
0.10/0.25	c reading problem ... 
0.10/0.30	c ... done. Wall clock time 0.039s.
0.10/0.30	c declared #vars     2550
0.10/0.30	c internal #vars     2651
0.10/0.30	c #constraints  102
0.10/0.30	c constraints type 
0.10/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 50
0.10/0.30	c org.sat4j.specs.Constr$1 => 1
0.10/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
0.10/0.30	c 102 constraints processed.
0.10/0.30	c objective function length is 101 literals
1.31/0.99	c cleaning 2490 clauses out of 5001 with flag 33209/5001
1.47/1.03	c SATISFIABLE
1.47/1.03	c OPTIMIZING...
1.47/1.03	c Got one! Elapsed wall clock time (in seconds):0.772
1.47/1.03	o 33
2.53/1.87	c cleaning 3963 clauses out of 7934 with flag 31962/10424
3.87/3.12	c cleaning 4978 clauses out of 9970 with flag 72896/16423
4.96/4.20	c cleaning 5985 clauses out of 11992 with flag 119998/23423
4.96/4.22	c Got one! Elapsed wall clock time (in seconds):3.954
4.96/4.22	o 13
6.05/5.28	c cleaning 5537 clauses out of 11084 with flag 34734/28500
7.14/6.34	c cleaning 5768 clauses out of 11549 with flag 78162/34502
8.55/7.65	c cleaning 6386 clauses out of 12779 with flag 127357/41500
10.58/9.61	c cleaning 7190 clauses out of 14392 with flag 185834/49499
12.90/11.93	c cleaning 8094 clauses out of 16203 with flag 251733/58500
15.85/14.82	c cleaning 9046 clauses out of 18109 with flag 319364/68500
19.32/18.39	c cleaning 10020 clauses out of 20063 with flag 391657/79500
19.42/18.48	c Got one! Elapsed wall clock time (in seconds):18.227
19.42/18.48	o 8
20.98/19.94	c cleaning 7784 clauses out of 15580 with flag 31741/85037
22.36/21.36	c cleaning 6891 clauses out of 13795 with flag 76847/91036
23.98/22.98	c cleaning 6945 clauses out of 13907 with flag 126851/98039
26.11/25.02	c cleaning 7475 clauses out of 14959 with flag 185762/106036
28.28/27.23	c cleaning 8235 clauses out of 16485 with flag 250086/115037
30.16/29.03	c Got one! Elapsed wall clock time (in seconds):28.78
30.16/29.04	o 3
30.66/29.52	c cleaning 10795 clauses out of 21611 with flag 32795/128398
31.32/30.18	c cleaning 8393 clauses out of 16816 with flag 73980/134398
32.32/31.11	c cleaning 7692 clauses out of 15424 with flag 125840/141399
33.75/32.57	c cleaning 7846 clauses out of 15733 with flag 187267/149400
34.25/33.05	c Got one! Elapsed wall clock time (in seconds):32.792
34.25/33.05	o 2
34.45/33.29	c cleaning 6879 clauses out of 13769 with flag 21665/155282
35.04/33.85	c cleaning 6437 clauses out of 12891 with flag 63005/161283
35.84/34.61	c cleaning 6718 clauses out of 13453 with flag 107774/168282
36.89/35.61	c cleaning 7363 clauses out of 14736 with flag 159839/176283
38.39/37.14	c cleaning 8180 clauses out of 16373 with flag 218678/185283
39.16/37.84	c Got one! Elapsed wall clock time (in seconds):37.589
39.16/37.84	o 1
39.66/38.36	c cleaning 10148 clauses out of 20313 with flag 27602/197403
40.16/38.83	c cleaning 8060 clauses out of 16163 with flag 62782/203401
40.96/39.64	c cleaning 7536 clauses out of 15105 with flag 103813/210403
42.31/40.96	c cleaning 7766 clauses out of 15569 with flag 155761/218403
43.71/42.33	c cleaning 8379 clauses out of 16801 with flag 210725/227401
45.68/44.23	c cleaning 9193 clauses out of 18423 with flag 271262/237402
48.18/46.76	c cleaning 10096 clauses out of 20230 with flag 341184/248402
51.35/49.81	c cleaning 11048 clauses out of 22134 with flag 425879/260402
54.82/53.27	c cleaning 12029 clauses out of 24087 with flag 520228/273403
59.19/57.53	c cleaning 13007 clauses out of 26057 with flag 622330/287402
62.95/61.36	c cleaning 14007 clauses out of 28049 with flag 733656/302401
68.78/66.94	c cleaning 15002 clauses out of 30044 with flag 848602/318403
74.33/72.43	c cleaning 16006 clauses out of 32041 with flag 976516/335402
82.12/80.17	c cleaning 17000 clauses out of 34035 with flag 1106929/353402
90.10/88.07	c cleaning 17997 clauses out of 36034 with flag 1256463/372401
98.78/96.69	c cleaning 19001 clauses out of 38037 with flag 1410062/392401
106.86/104.74	c cleaning 20001 clauses out of 40036 with flag 1554442/413401
120.33/118.13	c cleaning 20998 clauses out of 42035 with flag 1716484/435401
133.43/131.11	c cleaning 22001 clauses out of 44039 with flag 1873380/458403
147.30/144.95	c cleaning 22999 clauses out of 46038 with flag 2045738/482403
160.29/157.81	c cleaning 23998 clauses out of 48039 with flag 2230315/507403
176.49/173.91	c cleaning 25000 clauses out of 50040 with flag 2426294/533402
192.86/189.82	c cleaning 26002 clauses out of 52039 with flag 2616577/560401
210.58/207.55	c cleaning 26992 clauses out of 54037 with flag 2822885/588401
227.40/224.33	c cleaning 28002 clauses out of 56046 with flag 3029414/617402
248.26/245.24	c cleaning 28996 clauses out of 58043 with flag 3263077/647401
271.78/268.62	c cleaning 29998 clauses out of 60049 with flag 3494970/678403
297.00/293.77	c cleaning 31002 clauses out of 62049 with flag 3740799/710401
326.62/323.21	c cleaning 32001 clauses out of 64047 with flag 3994379/743401
338.51/335.18	c cleaning 33011 clauses out of 66047 with flag 4207906/777402
348.38/344.98	c cleaning 34009 clauses out of 68036 with flag 4446769/812402
360.02/356.02	c cleaning 34990 clauses out of 70026 with flag 4679145/848401
382.45/378.45	c cleaning 35998 clauses out of 72038 with flag 4938800/885403
405.68/401.32	c cleaning 36999 clauses out of 74040 with flag 5187759/923403
422.20/417.87	c cleaning 37994 clauses out of 76043 with flag 5458218/962405
440.30/435.92	c cleaning 39002 clauses out of 78050 with flag 5753213/1002406
453.62/449.03	c cleaning 39992 clauses out of 80043 with flag 6049347/1043401
464.21/459.56	c cleaning 40998 clauses out of 82052 with flag 6310201/1085402
473.51/468.24	c cleaning 42003 clauses out of 84054 with flag 6581190/1128402
498.03/492.88	c cleaning 43007 clauses out of 86051 with flag 6871580/1172402
519.24/514.07	c cleaning 43998 clauses out of 88046 with flag 7207153/1217404
541.80/536.64	c cleaning 45001 clauses out of 90045 with flag 7529170/1263401
568.44/563.28	c cleaning 45997 clauses out of 92044 with flag 7864806/1310401
594.17/588.86	c cleaning 47002 clauses out of 94047 with flag 8190496/1358401
625.21/619.67	c cleaning 48005 clauses out of 96047 with flag 8542769/1407403
639.88/634.27	c cleaning 49002 clauses out of 98041 with flag 8883906/1457402
654.43/648.72	c cleaning 50006 clauses out of 100038 with flag 9177357/1508401
670.91/665.03	c cleaning 50987 clauses out of 102033 with flag 9543632/1560402
686.73/680.29	c cleaning 51984 clauses out of 104046 with flag 9882563/1613402
699.02/692.59	c cleaning 52989 clauses out of 106061 with flag 10231118/1667401
736.46/729.99	c cleaning 54000 clauses out of 108073 with flag 10564013/1722402
776.28/769.92	c cleaning 54998 clauses out of 110072 with flag 10924673/1778401
824.25/817.68	c cleaning 56002 clauses out of 112074 with flag 11334677/1835401
866.18/859.43	c cleaning 56995 clauses out of 114072 with flag 11782145/1893401
922.72/915.77	c cleaning 58003 clauses out of 116078 with flag 12209647/1952402
972.73/965.17	c cleaning 59001 clauses out of 118075 with flag 12648414/2012402
1037.99/1030.66	c cleaning 59999 clauses out of 120073 with flag 13127029/2073401
1061.75/1054.26	c cleaning 61014 clauses out of 122076 with flag 13461445/2135403
1081.87/1074.23	c cleaning 62008 clauses out of 124064 with flag 13823286/2198405
1101.32/1093.44	c cleaning 62999 clauses out of 126053 with flag 14187770/2262402
1124.07/1116.28	c cleaning 64012 clauses out of 128053 with flag 14532250/2327401
1141.37/1133.56	c cleaning 65000 clauses out of 130041 with flag 14914598/2393401
1162.26/1154.11	c cleaning 65986 clauses out of 132041 with flag 15308190/2460401
1185.00/1176.73	c cleaning 67002 clauses out of 134055 with flag 15668793/2528401
1223.09/1214.57	c cleaning 67998 clauses out of 136053 with flag 16105367/2597401
1249.09/1239.88	c cleaning 69017 clauses out of 138056 with flag 16485565/2667402
1275.07/1265.73	c cleaning 69998 clauses out of 140038 with flag 16870893/2738401
1298.22/1288.89	c cleaning 71009 clauses out of 142040 with flag 17270276/2810401
1319.89/1310.23	c cleaning 72002 clauses out of 144031 with flag 17687138/2883401
1345.33/1335.63	c cleaning 73006 clauses out of 146029 with flag 18087241/2957401
1369.38/1359.40	c cleaning 73990 clauses out of 148025 with flag 18510593/3032403
1393.81/1383.83	c cleaning 75005 clauses out of 150033 with flag 18930045/3108401
1422.58/1412.35	c cleaning 76003 clauses out of 152030 with flag 19365122/3185403
1449.96/1439.78	c cleaning 77002 clauses out of 154025 with flag 19795551/3263401
1475.24/1464.99	c cleaning 78000 clauses out of 156024 with flag 20235747/3342402
1502.27/1491.98	c cleaning 78996 clauses out of 158025 with flag 20678684/3422403
1532.13/1521.98	c cleaning 80003 clauses out of 160027 with flag 21121270/3503401
1565.37/1555.13	c cleaning 80994 clauses out of 162026 with flag 21561749/3585403
1596.92/1586.88	c cleaning 81990 clauses out of 164031 with flag 22014544/3668402
1684.13/1672.96	c cleaning 83007 clauses out of 166042 with flag 22629192/3752403
1760.09/1748.85	c cleaning 83997 clauses out of 168033 with flag 23267299/3837401
1790.26/1778.92	c cleaning 85011 clauses out of 170037 with flag 23745572/3923402
1821.83/1810.67	c cleaning 85985 clauses out of 172025 with flag 24235544/4010401
1856.94/1845.60	c cleaning 87003 clauses out of 174040 with flag 24714643/4098401
1895.11/1883.90	c cleaning 88018 clauses out of 176037 with flag 25201631/4187401
1927.02/1915.80	c cleaning 88989 clauses out of 178020 with flag 25710755/4277402
1959.93/1948.67	c cleaning 90003 clauses out of 180030 with flag 26214103/4368401
1995.09/1983.58	c cleaning 90995 clauses out of 182027 with flag 26733396/4460401
2032.86/2021.45	c cleaning 92001 clauses out of 184032 with flag 27257867/4553401
2073.27/2062.07	c cleaning 92997 clauses out of 186031 with flag 27773627/4647401
2112.14/2100.85	c cleaning 93995 clauses out of 188035 with flag 28294990/4742402
2148.32/2137.17	c cleaning 95006 clauses out of 190041 with flag 28835904/4838403
2183.34/2172.18	c cleaning 96016 clauses out of 192033 with flag 29382522/4935401
2228.65/2217.46	c cleaning 96996 clauses out of 194020 with flag 29914242/5033404
2268.58/2257.30	c cleaning 97994 clauses out of 196022 with flag 30477520/5132402
2312.60/2300.92	c cleaning 98996 clauses out of 198028 with flag 31038526/5232402
2354.91/2343.09	c cleaning 100005 clauses out of 200031 with flag 31604398/5333401
2400.46/2388.29	c cleaning 100993 clauses out of 202026 with flag 32173845/5435401
2449.90/2436.96	c cleaning 102002 clauses out of 204033 with flag 32746065/5538401
2498.87/2486.03	c cleaning 103005 clauses out of 206033 with flag 33329019/5642403
2542.22/2529.48	c cleaning 104005 clauses out of 208026 with flag 33932038/5747401
2589.89/2577.24	c cleaning 104989 clauses out of 210022 with flag 34523360/5853402
2636.58/2623.88	c cleaning 105994 clauses out of 212032 with flag 35142401/5960401
2685.15/2672.16	c cleaning 107010 clauses out of 214038 with flag 35748116/6068401
2734.50/2721.27	c cleaning 108006 clauses out of 216029 with flag 36356629/6177402
2783.74/2770.25	c cleaning 108997 clauses out of 218022 with flag 36981183/6287401
2836.06/2822.33	c cleaning 110000 clauses out of 220025 with flag 37608625/6398401
2889.57/2875.95	c cleaning 110984 clauses out of 222025 with flag 38238839/6510401
2940.74/2927.39	c cleaning 112007 clauses out of 224041 with flag 38877818/6623401
2992.62/2978.75	c cleaning 113009 clauses out of 226034 with flag 39528464/6737401
3047.17/3033.34	c cleaning 113995 clauses out of 228025 with flag 40179148/6852401
3100.78/3086.89	c cleaning 115000 clauses out of 230030 with flag 40836226/6968401
3158.64/3144.96	c cleaning 116001 clauses out of 232031 with flag 41498252/7085402
3214.88/3201.07	c cleaning 117001 clauses out of 234029 with flag 42175646/7203401
3274.90/3260.94	c cleaning 118000 clauses out of 236030 with flag 42855084/7322403
3330.94/3316.47	c cleaning 119010 clauses out of 238029 with flag 43555634/7442402
3392.60/3377.97	c cleaning 119997 clauses out of 240019 with flag 44245389/7563402
3455.07/3440.65	c cleaning 120986 clauses out of 242022 with flag 44939561/7685402
3515.93/3501.55	c cleaning 121999 clauses out of 244035 with flag 45651969/7808401
3579.08/3564.58	c cleaning 123009 clauses out of 246036 with flag 46360235/7932401
3600.01/3585.32	c starts		: 53585
3600.01/3585.32	c conflicts		: 7983438
3600.01/3585.32	c decisions		: 82830295
3600.01/3585.32	c propagations		: 317052637
3600.01/3585.32	c inspects		: 28772477686
3600.01/3585.32	c shortcuts		: 0
3600.01/3585.32	c learnt literals	: 0
3600.01/3585.32	c learnt binary clauses	: 0
3600.01/3585.32	c learnt ternary clauses	: 0
3600.01/3585.32	c learnt constraints	: 7983438
3600.01/3585.32	c ignored constraints	: 0
3600.01/3585.32	c root simplifications	: 0
3600.01/3585.32	c removed literals (reason simplification)	: 0
3600.01/3585.32	c reason swapping (by a shorter reason)	: 0
3600.01/3585.32	c Calls to reduceDB	: 145
3600.01/3585.32	c Number of update (reduction) of LBD	: 3739534
3600.01/3585.32	c Imported unit clauses	: 0
3600.01/3585.32	c No decision after first conflict	: false
3600.01/3585.32	c number of reductions to clauses (during analyze)	: 0
3600.01/3585.32	c number of learned constraints concerned by reduction	: 0
3600.01/3585.32	c number of learning phase by resolution	: 0
3600.01/3585.32	c number of learning phase by cutting planes	: 0
3600.01/3585.32	c number of rounding to 1 operations	: 0
3600.01/3585.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3585.32	c number of reductions of the coefficients by power 2 	: 0
3600.01/3585.32	c number of right shift for reduction by power 2 	: 0
3600.01/3585.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3585.32	c number of ending skipping 	: 0
3600.01/3585.32	c number of internal skipping 	: 0
3600.01/3585.32	c number of derivation steps 	: 0
3600.01/3585.32	c number of skipped derivation steps 	: 0
3600.01/3585.32	c number of remaining unassigned 	: 0
3600.01/3585.32	c number of remaining assigned 	: 0
3600.01/3585.32	c number of falsified literals weakened from reason	: 0
3600.01/3585.32	c number of falsified literals weakened from conflict	: 0
3600.01/3585.32	c time for arithmetic operations	: 0
3600.01/3585.32	c minimum degree of deleted constraints	: null
3600.01/3585.32	c maximum degree of deleted constraints	: null
3600.01/3585.34	c number of deleted constraints	: 0
3600.01/3585.34	c speed (assignments/second)	: 88438.10402332146
3600.01/3585.34	c non guided choices	: 502561
3600.01/3585.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 174064
3600.01/3585.41	s SATISFIABLE
3600.01/3585.41	c Found 6 solution(s)
3600.23/3585.42	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 
3600.23/3585.42	c objective function=1
3600.23/3585.42	c Total wall clock time (in seconds): 3585.17

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (51973 MiB free)
  memory of node 1: 64473 MiB (54355 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456051-1721718407/watcher-4456051-1721718407 -o /tmp/evaluation-result-4456051-1721718407/solver-4456051-1721718407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86041 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456051-1721718407.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100064 s]*
/proc/loadavg: 1.13 1.77 1.97 5/283 86131
/proc/meminfo: memFree=108785236/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=18175400 memory=34532 CPUtime=0.01 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 3827 0 58 0 0 1 0 0 20 0 7 0 8363247 18611609600 8633 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16784588 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4543850 8633 3653 1 0 542675 0
[pid=86084/tid=86101] ppid=86081 vsize=18175400 memory=4026531971 CPUtime=0.01 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) D 86081 86084 86029 0 -1 4194368 3297 0 40 0 0 1 0 0 20 0 7 0 8363250 18611609600 8704 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 5 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 34532 KiB

[startup+0.206262 s]*
/proc/loadavg: 1.13 1.77 1.97 6/327 86175
/proc/meminfo: memFree=108698380/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=18975048 memory=57836 CPUtime=0.1 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 6715 0 85 0 8 2 0 0 20 0 18 0 8363247 19430449152 14459 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4743762 14459 5440 1 0 548932 0
[pid=86084/tid=86101] ppid=86081 vsize=18975048 memory=8505393642823811203 CPUtime=0.08 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 5606 0 55 0 6 2 0 0 20 0 18 0 8363250 19430449152 14459 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=18975048 memory=18993 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8363262 19430449152 14459 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 8363262 19430449152 14459 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57836 KiB

[startup+0.309862 s]*
/proc/loadavg: 1.13 1.77 1.97 14/327 86175
/proc/meminfo: memFree=108651836/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19041612 memory=73212 CPUtime=0.29 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 7639 0 85 0 27 2 0 0 20 0 19 0 8363247 19498610688 18303 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4760403 18303 5817 1 0 549927 0
[pid=86084/tid=86101] ppid=86081 vsize=19041612 memory=-6000919485675562599 CPUtime=0.18 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 5974 0 55 0 16 2 0 0 20 0 19 0 8363250 19498610688 18303 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19041612 memory=-4421386517756536159 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8363262 19498610688 18303 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 8363262 19498610688 18303 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (java) R 86081 86084 86029 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 8363279 19498610688 18303 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73212 KiB

[startup+0.700591 s]
/proc/loadavg: 1.13 1.77 1.97 14/331 86179
/proc/meminfo: memFree=108593788/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19041612 memory=94784 CPUtime=1.06 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 10717 0 85 0 103 3 0 0 20 0 19 0 8363247 19498610688 23696 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4760403 23696 5838 1 0 551616 0
[pid=86084/tid=86101] ppid=86081 vsize=19041612 memory=34836 CPUtime=0.56 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 6047 0 55 0 54 2 0 0 20 0 19 0 8363250 19498610688 23696 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19041612 memory=13048 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8363262 19498610688 23696 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19041612 memory=5520 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 8363262 19498610688 23696 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19041612 memory=16140 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8363279 19498610688 23696 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94784 KiB

[startup+1.50058 s]
/proc/loadavg: 1.13 1.77 1.97 7/331 86179
/proc/meminfo: memFree=108506816/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19041612 memory=129928 CPUtime=2.22 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 14313 0 85 0 218 4 0 0 20 0 19 0 8363247 19498610688 32482 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4760403 32482 5838 1 0 552079 0
[pid=86084/tid=86101] ppid=86081 vsize=19041612 memory=0 CPUtime=1.35 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 6304 0 55 0 132 3 0 0 20 0 19 0 8363250 19498610688 32482 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19041612 memory=13048 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 8363262 19498610688 32482 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19041612 memory=5520 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 8363262 19498610688 32482 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19041612 memory=16140 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8363279 19498610688 32482 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129928 KiB

[startup+3.10658 s]
/proc/loadavg: 1.13 1.77 1.97 6/333 86181
/proc/meminfo: memFree=108195148/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=210456 CPUtime=3.87 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 16284 0 85 0 381 6 0 0 20 0 20 0 8363247 19566772224 52614 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 52614 5860 1 0 552369 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=0 CPUtime=2.89 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 6727 0 55 0 286 3 0 0 20 0 20 0 8363250 19566772224 52614 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=13048 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 52614 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=-6000919502721279591 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 52614 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=14689716704381113 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 52614 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 3.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210456 KiB

[startup+6.30058 s]
/proc/loadavg: 1.36 1.80 1.98 6/334 86184
/proc/meminfo: memFree=107980860/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=279808 CPUtime=7.14 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 16926 0 85 0 706 8 0 0 20 0 20 0 8363247 19566772224 69952 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 69952 5876 1 0 552390 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=0 CPUtime=5.99 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 6999 0 55 0 596 3 0 0 20 0 20 0 8363250 19566772224 69952 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=7450431958278563944 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 69952 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=13048 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 69952 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=-7965959130280075168 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 69952 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 7.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 279808 KiB

[startup+12.7006 s]
/proc/loadavg: 1.57 1.84 1.99 6/335 86185
/proc/meminfo: memFree=107276396/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=424580 CPUtime=13.69 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 22126 0 85 0 1358 11 0 0 20 0 20 0 8363247 19566772224 106145 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 106145 5877 1 0 553010 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=2273 CPUtime=12.17 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 7789 0 55 0 1214 3 0 0 20 0 20 0 8363250 19566772224 106145 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 106145 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=279808 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 106145 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 106145 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 13.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 424580 KiB

[startup+25.5006 s]
/proc/loadavg: 2.18 1.96 2.03 7/334 86254
/proc/meminfo: memFree=105862488/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=666756 CPUtime=26.6 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 26652 0 85 0 2642 18 0 0 20 0 20 0 8363247 19566772224 166689 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 166689 5905 1 0 553010 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=0 CPUtime=24.6 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 9543 0 55 0 2456 4 0 0 20 0 20 0 8363250 19566772224 166689 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=615556 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 166689 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 166689 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=2369 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 166689 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 26.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 666756 KiB

[startup+51.1063 s]
/proc/loadavg: 2.91 2.16 2.09 5/335 86325
/proc/meminfo: memFree=103570196/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=1537256 CPUtime=52.65 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 32198 0 85 0 5229 36 0 0 20 0 20 0 8363247 19566772224 384314 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 384314 5905 1 0 786942 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=1222844 CPUtime=49.48 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 11245 0 55 0 4940 8 0 0 20 0 20 0 8363250 19566772224 384314 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=1315004 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 384314 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=2273 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 384314 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=11684 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/334 89293
/proc/meminfo: memFree=73178372/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=9409868 CPUtime=3296.49 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 221674 0 85 0 329325 324 0 0 20 0 20 0 8363247 19566772224 2352467 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 2352467 5910 1 0 3217268 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=9409868 CPUtime=3233.21 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 69637 0 55 0 323267 54 0 0 20 0 20 0 8363250 19566772224 2352467 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2352467 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=1816 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 1047 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2352467 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=31156 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 2352467 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 3296.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9409868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/334 89303
/proc/meminfo: memFree=72326052/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=9487692 CPUtime=3356.79 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 222954 0 85 0 335350 329 0 0 20 0 20 0 8363247 19566772224 2371923 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 2371923 5910 1 0 3217268 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=35460 CPUtime=3292.61 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 70418 0 55 0 329207 54 0 0 20 0 20 0 8363250 19566772224 2371923 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=9487692 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2371923 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=13048 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 1047 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2371923 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=9487692 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 2371923 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 3356.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9487692 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.19 4.12 6/334 89314
/proc/meminfo: memFree=70505452/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=9964876 CPUtime=3416.78 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 223914 0 85 0 341337 341 0 0 20 0 20 0 8363247 19566772224 2491219 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 2491219 5910 1 0 3217268 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=9487692 CPUtime=3351.7 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 71110 0 55 0 335116 54 0 0 20 0 20 0 8363250 19566772224 2491219 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=9964876 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2491219 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=9964876 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 1051 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2491219 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 2491219 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 3416.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9964876 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.12 6/332 89325
/proc/meminfo: memFree=69286376/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=10685776 CPUtime=3476.87 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 228328 0 85 0 347329 358 0 0 20 0 20 0 8363247 19566772224 2671444 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 2671444 5910 1 0 3217268 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=9487692 CPUtime=3410.39 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 72798 0 55 0 340984 55 0 0 20 0 20 0 8363250 19566772224 2671444 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=10356048 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2671444 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=10356044 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 1056 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2671444 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=10356048 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 2671444 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 3476.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10685776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/332 89335
/proc/meminfo: memFree=68367460/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=10958160 CPUtime=3536.96 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 229238 0 85 0 353330 366 0 0 20 0 20 0 8363247 19566772224 2739540 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 2739540 5910 1 0 3217268 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=10356048 CPUtime=3469.9 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 73476 0 55 0 346935 55 0 0 20 0 20 0 8363250 19566772224 2739540 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=10685776 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2739540 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=10958160 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 1114 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2739540 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=10958160 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 2739540 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 3536.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10958160 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.20 4.13 7/329 89412
/proc/meminfo: memFree=76206548/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=11103580 CPUtime=3597.01 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 230077 0 85 0 359330 371 0 0 20 0 20 0 8363247 19566772224 2775895 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 2775895 5910 1 0 3217268 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=16140 CPUtime=3529.56 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 74231 0 55 0 352901 55 0 0 20 0 20 0 8363250 19566772224 2775895 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=11103580 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2775895 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 1114 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2775895 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=-6000919502721279591 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 2775895 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 3597.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11103580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3585.3 s]
/proc/loadavg: 4.45 4.23 4.14 6/329 89482
/proc/meminfo: memFree=88755192/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19108176 memory=11103580 CPUtime=3600.01 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 230079 0 85 0 359630 371 0 0 20 0 20 0 8363247 19566772224 2775895 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 1 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4777044 2775895 5910 1 0 3217268 0
[pid=86084/tid=86101] ppid=86081 vsize=19108176 memory=11103580 CPUtime=3532.56 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 74233 0 55 0 353201 55 0 0 20 0 20 0 8363250 19566772224 2775895 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19108176 memory=10958160 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2775895 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19108176 memory=354105 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 1114 0 0 0 0 0 0 0 20 0 20 0 8363262 19566772224 2775895 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86177] ppid=86081 vsize=19108176 memory=10958160 CPUtime=0 cores=1,3
/proc/86084/task/86177/stat : 86177 (Timer-0) S 86081 86084 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8363279 19566772224 2775895 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11103580 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.56 s, system=3.74854 s

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

[startup+3585.41 s]
/proc/loadavg: 4.45 4.23 4.14 6/329 89482
/proc/meminfo: memFree=88755192/131524600 swapFree=131071996/131071996
[pid=86084] ppid=86081 vsize=19307868 memory=11104264 CPUtime=3600.23 cores=1,3
/proc/86084/stat : 86084 (java) S 86081 86084 86029 0 -1 1077936128 233091 0 85 0 359652 371 0 0 20 0 21 0 8363247 19771256832 2776066 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 2 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
/proc/86084/statm: 4826967 2776066 5910 1 0 3218171 0
[pid=86084/tid=86101] ppid=86081 vsize=19307868 memory=11103580 CPUtime=3532.67 cores=1,3
/proc/86084/task/86101/stat : 86101 (java) R 86081 86084 86029 0 -1 4194368 74348 0 55 0 353212 55 0 0 20 0 21 0 8363250 19771256832 2776066 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86151] ppid=86081 vsize=19307868 memory=-6000919502721279591 CPUtime=0 cores=1,3
/proc/86084/task/86151/stat : 86151 (Finalizer) S 86081 86084 86029 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 8363262 19771256832 2776066 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
[pid=86084/tid=86174] ppid=86081 vsize=19307868 memory=29004 CPUtime=0 cores=1,3
/proc/86084/task/86174/stat : 86174 (Common-Cleaner) S 86081 86084 86029 0 -1 1077936192 1114 0 0 0 0 0 0 0 20 0 21 0 8363262 19771256832 2776066 134679101440 94672107057152 94672107060848 140720422632640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94672107068664 94672107069456 94672111157248 140720422634502 140720422634592 140720422634592 140720422641608 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 11104264 KiB

Child status: 143

Real time (s): 3585.46
CPU time (s): 3600.31
CPU user time (s): 3596.56
CPU system time (s): 3.74854
CPU usage (%): 100.414
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 11104264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.56
system time used= 3.74854
maximum resident set size= 11105244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233750
page faults= 85
swaps= 0
block input operations= 7920
block output operations= 3720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112818
involuntary context switches= 24869


# summary of solver processes directly reported to runsolver:
#   pid: 86084
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3596.56
#   total CPU system time (s): 3.74854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46949 second user time and 19.9972 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-23 09:06:47
IDJOB=4456051
IDBENCH=143161
IDSOLVER=3037
FILE ID=nodeC017/4456051-1721718407
RUNJOBID= nodeC017-1721718407-86041
SLURM_JOB_ID= 7770408
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456051-1721718407/watcher-4456051-1721718407 -o /tmp/evaluation-result-4456051-1721718407/solver-4456051-1721718407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86041 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4456051-1721718407.wbo

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

MD5SUM BENCH= 96381e53effe0faa5b6fb6e6d9b14b44
RANDOM SEED=147536068

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        108882772 kB
MemAvailable:   129704032 kB
Buffers:          140532 kB
Cached:         21417508 kB
SwapCached:            0 kB
Active:           869304 kB
Inactive:       21032960 kB
Active(anon):       1448 kB
Inactive(anon):   380488 kB
Active(file):     867856 kB
Inactive(file): 20652472 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2032 kB
Writeback:             0 kB
AnonPages:        342192 kB
Mapped:            99596 kB
Shmem:             37720 kB
KReclaimable:     281508 kB
Slab:             386700 kB
SReclaimable:     281508 kB
SUnreclaim:       105192 kB
KernelStack:        3840 kB
PageTables:         9632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     571896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18272 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      277204 kB
DirectMap2M:    21516288 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC017 at 2024-07-23 10:06:33