Trace number 4503798

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)3403605 3600.59 3601.06

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
MD5SUM768a18ffa3b1a9fc42159a5899fb070e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3367493
Best CPU time to get the best result obtained on this benchmark88.7011
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.10/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4503798-1751438366.opb
0.10/0.14	c reading problem ... 
0.10/0.14	c  objective function found
0.29/0.29	c ... done. Wall clock time 0.144s.
0.29/0.29	c declared #vars     5100
0.29/0.29	c #constraints  12512
0.29/0.29	c constraints type 
0.29/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
0.29/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
0.29/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.29/0.29	c org.sat4j.specs.Constr$1 => 2
0.29/0.29	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
0.29/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
0.29/0.29	c 12512 constraints processed.
0.29/0.30	c objective function length is 4950 literals
0.67/0.41	c SATISFIABLE
0.67/0.41	c OPTIMIZING...
0.67/0.41	c Got one! Elapsed wall clock time (in seconds):0.264
0.67/0.41	o 3417891
0.67/0.44	c Got one! Elapsed wall clock time (in seconds):0.297
0.67/0.44	o 3413901
0.87/0.52	c Got one! Elapsed wall clock time (in seconds):0.374
0.87/0.52	o 3406633
2.54/1.53	c cleaning 2571 clauses out of 5142 with flag 10274/5142
3.58/2.46	c cleaning 4285 clauses out of 8570 with flag 22595/11141
4.59/3.44	c cleaning 5643 clauses out of 11286 with flag 36949/18142
5.79/4.63	c cleaning 6816 clauses out of 13642 with flag 53318/26141
6.99/5.86	c cleaning 7913 clauses out of 15826 with flag 71847/35141
8.30/7.14	c cleaning 8956 clauses out of 17914 with flag 92522/45142
9.95/8.73	c cleaning 9979 clauses out of 19958 with flag 115143/56142
11.54/10.31	c cleaning 10986 clauses out of 21978 with flag 139861/68141
13.35/12.14	c cleaning 11997 clauses out of 23993 with flag 166948/81142
15.14/13.91	c cleaning 12998 clauses out of 25996 with flag 195904/95142
16.95/15.76	c cleaning 13992 clauses out of 27998 with flag 226813/110142
19.00/17.73	c cleaning 15002 clauses out of 30005 with flag 259854/126141
21.36/20.03	c cleaning 15995 clauses out of 32004 with flag 294893/143142
23.66/22.37	c cleaning 17002 clauses out of 34008 with flag 332127/161141
26.15/24.89	c cleaning 18003 clauses out of 36006 with flag 371597/180141
28.75/27.41	c cleaning 18998 clauses out of 38004 with flag 412794/200142
31.54/30.27	c cleaning 19999 clauses out of 40006 with flag 456199/221142
34.76/33.42	c Got one! Elapsed wall clock time (in seconds):33.277
34.76/33.42	o 3403605
35.55/34.00	c cleaning 23447 clauses out of 46894 with flag 10194/248029
36.24/34.70	c cleaning 14723 clauses out of 29445 with flag 22933/254027
36.94/35.43	c cleaning 10860 clauses out of 21722 with flag 37448/261027
37.80/36.29	c cleaning 9426 clauses out of 18862 with flag 54626/269027
39.06/37.40	c cleaning 9214 clauses out of 18437 with flag 75098/278028
40.25/38.64	c cleaning 9606 clauses out of 19223 with flag 97120/288028
41.65/40.00	c cleaning 10304 clauses out of 20616 with flag 120707/299027
42.85/41.28	c cleaning 11151 clauses out of 22313 with flag 147493/311028
44.14/42.57	c cleaning 12076 clauses out of 24162 with flag 175625/324028
45.65/44.07	c cleaning 13035 clauses out of 26085 with flag 205208/338027
47.65/46.02	c cleaning 14022 clauses out of 28052 with flag 237655/353029
50.74/49.16	c cleaning 15010 clauses out of 30029 with flag 271248/369028
54.33/52.72	c cleaning 16004 clauses out of 32018 with flag 307064/386027
57.63/56.03	c cleaning 17003 clauses out of 34014 with flag 345693/404027
59.72/58.15	c cleaning 18004 clauses out of 36012 with flag 386155/423028
61.82/60.26	c cleaning 19003 clauses out of 38007 with flag 428214/443027
63.93/62.33	c cleaning 20000 clauses out of 40004 with flag 471770/464027
66.02/64.43	c cleaning 21000 clauses out of 42005 with flag 517162/486028
68.52/66.93	c cleaning 21995 clauses out of 44004 with flag 564768/509027
71.01/69.45	c cleaning 23005 clauses out of 46009 with flag 615124/533027
73.61/72.04	c cleaning 23997 clauses out of 48005 with flag 665739/558028
76.30/74.72	c cleaning 24991 clauses out of 50007 with flag 718261/584027
79.30/77.74	c cleaning 26009 clauses out of 52017 with flag 776645/611028
82.39/80.81	c cleaning 27004 clauses out of 54007 with flag 837740/639027
85.95/84.30	c cleaning 27998 clauses out of 56002 with flag 896825/668027
89.57/87.90	c cleaning 28997 clauses out of 58006 with flag 958765/698029
92.66/91.06	c cleaning 29992 clauses out of 60007 with flag 1027726/729027
96.05/94.44	c cleaning 30997 clauses out of 62016 with flag 1100719/761028
99.65/98.05	c cleaning 32006 clauses out of 64018 with flag 1175155/794027
103.57/101.99	c cleaning 33001 clauses out of 66012 with flag 1244767/828027
107.73/105.88	c cleaning 34006 clauses out of 68011 with flag 1324045/863027
111.98/109.91	c cleaning 35001 clauses out of 70005 with flag 1406735/899027
116.23/114.19	c cleaning 35999 clauses out of 72004 with flag 1492667/936027
120.41/118.39	c cleaning 37002 clauses out of 74006 with flag 1580566/974028
125.00/122.93	c cleaning 38000 clauses out of 76003 with flag 1673287/1013027
129.72/127.62	c cleaning 39002 clauses out of 78003 with flag 1768779/1053027
134.04/131.84	c cleaning 39991 clauses out of 80000 with flag 1852081/1094027
138.43/136.26	c cleaning 40998 clauses out of 82010 with flag 1936438/1136028
142.95/140.76	c cleaning 41998 clauses out of 84012 with flag 2022604/1179028
147.64/145.44	c cleaning 42998 clauses out of 86013 with flag 2110891/1223027
152.33/150.11	c cleaning 43998 clauses out of 88016 with flag 2201104/1268028
157.14/154.98	c cleaning 45003 clauses out of 90017 with flag 2293360/1314027
162.13/159.94	c cleaning 45994 clauses out of 92014 with flag 2387554/1361027
167.22/165.02	c cleaning 46998 clauses out of 94020 with flag 2483782/1409027
172.52/170.32	c cleaning 48002 clauses out of 96022 with flag 2582046/1458027
177.81/175.70	c cleaning 49002 clauses out of 98021 with flag 2682306/1508028
183.40/181.25	c cleaning 49997 clauses out of 100018 with flag 2784606/1559027
189.13/186.96	c cleaning 50996 clauses out of 102021 with flag 2888995/1611027
194.81/192.67	c cleaning 52004 clauses out of 104025 with flag 2995320/1664027
200.70/198.54	c cleaning 52996 clauses out of 106021 with flag 3103680/1718027
206.82/204.62	c cleaning 54004 clauses out of 108025 with flag 3214049/1773027
213.00/210.81	c cleaning 55000 clauses out of 110021 with flag 3326440/1829027
219.29/217.15	c cleaning 56000 clauses out of 112021 with flag 3440874/1886027
225.38/223.29	c cleaning 56999 clauses out of 114022 with flag 3577829/1944028
231.81/229.64	c cleaning 57997 clauses out of 116023 with flag 3715606/2003028
238.30/236.11	c cleaning 59000 clauses out of 118025 with flag 3854751/2063027
244.98/242.88	c cleaning 59998 clauses out of 120026 with flag 3996210/2124028
252.21/250.03	c cleaning 61005 clauses out of 122027 with flag 4131885/2186028
259.98/257.83	c cleaning 62008 clauses out of 124022 with flag 4259029/2249028
267.18/265.06	c cleaning 63007 clauses out of 126014 with flag 4388046/2313028
275.02/272.86	c cleaning 64001 clauses out of 128006 with flag 4518706/2378027
283.01/280.82	c cleaning 64999 clauses out of 130005 with flag 4652044/2444027
290.79/288.69	c cleaning 65998 clauses out of 132007 with flag 4787494/2511028
298.97/296.84	c cleaning 67003 clauses out of 134009 with flag 4924462/2579028
307.83/305.68	c cleaning 67999 clauses out of 136005 with flag 5063561/2648027
316.62/314.42	c cleaning 68996 clauses out of 138006 with flag 5204220/2718027
324.50/322.33	c cleaning 70002 clauses out of 140010 with flag 5347514/2789027
333.19/331.09	c cleaning 71003 clauses out of 142009 with flag 5492186/2861028
342.11/339.99	c cleaning 71996 clauses out of 144006 with flag 5638840/2934028
350.59/348.47	c cleaning 72999 clauses out of 146009 with flag 5788562/3008027
359.57/357.49	c cleaning 74000 clauses out of 148011 with flag 5939516/3083028
369.15/367.08	c cleaning 74996 clauses out of 150010 with flag 6092083/3159027
378.94/376.89	c cleaning 76005 clauses out of 152014 with flag 6247046/3236027
388.07/385.92	c cleaning 77005 clauses out of 154010 with flag 6404340/3314028
397.65/395.53	c cleaning 77998 clauses out of 156005 with flag 6563199/3393028
408.03/405.94	c cleaning 79003 clauses out of 158007 with flag 6723782/3473028
418.21/416.18	c cleaning 79996 clauses out of 160003 with flag 6886624/3554027
427.79/425.79	c cleaning 80998 clauses out of 162007 with flag 7051906/3636027
438.56/436.54	c cleaning 82000 clauses out of 164010 with flag 7218591/3719028
448.74/446.76	c cleaning 83000 clauses out of 166009 with flag 7387290/3803027
460.41/458.44	c cleaning 84000 clauses out of 168010 with flag 7558010/3888028
471.49/469.50	c cleaning 85002 clauses out of 170009 with flag 7731628/3974027
482.16/480.23	c cleaning 86000 clauses out of 172008 with flag 7907393/4061028
493.84/491.98	c cleaning 87003 clauses out of 174007 with flag 8084467/4149027
506.21/504.37	c cleaning 87997 clauses out of 176004 with flag 8263541/4238027
518.59/516.72	c cleaning 88998 clauses out of 178007 with flag 8444474/4328027
530.76/528.92	c cleaning 90004 clauses out of 180010 with flag 8627347/4419028
542.94/541.13	c cleaning 90995 clauses out of 182006 with flag 8812163/4511028
556.19/554.22	c cleaning 92001 clauses out of 184010 with flag 8999671/4604027
568.66/566.70	c cleaning 93003 clauses out of 186009 with flag 9189365/4698027
580.53/578.69	c cleaning 93998 clauses out of 188007 with flag 9381601/4793028
592.31/590.47	c cleaning 95002 clauses out of 190008 with flag 9575142/4889027
604.78/602.94	c cleaning 96003 clauses out of 192006 with flag 9770663/4986027
617.85/616.03	c cleaning 96996 clauses out of 194003 with flag 9967456/5084027
631.86/629.67	c cleaning 97994 clauses out of 196008 with flag 10166240/5183028
646.13/643.91	c cleaning 99002 clauses out of 198013 with flag 10366949/5283027
660.70/658.54	c cleaning 100005 clauses out of 200011 with flag 10569762/5384027
675.47/673.34	c cleaning 100994 clauses out of 202006 with flag 10774707/5486027
689.24/687.18	c cleaning 102003 clauses out of 204013 with flag 10981599/5589028
703.60/701.48	c cleaning 102997 clauses out of 206010 with flag 11190457/5693028
718.37/716.25	c cleaning 104004 clauses out of 208012 with flag 11401297/5798027
732.74/730.62	c cleaning 104998 clauses out of 210009 with flag 11614330/5904028
747.41/745.39	c cleaning 106004 clauses out of 212011 with flag 11829215/6011028
762.58/760.56	c cleaning 106998 clauses out of 214006 with flag 12046153/6119027
777.70/775.61	c cleaning 107996 clauses out of 216008 with flag 12264981/6228027
793.08/791.06	c cleaning 108998 clauses out of 218013 with flag 12485836/6338028
809.23/807.26	c cleaning 110001 clauses out of 220014 with flag 12708708/6449027
825.21/823.27	c cleaning 111006 clauses out of 222014 with flag 12933584/6561028
841.97/840.06	c cleaning 112000 clauses out of 224007 with flag 13160519/6674027
857.91/855.95	c cleaning 112997 clauses out of 226008 with flag 13390241/6788028
873.38/871.43	c cleaning 114001 clauses out of 228010 with flag 13622492/6903027
888.64/886.79	c cleaning 115001 clauses out of 230009 with flag 13856494/7019027
904.91/903.02	c cleaning 116001 clauses out of 232009 with flag 14092578/7136028
921.87/920.09	c cleaning 117001 clauses out of 234007 with flag 14330605/7254027
938.83/937.10	c cleaning 117995 clauses out of 236007 with flag 14571025/7373028
954.16/952.32	c cleaning 119003 clauses out of 238012 with flag 14813350/7493028
969.53/967.72	c cleaning 119996 clauses out of 240009 with flag 15057792/7614028
985.01/983.26	c cleaning 121004 clauses out of 242013 with flag 15304005/7736028
1001.07/999.32	c cleaning 122004 clauses out of 244009 with flag 15552397/7859028
1017.43/1015.77	c cleaning 123001 clauses out of 246004 with flag 15802678/7983027
1034.58/1032.80	c cleaning 123999 clauses out of 248004 with flag 16054817/8108028
1051.54/1049.86	c cleaning 125002 clauses out of 250004 with flag 16308892/8234027
1069.20/1067.57	c cleaning 125998 clauses out of 252003 with flag 16565031/8361028
1087.57/1086.00	c cleaning 126994 clauses out of 254005 with flag 16822990/8489028
1105.03/1103.45	c cleaning 128000 clauses out of 256012 with flag 17082084/8618029
1122.60/1121.07	c cleaning 128997 clauses out of 258011 with flag 17343234/8748028
1140.73/1139.12	c cleaning 129999 clauses out of 260014 with flag 17606233/8879028
1158.88/1157.37	c cleaning 131003 clauses out of 262015 with flag 17871471/9011028
1177.54/1176.06	c cleaning 132002 clauses out of 264012 with flag 18138688/9144028
1197.20/1195.71	c cleaning 133000 clauses out of 266009 with flag 18407928/9278027
1216.15/1214.77	c cleaning 133998 clauses out of 268009 with flag 18679434/9413027
1235.51/1234.13	c cleaning 135002 clauses out of 270012 with flag 18952678/9549028
1255.22/1253.84	c cleaning 136005 clauses out of 272009 with flag 19227766/9686027
1275.98/1274.68	c cleaning 136998 clauses out of 274004 with flag 19504973/9824027
1296.44/1295.13	c cleaning 137997 clauses out of 276006 with flag 19784183/9963027
1317.69/1316.45	c cleaning 139000 clauses out of 278010 with flag 20065325/10103028
1339.93/1338.75	c cleaning 140005 clauses out of 280011 with flag 20348531/10244029
1361.68/1360.51	c cleaning 141000 clauses out of 282004 with flag 20633736/10386027
1385.09/1383.96	c cleaning 142003 clauses out of 284005 with flag 20921091/10529028
1406.06/1404.94	c cleaning 142990 clauses out of 286002 with flag 21210294/10673028
1424.12/1423.05	c cleaning 144003 clauses out of 288013 with flag 21525350/10818029
1442.77/1441.72	c cleaning 144998 clauses out of 290008 with flag 21844311/10964027
1462.22/1461.24	c cleaning 145999 clauses out of 292011 with flag 22163937/11111028
1482.38/1481.41	c cleaning 146999 clauses out of 294011 with flag 22481135/11259027
1504.26/1503.21	c cleaning 148003 clauses out of 296013 with flag 22796252/11408028
1525.41/1524.43	c cleaning 148998 clauses out of 298009 with flag 23117464/11558027
1545.58/1544.60	c cleaning 149997 clauses out of 300012 with flag 23439466/11709028
1566.83/1565.97	c cleaning 151004 clauses out of 302014 with flag 23755069/11861027
1588.59/1587.76	c cleaning 152000 clauses out of 304011 with flag 24071884/12014028
1611.07/1609.65	c cleaning 152998 clauses out of 306011 with flag 24401467/12168028
1633.32/1631.92	c cleaning 154002 clauses out of 308013 with flag 24732168/12323028
1656.17/1654.83	c cleaning 155002 clauses out of 310010 with flag 25054916/12479027
1677.63/1676.31	c cleaning 155995 clauses out of 312009 with flag 25384348/12636028
1699.70/1698.43	c cleaning 157005 clauses out of 314014 with flag 25725851/12794028
1721.45/1720.27	c cleaning 157993 clauses out of 316009 with flag 26068953/12953028
1743.10/1741.94	c cleaning 159004 clauses out of 318016 with flag 26402323/13113028
1766.16/1765.07	c cleaning 160002 clauses out of 320012 with flag 26750408/13274028
1789.90/1788.82	c cleaning 161001 clauses out of 322011 with flag 27099577/13436029
1814.12/1813.03	c cleaning 162001 clauses out of 324009 with flag 27451186/13599028
1840.06/1839.04	c cleaning 162997 clauses out of 326009 with flag 27786051/13763029
1864.60/1863.68	c cleaning 163994 clauses out of 328010 with flag 28137768/13928027
1887.25/1886.35	c cleaning 165003 clauses out of 330016 with flag 28493235/14094027
1911.49/1910.61	c cleaning 166001 clauses out of 332013 with flag 28852403/14261027
1936.14/1935.36	c cleaning 166999 clauses out of 334013 with flag 29212866/14429028
1961.48/1960.61	c cleaning 168002 clauses out of 336013 with flag 29574114/14598027
1985.42/1984.62	c cleaning 169003 clauses out of 338012 with flag 29936159/14768028
2009.47/2008.79	c cleaning 170001 clauses out of 340008 with flag 30306200/14939027
2034.21/2033.55	c cleaning 170998 clauses out of 342008 with flag 30669647/15111028
2060.55/2059.90	c cleaning 172002 clauses out of 344010 with flag 31042814/15284028
2087.79/2087.21	c cleaning 172995 clauses out of 346008 with flag 31418982/15458028
2116.89/2116.22	c cleaning 174001 clauses out of 348012 with flag 31798034/15633027
2142.94/2142.39	c cleaning 174997 clauses out of 350011 with flag 32178685/15809027
2168.98/2168.41	c cleaning 176004 clauses out of 352015 with flag 32559790/15986028
2194.92/2194.40	c cleaning 177006 clauses out of 354011 with flag 32941703/16164028
2220.46/2220.08	c cleaning 178001 clauses out of 356005 with flag 33327990/16343028
2247.20/2246.81	c cleaning 178997 clauses out of 358003 with flag 33716524/16523027
2275.30/2274.99	c cleaning 180000 clauses out of 360008 with flag 34087286/16704029
2302.85/2302.57	c cleaning 181002 clauses out of 362007 with flag 34454235/16886028
2332.78/2332.57	c cleaning 181998 clauses out of 364005 with flag 34823444/17069028
2364.31/2364.13	c cleaning 182998 clauses out of 366007 with flag 35194396/17253028
2394.74/2394.68	c cleaning 184003 clauses out of 368008 with flag 35567258/17438027
2425.28/2425.22	c cleaning 184998 clauses out of 370005 with flag 35942592/17624027
2457.70/2457.66	c cleaning 186000 clauses out of 372007 with flag 36319810/17811027
2486.84/2486.85	c cleaning 186999 clauses out of 374008 with flag 36699197/17999028
2515.28/2515.30	c cleaning 188000 clauses out of 376009 with flag 37081618/18188028
2545.62/2545.76	c cleaning 189003 clauses out of 378009 with flag 37465076/18378028
2573.46/2573.66	c cleaning 189993 clauses out of 380006 with flag 37852016/18569028
2602.95/2603.09	c cleaning 191001 clauses out of 382013 with flag 38237866/18761028
2633.37/2633.54	c cleaning 191996 clauses out of 384011 with flag 38626272/18954027
2662.81/2663.01	c cleaning 193003 clauses out of 386015 with flag 39017362/19148027
2694.54/2694.86	c cleaning 194000 clauses out of 388012 with flag 39410229/19343027
2724.57/2724.96	c cleaning 195001 clauses out of 390012 with flag 39806107/19539027
2754.64/2754.52	c cleaning 195999 clauses out of 392012 with flag 40202858/19736028
2784.31/2784.27	c cleaning 197000 clauses out of 394013 with flag 40602513/19934028
2816.53/2816.58	c cleaning 198003 clauses out of 396012 with flag 41003082/20133027
2846.96/2847.05	c cleaning 199001 clauses out of 398010 with flag 41406217/20333028
2878.86/2878.90	c cleaning 199995 clauses out of 400009 with flag 41810925/20534028
2910.68/2910.89	c cleaning 201000 clauses out of 402014 with flag 42216817/20736028
2941.62/2941.83	c cleaning 202002 clauses out of 404013 with flag 42626910/20939027
2972.45/2972.72	c cleaning 202998 clauses out of 406012 with flag 43038244/21143028
3007.07/3007.46	c cleaning 204002 clauses out of 408014 with flag 43450922/21348028
3039.70/3040.17	c cleaning 204996 clauses out of 410013 with flag 43865296/21554029
3073.51/3073.93	c cleaning 206005 clauses out of 412017 with flag 44282516/21761029
3107.03/3107.52	c cleaning 207001 clauses out of 414010 with flag 44701140/21969027
3142.06/3142.61	c cleaning 207996 clauses out of 416010 with flag 45122578/22178028
3175.08/3175.74	c cleaning 209001 clauses out of 418013 with flag 45546141/22388027
3209.41/3210.18	c cleaning 210006 clauses out of 420014 with flag 45970764/22599029
3244.72/3245.53	c cleaning 211000 clauses out of 422006 with flag 46397210/22811027
3275.74/3276.31	c cleaning 211993 clauses out of 424006 with flag 46853673/23024027
3306.37/3307.05	c cleaning 212998 clauses out of 426013 with flag 47308220/23238027
3338.59/3339.31	c cleaning 214008 clauses out of 428016 with flag 47807472/23453028
3369.72/3370.55	c cleaning 214998 clauses out of 430007 with flag 48328069/23669027
3403.84/3404.73	c cleaning 215994 clauses out of 432009 with flag 48837546/23886027
3438.07/3439.07	c cleaning 217005 clauses out of 434015 with flag 49363401/24104027
3475.92/3476.84	c cleaning 217995 clauses out of 436010 with flag 49893492/24323027
3514.14/3515.17	c cleaning 219004 clauses out of 438015 with flag 50426665/24543027
3551.06/3552.15	c cleaning 220006 clauses out of 440013 with flag 50963806/24764029
3589.57/3590.71	c cleaning 220994 clauses out of 442005 with flag 51474527/24986027
3600.11/3600.82	c starts		: 56
3600.11/3600.85	c conflicts		: 25073796
3600.11/3600.85	c decisions		: 27493817
3600.11/3600.85	c propagations		: 215240586
3600.11/3600.85	c inspects		: 6268685910
3600.11/3600.85	c shortcuts		: 0
3600.11/3600.85	c learnt literals	: 3
3600.11/3600.85	c learnt binary clauses	: 2
3600.11/3600.85	c learnt ternary clauses	: 30
3600.11/3600.85	c learnt constraints	: 25073793
3600.11/3600.85	c ignored constraints	: 0
3600.11/3600.85	c root simplifications	: 0
3600.11/3600.85	c removed literals (reason simplification)	: 1589007957
3600.11/3600.85	c reason swapping (by a shorter reason)	: 0
3600.11/3600.86	c Calls to reduceDB	: 235
3600.11/3600.86	c Number of update (reduction) of LBD	: 162590
3600.11/3600.86	c Imported unit clauses	: 0
3600.11/3600.86	c No decision after first conflict	: false
3600.11/3600.86	c number of reductions to clauses (during analyze)	: 0
3600.11/3600.86	c number of learned constraints concerned by reduction	: 0
3600.11/3600.86	c number of learning phase by resolution	: 0
3600.11/3600.86	c number of learning phase by cutting planes	: 0
3600.11/3600.86	c number of rounding to 1 operations	: 0
3600.11/3600.87	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.11/3600.87	c number of reductions of the coefficients by power 2 	: 0
3600.11/3600.87	c number of right shift for reduction by power 2 	: 0
3600.11/3600.87	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.11/3600.87	c number of ending skipping 	: 0
3600.11/3600.87	c number of internal skipping 	: 0
3600.11/3600.87	c number of derivation steps 	: 0
3600.11/3600.87	c number of skipped derivation steps 	: 0
3600.11/3600.87	c number of remaining unassigned 	: 0
3600.11/3600.87	c number of remaining assigned 	: 0
3600.11/3600.87	c number of falsified literals weakened from reason	: 0
3600.11/3600.87	c number of falsified literals weakened from conflict	: 0
3600.11/3600.87	c time for arithmetic operations	: 0
3600.11/3600.88	c minimum degree of deleted constraints	: null
3600.11/3600.88	c maximum degree of deleted constraints	: null
3600.11/3600.88	c number of deleted constraints	: 0
3600.11/3600.88	c speed (assignments/second)	: 59779.66957963542
3600.11/3600.88	c non guided choices	: 1086
3600.32/3601.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 308778
3600.32/3601.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2
3600.32/3601.00	s SATISFIABLE
3600.51/3601.00	c Found 4 solution(s)
3600.51/3601.02	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 -x857 x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 x868 -x869 x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 x878 x879 -x880 -x881 x882 -x883 -x884 -x885 x886 x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 x1557 -x1558 -x1559 -x1560 x1561 -x1562 x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 x1576 x1577 -x1578 -x1579 -x1580 x1581 -x1582 x1583 x1584 x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 x2062 -x2063 -x2064 x2065 -x2066 x2067 -x2068 x2069 -x2070 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
3600.51/3601.03	c objective function=3403605
3600.51/3601.03	c Total wall clock time (in seconds): 3600.889

