Trace number 4525181

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06MSAT (TO) 3600.35 3568.29

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
MD5SUM93c5d8410dbbbd655917760e75f64d9f
Bench CategoryPARTIAL-LIN (WBO, both soft and hard 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.148912
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3900
Total number of constraints125
Number of soft constraints82
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
Top cost 4502
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4501
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4525181-1751620535.wbo
0.11/0.14	c reading problem ... 
0.30/0.23	c ... done. Wall clock time 0.079s.
0.30/0.23	c declared #vars     3900
0.30/0.23	c internal #vars     3982
0.30/0.23	c #constraints  126
0.30/0.23	c constraints type 
0.30/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
0.30/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 38
0.30/0.23	c org.sat4j.specs.Constr$1 => 1
0.30/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 65
0.30/0.23	c 126 constraints processed.
0.30/0.25	c objective function length is 82 literals
2.78/1.92	c cleaning 2498 clauses out of 5001 with flag 32444/5001
4.82/3.90	c cleaning 4249 clauses out of 8506 with flag 75813/11004
7.64/6.64	c cleaning 5622 clauses out of 11254 with flag 120034/18001
8.84/7.83	c SATISFIABLE
8.84/7.83	c OPTIMIZING...
8.84/7.83	c Got one! Elapsed wall clock time (in seconds):7.691
8.84/7.83	o 100
8.84/7.88	c Got one! Elapsed wall clock time (in seconds):7.74
8.84/7.88	o 44
8.98/7.91	c Got one! Elapsed wall clock time (in seconds):7.767
8.98/7.91	o 4
10.13/8.89	c cleaning 5461 clauses out of 10922 with flag 12265/23291
12.83/11.53	c cleaning 5724 clauses out of 11464 with flag 61042/29294
15.99/14.66	c cleaning 6360 clauses out of 12738 with flag 126394/36292
19.80/18.34	c cleaning 7185 clauses out of 14377 with flag 193662/44291
24.26/22.72	c cleaning 8084 clauses out of 16192 with flag 269625/53291
30.22/28.67	c cleaning 9050 clauses out of 18109 with flag 352303/63292
37.34/35.68	c cleaning 10025 clauses out of 20058 with flag 437533/74291
46.60/44.80	c cleaning 11014 clauses out of 22034 with flag 532504/86292
55.72/53.82	c cleaning 11991 clauses out of 24021 with flag 631072/99293
59.36/57.45	c Got one! Elapsed wall clock time (in seconds):57.302
59.36/57.45	o 2
61.39/59.31	c cleaning 14078 clauses out of 28171 with flag 45150/115434
64.07/61.94	c cleaning 10043 clauses out of 20093 with flag 97597/121434
66.78/64.37	c cleaning 8517 clauses out of 17050 with flag 157480/128434
69.72/67.24	c cleaning 8264 clauses out of 16533 with flag 227148/136434
73.17/70.70	c cleaning 8631 clauses out of 17271 with flag 306565/145436
75.57/73.04	c cleaning 9291 clauses out of 18640 with flag 371872/155436
80.37/77.73	c cleaning 10141 clauses out of 20347 with flag 468850/166434
86.07/83.47	c cleaning 11085 clauses out of 22210 with flag 569564/178438
86.17/83.53	c Got one! Elapsed wall clock time (in seconds):83.391
86.17/83.53	o 1
87.27/84.67	c cleaning 8158 clauses out of 16344 with flag 36033/183657
89.05/86.38	c cleaning 7078 clauses out of 14187 with flag 78943/189658
90.86/88.19	c cleaning 7042 clauses out of 14110 with flag 130401/196659
93.15/90.48	c cleaning 7525 clauses out of 15069 with flag 198199/204660
96.18/93.33	c cleaning 8263 clauses out of 16545 with flag 282768/213661
99.54/96.60	c cleaning 9128 clauses out of 18278 with flag 385769/223657
103.72/100.78	c cleaning 10063 clauses out of 20153 with flag 494105/234660
109.10/105.80	c cleaning 11033 clauses out of 22088 with flag 613775/246658
115.08/111.73	c cleaning 12014 clauses out of 24058 with flag 744639/259661
122.18/118.85	c cleaning 13005 clauses out of 26040 with flag 884682/273657
131.22/127.79	c cleaning 14009 clauses out of 28035 with flag 1030388/288657
140.90/137.42	c cleaning 15003 clauses out of 30027 with flag 1187793/304658
150.28/146.67	c cleaning 15993 clauses out of 32023 with flag 1351864/321657
162.04/158.29	c cleaning 17002 clauses out of 34032 with flag 1538410/339659
176.59/172.60	c cleaning 18001 clauses out of 36030 with flag 1733680/358659
191.46/187.57	c cleaning 18997 clauses out of 38027 with flag 1936094/378657
204.57/200.03	c cleaning 20000 clauses out of 40030 with flag 2136306/399657
219.80/215.24	c cleaning 21005 clauses out of 42031 with flag 2342280/421658
236.78/232.07	c cleaning 22003 clauses out of 44027 with flag 2568018/444659
257.22/252.33	c cleaning 23000 clauses out of 46024 with flag 2814361/468659
278.97/273.95	c cleaning 24001 clauses out of 48023 with flag 3057351/493658
301.80/296.69	c cleaning 25000 clauses out of 50022 with flag 3298410/519658
327.83/322.51	c cleaning 25995 clauses out of 52021 with flag 3564330/546657
356.21/350.16	c cleaning 27004 clauses out of 54026 with flag 3840012/574657
389.22/382.93	c cleaning 28000 clauses out of 56024 with flag 4139888/603659
411.46/405.01	c cleaning 28998 clauses out of 58023 with flag 4400254/633658
436.57/430.10	c cleaning 29995 clauses out of 60026 with flag 4620810/664659
454.79/447.92	c cleaning 30985 clauses out of 62029 with flag 4885806/696657
477.98/470.85	c cleaning 32004 clauses out of 64045 with flag 5184697/729658
501.87/494.65	c cleaning 32992 clauses out of 66040 with flag 5497271/763657
537.50/529.41	c cleaning 34008 clauses out of 68049 with flag 5798348/798658
562.76/554.40	c cleaning 35011 clauses out of 70041 with flag 6122993/834658
581.77/573.37	c cleaning 35996 clauses out of 72029 with flag 6375352/871657
609.69/601.11	c cleaning 37002 clauses out of 74037 with flag 6637912/909661
649.91/641.03	c cleaning 38005 clauses out of 76034 with flag 6932148/948660
682.53/673.50	c cleaning 38985 clauses out of 78026 with flag 7229419/988657
706.53/697.27	c cleaning 39996 clauses out of 80041 with flag 7514038/1029657
720.35/710.97	c cleaning 40992 clauses out of 82045 with flag 7783228/1071657
737.96/728.29	c cleaning 41987 clauses out of 84053 with flag 8056144/1114657
775.78/765.95	c cleaning 43009 clauses out of 86067 with flag 8376952/1158658
797.67/786.83	c cleaning 43996 clauses out of 88058 with flag 8684565/1203658
840.87/829.97	c cleaning 44997 clauses out of 90061 with flag 8993883/1249657
879.78/868.77	c cleaning 45994 clauses out of 92064 with flag 9359038/1296657
907.50/896.17	c cleaning 47006 clauses out of 94070 with flag 9716957/1344657
933.90/922.21	c cleaning 47999 clauses out of 96065 with flag 10032993/1393658
989.15/977.28	c cleaning 49000 clauses out of 98066 with flag 10357319/1443658
1045.40/1033.21	c cleaning 50001 clauses out of 100066 with flag 10710145/1494658
1071.53/1059.29	c cleaning 51004 clauses out of 102065 with flag 11065199/1546658
1093.75/1081.15	c cleaning 52007 clauses out of 104060 with flag 11407489/1599657
1118.09/1105.38	c cleaning 52997 clauses out of 106054 with flag 11754367/1653658
1144.13/1131.08	c cleaning 53986 clauses out of 108056 with flag 12138334/1708657
1167.81/1153.86	c cleaning 54976 clauses out of 110070 with flag 12505645/1764657
1195.25/1180.87	c cleaning 56009 clauses out of 112094 with flag 12878181/1821657
1251.99/1237.46	c cleaning 57015 clauses out of 114085 with flag 13264470/1879657
1330.66/1315.80	c cleaning 58026 clauses out of 116070 with flag 13645524/1938657
1371.21/1355.86	c cleaning 58995 clauses out of 118045 with flag 14038196/1998658
1400.23/1384.69	c cleaning 59994 clauses out of 120049 with flag 14414928/2059657
1436.53/1420.72	c cleaning 61007 clauses out of 122055 with flag 14812769/2121657
1480.41/1464.22	c cleaning 62001 clauses out of 124048 with flag 15248129/2184657
1510.19/1493.87	c cleaning 63006 clauses out of 126049 with flag 15659674/2248659
1543.00/1526.25	c cleaning 63985 clauses out of 128044 with flag 16101909/2313660
1570.27/1553.38	c cleaning 65011 clauses out of 130059 with flag 16478017/2379660
1597.09/1579.71	c cleaning 65991 clauses out of 132046 with flag 16874246/2446658
1642.07/1624.53	c cleaning 67005 clauses out of 134054 with flag 17313885/2514657
1672.55/1653.12	c cleaning 68008 clauses out of 136049 with flag 17768308/2583657
1699.04/1679.37	c cleaning 68985 clauses out of 138042 with flag 18204712/2653658
1771.27/1751.36	c cleaning 70000 clauses out of 140057 with flag 18696796/2724658
1800.96/1780.78	c cleaning 71004 clauses out of 142056 with flag 19133395/2796657
1878.81/1858.42	c cleaning 72004 clauses out of 144053 with flag 19643296/2869658
1911.40/1890.73	c cleaning 73002 clauses out of 146048 with flag 20100677/2943657
1945.11/1924.15	c cleaning 74002 clauses out of 148047 with flag 20534108/3018658
1983.02/1961.87	c cleaning 74998 clauses out of 150044 with flag 21013035/3094657
2019.20/1997.32	c cleaning 76020 clauses out of 152046 with flag 21472154/3171657
2062.85/2040.79	c cleaning 76986 clauses out of 154027 with flag 22011181/3249658
2118.77/2096.48	c cleaning 77994 clauses out of 156040 with flag 22573681/3328657
2161.87/2138.97	c cleaning 78998 clauses out of 158047 with flag 23091645/3408658
2198.74/2175.55	c cleaning 79998 clauses out of 160049 with flag 23569154/3489658
2245.84/2222.43	c cleaning 80991 clauses out of 162050 with flag 24075627/3571657
2286.06/2262.46	c cleaning 81996 clauses out of 164059 with flag 24607140/3654657
2371.12/2347.04	c cleaning 83014 clauses out of 166065 with flag 25174277/3738659
2417.25/2392.93	c cleaning 83997 clauses out of 168052 with flag 25738951/3823660
2468.74/2443.85	c cleaning 85005 clauses out of 170052 with flag 26268830/3909657
2519.72/2493.29	c cleaning 86002 clauses out of 172047 with flag 26822990/3996657
2579.22/2552.43	c cleaning 86998 clauses out of 174045 with flag 27453985/4084657
2696.48/2669.40	c cleaning 88001 clauses out of 176047 with flag 28048967/4173657
2825.71/2797.99	c cleaning 89005 clauses out of 178047 with flag 28608260/4263658
2974.12/2946.14	c cleaning 89997 clauses out of 180041 with flag 29185048/4354657
3022.07/2993.68	c cleaning 91000 clauses out of 182044 with flag 29759786/4446657
3071.19/3042.34	c cleaning 91999 clauses out of 184045 with flag 30378890/4539658
3124.02/3094.75	c cleaning 92992 clauses out of 186045 with flag 30934110/4633657
3173.25/3143.51	c cleaning 94006 clauses out of 188054 with flag 31490683/4728658
3233.69/3203.66	c cleaning 95001 clauses out of 190049 with flag 32083836/4824659
3292.33/3261.98	c cleaning 95995 clauses out of 192046 with flag 32653522/4921657
3353.23/3322.54	c cleaning 97000 clauses out of 194051 with flag 33203388/5019657
3421.64/3390.65	c cleaning 98009 clauses out of 196051 with flag 33831351/5118657
3473.23/3441.90	c cleaning 99004 clauses out of 198043 with flag 34426197/5218658
3527.92/3496.28	c cleaning 100006 clauses out of 200038 with flag 35021099/5319657
3600.02/3568.12	c starts		: 15539
3600.02/3568.14	c conflicts		: 5415892
3600.02/3568.14	c decisions		: 38143248
3600.02/3568.14	c propagations		: 187912252
3600.02/3568.14	c inspects		: 16550003336
3600.02/3568.14	c shortcuts		: 0
3600.02/3568.14	c learnt literals	: 0
3600.02/3568.14	c learnt binary clauses	: 0
3600.02/3568.14	c learnt ternary clauses	: 0
3600.02/3568.14	c learnt constraints	: 5415892
3600.02/3568.14	c ignored constraints	: 0
3600.02/3568.14	c root simplifications	: 0
3600.02/3568.14	c removed literals (reason simplification)	: 6538983
3600.02/3568.14	c reason swapping (by a shorter reason)	: 0
3600.02/3568.14	c Calls to reduceDB	: 117
3600.02/3568.14	c Number of update (reduction) of LBD	: 3072934
3600.02/3568.14	c Imported unit clauses	: 0
3600.02/3568.14	c No decision after first conflict	: false
3600.02/3568.14	c number of reductions to clauses (during analyze)	: 0
3600.02/3568.14	c number of learned constraints concerned by reduction	: 0
3600.02/3568.14	c number of learning phase by resolution	: 0
3600.02/3568.15	c number of learning phase by cutting planes	: 0
3600.02/3568.15	c number of rounding to 1 operations	: 0
3600.02/3568.15	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3568.15	c number of reductions of the coefficients by power 2 	: 0
3600.02/3568.15	c number of right shift for reduction by power 2 	: 0
3600.02/3568.15	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3568.15	c number of ending skipping 	: 0
3600.02/3568.15	c number of internal skipping 	: 0
3600.02/3568.15	c number of derivation steps 	: 0
3600.02/3568.15	c number of skipped derivation steps 	: 0
3600.02/3568.15	c number of remaining unassigned 	: 0
3600.02/3568.15	c number of remaining assigned 	: 0
3600.02/3568.15	c number of falsified literals weakened from reason	: 0
3600.02/3568.15	c number of falsified literals weakened from conflict	: 0
3600.02/3568.15	c time for arithmetic operations	: 0
3600.02/3568.16	c minimum degree of deleted constraints	: null
3600.02/3568.16	c maximum degree of deleted constraints	: null
3600.02/3568.16	c number of deleted constraints	: 0
3600.02/3568.16	c speed (assignments/second)	: 52667.421732037
3600.02/3568.16	c non guided choices	: 705858
3600.21/3568.23	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 196267
3600.21/3568.23	s SATISFIABLE
3600.21/3568.23	c Found 5 solution(s)
3600.21/3568.25	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 
3600.21/3568.25	c objective function=1
3600.21/3568.25	c Total wall clock time (in seconds): 3568.107

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: 63665 MiB (60515 MiB free)
  memory of node 1: 64507 MiB (53600 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525181-1751620535/watcher-4525181-1751620535 -o /tmp/evaluation-result-4525181-1751620535/solver-4525181-1751620535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751620534-98178 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525181-1751620535.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=98232, runsolver pid=98218
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 0.98 1.69 3.12 9/335 98304
/proc/meminfo: memFree=116747376/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=18930384 memory=57064 CPUtime=0.11 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 6415 0 0 0 9 2 0 0 20 0 18 0 77731375 19384713216 14266 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4732596 14266 5337 1 0 547557 0
[pid=98232/tid=98259] ppid=98218 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 5013 0 0 0 6 1 0 0 20 0 18 0 77731377 19384713216 14266 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=18930384 memory=18954 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77731379 19384713216 14266 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77731380 19384713216 14266 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57064 KiB

[startup+0.205917 s]*
/proc/loadavg: 0.98 1.69 3.12 11/338 98307
/proc/meminfo: memFree=116721352/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=18930384 memory=65548 CPUtime=0.3 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 6927 0 0 0 28 2 0 0 20 0 18 0 77731375 19384713216 16387 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4732596 16387 5433 1 0 548006 0
[pid=98232/tid=98259] ppid=98218 vsize=18930384 memory=4026794268 CPUtime=0.15 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 5282 0 0 0 14 1 0 0 20 0 18 0 77731377 19384713216 16387 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=18930384 memory=18954 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77731379 19384713216 16387 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77731380 19384713216 16387 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65548 KiB

[startup+0.305835 s]*
/proc/loadavg: 0.98 1.69 3.12 9/339 98308
/proc/meminfo: memFree=116700372/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=18996948 memory=74848 CPUtime=0.49 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 8673 0 0 0 46 3 0 0 20 0 19 0 77731375 19452874752 18712 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4749237 18712 5465 1 0 549482 0
[pid=98232/tid=98259] ppid=98218 vsize=18996948 memory=-6000919494231876710 CPUtime=0.22 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 5384 0 0 0 20 2 0 0 20 0 19 0 77731377 19452874752 18712 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731379 19452874752 18712 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77731380 19452874752 18712 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77731401 19452874752 18712 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74848 KiB

[startup+0.70024 s]
/proc/loadavg: 0.98 1.69 3.12 9/339 98308
/proc/meminfo: memFree=116668932/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=18996948 memory=87780 CPUtime=1.26 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 10339 0 0 0 122 4 0 0 20 0 19 0 77731375 19452874752 21945 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4749237 21945 5497 1 0 550587 0
[pid=98232/tid=98259] ppid=98218 vsize=18996948 memory=18944 CPUtime=0.59 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 5394 0 0 0 57 2 0 0 20 0 19 0 77731377 19452874752 21945 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731379 19452874752 21945 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77731380 19452874752 21945 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=18996948 memory=4756 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77731401 19452874752 21945 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87780 KiB

[startup+1.50023 s]
/proc/loadavg: 0.98 1.69 3.12 7/339 98308
/proc/meminfo: memFree=116627848/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=18996948 memory=104436 CPUtime=2.3 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 11507 0 0 0 226 4 0 0 20 0 19 0 77731375 19452874752 26109 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4749237 26109 5497 1 0 550591 0
[pid=98232/tid=98259] ppid=98218 vsize=18996948 memory=0 CPUtime=1.38 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 5524 0 0 0 136 2 0 0 20 0 19 0 77731377 19452874752 26109 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731379 19452874752 26109 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77731380 19452874752 26109 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=18996948 memory=4756 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77731401 19452874752 26109 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104436 KiB

[startup+3.10575 s]
/proc/loadavg: 1.38 1.76 3.13 5/339 98308
/proc/meminfo: memFree=116501720/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=18996948 memory=140184 CPUtime=4.12 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 15389 0 0 0 406 6 0 0 20 0 19 0 77731375 19452874752 35046 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4749237 35046 5497 1 0 550788 0
[pid=98232/tid=98259] ppid=98218 vsize=18996948 memory=10752 CPUtime=2.97 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 6657 0 0 0 294 3 0 0 20 0 19 0 77731377 19452874752 35046 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=18996948 memory=-6000919472773817446 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77731379 19452874752 35046 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77731380 19452874752 35046 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77731401 19452874752 35046 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 140184 KiB

[startup+6.30021 s]
/proc/loadavg: 1.38 1.76 3.13 5/341 98310
/proc/meminfo: memFree=116316560/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=188084 CPUtime=7.35 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 18029 0 0 0 728 7 0 0 20 0 20 0 77731375 19521036288 47021 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 47021 5497 1 0 551080 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=0 CPUtime=6.12 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 7104 0 0 0 609 3 0 0 20 0 20 0 77731377 19521036288 47021 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731379 19521036288 47021 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 77731380 19521036288 47021 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=19063512 memory=106484 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77731401 19521036288 47021 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188084 KiB

[startup+12.7002 s]
/proc/loadavg: 1.79 1.83 3.14 5/342 98311
/proc/meminfo: memFree=116128232/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=339680 CPUtime=14.09 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 23473 0 0 0 1398 11 0 0 20 0 20 0 77731375 19521036288 84920 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 84920 5497 1 0 551801 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=106484 CPUtime=12.37 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 8476 0 0 0 1234 3 0 0 20 0 20 0 77731377 19521036288 84920 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19063512 memory=265808 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731379 19521036288 84920 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 77731380 19521036288 84920 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77731401 19521036288 84920 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 14.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 339680 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 1.91 3.15 5/343 98312
/proc/meminfo: memFree=115395056/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=568844 CPUtime=27.12 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 28493 0 0 0 2697 15 0 0 20 0 20 0 77731375 19521036288 142211 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 142211 5529 1 0 551801 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=0 CPUtime=24.94 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 9419 0 0 0 2491 3 0 0 20 0 20 0 77731377 19521036288 142211 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19063512 memory=339680 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731379 19521036288 142211 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19063512 memory=33 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 77731380 19521036288 142211 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=19063512 memory=-6000919472773817446 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77731401 19521036288 142211 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 27.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 568844 KiB

[startup+51.1059 s]
/proc/loadavg: 2.82 2.09 3.18 5/343 98313
/proc/meminfo: memFree=114555180/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=876132 CPUtime=52.95 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 29629 0 0 0 5273 22 0 0 20 0 20 0 77731375 19521036288 219033 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 219033 5529 1 0 551817 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=804452 CPUtime=50.2 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 9785 0 0 0 5017 3 0 0 20 0 20 0 77731377 19521036288 219033 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0

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

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/341 98562
/proc/meminfo: memFree=90342356/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=11668780 CPUtime=3252.36 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 217289 0 0 0 324884 352 0 0 20 0 20 0 77731375 19521036288 2917195 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 2917195 5529 1 0 3730306 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=11668780 CPUtime=3185.6 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 109920 0 0 0 318490 70 0 0 20 0 20 0 77731377 19521036288 2917195 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19063512 memory=11668780 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731379 19521036288 2917195 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 2222 0 0 0 0 0 0 0 20 0 20 0 77731380 19521036288 2917195 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=19063512 memory=11668780 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77731401 19521036288 2917195 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 3252.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11668780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/340 98565
/proc/meminfo: memFree=90026484/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=11670892 CPUtime=3312.69 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 221214 0 0 0 330915 354 0 0 20 0 20 0 77731375 19521036288 2917723 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 2917723 5529 1 0 3730306 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=11668780 CPUtime=3245.02 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 112781 0 0 0 324432 70 0 0 20 0 20 0 77731377 19521036288 2917723 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19063512 memory=14844 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731379 19521036288 2917723 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19063512 memory=11670892 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 2288 0 0 0 0 0 0 0 20 0 20 0 77731380 19521036288 2917723 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=19063512 memory=14844 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77731401 19521036288 2917723 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 3312.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11670892 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/340 98567
/proc/meminfo: memFree=89702864/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=11670892 CPUtime=3373 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 226428 0 0 0 336944 356 0 0 20 0 20 0 77731375 19521036288 2917723 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 2917723 5529 1 0 3730307 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=14844 CPUtime=3304.46 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 116803 0 0 0 330375 71 0 0 20 0 20 0 77731377 19521036288 2917723 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19063512 memory=11670892 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731379 19521036288 2917723 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19063512 memory=11670892 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 2396 0 0 0 0 0 0 0 20 0 20 0 77731380 19521036288 2917723 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=19063512 memory=18944 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77731401 19521036288 2917723 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 3373 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11670892 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/340 98572
/proc/meminfo: memFree=89162756/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=11673040 CPUtime=3433.31 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 230177 0 0 0 342973 358 0 0 20 0 20 0 77731375 19521036288 2918260 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 2918260 5529 1 0 3730307 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=18944 CPUtime=3363.89 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 119475 0 0 0 336318 71 0 0 20 0 20 0 77731377 19521036288 2918260 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19063512 memory=14844 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731379 19521036288 2918260 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19063512 memory=18944 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 2462 0 0 0 0 0 0 0 20 0 20 0 77731380 19521036288 2918260 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=19063512 memory=11673040 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77731401 19521036288 2918260 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 3433.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11673040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/340 98574
/proc/meminfo: memFree=88615276/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=11677140 CPUtime=3493.58 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 235009 0 0 0 348998 360 0 0 20 0 20 0 77731375 19521036288 2919285 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 2919285 5529 1 0 3730307 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=18944 CPUtime=3423.36 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 122949 0 0 0 342264 72 0 0 20 0 20 0 77731377 19521036288 2919285 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19063512 memory=11673040 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731379 19521036288 2919285 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19063512 memory=11677140 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 2522 0 0 0 0 0 0 0 20 0 20 0 77731380 19521036288 2919285 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=19063512 memory=11677140 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77731401 19521036288 2919285 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 3493.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11677140 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/340 98576
/proc/meminfo: memFree=88369256/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=11857368 CPUtime=3554.32 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 238858 0 0 0 355066 366 0 0 20 0 20 0 77731375 19521036288 2964342 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 2964342 5529 1 0 3730307 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=11673040 CPUtime=3482.36 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 125483 0 0 0 348164 72 0 0 20 0 20 0 77731377 19521036288 2964342 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19063512 memory=11677140 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731379 19521036288 2964342 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19063512 memory=11677140 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 2629 0 0 0 0 0 0 0 20 0 20 0 77731380 19521036288 2964342 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=19063512 memory=18944 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77731401 19521036288 2964342 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 3554.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11857368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3568.11 s]
/proc/loadavg: 4.18 4.12 4.10 5/340 98583
/proc/meminfo: memFree=88369288/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19063512 memory=11857368 CPUtime=3600.02 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 242323 0 0 0 359635 367 0 0 20 0 20 0 77731375 19521036288 2964342 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4765878 2964342 5529 1 0 3730307 0
[pid=98232/tid=98259] ppid=98218 vsize=19063512 memory=5632 CPUtime=3528.04 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 128786 0 0 0 352732 72 0 0 20 0 20 0 77731377 19521036288 2964342 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19063512 memory=11857368 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77731379 19521036288 2964342 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19063512 memory=14844 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 2629 0 0 0 0 0 0 0 20 0 20 0 77731380 19521036288 2964342 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98308] ppid=98218 vsize=19063512 memory=21952 CPUtime=0 cores=1,3
/proc/98232/task/98308/stat : 98308 (Timer-0) S 98218 98232 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77731401 19521036288 2964342 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11857368 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.64 s, system=3.71461 s

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

