Trace number 4525208

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.31 3579.57

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
MD5SUM3585fb426f9029f6e955b919f6710c5b
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.243382
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3660
Total number of constraints121
Number of soft constraints81
Number of constraints which are clauses61
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 constraint61
Top cost 3401
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 3400
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4525208-1751621373.wbo
0.12/0.13	c reading problem ... 
0.12/0.20	c ... done. Wall clock time 0.062s.
0.12/0.20	c declared #vars     3660
0.12/0.20	c internal #vars     3741
0.12/0.20	c #constraints  122
0.12/0.20	c constraints type 
0.12/0.20	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 21
0.12/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 39
0.12/0.20	c org.sat4j.specs.Constr$1 => 1
0.12/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 61
0.12/0.20	c 122 constraints processed.
0.32/0.21	c objective function length is 81 literals
2.43/1.73	c cleaning 2494 clauses out of 5000 with flag 33707/5000
4.67/3.78	c cleaning 4247 clauses out of 8506 with flag 74983/11000
7.50/6.59	c cleaning 5626 clauses out of 11259 with flag 122789/18000
11.06/10.07	c cleaning 6806 clauses out of 13633 with flag 178185/26000
15.52/14.45	c cleaning 7908 clauses out of 15828 with flag 237238/35001
21.28/20.19	c cleaning 8951 clauses out of 17920 with flag 304704/45001
27.61/26.39	c cleaning 9978 clauses out of 19969 with flag 378538/56001
35.15/33.82	c cleaning 10986 clauses out of 21992 with flag 458023/68002
36.36/35.06	c SATISFIABLE
36.36/35.06	c OPTIMIZING...
36.36/35.07	c Got one! Elapsed wall clock time (in seconds):34.933
36.36/35.07	o 59
38.54/36.96	c cleaning 8223 clauses out of 16459 with flag 17349/73455
41.63/40.01	c cleaning 7110 clauses out of 14235 with flag 62851/79454
44.86/43.24	c cleaning 7055 clauses out of 14124 with flag 112167/86453
48.46/46.75	c cleaning 7531 clauses out of 15071 with flag 167347/94455
53.68/51.84	c cleaning 8259 clauses out of 16538 with flag 233642/103453
59.74/57.81	c cleaning 9130 clauses out of 18280 with flag 304474/113454
67.01/65.05	c cleaning 10071 clauses out of 20151 with flag 384548/124455
75.96/73.90	c cleaning 11030 clauses out of 22079 with flag 476846/136454
84.25/82.10	c cleaning 12013 clauses out of 24048 with flag 576886/149453
96.11/93.72	c cleaning 13009 clauses out of 26035 with flag 681812/163453
107.26/104.83	c cleaning 14008 clauses out of 28026 with flag 782946/178453
118.08/115.63	c cleaning 15002 clauses out of 30019 with flag 891792/194454
131.20/128.69	c cleaning 16000 clauses out of 32016 with flag 1002818/211453
146.00/143.39	c cleaning 16997 clauses out of 34016 with flag 1127861/229453
162.41/159.65	c cleaning 18001 clauses out of 36021 with flag 1268529/248455
177.85/175.03	c cleaning 19001 clauses out of 38019 with flag 1412219/268454
195.38/192.29	c cleaning 20000 clauses out of 40018 with flag 1560180/289454
213.73/210.54	c Got one! Elapsed wall clock time (in seconds):210.409
213.73/210.54	o 26
220.62/217.47	c cleaning 23307 clauses out of 46626 with flag 36543/316062
226.08/222.72	c cleaning 14654 clauses out of 29320 with flag 81032/322063
230.27/226.94	c cleaning 10826 clauses out of 21665 with flag 137606/329062
234.96/231.61	c cleaning 9408 clauses out of 18838 with flag 198535/337061
239.36/236.10	c cleaning 9208 clauses out of 18432 with flag 267983/346063
244.80/241.49	c cleaning 9605 clauses out of 19222 with flag 348076/356061
250.69/247.36	c cleaning 10303 clauses out of 20618 with flag 437600/367062
257.48/254.17	c cleaning 11148 clauses out of 22315 with flag 536661/379062
265.41/262.01	c cleaning 12073 clauses out of 24166 with flag 644275/392061
273.89/270.51	c cleaning 13038 clauses out of 26093 with flag 757183/406061
284.97/281.63	c cleaning 14021 clauses out of 28056 with flag 878464/421062
297.80/294.47	c cleaning 15003 clauses out of 30035 with flag 1010986/437062
310.17/306.84	c cleaning 16003 clauses out of 32031 with flag 1159662/454061
323.14/319.87	c cleaning 17004 clauses out of 34028 with flag 1317206/472061
338.11/334.80	c cleaning 18005 clauses out of 36025 with flag 1479354/491062
354.37/351.14	c cleaning 19001 clauses out of 38022 with flag 1643551/511064
371.89/368.48	c cleaning 20002 clauses out of 40019 with flag 1809524/532062
390.95/387.24	c cleaning 21001 clauses out of 42018 with flag 1976396/554063
412.09/408.27	c cleaning 22000 clauses out of 44015 with flag 2152293/577061
435.53/431.72	c cleaning 22999 clauses out of 46015 with flag 2339746/601061
458.14/454.22	c cleaning 23999 clauses out of 48016 with flag 2530300/626061
482.89/478.86	c cleaning 24995 clauses out of 50017 with flag 2727212/652061
515.31/511.35	c cleaning 26005 clauses out of 52023 with flag 2936259/679062
545.76/541.79	c cleaning 27000 clauses out of 54018 with flag 3143196/707062
577.58/573.42	c cleaning 28001 clauses out of 56019 with flag 3355141/736063
613.54/608.91	c Got one! Elapsed wall clock time (in seconds):608.778
613.54/608.91	o 3
614.65/610.08	c cleaning 31361 clauses out of 62737 with flag 32829/770782
616.54/611.91	c cleaning 18672 clauses out of 37376 with flag 77636/776782
619.33/614.79	c cleaning 12834 clauses out of 25704 with flag 137732/783782
623.13/618.58	c cleaning 10416 clauses out of 20870 with flag 211356/791782
628.15/623.48	c cleaning 9713 clauses out of 19457 with flag 287363/800785
632.84/628.16	c cleaning 9853 clauses out of 19741 with flag 372083/810782
638.42/633.73	c cleaning 10423 clauses out of 20888 with flag 460863/821782
644.72/640.08	c cleaning 11209 clauses out of 22465 with flag 565845/833782
652.65/647.81	c cleaning 12110 clauses out of 24257 with flag 685317/846783
661.34/656.56	c cleaning 13057 clauses out of 26146 with flag 787543/860782
669.33/664.37	c cleaning 14027 clauses out of 28089 with flag 903705/875782
678.80/673.83	c cleaning 15011 clauses out of 30062 with flag 1035816/891782
690.89/685.75	c cleaning 16005 clauses out of 32052 with flag 1167301/908783
704.89/699.74	c cleaning 16998 clauses out of 34046 with flag 1305279/926782
720.36/714.92	c cleaning 18003 clauses out of 36049 with flag 1452255/945783
737.34/731.52	c cleaning 19001 clauses out of 38046 with flag 1606325/965783
757.38/751.18	c cleaning 19998 clauses out of 40046 with flag 1772089/986784
779.44/773.19	c cleaning 21004 clauses out of 42047 with flag 1953410/1008783
802.39/796.09	c cleaning 22001 clauses out of 44042 with flag 2134502/1031782
825.56/819.18	c cleaning 23003 clauses out of 46042 with flag 2326321/1055783
854.14/847.60	c cleaning 24000 clauses out of 48038 with flag 2523572/1080782
883.71/877.11	c cleaning 25004 clauses out of 50044 with flag 2715583/1106788
913.15/906.59	c cleaning 25994 clauses out of 52034 with flag 2930365/1133782
944.62/937.91	c cleaning 27000 clauses out of 54040 with flag 3151000/1161782
976.12/969.31	c cleaning 28000 clauses out of 56041 with flag 3362442/1190783
1012.55/1005.06	c cleaning 29000 clauses out of 58040 with flag 3588989/1220782
1059.39/1051.96	c cleaning 30002 clauses out of 60040 with flag 3833545/1251782
1095.00/1087.46	c cleaning 31000 clauses out of 62040 with flag 4119132/1283784
1121.83/1114.21	c Got one! Elapsed wall clock time (in seconds):1114.079
1121.83/1114.21	o 2
1123.04/1115.40	c cleaning 31000 clauses out of 62005 with flag 32086/1314749
1124.33/1116.77	c cleaning 18492 clauses out of 37006 with flag 75348/1320750
1126.15/1118.47	c cleaning 12746 clauses out of 25513 with flag 121561/1327749
1128.04/1120.36	c cleaning 10372 clauses out of 20768 with flag 175885/1335750
1130.34/1122.69	c cleaning 9691 clauses out of 19395 with flag 233718/1344749
1133.23/1125.55	c cleaning 9848 clauses out of 19705 with flag 298411/1354750
1136.22/1128.50	c cleaning 10424 clauses out of 20856 with flag 373962/1365749
1139.06/1131.36	c cleaning 11181 clauses out of 22432 with flag 451237/1377749
1142.95/1135.22	c cleaning 12085 clauses out of 24252 with flag 536453/1390750
1146.14/1138.43	c Got one! Elapsed wall clock time (in seconds):1138.295
1146.14/1138.43	o 1
1147.24/1139.51	c cleaning 13800 clauses out of 27621 with flag 32733/1406204
1148.74/1141.03	c cleaning 9901 clauses out of 19822 with flag 73689/1412205
1150.48/1142.76	c cleaning 8453 clauses out of 16921 with flag 119394/1419205
1152.38/1144.62	c cleaning 8224 clauses out of 16468 with flag 168230/1427205
1154.57/1146.83	c cleaning 8616 clauses out of 17244 with flag 224652/1436205
1157.06/1149.35	c cleaning 9296 clauses out of 18627 with flag 289130/1446204
1159.06/1151.38	c cleaning 10135 clauses out of 20332 with flag 360079/1457205
1161.65/1153.92	c cleaning 11062 clauses out of 22198 with flag 440545/1469206
1166.35/1158.54	c cleaning 12051 clauses out of 24135 with flag 531954/1482205
1171.63/1163.81	c cleaning 13026 clauses out of 26083 with flag 646780/1496204
1178.22/1170.49	c cleaning 14002 clauses out of 28057 with flag 763813/1511204
1185.76/1177.76	c cleaning 15009 clauses out of 30058 with flag 888877/1527207
1194.34/1186.39	c cleaning 15996 clauses out of 32046 with flag 1035168/1544204
1203.19/1195.05	c cleaning 17006 clauses out of 34053 with flag 1172888/1562207
1213.96/1205.82	c cleaning 18006 clauses out of 36046 with flag 1328725/1581206
1226.86/1218.55	c cleaning 18999 clauses out of 38038 with flag 1488543/1601204
1239.83/1231.59	c cleaning 19997 clauses out of 40039 with flag 1651552/1622204
1255.06/1246.60	c cleaning 21002 clauses out of 42043 with flag 1803084/1644205
1271.35/1262.78	c cleaning 22003 clauses out of 44041 with flag 1955367/1667205
1288.86/1279.74	c cleaning 22998 clauses out of 46037 with flag 2122886/1691204
1311.80/1302.69	c cleaning 24003 clauses out of 48041 with flag 2295904/1716206
1331.74/1322.47	c cleaning 24998 clauses out of 50036 with flag 2527158/1742204
1358.06/1348.63	c cleaning 26001 clauses out of 52038 with flag 2778233/1769204
1381.39/1371.83	c cleaning 27000 clauses out of 54038 with flag 2994585/1797205
1406.02/1396.36	c cleaning 27997 clauses out of 56037 with flag 3211744/1826204
1437.30/1427.50	c cleaning 29002 clauses out of 58041 with flag 3429780/1856205
1469.29/1459.47	c cleaning 30002 clauses out of 60039 with flag 3652676/1887205
1497.19/1487.04	c cleaning 30999 clauses out of 62037 with flag 3889481/1919205
1531.08/1520.85	c cleaning 32001 clauses out of 64040 with flag 4128670/1952207
1567.15/1556.84	c cleaning 32998 clauses out of 66040 with flag 4353956/1986208
1607.57/1596.66	c cleaning 33998 clauses out of 68038 with flag 4609665/2021204
1645.83/1634.85	c cleaning 35000 clauses out of 70041 with flag 4851313/2057205
1689.80/1678.51	c cleaning 36000 clauses out of 72040 with flag 5108741/2094204
1715.81/1704.45	c cleaning 37007 clauses out of 74040 with flag 5365271/2132204
1758.38/1746.78	c cleaning 37999 clauses out of 76034 with flag 5612864/2171205
1810.86/1799.14	c cleaning 38990 clauses out of 78034 with flag 5887636/2211204
1869.81/1858.05	c cleaning 39995 clauses out of 80045 with flag 6172264/2252205
1932.66/1920.63	c cleaning 40997 clauses out of 82049 with flag 6454237/2294204
1994.69/1982.63	c cleaning 42001 clauses out of 84054 with flag 6772383/2337206
2074.76/2061.92	c cleaning 42999 clauses out of 86051 with flag 7097610/2381204
2147.77/2134.78	c cleaning 43997 clauses out of 88054 with flag 7440717/2426206
2225.87/2212.85	c cleaning 45006 clauses out of 90057 with flag 7796998/2472206
2312.25/2299.07	c cleaning 45999 clauses out of 92049 with flag 8172300/2519204
2388.79/2375.42	c cleaning 47002 clauses out of 94052 with flag 8532218/2567206
2479.08/2465.60	c cleaning 47994 clauses out of 96048 with flag 8924284/2616204
2573.04/2559.41	c cleaning 49002 clauses out of 98056 with flag 9301631/2666206
2650.83/2637.08	c cleaning 50004 clauses out of 100052 with flag 9657184/2717204
2709.74/2694.87	c cleaning 50995 clauses out of 102048 with flag 10051193/2769204
2763.24/2748.21	c cleaning 52004 clauses out of 104053 with flag 10419228/2822204
2820.80/2805.32	c cleaning 53001 clauses out of 106052 with flag 10847318/2876207
2891.25/2875.56	c cleaning 54000 clauses out of 108048 with flag 11319025/2931204
2958.04/2942.10	c cleaning 54999 clauses out of 110049 with flag 11816161/2987205
3034.52/3018.17	c cleaning 56002 clauses out of 112049 with flag 12330823/3044204
3089.35/3072.74	c cleaning 57010 clauses out of 114047 with flag 12723904/3102204
3165.19/3148.33	c cleaning 58005 clauses out of 116037 with flag 13154616/3161204
3245.26/3226.55	c cleaning 59004 clauses out of 118033 with flag 13631084/3221205
3297.02/3278.18	c cleaning 59993 clauses out of 120030 with flag 14109566/3282206
3378.87/3359.64	c cleaning 61002 clauses out of 122036 with flag 14521802/3344205
3447.10/3427.71	c cleaning 62001 clauses out of 124033 with flag 14950945/3407204
3526.20/3506.40	c cleaning 63003 clauses out of 126032 with flag 15504670/3471204
3558.08/3538.18	c cleaning 63963 clauses out of 128029 with flag 15908576/3536204
3600.00/3579.42	c starts		: 629
3600.00/3579.43	c conflicts		: 3595809
3600.00/3579.43	c decisions		: 5314445
3600.00/3579.43	c propagations		: 51983057
3600.00/3579.43	c inspects		: 13382986921
3600.00/3579.43	c shortcuts		: 0
3600.00/3579.43	c learnt literals	: 0
3600.00/3579.43	c learnt binary clauses	: 0
3600.00/3579.44	c learnt ternary clauses	: 0
3600.00/3579.44	c learnt constraints	: 3595809
3600.00/3579.44	c ignored constraints	: 0
3600.00/3579.44	c root simplifications	: 0
3600.00/3579.44	c removed literals (reason simplification)	: 3123464
3600.00/3579.44	c reason swapping (by a shorter reason)	: 0
3600.00/3579.44	c Calls to reduceDB	: 148
3600.00/3579.44	c Number of update (reduction) of LBD	: 1997485
3600.00/3579.44	c Imported unit clauses	: 0
3600.00/3579.44	c No decision after first conflict	: false
3600.00/3579.44	c number of reductions to clauses (during analyze)	: 0
3600.00/3579.44	c number of learned constraints concerned by reduction	: 0
3600.00/3579.44	c number of learning phase by resolution	: 0
3600.00/3579.44	c number of learning phase by cutting planes	: 0
3600.00/3579.44	c number of rounding to 1 operations	: 0
3600.00/3579.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3579.44	c number of reductions of the coefficients by power 2 	: 0
3600.00/3579.44	c number of right shift for reduction by power 2 	: 0
3600.00/3579.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3579.44	c number of ending skipping 	: 0
3600.00/3579.44	c number of internal skipping 	: 0
3600.00/3579.44	c number of derivation steps 	: 0
3600.00/3579.44	c number of skipped derivation steps 	: 0
3600.00/3579.44	c number of remaining unassigned 	: 0
3600.00/3579.44	c number of remaining assigned 	: 0
3600.00/3579.44	c number of falsified literals weakened from reason	: 0
3600.00/3579.44	c number of falsified literals weakened from conflict	: 0
3600.00/3579.44	c time for arithmetic operations	: 0
3600.00/3579.45	c minimum degree of deleted constraints	: null
3600.00/3579.45	c maximum degree of deleted constraints	: null
3600.00/3579.45	c number of deleted constraints	: 0
3600.00/3579.45	c speed (assignments/second)	: 14523.498297682356
3600.00/3579.45	c non guided choices	: 51859
3600.20/3579.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 123671
3600.20/3579.52	s SATISFIABLE
3600.20/3579.52	c Found 5 solution(s)
3600.20/3579.53	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 
3600.20/3579.54	c objective function=1
3600.20/3579.54	c Total wall clock time (in seconds): 3579.405

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: 63708 MiB (55325 MiB free)
  memory of node 1: 64465 MiB (61098 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=88826, runsolver pid=88823

[startup+0.100063 s]*
/proc/loadavg: 4.12 4.16 4.16 6/339 88844
/proc/meminfo: memFree=119198076/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=18930384 memory=57808 CPUtime=0.12 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 6560 0 0 0 10 2 0 0 20 0 18 0 77815196 19384713216 14452 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4732596 14452 5368 1 0 547604 0
[pid=88826/tid=88828] ppid=88823 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 5058 0 0 0 6 2 0 0 20 0 18 0 77815197 19384713216 14452 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77815200 19384713216 14452 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=18930384 memory=58485492679666 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77815200 19384713216 14452 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57808 KiB

[startup+0.20583 s]*
/proc/loadavg: 4.12 4.16 4.16 7/339 88844
/proc/meminfo: memFree=119193980/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=18930384 memory=66380 CPUtime=0.32 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 7083 0 0 0 29 3 0 0 20 0 18 0 77815196 19384713216 16595 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4732596 16595 5464 1 0 547974 0
[pid=88826/tid=88828] ppid=88823 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 5352 0 0 0 16 2 0 0 20 0 18 0 77815197 19384713216 16595 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=18930384 memory=16099 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77815200 19384713216 16595 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77815200 19384713216 16595 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66380 KiB

[startup+0.306137 s]*
/proc/loadavg: 4.12 4.16 4.16 6/340 88845
/proc/meminfo: memFree=119187112/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=18996948 memory=71536 CPUtime=0.51 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 8587 0 0 0 48 3 0 0 20 0 19 0 77815196 19452874752 17884 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4749237 17884 5464 1 0 548931 0
[pid=88826/tid=88828] ppid=88823 vsize=18996948 memory=-6000919494231483495 CPUtime=0.27 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 5380 0 0 0 25 2 0 0 20 0 19 0 77815197 19452874752 17884 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77815200 19452874752 17884 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77815200 19452874752 17884 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77815218 19452874752 17884 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71536 KiB

[startup+0.700242 s]
/proc/loadavg: 4.12 4.16 4.16 6/340 88845
/proc/meminfo: memFree=119178480/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=18996948 memory=87804 CPUtime=1.28 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 10829 0 0 0 124 4 0 0 20 0 19 0 77815196 19452874752 21951 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4749237 21951 5496 1 0 550296 0
[pid=88826/tid=88828] ppid=88823 vsize=18996948 memory=14336 CPUtime=0.66 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 5394 0 0 0 64 2 0 0 20 0 19 0 77815197 19452874752 21951 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77815200 19452874752 21951 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77815200 19452874752 21951 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=18996948 memory=4624 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77815218 19452874752 21951 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87804 KiB

[startup+1.50022 s]
/proc/loadavg: 4.12 4.16 4.16 5/340 88845
/proc/meminfo: memFree=119160080/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=18996948 memory=106364 CPUtime=2.21 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 12070 0 0 0 217 4 0 0 20 0 19 0 77815196 19452874752 26591 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4749237 26591 5496 1 0 550297 0
[pid=88826/tid=88828] ppid=88823 vsize=18996948 memory=10624 CPUtime=1.46 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 5530 0 0 0 144 2 0 0 20 0 19 0 77815197 19452874752 26591 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77815200 19452874752 26591 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77815200 19452874752 26591 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=18996948 memory=4624 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77815218 19452874752 26591 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 2.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106364 KiB

[startup+3.10565 s]
/proc/loadavg: 4.12 4.16 4.16 5/340 88845
/proc/meminfo: memFree=119022716/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=18996948 memory=143920 CPUtime=4.08 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 16243 0 0 0 403 5 0 0 20 0 19 0 77815196 19452874752 35980 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4749237 35980 5496 1 0 550911 0
[pid=88826/tid=88828] ppid=88823 vsize=18996948 memory=10624 CPUtime=3.06 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 6683 0 0 0 303 3 0 0 20 0 19 0 77815197 19452874752 35980 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=18996948 memory=-6000919494231483495 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77815200 19452874752 35980 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77815200 19452874752 35980 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77815218 19452874752 35980 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 143920 KiB

[startup+6.30021 s]
/proc/loadavg: 4.11 4.16 4.16 5/341 88846
/proc/meminfo: memFree=118961276/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=186088 CPUtime=7.3 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 18859 0 0 0 724 6 0 0 20 0 20 0 77815196 19521036288 46522 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 46522 5528 1 0 551201 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=0 CPUtime=6.22 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 7158 0 0 0 619 3 0 0 20 0 20 0 77815197 19521036288 46522 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 46522 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 46522 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=19063512 memory=108412 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77815218 19521036288 46522 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 7.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186088 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.16 4.16 5/341 88847
/proc/meminfo: memFree=118792788/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=262100 CPUtime=13.76 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 20752 0 0 0 1368 8 0 0 20 0 20 0 77815196 19521036288 65525 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 65525 5528 1 0 551201 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=108412 CPUtime=12.53 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 7621 0 0 0 1250 3 0 0 20 0 20 0 77815197 19521036288 65525 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 65525 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19063512 memory=262100 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 65525 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77815218 19521036288 65525 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 13.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 262100 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.17 4.17 5/341 88847
/proc/meminfo: memFree=118270076/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=506348 CPUtime=26.81 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 26178 0 0 0 2667 14 0 0 20 0 20 0 77815196 19521036288 126587 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 126587 5560 1 0 551251 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=10624 CPUtime=25.08 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 8550 0 0 0 2505 3 0 0 20 0 20 0 77815197 19521036288 126587 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=262100 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 126587 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 126587 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77815218 19521036288 126587 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 26.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 506348 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.15 4.16 5/341 88847
/proc/meminfo: memFree=117474760/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=756956 CPUtime=52.93 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 31714 0 0 0 5273 20 0 0 20 0 20 0 77815196 19521036288 189239 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 189239 5560 1 0 551873 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=756956 CPUtime=50.38 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 10036 0 0 0 5034 4 0 0 20 0 20 0 77815197 19521036288 189239 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=760000 CPUtime=0 cores=5,7

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

[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/338 89147
/proc/meminfo: memFree=107026148/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=5799364 CPUtime=3239.43 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 166855 0 0 0 323745 198 0 0 20 0 20 0 77815196 19521036288 1449841 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 1449841 5560 1 0 1587838 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=5011752 CPUtime=3194.18 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 64430 0 0 0 319374 44 0 0 20 0 20 0 77815197 19521036288 1449841 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=5011752 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1449841 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19063512 memory=5799364 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 1518 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1449841 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=19063512 memory=5799364 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77815218 19521036288 1449841 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 3239.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5799364 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/338 89149
/proc/meminfo: memFree=106152376/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=6526444 CPUtime=3301.2 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 173492 0 0 0 329907 213 0 0 20 0 20 0 77815196 19521036288 1631611 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 1631611 5560 1 0 2214693 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=6436244 CPUtime=3253.51 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 67068 0 0 0 325301 50 0 0 20 0 20 0 77815197 19521036288 1631611 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=6217108 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1631611 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 1597 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1631611 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=19063512 memory=6526444 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77815218 19521036288 1631611 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 3301.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6526444 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/338 89151
/proc/meminfo: memFree=105824076/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=6757868 CPUtime=3361.33 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 174793 0 0 0 335914 219 0 0 20 0 20 0 77815196 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 1689467 5560 1 0 2214693 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=6757868 CPUtime=3313.08 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 68110 0 0 0 331258 50 0 0 20 0 20 0 77815197 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=-6000919494231483495 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19063512 memory=6757868 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 1598 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=19063512 memory=19456 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77815218 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 3361.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6757868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/339 89154
/proc/meminfo: memFree=105393648/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=6757868 CPUtime=3421.76 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 179305 0 0 0 341955 221 0 0 20 0 20 0 77815196 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 1689467 5560 1 0 2214693 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=6757868 CPUtime=3372.35 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 70904 0 0 0 337185 50 0 0 20 0 20 0 77815197 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=6757868 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19063512 memory=6526444 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 1634 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=19063512 memory=6757868 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77815218 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 3421.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6757868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/340 89158
/proc/meminfo: memFree=104662732/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=6757868 CPUtime=3481.9 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 182280 0 0 0 347968 222 0 0 20 0 20 0 77815196 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 1689467 5560 1 0 2214693 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=6757868 CPUtime=3431.91 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 72916 0 0 0 343141 50 0 0 20 0 20 0 77815197 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=6757868 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19063512 memory=6757868 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 1674 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77815218 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 3481.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6757868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/341 89163
/proc/meminfo: memFree=104413504/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=6757868 CPUtime=3542.32 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 186169 0 0 0 354008 224 0 0 20 0 20 0 77815196 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 1689467 5560 1 0 2214693 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=6757868 CPUtime=3491.16 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 74800 0 0 0 349066 50 0 0 20 0 20 0 77815197 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=6757868 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19063512 memory=6757868 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 1676 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77815218 19521036288 1689467 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 3542.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6757868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3579.4 s]
/proc/loadavg: 4.01 4.12 4.15 4/316 89203
/proc/meminfo: memFree=114089696/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19063512 memory=6757904 CPUtime=3600 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 191823 0 0 0 359774 226 0 0 20 0 20 0 77815196 19521036288 1689476 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4765878 1689476 5560 1 0 2214712 0
[pid=88826/tid=88828] ppid=88823 vsize=19063512 memory=5148 CPUtime=3547.52 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 76323 0 0 0 354702 50 0 0 20 0 20 0 77815197 19521036288 1689476 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1689476 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 1709 0 0 0 0 0 0 0 20 0 20 0 77815200 19521036288 1689476 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88845] ppid=88823 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88826/task/88845/stat : 88845 (Timer-0) S 88823 88826 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77815218 19521036288 1689476 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6757904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.02 s, system=2.29445 s

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