Verifier Data 

OK	3403605

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503798-1751438366/watcher-4503798-1751438366 -o /tmp/evaluation-result-4503798-1751438366/solver-4503798-1751438366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751434764-60260 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4503798-1751438366.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=60779, runsolver pid=60776

[startup+0.10006 s]*
/proc/loadavg: 2.13 2.10 2.29 4/269 60797
/proc/meminfo: memFree=108957732/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=18930384 memory=56964 CPUtime=0.1 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 6383 0 0 0 8 2 0 0 20 0 18 0 59515158 19384713216 14241 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4732596 14241 5352 1 0 547531 0
[pid=60779/tid=60781] ppid=60776 vsize=18930384 memory=4026532379 CPUtime=0.06 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 4971 0 0 0 5 1 0 0 20 0 18 0 59515161 19384713216 14241 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=18930384 memory=211342852430 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 59515163 19384713216 14241 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=18930384 memory=52987934566958 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 59515163 19384713216 14241 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56964 KiB

[startup+0.205438 s]*
/proc/loadavg: 2.13 2.10 2.29 4/269 60797
/proc/meminfo: memFree=108942420/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=18930384 memory=69260 CPUtime=0.29 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 6838 0 0 0 27 2 0 0 20 0 18 0 59515158 19384713216 17315 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4732596 17315 5416 1 0 547910 0
[pid=60779/tid=60781] ppid=60776 vsize=18930384 memory=4026730980 CPUtime=0.15 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 5276 0 0 0 14 1 0 0 20 0 18 0 59515161 19384713216 17315 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=18930384 memory=15142 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 59515163 19384713216 17315 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=18930384 memory=62879244223456 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 59515163 19384713216 17315 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69260 KiB