[startup+3568.2 s]
/proc/loadavg: 4.18 4.12 4.10 5/340 98583
/proc/meminfo: memFree=88369288/131249996 swapFree=33010684/33010684
[pid=98232] ppid=98218 vsize=19263204 memory=11858136 CPUtime=3600.21 cores=1,3
/proc/98232/stat : 98232 (java) S 98218 98232 98166 0 -1 4194304 244837 0 0 0 359653 368 0 0 20 0 21 0 77731375 19725520896 2964534 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
/proc/98232/statm: 4815801 2964534 5561 1 0 3731242 0
[pid=98232/tid=98259] ppid=98218 vsize=19263204 memory=2744 CPUtime=3528.13 cores=1,3
/proc/98232/task/98259/stat : 98259 (java) R 98218 98232 98166 0 -1 4194368 128973 0 0 0 352741 72 0 0 20 0 21 0 77731377 19725520896 2964534 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98288] ppid=98218 vsize=19263204 memory=17436 CPUtime=0 cores=1,3
/proc/98232/task/98288/stat : 98288 (Finalizer) S 98218 98232 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77731379 19725520896 2964534 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
[pid=98232/tid=98302] ppid=98218 vsize=19263204 memory=46336 CPUtime=0 cores=1,3
/proc/98232/task/98302/stat : 98302 (Common-Cleaner) S 98218 98232 98166 0 -1 4194368 2629 0 0 0 0 0 0 0 20 0 21 0 77731380 19725520896 2964534 18446744073709551615 94797009043456 94797009047152 140735308855216 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797009054968 94797009055760 94797009813504 140735308859775 140735308859876 140735308859876 140735308865480 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 11858136 KiB

