Trace number 4099788

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 PB 2.3.6 Resolution PB16SAT (TO)42258 1800.01 1775.27

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-air05.opb
MD5SUM7a59cd2d9b82be306fe717119e5558d0
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark33182
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31955
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints426
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint404
Number of terms in the objective function 7195
Biggest coefficient in the objective function 2679
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3908448
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2679
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3908448
Number of bits of the biggest sum of numbers22
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4099788-1466206492.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.53/0.39	c ... done. Wall clock time 0.272s.
0.53/0.39	c declared #vars     7195
0.53/0.39	c #constraints  852
0.53/0.39	c constraints type 
0.53/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 426
0.53/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 426
0.53/0.39	c 852 constraints processed.
0.53/0.39	c objective function length is 7195 literals
1.17/0.65	c SATISFIABLE
1.17/0.65	c OPTIMIZING...
1.17/0.65	c Got one! Elapsed wall clock time (in seconds):0.534
1.17/0.65	o 45655
1.34/0.74	c Got one! Elapsed wall clock time (in seconds):0.622
1.34/0.74	o 44867
1.50/0.85	c Got one! Elapsed wall clock time (in seconds):0.732
1.50/0.85	o 43962
1.80/1.03	c Got one! Elapsed wall clock time (in seconds):0.92
1.80/1.03	o 43775
1.99/1.15	c Got one! Elapsed wall clock time (in seconds):1.04
1.99/1.15	o 43708
2.20/1.28	c Got one! Elapsed wall clock time (in seconds):1.169
2.20/1.29	o 43628
2.86/1.80	c cleaning 4015 clauses out of 8035 with flag 14063/8055
4.20/3.17	c cleaning 5009 clauses out of 10019 with flag 35225/14054
5.87/4.70	c cleaning 6006 clauses out of 12012 with flag 60318/21056
6.29/5.15	c Got one! Elapsed wall clock time (in seconds):5.033
6.29/5.15	o 43529
6.69/5.57	c cleaning 5678 clauses out of 11356 with flag 14857/26411
8.10/6.93	c cleaning 5837 clauses out of 11678 with flag 38290/32411
10.01/8.81	c cleaning 6415 clauses out of 12841 with flag 71544/39411
12.10/10.95	c cleaning 7209 clauses out of 14426 with flag 112054/47411
14.40/13.26	c cleaning 8102 clauses out of 16217 with flag 153036/56411
16.70/15.51	c cleaning 9057 clauses out of 18116 with flag 200649/66412
19.69/18.46	c cleaning 10023 clauses out of 20058 with flag 261599/77411
22.79/21.58	c cleaning 11014 clauses out of 22037 with flag 322907/89413
26.39/25.19	c cleaning 12007 clauses out of 24023 with flag 394981/102413
30.30/29.07	c cleaning 13003 clauses out of 26016 with flag 479724/116413
34.70/33.33	c cleaning 13995 clauses out of 28012 with flag 571666/131412
39.60/38.29	c cleaning 14997 clauses out of 30016 with flag 674032/147411
45.66/44.11	c cleaning 16006 clauses out of 32019 with flag 789770/164411
52.34/50.64	c cleaning 17006 clauses out of 34014 with flag 937152/182412
57.63/55.91	c cleaning 17998 clauses out of 36010 with flag 1049150/201414
62.91/61.11	c cleaning 18999 clauses out of 38009 with flag 1141805/221411
63.81/62.01	c Got one! Elapsed wall clock time (in seconds):61.9
63.81/62.01	o 43507
64.11/62.36	c cleaning 12341 clauses out of 24688 with flag 7944/227094
64.91/63.18	c Got one! Elapsed wall clock time (in seconds):63.067
64.91/63.18	o 43310
65.01/63.22	c Got one! Elapsed wall clock time (in seconds):63.108
65.01/63.22	o 42586
65.21/63.40	c cleaning 9044 clauses out of 18103 with flag 6468/232850
66.41/64.65	c cleaning 7526 clauses out of 15056 with flag 38524/238847
67.91/66.19	c cleaning 7263 clauses out of 14532 with flag 77928/245849
69.71/67.94	c cleaning 7634 clauses out of 15268 with flag 124139/253848
72.01/70.11	c cleaning 8307 clauses out of 16633 with flag 167544/262847
74.51/72.62	c cleaning 9154 clauses out of 18326 with flag 219036/272847
77.10/75.28	c cleaning 10080 clauses out of 20172 with flag 274044/283847
80.21/78.35	c cleaning 11038 clauses out of 22092 with flag 341338/295847
83.51/81.60	c cleaning 12019 clauses out of 24057 with flag 414453/308850
87.08/85.18	c cleaning 13009 clauses out of 26035 with flag 494925/322847
91.09/89.18	c cleaning 14000 clauses out of 28026 with flag 577070/337847
95.38/93.41	c cleaning 15003 clauses out of 30027 with flag 672289/353848
99.98/97.96	c cleaning 16003 clauses out of 32024 with flag 774520/370848
105.07/103.02	c cleaning 17001 clauses out of 34020 with flag 890699/388847
110.57/108.44	c cleaning 18001 clauses out of 36020 with flag 1019800/407848
116.17/114.01	c cleaning 18999 clauses out of 38018 with flag 1153196/427847
121.93/119.79	c cleaning 20006 clauses out of 40019 with flag 1287296/448847
128.36/126.00	c cleaning 21007 clauses out of 42014 with flag 1439627/470848
134.46/132.11	c cleaning 22003 clauses out of 44007 with flag 1578258/493848
141.53/139.11	c cleaning 22999 clauses out of 46004 with flag 1737809/517848
149.58/147.12	c cleaning 23999 clauses out of 48005 with flag 1925814/542848
157.57/155.08	c cleaning 25003 clauses out of 50005 with flag 2115022/568847
166.98/164.31	c cleaning 25993 clauses out of 52005 with flag 2316391/595850
176.11/173.37	c cleaning 26999 clauses out of 54010 with flag 2520861/623848
184.99/182.18	c cleaning 28002 clauses out of 56010 with flag 2726529/652847
194.44/191.48	c cleaning 29000 clauses out of 58008 with flag 2945916/682847
204.75/201.66	c cleaning 30001 clauses out of 60009 with flag 3189948/713848
215.76/212.54	c cleaning 31002 clauses out of 62007 with flag 3452155/745847
225.64/222.33	c cleaning 32001 clauses out of 64005 with flag 3699143/778847
236.39/232.90	c cleaning 32995 clauses out of 66005 with flag 3971734/812848
247.71/244.14	c cleaning 34003 clauses out of 68012 with flag 4257665/847850
260.54/256.94	c cleaning 34998 clauses out of 70007 with flag 4487611/883848
272.01/268.34	c cleaning 35998 clauses out of 72011 with flag 4652682/920850
281.59/277.74	c cleaning 36990 clauses out of 74010 with flag 4826482/958847
290.84/286.91	c cleaning 38001 clauses out of 76021 with flag 5028150/997848
300.55/296.57	c cleaning 39001 clauses out of 78019 with flag 5255003/1037847
311.13/306.97	c cleaning 40001 clauses out of 80018 with flag 5525039/1078847
322.95/318.54	c cleaning 41005 clauses out of 82019 with flag 5775683/1120849
334.51/329.98	c cleaning 41997 clauses out of 84012 with flag 5981292/1163847
348.56/343.71	c cleaning 43003 clauses out of 86015 with flag 6185654/1207847
361.35/356.36	c cleaning 44001 clauses out of 88013 with flag 6398913/1252848
377.70/372.46	c cleaning 45001 clauses out of 90013 with flag 6649464/1298849
392.94/387.47	c cleaning 45995 clauses out of 92010 with flag 6882733/1345847
396.37/390.88	c Got one! Elapsed wall clock time (in seconds):390.767
396.37/390.88	o 42399
397.57/392.01	c cleaning 31276 clauses out of 62563 with flag 22943/1362396
398.87/393.30	c cleaning 18633 clauses out of 37287 with flag 49741/1368396
400.19/394.65	c cleaning 12812 clauses out of 25655 with flag 81786/1375397
401.70/396.18	c cleaning 10401 clauses out of 20843 with flag 110037/1383397
403.39/397.81	c cleaning 9705 clauses out of 19441 with flag 141434/1392396
405.21/399.67	c cleaning 9860 clauses out of 19736 with flag 177907/1402396
407.46/401.80	c cleaning 10436 clauses out of 20878 with flag 220644/1413398
409.76/404.14	c cleaning 11219 clauses out of 22440 with flag 275735/1425396
412.39/406.79	c cleaning 12108 clauses out of 24222 with flag 335588/1438397
415.62/409.92	c cleaning 13057 clauses out of 26113 with flag 415949/1452396
418.77/413.06	c cleaning 14025 clauses out of 28056 with flag 494783/1467396
422.42/416.62	c cleaning 15006 clauses out of 30031 with flag 576502/1483396
426.83/420.92	c cleaning 16010 clauses out of 32026 with flag 669032/1500397
431.06/425.15	c cleaning 17003 clauses out of 34016 with flag 767285/1518397
435.29/429.38	c cleaning 18001 clauses out of 36013 with flag 869082/1537397
440.27/434.29	c cleaning 18997 clauses out of 38011 with flag 1006620/1557396
445.51/439.48	c cleaning 20008 clauses out of 40015 with flag 1144314/1578397
451.24/445.02	c cleaning 20995 clauses out of 42007 with flag 1278936/1600397
457.33/451.02	c cleaning 22002 clauses out of 44014 with flag 1414523/1623399
463.62/457.27	c cleaning 22997 clauses out of 46009 with flag 1548645/1647396
470.22/463.72	c cleaning 24002 clauses out of 48013 with flag 1703906/1672397
476.36/469.88	c cleaning 25000 clauses out of 50011 with flag 1811450/1698397
483.21/476.62	c cleaning 26002 clauses out of 52012 with flag 1927716/1725398
489.88/483.25	c cleaning 26996 clauses out of 54008 with flag 2047976/1753396
497.37/490.62	c cleaning 28004 clauses out of 56014 with flag 2174114/1782398
504.67/497.85	c cleaning 28995 clauses out of 58008 with flag 2315156/1812396
512.76/505.88	c cleaning 29997 clauses out of 60013 with flag 2458683/1843396
520.96/513.92	c cleaning 31002 clauses out of 62016 with flag 2607424/1875396
529.24/522.19	c cleaning 32007 clauses out of 64016 with flag 2776576/1908398
537.82/530.66	c cleaning 33000 clauses out of 66009 with flag 2937137/1942398
547.15/539.89	c cleaning 34004 clauses out of 68007 with flag 3126927/1977396
557.27/549.86	c cleaning 34997 clauses out of 70003 with flag 3308334/2013396
567.62/560.07	c cleaning 35995 clauses out of 72007 with flag 3503401/2050397
577.90/570.12	c cleaning 37000 clauses out of 74011 with flag 3695977/2088396
588.77/580.90	c cleaning 38001 clauses out of 76013 with flag 3897745/2127398
600.45/592.30	c cleaning 38996 clauses out of 78010 with flag 4108384/2167396
612.18/603.94	c cleaning 40004 clauses out of 80014 with flag 4329696/2208396
625.09/616.61	c cleaning 40999 clauses out of 82012 with flag 4581473/2250398
637.68/629.05	c cleaning 42000 clauses out of 84012 with flag 4825508/2293397
650.88/642.15	c cleaning 43006 clauses out of 86011 with flag 5060513/2337396
664.57/655.67	c cleaning 43992 clauses out of 88006 with flag 5303769/2382397
679.30/670.23	c cleaning 45006 clauses out of 90013 with flag 5577866/2428396
695.17/685.98	c cleaning 45993 clauses out of 92008 with flag 5859824/2475397
710.58/701.07	c cleaning 47004 clauses out of 94014 with flag 6144787/2523396
726.24/716.51	c cleaning 47999 clauses out of 96010 with flag 6422373/2572396
743.05/733.11	c cleaning 48999 clauses out of 98012 with flag 6701262/2622397
760.37/750.24	c cleaning 49996 clauses out of 100012 with flag 7015179/2673396
777.19/766.86	c cleaning 51007 clauses out of 102016 with flag 7310784/2725396
794.87/784.32	c cleaning 51997 clauses out of 104009 with flag 7605296/2778396
813.52/802.72	c cleaning 52999 clauses out of 106013 with flag 7938194/2832397
833.76/822.76	c cleaning 54004 clauses out of 108013 with flag 8342112/2887396
854.09/842.57	c cleaning 54998 clauses out of 110010 with flag 8681321/2943397
874.56/862.30	c cleaning 56004 clauses out of 112011 with flag 9077142/3000396
892.29/879.72	c cleaning 56994 clauses out of 114007 with flag 9475357/3058396
910.80/897.91	c cleaning 58002 clauses out of 116015 with flag 9912913/3117398
929.88/916.71	c cleaning 58994 clauses out of 118012 with flag 10349762/3177397
949.40/935.99	c cleaning 60003 clauses out of 120018 with flag 10753393/3238397
968.30/954.69	c cleaning 60996 clauses out of 122016 with flag 11198165/3300398
991.42/977.44	c cleaning 61998 clauses out of 124019 with flag 11672665/3363397
1015.27/1000.93	c cleaning 63003 clauses out of 126021 with flag 12098923/3427397
1045.12/1030.46	c cleaning 64001 clauses out of 128018 with flag 12795366/3492397
1078.84/1063.62	c cleaning 65000 clauses out of 130020 with flag 13520109/3558400
1111.52/1095.88	c cleaning 66007 clauses out of 132018 with flag 14206477/3625398
1145.08/1128.97	c cleaning 66999 clauses out of 134011 with flag 14921383/3693398
1172.74/1156.38	c cleaning 67997 clauses out of 136011 with flag 15473148/3762397
1207.21/1190.54	c cleaning 69001 clauses out of 138013 with flag 16052181/3832396
1243.64/1226.56	c cleaning 70001 clauses out of 140014 with flag 16632536/3903398
1269.14/1251.68	c cleaning 70999 clauses out of 142012 with flag 17054801/3975397
1295.66/1277.86	c cleaning 72004 clauses out of 144013 with flag 17515803/4048397
1320.81/1302.64	c cleaning 73001 clauses out of 146009 with flag 17977020/4122397
1346.85/1328.30	c cleaning 73996 clauses out of 148007 with flag 18412953/4197396
1374.42/1355.63	c cleaning 75005 clauses out of 150012 with flag 18818835/4273397
1398.76/1379.62	c Got one! Elapsed wall clock time (in seconds):1379.508
1398.76/1379.62	o 42388
1399.06/1379.98	c Got one! Elapsed wall clock time (in seconds):1379.87
1399.06/1379.98	o 42258
1400.36/1381.24	c cleaning 73549 clauses out of 147112 with flag 23908/4345503
1401.91/1382.75	c cleaning 39772 clauses out of 79562 with flag 53944/4351502
1403.60/1384.44	c cleaning 23387 clauses out of 46790 with flag 88866/4358502
1405.65/1386.43	c cleaning 15688 clauses out of 31403 with flag 135713/4366502
1407.55/1388.39	c cleaning 12346 clauses out of 24716 with flag 187690/4375503
1409.99/1390.72	c cleaning 11174 clauses out of 22369 with flag 235904/4385502
1412.29/1393.09	c cleaning 11074 clauses out of 22196 with flag 282678/4396503
1415.12/1395.80	c cleaning 11558 clauses out of 23122 with flag 342269/4408503
1418.38/1399.05	c cleaning 12278 clauses out of 24563 with flag 412402/4421502
1421.86/1402.50	c cleaning 13137 clauses out of 26286 with flag 491345/4435503
1425.83/1406.30	c cleaning 14068 clauses out of 28148 with flag 580922/4450502
1429.88/1410.39	c cleaning 15037 clauses out of 30082 with flag 684959/4466504
1434.14/1414.55	c cleaning 16013 clauses out of 32043 with flag 779577/4483502
1438.97/1419.37	c cleaning 17012 clauses out of 34030 with flag 890496/4501502
1443.95/1424.26	c cleaning 18002 clauses out of 36018 with flag 1005938/4520502
1449.50/1429.72	c cleaning 19003 clauses out of 38018 with flag 1132926/4540504
1455.16/1435.32	c cleaning 20006 clauses out of 40013 with flag 1250462/4561502
1460.87/1440.99	c cleaning 20997 clauses out of 42007 with flag 1382044/4583502
1467.13/1447.13	c cleaning 22002 clauses out of 44011 with flag 1529480/4606503
1473.83/1453.78	c cleaning 23002 clauses out of 46008 with flag 1685039/4630502
1481.31/1461.18	c cleaning 23998 clauses out of 48006 with flag 1871761/4655502
1489.06/1468.76	c cleaning 25000 clauses out of 50008 with flag 2061217/4681502
1497.24/1476.81	c cleaning 25999 clauses out of 52008 with flag 2266581/4708502
1505.67/1485.14	c cleaning 27000 clauses out of 54010 with flag 2475757/4736503
1513.96/1493.32	c cleaning 28005 clauses out of 56010 with flag 2642569/4765503
1522.74/1501.93	c cleaning 28999 clauses out of 58004 with flag 2820748/4795502
1532.01/1511.09	c cleaning 29998 clauses out of 60007 with flag 3007251/4826504
1542.39/1521.23	c cleaning 30996 clauses out of 62007 with flag 3232606/4858502
1553.15/1531.82	c cleaning 31999 clauses out of 64011 with flag 3447066/4891502
1564.93/1543.47	c cleaning 33004 clauses out of 66012 with flag 3677389/4925502
1577.47/1555.76	c cleaning 34002 clauses out of 68008 with flag 3914133/4960502
1590.33/1568.32	c cleaning 34999 clauses out of 70007 with flag 4161399/4996503
1604.00/1581.76	c cleaning 36003 clauses out of 72007 with flag 4413657/5033502
1617.53/1595.10	c cleaning 36997 clauses out of 74005 with flag 4655734/5071503
1631.59/1608.99	c cleaning 37997 clauses out of 76007 with flag 4915277/5110502
1646.25/1623.49	c cleaning 39001 clauses out of 78011 with flag 5206692/5150503
1660.73/1637.60	c cleaning 39996 clauses out of 80010 with flag 5490918/5191503
1673.81/1650.66	c cleaning 41002 clauses out of 82016 with flag 5741309/5233505
1688.13/1664.76	c cleaning 42002 clauses out of 84012 with flag 5997132/5276503
1703.55/1679.95	c cleaning 43002 clauses out of 86010 with flag 6272801/5320503
1718.83/1695.00	c cleaning 43994 clauses out of 88008 with flag 6585308/5365503
1734.43/1710.53	c cleaning 45005 clauses out of 90015 with flag 6882449/5411504
1749.58/1725.58	c cleaning 45999 clauses out of 92008 with flag 7193534/5458502
1765.78/1741.54	c cleaning 47003 clauses out of 94009 with flag 7496488/5506502
1784.46/1759.92	c cleaning 47998 clauses out of 96007 with flag 7875103/5555503
1800.01/1775.20	c starts		: 1070
1800.01/1775.20	c conflicts		: 5597063
1800.01/1775.20	c decisions		: 7009898
1800.01/1775.20	c propagations		: 118300838
1800.01/1775.20	c inspects		: 12582827422
1800.01/1775.20	c shortcuts		: 0
1800.01/1775.20	c learnt literals	: 32
1800.01/1775.20	c learnt binary clauses	: 22
1800.01/1775.20	c learnt ternary clauses	: 27
1800.01/1775.20	c learnt constraints	: 5597031
1800.01/1775.20	c ignored constraints	: 0
1800.01/1775.20	c root simplifications	: 0
1800.01/1775.20	c removed literals (reason simplification)	: 0
1800.01/1775.20	c reason swapping (by a shorter reason)	: 0
1800.01/1775.20	c Calls to reduceDB	: 180
1800.01/1775.20	c Number of update (reduction) of LBD	: 454705
1800.01/1775.20	c Imported unit clauses	: 0
1800.01/1775.20	c number of reductions to clauses (during analyze)	: 0
1800.01/1775.20	c number of learned constraints concerned by reduction	: 0
1800.01/1775.20	c number of learning phase by resolution	: 0
1800.01/1775.20	c number of learning phase by cutting planes	: 0
1800.01/1775.20	c speed (assignments/second)	: 66656.20797040328
1800.01/1775.20	c non guided choices	0
1800.01/1775.22	c learnt constraints type 
1800.01/1775.22	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 22
1800.01/1775.22	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 89547
1800.01/1775.22	s SATISFIABLE
1800.01/1775.22	c Found 13 solution(s)
1800.01/1775.24	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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 x6334 x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 
1800.01/1775.25	c objective function=42258
1800.01/1775.25	c Total wall clock time (in seconds): 1775.133