[startup+3579.51 s]
/proc/loadavg: 4.01 4.12 4.15 4/316 89203
/proc/meminfo: memFree=114089696/131249996 swapFree=33000896/33010684
[pid=88826] ppid=88823 vsize=19263204 memory=6758800 CPUtime=3600.2 cores=5,7
/proc/88826/stat : 88826 (java) S 88823 88826 86856 0 -1 4194304 194204 0 0 0 359794 226 0 0 20 0 21 0 77815196 19725520896 1689700 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
/proc/88826/statm: 4815801 1689700 5592 1 0 2215679 0
[pid=88826/tid=88828] ppid=88823 vsize=19263204 memory=10624 CPUtime=3547.62 cores=5,7
/proc/88826/task/88828/stat : 88828 (java) R 88823 88826 86856 0 -1 4194368 76674 0 0 0 354712 50 0 0 20 0 21 0 77815197 19725520896 1689700 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88837] ppid=88823 vsize=19263204 memory=6757904 CPUtime=0 cores=5,7
/proc/88826/task/88837/stat : 88837 (Finalizer) S 88823 88826 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77815200 19725520896 1689700 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
[pid=88826/tid=88844] ppid=88823 vsize=19263204 memory=14156 CPUtime=0 cores=5,7
/proc/88826/task/88844/stat : 88844 (Common-Cleaner) S 88823 88826 86856 0 -1 4194368 1709 0 0 0 0 0 0 0 20 0 21 0 77815200 19725520896 1689700 18446744073709551615 94761672486912 94761672490608 140727240794496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94761672498424 94761672499216 94761702567936 140727240796543 140727240796644 140727240796644 140727240802248 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6758800 KiB