[startup+0.305359 s]*
/proc/loadavg: 2.13 2.10 2.29 5/269 60797
/proc/meminfo: memFree=108913596/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=18930384 memory=98596 CPUtime=0.48 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 8553 0 0 0 45 3 0 0 20 0 18 0 59515158 19384713216 24649 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4732596 24649 5480 1 0 549091 0
[pid=60779/tid=60781] ppid=60776 vsize=18930384 memory=-6000919481262763113 CPUtime=0.25 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 5379 0 0 0 23 2 0 0 20 0 18 0 59515161 19384713216 24649 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 59515163 19384713216 24649 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 59515163 19384713216 24649 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 98596 KiB

[startup+0.700214 s]
/proc/loadavg: 2.13 2.10 2.29 4/270 60798
/proc/meminfo: memFree=108904208/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=18996948 memory=121760 CPUtime=1.24 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 13906 0 0 0 120 4 0 0 20 0 19 0 59515158 19452874752 30440 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4749237 30440 5512 1 0 552456 0
[pid=60779/tid=60781] ppid=60776 vsize=18996948 memory=18432 CPUtime=0.58 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 5426 0 0 0 56 2 0 0 20 0 19 0 59515161 19452874752 30440 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59515163 19452874752 30440 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 59515163 19452874752 30440 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59515190 19452874752 30440 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121760 KiB