Child status: 143

Real time (s): 3568.29
CPU time (s): 3600.35
CPU user time (s): 3596.64
CPU system time (s): 3.71461
CPU usage (%): 100.899
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 11858136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.64
system time used= 3.71461
maximum resident set size= 11858264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112144
involuntary context switches= 6266


# summary of solver processes directly reported to runsolver:
#   pid: 98232
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3596.64
#   total CPU system time (s): 3.71461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5352 second user time and 17.8767 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-04 11:15:35
IDJOB=4525181
IDBENCH=143497
IDSOLVER=3380
FILE ID=nodeC024/4525181-1751620535
RUNJOBID= nodeC024-1751620534-98178
SLURM_JOB_ID= 9598939
Free space on /tmp= 432360 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525181-1751620535/watcher-4525181-1751620535 -o /tmp/evaluation-result-4525181-1751620535/solver-4525181-1751620535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751620534-98178 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4525181-1751620535.wbo

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

MD5SUM BENCH= 93c5d8410dbbbd655917760e75f64d9f
RANDOM SEED=168169460

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        116860964 kB
MemAvailable:   129719904 kB
Buffers:            2144 kB
Cached:         13624948 kB
SwapCached:            0 kB
Active:           641952 kB
Inactive:       13050568 kB
Active(anon):      81408 kB
Inactive(anon):     2084 kB
Active(file):     560544 kB
Inactive(file): 13048484 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1956 kB
Writeback:             8 kB
AnonPages:         66392 kB
Mapped:           103556 kB
Shmem:             18064 kB
KReclaimable:     177900 kB
Slab:             270172 kB
SReclaimable:     177900 kB
SUnreclaim:        92272 kB
KernelStack:        4004 kB
PageTables:         2784 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     339624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432356 MiB
End job on nodeC024 at 2025-07-04 12:15:03