Child status: 143

Real time (s): 3579.57
CPU time (s): 3600.31
CPU user time (s): 3598.02
CPU system time (s): 2.29445
CPU usage (%): 100.579
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6761028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.02
system time used= 2.29445
maximum resident set size= 6761188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112870
involuntary context switches= 21888


# summary of solver processes directly reported to runsolver:
#   pid: 88826
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3598.02
#   total CPU system time (s): 2.29445

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52511 second user time and 16.795 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 11:29:33
IDJOB=4525208
IDBENCH=143507
IDSOLVER=3380
FILE ID=nodeC023/4525208-1751621373
RUNJOBID= nodeC023-1751614174-86869
SLURM_JOB_ID= 9598917
Free space on /tmp= 431868 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-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-4525208-1751621373/watcher-4525208-1751621373 -o /tmp/evaluation-result-4525208-1751621373/solver-4525208-1751621373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86869 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4525208-1751621373.wbo

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

MD5SUM BENCH= 3585fb426f9029f6e955b919f6710c5b
RANDOM SEED=553233158

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        119218252 kB
MemAvailable:   118974472 kB
Buffers:              16 kB
Cached:           499164 kB
SwapCached:         2900 kB
Active:         10957792 kB
Inactive:         355776 kB
Active(anon):   10773552 kB
Inactive(anon):    53360 kB
Active(file):     184240 kB
Inactive(file):   302416 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               756 kB
Writeback:             0 kB
AnonPages:      10814592 kB
Mapped:           117912 kB
Shmem:             12524 kB
KReclaimable:     217608 kB
Slab:             309536 kB
SReclaimable:     217608 kB
SUnreclaim:        91928 kB
KernelStack:        5280 kB
PageTables:        24932 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   16556488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10534912 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

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