Verifier Data 

OK	42258

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4099788-1466206492/watcher-4099788-1466206492 -o /tmp/evaluation-result-4099788-1466206492/solver-4099788-1466206492 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15533 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099788-1466206492.opb 

pid=16691
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.14 1.64 0.86 2/194 16694
/proc/meminfo: memFree=29896048/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/16694/stat : 16694 (java) D 16691 16694 15516 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 22695854 2560000 46 33554432000 1073741824 1073778376 140736736209088 140736736206216 270698376487 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.14 1.64 0.86 2/194 16694
/proc/meminfo: memFree=29896048/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/16694/stat : 16694 (java) S 16691 16694 15516 0 -1 4202496 4435 0 1 0 8 1 0 0 20 0 18 0 22695854 9787879424 5563 33554432000 1073741824 1073778376 140736736209088 140736736200224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 2389619 5563 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 2.14 1.64 0.86 2/194 16694
/proc/meminfo: memFree=29896048/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/16694/stat : 16694 (java) S 16691 16694 15516 0 -1 4202496 5138 0 1 0 28 1 0 0 20 0 18 0 22695854 9787879424 6454 33554432000 1073741824 1073778376 140736736209088 140736736200224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 2389619 6454 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300222 s]
/proc/loadavg: 2.14 1.64 0.86 2/194 16694
/proc/meminfo: memFree=29896048/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/16694/stat : 16694 (java) S 16691 16694 15516 0 -1 4202496 7654 0 1 0 51 2 0 0 20 0 18 0 22695854 9787879424 10476 33554432000 1073741824 1073778376 140736736209088 140736736200224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 2389619 10488 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700193 s]
/proc/loadavg: 2.14 1.64 0.86 2/194 16694
/proc/meminfo: memFree=29896048/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/16694/stat : 16694 (java) S 16691 16694 15516 0 -1 4202496 9378 0 1 0 130 4 0 0 20 0 19 0 22695854 9856040960 25899 33554432000 1073741824 1073778376 140736736209088 140736736200224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 2406260 25899 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.14 1.64 0.86 4/213 16713
/proc/meminfo: memFree=29791192/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=9625040 CPUtime=2.53 cores=1,3,5,7
/proc/16694/stat : 16694 (java) S 16691 16694 15516 0 -1 4202496 9899 0 1 0 249 4 0 0 20 0 19 0 22695854 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140736736200224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 2406260 31092 2261 9 0 2396937 0
[pid=16694/tid=16696] ppid=16691 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/16694/task/16696/stat : 16696 (java) R 16691 16694 15516 0 -1 4202560 2510 0 1 0 143 3 0 0 20 0 19 0 22695855 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669648138544 140669521171165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16697] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16697/stat : 16697 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669492050216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16698] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16698/stat : 16698 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669490997416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16699] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16699/stat : 16699 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669489945128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16700] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16700/stat : 16700 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669488892328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16701] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16701/stat : 16701 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669487840040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16702] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16702/stat : 16702 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669486787240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16703] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16703/stat : 16703 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669485734952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16704] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16704/stat : 16704 (java) S 16691 16694 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669484682152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16705] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16705/stat : 16705 (java) S 16691 16694 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22695857 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669472270568 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16706] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16706/stat : 16706 (java) S 16691 16694 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669471216632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16707] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16707/stat : 16707 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669470164232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16708] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16708/stat : 16708 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669469112720 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16709] ppid=16691 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/16694/task/16709/stat : 16709 (java) S 16691 16694 15516 0 -1 4202560 3349 0 0 0 58 0 0 0 20 0 19 0 22695860 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669468060344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16710] ppid=16691 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/16694/task/16710/stat : 16710 (java) S 16691 16694 15516 0 -1 4202560 2767 0 0 0 46 0 0 0 20 0 19 0 22695860 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669467007544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16711] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16711/stat : 16711 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669465955448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16712] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16712/stat : 16712 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669464902856 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16713] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16713/stat : 16713 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695896 9856040960 31092 33554432000 1073741824 1073778376 140736736209088 140669463847848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.13 1.65 0.86 3/213 16713
/proc/meminfo: memFree=29771768/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=9625040 CPUtime=4.2 cores=1,3,5,7
/proc/16694/stat : 16694 (java) S 16691 16694 15516 0 -1 4202496 9934 0 1 0 415 5 0 0 20 0 19 0 22695854 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140736736200224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 2406260 35710 2265 9 0 2396937 0
[pid=16694/tid=16696] ppid=16691 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/16694/task/16696/stat : 16696 (java) R 16691 16694 15516 0 -1 4202560 2520 0 1 0 302 3 0 0 20 0 19 0 22695855 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669648144904 140669521436101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16697] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16697/stat : 16697 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669492050216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16698] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16698/stat : 16698 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669490997416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16699] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16699/stat : 16699 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669489945128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16700] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16700/stat : 16700 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669488892328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16701] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16701/stat : 16701 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669487840040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16702] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16702/stat : 16702 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669486787240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16703] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16703/stat : 16703 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669485734952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16704] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16704/stat : 16704 (java) S 16691 16694 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669484682152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16705] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16705/stat : 16705 (java) S 16691 16694 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22695857 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669472270568 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16706] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16706/stat : 16706 (java) S 16691 16694 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669471216632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16707] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16707/stat : 16707 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669470164232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16708] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16708/stat : 16708 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669469112720 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16709] ppid=16691 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/16694/task/16709/stat : 16709 (java) S 16691 16694 15516 0 -1 4202560 3370 0 0 0 62 0 0 0 20 0 19 0 22695860 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669468060344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16710] ppid=16691 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/16694/task/16710/stat : 16710 (java) S 16691 16694 15516 0 -1 4202560 2771 0 0 0 48 0 0 0 20 0 19 0 22695860 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669467007544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16711] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16711/stat : 16711 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669465955448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16712] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16712/stat : 16712 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669464902856 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16713] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16713/stat : 16713 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695896 9856040960 35710 33554432000 1073741824 1073778376 140736736209088 140669463847848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.13 1.65 0.86 3/213 16713
/proc/meminfo: memFree=29711780/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=9625040 CPUtime=7.5 cores=1,3,5,7
/proc/16694/stat : 16694 (java) S 16691 16694 15516 0 -1 4202496 10041 0 1 0 741 9 0 0 20 0 19 0 22695854 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140736736200224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 2406260 47940 2279 9 0 2396937 0
[pid=16694/tid=16696] ppid=16691 vsize=9625040 CPUtime=6.21 cores=1,3,5,7
/proc/16694/task/16696/stat : 16696 (java) R 16691 16694 15516 0 -1 4202560 2535 0 1 0 618 3 0 0 20 0 19 0 22695855 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669648144784 140669521459918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16697] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16697/stat : 16697 (java) S 16691 16694 15516 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669492050216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16698] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16698/stat : 16698 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669490997416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16699] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16699/stat : 16699 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669489945128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16700] ppid=16691 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/16694/task/16700/stat : 16700 (java) S 16691 16694 15516 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 22695856 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669488892328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16701] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16701/stat : 16701 (java) S 16691 16694 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669487840040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16702] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16702/stat : 16702 (java) S 16691 16694 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669486787240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16703] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16703/stat : 16703 (java) S 16691 16694 15516 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669485734952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16704] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16704/stat : 16704 (java) S 16691 16694 15516 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 22695856 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669484682152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16705] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16705/stat : 16705 (java) S 16691 16694 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22695857 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669472270568 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16706] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16706/stat : 16706 (java) S 16691 16694 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669471216632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16707] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16707/stat : 16707 (java) S 16691 16694 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669470164232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16708] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16708/stat : 16708 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669469112720 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16709] ppid=16691 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/16694/task/16709/stat : 16709 (java) S 16691 16694 15516 0 -1 4202560 3371 0 0 0 64 0 0 0 20 0 19 0 22695860 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669468060344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16710] ppid=16691 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/16694/task/16710/stat : 16710 (java) S 16691 16694 15516 0 -1 4202560 2777 0 0 0 51 0 0 0 20 0 19 0 22695860 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669467007544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16711] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16711/stat : 16711 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669465955448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16712] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16712/stat : 16712 (java) S 16691 16694 15516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669464902856 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16713] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16713/stat : 16713 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695896 9856040960 47940 33554432000 1073741824 1073778376 140736736209088 140669463847848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 9625040


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