[startup+1.50018 s]
/proc/loadavg: 2.13 2.10 2.29 4/270 60798
/proc/meminfo: memFree=108884172/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=18996948 memory=130508 CPUtime=2.54 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 17927 0 0 0 249 5 0 0 20 0 19 0 59515158 19452874752 32627 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4749237 32627 5512 1 0 553005 0
[pid=60779/tid=60781] ppid=60776 vsize=18996948 memory=10752 CPUtime=1.38 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 5593 0 0 0 135 3 0 0 20 0 19 0 59515161 19452874752 32627 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59515163 19452874752 32627 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 59515163 19452874752 32627 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59515190 19452874752 32627 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 130508 KiB

[startup+3.10519 s]
/proc/loadavg: 2.12 2.10 2.28 3/270 60798
/proc/meminfo: memFree=108871888/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=18996948 memory=141016 CPUtime=4.3 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 20659 0 0 0 424 6 0 0 20 0 19 0 59515158 19452874752 35254 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4749237 35254 5512 1 0 553035 0
[pid=60779/tid=60781] ppid=60776 vsize=18996948 memory=10752 CPUtime=2.97 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 6736 0 0 0 294 3 0 0 20 0 19 0 59515161 19452874752 35254 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=18996948 memory=-6000919481262763113 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59515163 19452874752 35254 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 59515163 19452874752 35254 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59515190 19452874752 35254 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 4.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141016 KiB

[startup+6.30016 s]
/proc/loadavg: 2.12 2.10 2.28 3/289 60847
/proc/meminfo: memFree=108761104/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=18996948 memory=161400 CPUtime=7.49 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 20970 0 0 0 743 6 0 0 20 0 19 0 59515158 19452874752 40350 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4749237 40350 5512 1 0 553037 0
[pid=60779/tid=60781] ppid=60776 vsize=18996948 memory=0 CPUtime=6.16 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 6844 0 0 0 613 3 0 0 20 0 19 0 59515161 19452874752 40350 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59515163 19452874752 40350 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 59515163 19452874752 40350 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=18996948 memory=130636 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59515190 19452874752 40350 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 161400 KiB

[startup+12.7001 s]
/proc/loadavg: 2.11 2.10 2.28 3/291 60849
/proc/meminfo: memFree=108716304/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19063512 memory=186476 CPUtime=13.94 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 26267 0 0 0 1387 7 0 0 20 0 20 0 59515158 19521036288 46619 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4765878 46619 5544 1 0 553342 0
[pid=60779/tid=60781] ppid=60776 vsize=19063512 memory=130636 CPUtime=12.52 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 7730 0 0 0 1249 3 0 0 20 0 20 0 59515161 19521036288 46619 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19063512 memory=186476 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 46619 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 46619 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59515190 19521036288 46619 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 13.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186476 KiB