[pid=16694/tid=16713] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16713/stat : 16713 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695896 9856040960 177980 33554432000 1073741824 1073778376 140736736209088 140669463847848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1624.89
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.21 2.25 2.02 4/213 16845
/proc/meminfo: memFree=28915748/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=9625040 CPUtime=1685.62 cores=1,3,5,7
/proc/16694/stat : 16694 (java) S 16691 16694 15516 0 -1 4202496 35905 0 1 0 168282 280 0 0 20 0 19 0 22695854 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140736736200224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 2406260 188798 2288 9 0 2396937 0
[pid=16694/tid=16696] ppid=16691 vsize=9625040 CPUtime=1643.51 cores=1,3,5,7
/proc/16694/task/16696/stat : 16696 (java) R 16691 16694 15516 0 -1 4202560 2897 0 1 0 164322 29 0 0 20 0 19 0 22695855 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669648145616 140669521436150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16697] ppid=16691 vsize=9625040 CPUtime=4 cores=1,3,5,7
/proc/16694/task/16697/stat : 16697 (java) S 16691 16694 15516 0 -1 4202560 3163 0 0 0 367 33 0 0 20 0 19 0 22695856 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669492050216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16698] ppid=16691 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/16694/task/16698/stat : 16698 (java) S 16691 16694 15516 0 -1 4202560 2360 0 0 0 376 27 0 0 20 0 19 0 22695856 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669490997416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16699] ppid=16691 vsize=9625040 CPUtime=3.92 cores=1,3,5,7
/proc/16694/task/16699/stat : 16699 (java) S 16691 16694 15516 0 -1 4202560 3109 0 0 0 364 28 0 0 20 0 19 0 22695856 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669489945128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16700] ppid=16691 vsize=9625040 CPUtime=3.92 cores=1,3,5,7
/proc/16694/task/16700/stat : 16700 (java) S 16691 16694 15516 0 -1 4202560 1850 0 0 0 362 30 0 0 20 0 19 0 22695856 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669488892328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16701] ppid=16691 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/16694/task/16701/stat : 16701 (java) S 16691 16694 15516 0 -1 4202560 2970 0 0 0 351 31 0 0 20 0 19 0 22695856 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669487840040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16702] ppid=16691 vsize=9625040 CPUtime=3.67 cores=1,3,5,7
/proc/16694/task/16702/stat : 16702 (java) S 16691 16694 15516 0 -1 4202560 2405 0 0 0 339 28 0 0 20 0 19 0 22695856 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669486787240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16703] ppid=16691 vsize=9625040 CPUtime=4.02 cores=1,3,5,7
/proc/16694/task/16703/stat : 16703 (java) S 16691 16694 15516 0 -1 4202560 3881 0 0 0 368 34 0 0 20 0 19 0 22695856 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669485734952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16704] ppid=16691 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/16694/task/16704/stat : 16704 (java) S 16691 16694 15516 0 -1 4202560 3054 0 0 0 350 32 0 0 20 0 19 0 22695856 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669484682152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16705] ppid=16691 vsize=9625040 CPUtime=5.35 cores=1,3,5,7
/proc/16694/task/16705/stat : 16705 (java) S 16691 16694 15516 0 -1 4202560 2709 0 0 0 526 9 0 0 20 0 19 0 22695857 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669472270568 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16706] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16706/stat : 16706 (java) S 16691 16694 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669471216632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16707] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16707/stat : 16707 (java) S 16691 16694 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669470164232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16708] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16708/stat : 16708 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669469112720 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16709] ppid=16691 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/16694/task/16709/stat : 16709 (java) S 16691 16694 15516 0 -1 4202560 3371 0 0 0 64 0 0 0 20 0 19 0 22695860 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669468060344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16710] ppid=16691 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/16694/task/16710/stat : 16710 (java) S 16691 16694 15516 0 -1 4202560 2782 0 0 0 54 0 0 0 20 0 19 0 22695860 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669467007544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16711] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16711/stat : 16711 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669465955448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16712] ppid=16691 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/16694/task/16712/stat : 16712 (java) S 16691 16694 15516 0 -1 4202560 95 0 0 0 19 23 0 0 20 0 19 0 22695860 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669464902856 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16713] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16713/stat : 16713 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695896 9856040960 188798 33554432000 1073741824 1073778376 140736736209088 140669463847848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1685.62
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.41 2.30 2.04 3/213 16846
/proc/meminfo: memFree=28938068/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=9625040 CPUtime=1746.38 cores=1,3,5,7
/proc/16694/stat : 16694 (java) S 16691 16694 15516 0 -1 4202496 36041 0 1 0 174353 285 0 0 20 0 19 0 22695854 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140736736200224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 2406260 195994 2288 9 0 2396937 0
[pid=16694/tid=16696] ppid=16691 vsize=9625040 CPUtime=1702.8 cores=1,3,5,7
/proc/16694/task/16696/stat : 16696 (java) R 16691 16694 15516 0 -1 4202560 2908 0 1 0 170250 30 0 0 20 0 19 0 22695855 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669648145616 140669521221755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16697] ppid=16691 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/16694/task/16697/stat : 16697 (java) S 16691 16694 15516 0 -1 4202560 3175 0 0 0 378 34 0 0 20 0 19 0 22695856 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669492050216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16698] ppid=16691 vsize=9625040 CPUtime=4.16 cores=1,3,5,7
/proc/16694/task/16698/stat : 16698 (java) S 16691 16694 15516 0 -1 4202560 2363 0 0 0 389 27 0 0 20 0 19 0 22695856 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669490997416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16699] ppid=16691 vsize=9625040 CPUtime=4.06 cores=1,3,5,7
/proc/16694/task/16699/stat : 16699 (java) S 16691 16694 15516 0 -1 4202560 3118 0 0 0 378 28 0 0 20 0 19 0 22695856 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669489945128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16700] ppid=16691 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/16694/task/16700/stat : 16700 (java) S 16691 16694 15516 0 -1 4202560 1868 0 0 0 374 31 0 0 20 0 19 0 22695856 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669488892328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16701] ppid=16691 vsize=9625040 CPUtime=3.96 cores=1,3,5,7
/proc/16694/task/16701/stat : 16701 (java) S 16691 16694 15516 0 -1 4202560 2980 0 0 0 364 32 0 0 20 0 19 0 22695856 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669487840040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16702] ppid=16691 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/16694/task/16702/stat : 16702 (java) S 16691 16694 15516 0 -1 4202560 2422 0 0 0 351 29 0 0 20 0 19 0 22695856 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669486787240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16703] ppid=16691 vsize=9625040 CPUtime=4.22 cores=1,3,5,7
/proc/16694/task/16703/stat : 16703 (java) S 16691 16694 15516 0 -1 4202560 3910 0 0 0 387 35 0 0 20 0 19 0 22695856 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669485734952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16704] ppid=16691 vsize=9625040 CPUtime=3.92 cores=1,3,5,7
/proc/16694/task/16704/stat : 16704 (java) S 16691 16694 15516 0 -1 4202560 3066 0 0 0 360 32 0 0 20 0 19 0 22695856 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669484682152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16705] ppid=16691 vsize=9625040 CPUtime=5.56 cores=1,3,5,7
/proc/16694/task/16705/stat : 16705 (java) S 16691 16694 15516 0 -1 4202560 2720 0 0 0 547 9 0 0 20 0 19 0 22695857 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669472270568 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16706] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16706/stat : 16706 (java) S 16691 16694 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669471216632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16707] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16707/stat : 16707 (java) S 16691 16694 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669470164232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16708] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16708/stat : 16708 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669469112720 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16709] ppid=16691 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/16694/task/16709/stat : 16709 (java) S 16691 16694 15516 0 -1 4202560 3371 0 0 0 64 0 0 0 20 0 19 0 22695860 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669468060344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16710] ppid=16691 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/16694/task/16710/stat : 16710 (java) S 16691 16694 15516 0 -1 4202560 2782 0 0 0 54 0 0 0 20 0 19 0 22695860 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669467007544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16711] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16711/stat : 16711 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669465955448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16712] ppid=16691 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/16694/task/16712/stat : 16712 (java) S 16691 16694 15516 0 -1 4202560 99 0 0 0 21 24 0 0 20 0 19 0 22695860 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669464902856 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16713] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16713/stat : 16713 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695896 9856040960 195994 33554432000 1073741824 1073778376 140736736209088 140669463847848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1746.38
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.2 s]
/proc/loadavg: 2.36 2.30 2.06 4/213 16847
/proc/meminfo: memFree=29045528/32872528 swapFree=1542984/1696284
[pid=16694] ppid=16691 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/16694/stat : 16694 (java) S 16691 16694 15516 0 -1 4202496 36186 0 1 0 179714 287 0 0 20 0 19 0 22695854 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140736736200224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16694/statm: 2406260 185310 2288 9 0 2396937 0
[pid=16694/tid=16696] ppid=16691 vsize=9625040 CPUtime=1754.98 cores=1,3,5,7
/proc/16694/task/16696/stat : 16696 (java) R 16691 16694 15516 0 -1 4202560 2921 0 1 0 175467 31 0 0 20 0 19 0 22695855 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669648145616 140669521221272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16697] ppid=16691 vsize=9625040 CPUtime=4.25 cores=1,3,5,7
/proc/16694/task/16697/stat : 16697 (java) S 16691 16694 15516 0 -1 4202560 3175 0 0 0 391 34 0 0 20 0 19 0 22695856 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669492050216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16698] ppid=16691 vsize=9625040 CPUtime=4.26 cores=1,3,5,7
/proc/16694/task/16698/stat : 16698 (java) S 16691 16694 15516 0 -1 4202560 2363 0 0 0 399 27 0 0 20 0 19 0 22695856 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669490997416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16699] ppid=16691 vsize=9625040 CPUtime=4.18 cores=1,3,5,7
/proc/16694/task/16699/stat : 16699 (java) S 16691 16694 15516 0 -1 4202560 3118 0 0 0 390 28 0 0 20 0 19 0 22695856 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669489945128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16700] ppid=16691 vsize=9625040 CPUtime=4.18 cores=1,3,5,7
/proc/16694/task/16700/stat : 16700 (java) S 16691 16694 15516 0 -1 4202560 1868 0 0 0 387 31 0 0 20 0 19 0 22695856 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669488892328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16701] ppid=16691 vsize=9625040 CPUtime=4.1 cores=1,3,5,7
/proc/16694/task/16701/stat : 16701 (java) S 16691 16694 15516 0 -1 4202560 2980 0 0 0 378 32 0 0 20 0 19 0 22695856 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669487840040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16694/tid=16702] ppid=16691 vsize=9625040 CPUtime=3.93 cores=1,3,5,7
/proc/16694/task/16702/stat : 16702 (java) S 16691 16694 15516 0 -1 4202560 2430 0 0 0 364 29 0 0 20 0 19 0 22695856 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669486787240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16703] ppid=16691 vsize=9625040 CPUtime=4.36 cores=1,3,5,7
/proc/16694/task/16703/stat : 16703 (java) S 16691 16694 15516 0 -1 4202560 3910 0 0 0 400 36 0 0 20 0 19 0 22695856 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669485734952 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16704] ppid=16691 vsize=9625040 CPUtime=4.07 cores=1,3,5,7
/proc/16694/task/16704/stat : 16704 (java) S 16691 16694 15516 0 -1 4202560 3066 0 0 0 375 32 0 0 20 0 19 0 22695856 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669484682152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16705] ppid=16691 vsize=9625040 CPUtime=5.85 cores=1,3,5,7
/proc/16694/task/16705/stat : 16705 (java) S 16691 16694 15516 0 -1 4202560 2840 0 0 0 576 9 0 0 20 0 19 0 22695857 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669472270568 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16706] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16706/stat : 16706 (java) S 16691 16694 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669471216632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16707] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16707/stat : 16707 (java) S 16691 16694 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22695858 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669470164232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16708] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16708/stat : 16708 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669469112720 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16709] ppid=16691 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/16694/task/16709/stat : 16709 (java) S 16691 16694 15516 0 -1 4202560 3371 0 0 0 64 0 0 0 20 0 19 0 22695860 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669468060344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16694/tid=16710] ppid=16691 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/16694/task/16710/stat : 16710 (java) S 16691 16694 15516 0 -1 4202560 2782 0 0 0 54 0 0 0 20 0 19 0 22695860 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669467007544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16711] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16711/stat : 16711 (java) S 16691 16694 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22695860 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669465955448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16694/tid=16712] ppid=16691 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/16694/task/16712/stat : 16712 (java) S 16691 16694 15516 0 -1 4202560 103 0 0 0 21 25 0 0 20 0 19 0 22695860 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669464902856 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16694/tid=16713] ppid=16691 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16694/task/16713/stat : 16713 (java) S 16691 16694 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22695896 9856040960 185310 33554432000 1073741824 1073778376 140736736209088 140669463847848 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16694 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16694 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=908436
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=283500
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1775.27
CPU time (s): 1800.01
CPU user time (s): 1797.14
CPU system time (s): 2.87
CPU usage (%): 101.394
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.91
system time used= 3.2835
maximum resident set size= 1143304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36233
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49546
involuntary context switches= 53151

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3124 second user time and 13.124 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 01:34:52
IDJOB=4099788
IDBENCH=1521
IDSOLVER=2546
FILE ID=node125/4099788-1466206492
RUNJOBID= node125-1466206074-15533
PBS_JOBID= 19918152
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099788-1466206492/watcher-4099788-1466206492 -o /tmp/evaluation-result-4099788-1466206492/solver-4099788-1466206492 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15533 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4099788-1466206492.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7a59cd2d9b82be306fe717119e5558d0
RANDOM SEED=335449138

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29896592 kB
Buffers:           36324 kB
Cached:            68600 kB
SwapCached:          684 kB
Active:           483644 kB
Inactive:          61840 kB
Active(anon):     441728 kB
Inactive(anon):      996 kB
Active(file):      41916 kB
Inactive(file):    60844 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098192 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       2203296 kB
Mapped:            15384 kB
Shmem:                 0 kB
Slab:             570604 kB
SReclaimable:      14340 kB
SUnreclaim:       556264 kB
KernelStack:        1760 kB
PageTables:         8640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2466332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    630784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node125 at 2016-06-18 02:04:28