[startup+25.5002 s]
/proc/loadavg: 2.09 2.09 2.28 3/291 60849
/proc/meminfo: memFree=108692232/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19063512 memory=198900 CPUtime=26.85 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 31162 0 0 0 2677 8 0 0 20 0 20 0 59515158 19521036288 49725 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4765878 49725 5544 1 0 553342 0
[pid=60779/tid=60781] ppid=60776 vsize=19063512 memory=186476 CPUtime=25.27 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 8469 0 0 0 2524 3 0 0 20 0 20 0 59515161 19521036288 49725 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 49725 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=19063512 memory=186476 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 49725 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59515190 19521036288 49725 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 26.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198900 KiB

[startup+51.1051 s]
/proc/loadavg: 2.06 2.08 2.27 3/291 60850
/proc/meminfo: memFree=108591052/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19063512 memory=250512 CPUtime=52.74 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 33434 0 0 0 5265 9 0 0 20 0 20 0 59515158 19521036288 62628 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4765878 62628 5544 1 0 553342 0
[pid=60779/tid=60781] ppid=60776 vsize=19063512 memory=250512 CPUtime=50.77 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 8975 0 0 0 5073 4 0 0 20 0 20 0 59515161 19521036288 62628 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 62628 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0

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

/proc/meminfo: memFree=103897356/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3281.72 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 94302 0 0 0 328065 107 0 0 20 0 20 0 59515158 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4765878 541272 5544 1 0 555332 0
[pid=60779/tid=60781] ppid=60776 vsize=19063512 memory=2163876 CPUtime=3271.44 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 35174 0 0 0 327123 21 0 0 20 0 20 0 59515161 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=19063512 memory=2165088 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 1715 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=19063512 memory=12544 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59515190 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 3281.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165088 KiB

[startup+3342.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/289 61018
/proc/meminfo: memFree=103896960/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3341.58 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 94378 0 0 0 334051 107 0 0 20 0 20 0 59515158 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4765878 541272 5544 1 0 555332 0
[pid=60779/tid=60781] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3331.28 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 35227 0 0 0 333107 21 0 0 20 0 20 0 59515161 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 1716 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=19063512 memory=2165088 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59515190 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 3341.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165088 KiB

[startup+3402.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/289 61020
/proc/meminfo: memFree=103897560/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3401.45 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 94750 0 0 0 340037 108 0 0 20 0 20 0 59515158 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4765878 541272 5544 1 0 555332 0
[pid=60779/tid=60781] ppid=60776 vsize=19063512 memory=3200 CPUtime=3391.13 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 35577 0 0 0 339092 21 0 0 20 0 20 0 59515161 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=19063512 memory=2165088 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 1716 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=19063512 memory=2165088 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59515190 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 3401.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165088 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/289 61022
/proc/meminfo: memFree=103898696/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3461.45 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 96327 0 0 0 346035 110 0 0 20 0 20 0 59515158 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4765878 541272 5544 1 0 555332 0
[pid=60779/tid=60781] ppid=60776 vsize=19063512 memory=3200 CPUtime=3450.84 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 36212 0 0 0 345063 21 0 0 20 0 20 0 59515161 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19063512 memory=2165088 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 1788 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=19063512 memory=2165088 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59515190 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 3461.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165088 KiB

[startup+3522.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/289 61024
/proc/meminfo: memFree=103897548/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3521.32 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 96850 0 0 0 352021 111 0 0 20 0 20 0 59515158 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4765878 541272 5544 1 0 555332 0
[pid=60779/tid=60781] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3510.69 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 36696 0 0 0 351048 21 0 0 20 0 20 0 59515161 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=19063512 memory=2165088 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 1801 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59515190 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 3521.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165088 KiB

[startup+3582.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/289 61026
/proc/meminfo: memFree=103897896/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3581.18 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 97218 0 0 0 358007 111 0 0 20 0 20 0 59515158 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4765878 541272 5544 1 0 555332 0
[pid=60779/tid=60781] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3570.55 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 37016 0 0 0 357034 21 0 0 20 0 20 0 59515161 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 1805 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=19063512 memory=2165088 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59515190 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 3581.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.8 s]
/proc/loadavg: 2.06 2.08 2.09 2/264 61060
/proc/meminfo: memFree=106874612/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3600.11 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 98346 0 0 0 359898 113 0 0 20 0 20 0 59515158 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4765878 541272 5544 1 0 555332 0
[pid=60779/tid=60781] ppid=60776 vsize=19063512 memory=2165088 CPUtime=3588.88 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 37377 0 0 0 358866 22 0 0 20 0 20 0 59515161 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19063512 memory=5144 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=19063512 memory=-6000919481262763113 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 1805 0 0 0 0 0 0 0 20 0 20 0 59515163 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60798] ppid=60776 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/60779/task/60798/stat : 60798 (Timer-0) S 60776 60779 59167 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59515190 19521036288 541272 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.45 s, system=1.14392 s

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

[startup+3601 s]*
/proc/loadavg: 2.06 2.08 2.09 4/265 61063
/proc/meminfo: memFree=106874612/131249988 swapFree=33010416/33010684
[pid=60779] ppid=60776 vsize=19263204 memory=2165856 CPUtime=3600.51 cores=0,2
/proc/60779/stat : 60779 (java) S 60776 60779 59167 0 -1 4194304 100666 0 0 0 359938 113 0 0 20 0 21 0 59515158 19725520896 541464 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
/proc/60779/statm: 4815801 541464 5576 1 0 556283 0
[pid=60779/tid=60781] ppid=60776 vsize=19263204 memory=9344 CPUtime=3588.97 cores=0,2
/proc/60779/task/60781/stat : 60781 (java) R 60776 60779 59167 0 -1 4194368 37441 0 0 0 358875 22 0 0 20 0 21 0 59515161 19725520896 541464 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60790] ppid=60776 vsize=19263204 memory=30292 CPUtime=0 cores=0,2
/proc/60779/task/60790/stat : 60790 (Finalizer) S 60776 60779 59167 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 59515163 19725520896 541464 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=60797] ppid=60776 vsize=19263204 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/60779/task/60797/stat : 60797 (Common-Cleaner) S 60776 60779 59167 0 -1 4194368 1805 0 0 0 0 0 0 0 20 0 21 0 59515163 19725520896 541464 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
[pid=60779/tid=61063] ppid=60776 vsize=19263204 memory=23860 CPUtime=0.06 cores=0,2
/proc/60779/task/61063/stat : 61063 (Thread-0) R 60776 60779 59167 0 -1 4194368 289 0 0 0 6 0 0 0 20 0 21 0 59875240 19725520896 541464 18446744073709551615 94348531036160 94348531039856 140722410791344 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94348531047672 94348531048464 94348554506240 140722410793345 140722410793446 140722410793446 140722410799048 0
Current children cumulated CPU time: 3600.51 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2165856 KiB

Child status: 143

Real time (s): 3601.06
CPU time (s): 3600.59
CPU user time (s): 3599.45
CPU system time (s): 1.14392
CPU usage (%): 99.9871
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2168996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.45
system time used= 1.14392
maximum resident set size= 2168996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105230
involuntary context switches= 9678


# summary of solver processes directly reported to runsolver:
#   pid: 60779
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3599.45
#   total CPU system time (s): 1.14392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53867 second user time and 15.0405 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-02 08:39:26
IDJOB=4503798
IDBENCH=155603
IDSOLVER=3363
FILE ID=nodeC031/4503798-1751438366
RUNJOBID= nodeC031-1751434764-60260
SLURM_JOB_ID= 9598370
Free space on /tmp= 432048 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503798-1751438366/watcher-4503798-1751438366 -o /tmp/evaluation-result-4503798-1751438366/solver-4503798-1751438366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751434764-60260 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4503798-1751438366.opb

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=186555452

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        108992448 kB
MemAvailable:   129626944 kB
Buffers:            2128 kB
Cached:         21320320 kB
SwapCached:           12 kB
Active:           490516 kB
Inactive:       20914044 kB
Active(anon):      89692 kB
Inactive(anon):    10472 kB
Active(file):     400824 kB
Inactive(file): 20903572 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1444 kB
Writeback:             0 kB
AnonPages:         85256 kB
Mapped:           104544 kB
Shmem:             18052 kB
KReclaimable:     338676 kB
Slab:             430648 kB
SReclaimable:     338676 kB
SUnreclaim:        91972 kB
KernelStack:        4064 kB
PageTables:         2848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     356760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432096 MiB
End job on nodeC031 at 2025-07-02 09:39:27