Trace number 3492503

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08MSAT (TO) 1800.15 1794.46

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM32809f4710e615fcaa140bf3e08c6c73
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.997847
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6000
Total number of constraints220
Number of soft constraints220
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60
Top cost 11307
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 11306
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
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.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492503-1307910831.wbo
0.10/0.11	c reading problem ... 
0.53/0.30	c ... done. Wall clock time 0.191s.
0.53/0.30	c #vars     6220
0.53/0.30	c #constraints  220
0.53/0.30	c constraints type 
0.53/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120
0.53/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
1.39/0.60	c SATISFIABLE
1.39/0.60	c OPTIMIZING...
1.39/0.60	c Got one! Elapsed wall clock time (in seconds):0.495
1.39/0.61	o 184
1.55/0.72	c Got one! Elapsed wall clock time (in seconds):0.609
1.55/0.72	o 180
1.55/0.78	c Got one! Elapsed wall clock time (in seconds):0.672
1.55/0.78	o 152
2.08/1.22	c Got one! Elapsed wall clock time (in seconds):1.106
2.08/1.22	o 148
2.19/1.31	c Got one! Elapsed wall clock time (in seconds):1.198
2.19/1.31	o 131
2.50/1.61	c Got one! Elapsed wall clock time (in seconds):1.496
2.50/1.61	o 118
3.40/2.54	c Got one! Elapsed wall clock time (in seconds):2.433
3.40/2.54	o 115
3.70/2.82	c cleaning 4187 clauses out of 8374 with flag 1002/8374
3.93/3.01	c Got one! Elapsed wall clock time (in seconds):2.9
3.93/3.01	o 77
4.15/3.28	c Got one! Elapsed wall clock time (in seconds):3.171
4.15/3.28	o 70
5.16/4.28	c cleaning 4749 clauses out of 9499 with flag 3001/13686
5.68/4.71	c Got one! Elapsed wall clock time (in seconds):4.6
5.68/4.71	o 60
7.10/6.14	c Got one! Elapsed wall clock time (in seconds):6.026
7.10/6.14	o 42
7.82/6.80	c cleaning 5293 clauses out of 10592 with flag 1002/19528
9.03/8.08	c Got one! Elapsed wall clock time (in seconds):7.973
9.03/8.08	o 40
9.84/8.81	c cleaning 5593 clauses out of 11217 with flag 3002/25446
12.18/11.17	c cleaning 5789 clauses out of 11622 with flag 9000/31444
12.59/11.59	c Got one! Elapsed wall clock time (in seconds):11.484
12.59/11.59	o 35
13.89/12.81	c Got one! Elapsed wall clock time (in seconds):12.701
13.89/12.81	o 30
15.19/14.14	c cleaning 6071 clauses out of 12145 with flag 2004/37756
16.89/15.84	c cleaning 6018 clauses out of 12072 with flag 8002/43754
18.90/17.87	c Got one! Elapsed wall clock time (in seconds):17.765
18.90/17.87	o 28
19.50/18.41	c Got one! Elapsed wall clock time (in seconds):18.302
19.50/18.41	o 13
20.90/19.81	c Got one! Elapsed wall clock time (in seconds):19.698
20.90/19.81	o 9
21.60/20.59	c cleaning 9110 clauses out of 18222 with flag 1001/55922
23.83/22.77	c cleaning 7501 clauses out of 15111 with flag 7000/61921
24.44/23.31	c Got one! Elapsed wall clock time (in seconds):23.205
24.44/23.31	o 7
27.96/26.81	c cleaning 6565 clauses out of 13137 with flag 4000/67448
30.67/29.54	c cleaning 6263 clauses out of 12573 with flag 10001/73449
32.98/31.82	c Got one! Elapsed wall clock time (in seconds):31.714
32.98/31.82	o 6
33.38/32.21	c cleaning 5976 clauses out of 11995 with flag 1003/79134
36.49/35.34	c cleaning 5961 clauses out of 12016 with flag 7000/85131
40.49/39.35	c cleaning 6500 clauses out of 13057 with flag 14002/92133
46.00/44.87	c cleaning 7256 clauses out of 14557 with flag 22002/100133
51.81/50.64	c cleaning 8121 clauses out of 16300 with flag 31001/109132
57.32/56.14	c Got one! Elapsed wall clock time (in seconds):56.028
57.32/56.14	o 5
59.11/57.90	c cleaning 11413 clauses out of 22841 with flag 5000/123794
61.84/60.67	c Got one! Elapsed wall clock time (in seconds):60.558
61.84/60.67	o 4
62.44/61.26	c cleaning 8409 clauses out of 16829 with flag 1002/129195
65.76/64.55	c cleaning 7191 clauses out of 14419 with flag 7001/135194
69.16/67.97	c cleaning 7086 clauses out of 14228 with flag 14001/142194
72.57/71.34	c cleaning 7534 clauses out of 15144 with flag 22003/150196
77.19/75.94	c cleaning 8248 clauses out of 16612 with flag 31005/159198
86.30/85.06	c cleaning 9126 clauses out of 18361 with flag 41002/169195
92.61/91.35	c Got one! Elapsed wall clock time (in seconds):91.236
92.61/91.35	o 3
94.81/93.51	c cleaning 10693 clauses out of 21474 with flag 5000/181434
98.72/97.46	c cleaning 8361 clauses out of 16784 with flag 11003/187437
103.33/102.02	c cleaning 7669 clauses out of 15421 with flag 18001/194435
109.84/108.59	c cleaning 7845 clauses out of 15753 with flag 26002/202436
115.65/114.32	c cleaning 8430 clauses out of 16906 with flag 35000/211434
120.36/119.05	c cleaning 9211 clauses out of 18476 with flag 45000/221434
125.17/123.83	c cleaning 9616 clauses out of 19266 with flag 55001/231435
131.19/129.84	c cleaning 9793 clauses out of 19651 with flag 65002/241436
138.40/137.09	c cleaning 9894 clauses out of 19856 with flag 75000/251434
146.11/144.70	c cleaning 9944 clauses out of 19963 with flag 85001/261435
150.32/148.91	c cleaning 9966 clauses out of 20018 with flag 95000/271434
156.63/155.28	c cleaning 9983 clauses out of 20052 with flag 105000/281434
162.94/161.52	c cleaning 10009 clauses out of 20073 with flag 115004/291438
171.45/170.03	c cleaning 10015 clauses out of 20060 with flag 125000/301434
180.07/178.61	c cleaning 10005 clauses out of 20047 with flag 135002/311436
188.88/187.48	c cleaning 10007 clauses out of 20043 with flag 145003/321437
193.80/192.33	c cleaning 10003 clauses out of 20037 with flag 155004/331438
198.33/196.81	c cleaning 10002 clauses out of 20032 with flag 165002/341436
203.16/201.66	c cleaning 9941 clauses out of 20031 with flag 175003/351437
207.59/206.08	c cleaning 9965 clauses out of 20087 with flag 185000/361434
212.20/210.69	c cleaning 9984 clauses out of 20122 with flag 195000/371434
216.23/214.63	c cleaning 9988 clauses out of 20138 with flag 205000/381434
220.65/219.03	c cleaning 9990 clauses out of 20152 with flag 215002/391436
225.97/224.38	c cleaning 10055 clauses out of 20160 with flag 225000/401434
232.98/231.31	c cleaning 10020 clauses out of 20106 with flag 235001/411435
240.72/239.01	c cleaning 10026 clauses out of 20086 with flag 245001/421435
247.33/245.63	c cleaning 10013 clauses out of 20059 with flag 255000/431434
252.34/250.70	c cleaning 9980 clauses out of 20046 with flag 265000/441434
257.55/255.83	c cleaning 10000 clauses out of 20066 with flag 275000/451434
260.97/259.26	c cleaning 10001 clauses out of 20070 with flag 285004/461438
266.99/265.22	c cleaning 9998 clauses out of 20065 with flag 295000/471434
271.22/269.42	c cleaning 10002 clauses out of 20067 with flag 305000/481434
279.53/277.79	c cleaning 10001 clauses out of 20067 with flag 315002/491436
286.24/284.48	c cleaning 9995 clauses out of 20065 with flag 325001/501435
293.76/291.91	c cleaning 10001 clauses out of 20070 with flag 335001/511435
301.08/299.28	c cleaning 9999 clauses out of 20072 with flag 345004/521438
307.78/305.96	c cleaning 10015 clauses out of 20071 with flag 355002/531436
315.30/313.50	c cleaning 10008 clauses out of 20057 with flag 365003/541437
322.30/320.42	c cleaning 9999 clauses out of 20046 with flag 375000/551434
330.42/328.56	c cleaning 10004 clauses out of 20049 with flag 385002/561436
337.53/335.61	c cleaning 10001 clauses out of 20044 with flag 395001/571435
344.34/342.46	c cleaning 10000 clauses out of 20042 with flag 405000/581434
352.25/350.33	c cleaning 10007 clauses out of 20043 with flag 415001/591435
358.28/356.36	c cleaning 9990 clauses out of 20036 with flag 425001/601435
365.49/363.52	c cleaning 9982 clauses out of 20045 with flag 435000/611434
372.21/370.23	c cleaning 9996 clauses out of 20065 with flag 445002/621436
379.12/377.16	c cleaning 10000 clauses out of 20070 with flag 455003/631437
386.34/384.38	c cleaning 9997 clauses out of 20067 with flag 465000/641434
392.65/390.62	c cleaning 10012 clauses out of 20071 with flag 475001/651435
397.76/395.73	c cleaning 10003 clauses out of 20058 with flag 485000/661434
403.48/401.41	c cleaning 10005 clauses out of 20058 with flag 495003/671437
408.70/406.68	c cleaning 9992 clauses out of 20052 with flag 505002/681436
413.12/411.00	c cleaning 9987 clauses out of 20058 with flag 515000/691434
418.35/416.21	c cleaning 10008 clauses out of 20071 with flag 525000/701434
423.87/421.77	c cleaning 10000 clauses out of 20064 with flag 535001/711435
429.69/427.52	c cleaning 10003 clauses out of 20065 with flag 545002/721436
438.31/436.14	c cleaning 9989 clauses out of 20060 with flag 555000/731434
447.32/445.19	c cleaning 9999 clauses out of 20073 with flag 565002/741436
455.44/453.29	c cleaning 9999 clauses out of 20072 with flag 575000/751434
464.45/462.21	c cleaning 10000 clauses out of 20076 with flag 585003/761437
472.46/470.22	c cleaning 10001 clauses out of 20076 with flag 595003/771437
480.87/478.60	c cleaning 9997 clauses out of 20072 with flag 605000/781434
486.78/484.50	c cleaning 9989 clauses out of 20076 with flag 615001/791435
491.00/488.79	c cleaning 9991 clauses out of 20087 with flag 625001/801435
496.22/493.95	c cleaning 9991 clauses out of 20095 with flag 635000/811434
503.04/500.74	c cleaning 10012 clauses out of 20104 with flag 645000/821434
507.76/505.41	c cleaning 10005 clauses out of 20092 with flag 655000/831434
512.19/509.90	c cleaning 10005 clauses out of 20087 with flag 665000/841434
516.21/513.85	c cleaning 9988 clauses out of 20082 with flag 675000/851434
520.43/518.09	c cleaning 10010 clauses out of 20095 with flag 685001/861435
525.24/522.80	c cleaning 10006 clauses out of 20090 with flag 695006/871440
531.06/528.65	c cleaning 9993 clauses out of 20079 with flag 705001/881435
535.69/533.27	c cleaning 10001 clauses out of 20085 with flag 715000/891434
540.50/538.07	c cleaning 10019 clauses out of 20086 with flag 725002/901436
547.82/545.30	c cleaning 10014 clauses out of 20066 with flag 735001/911435
555.53/553.03	c cleaning 10003 clauses out of 20052 with flag 745001/921435
562.14/559.63	c cleaning 9983 clauses out of 20052 with flag 755004/931438
568.65/566.13	c cleaning 10012 clauses out of 20068 with flag 765003/941437
573.16/570.62	c cleaning 10013 clauses out of 20054 with flag 775001/951435
577.78/575.28	c cleaning 10008 clauses out of 20040 with flag 785000/961434
585.60/583.00	c cleaning 10005 clauses out of 20033 with flag 795001/971435
592.91/590.36	c cleaning 10000 clauses out of 20032 with flag 805005/981439
600.83/598.20	c cleaning 9995 clauses out of 20027 with flag 815000/991434
608.34/605.70	c cleaning 9998 clauses out of 20032 with flag 825000/1001434
617.06/614.42	c cleaning 10001 clauses out of 20035 with flag 835001/1011435
622.67/620.02	c cleaning 9991 clauses out of 20033 with flag 845000/1021434
627.29/624.63	c cleaning 9995 clauses out of 20042 with flag 855000/1031434
631.82/629.17	c cleaning 10010 clauses out of 20047 with flag 865000/1041434
636.04/633.36	c cleaning 10002 clauses out of 20038 with flag 875001/1051435
640.47/637.70	c cleaning 9997 clauses out of 20035 with flag 885000/1061434
644.79/642.04	c cleaning 10003 clauses out of 20038 with flag 895000/1071434
649.01/646.22	c cleaning 9974 clauses out of 20035 with flag 905000/1081434
652.73/649.94	c cleaning 10005 clauses out of 20063 with flag 915002/1091436
656.65/653.88	c cleaning 10007 clauses out of 20057 with flag 925001/1101435
660.87/658.00	c cleaning 10006 clauses out of 20053 with flag 935004/1111438
665.49/662.62	c cleaning 10001 clauses out of 20044 with flag 945001/1121435
669.90/667.00	c cleaning 9990 clauses out of 20042 with flag 955000/1131434
673.83/670.98	c cleaning 10009 clauses out of 20053 with flag 965001/1141435
678.54/675.64	c cleaning 10004 clauses out of 20048 with flag 975005/1151439
683.46/680.50	c cleaning 9997 clauses out of 20043 with flag 985004/1161438
688.47/685.58	c cleaning 9976 clauses out of 20043 with flag 995001/1171435
692.69/689.72	c cleaning 10012 clauses out of 20067 with flag 1005001/1181435
701.00/698.03	c cleaning 10004 clauses out of 20055 with flag 1015001/1191435
710.23/707.28	c cleaning 10003 clauses out of 20052 with flag 1025002/1201436
720.24/717.28	c cleaning 10002 clauses out of 20049 with flag 1035002/1211436
731.54/728.50	c cleaning 10002 clauses out of 20049 with flag 1045004/1221438
742.66/739.67	c cleaning 9998 clauses out of 20043 with flag 1055000/1231434
752.07/749.05	c cleaning 9994 clauses out of 20045 with flag 1065000/1241434
762.58/759.55	c cleaning 10002 clauses out of 20053 with flag 1075002/1251436
772.39/769.32	c cleaning 10000 clauses out of 20050 with flag 1085001/1261435
781.80/778.78	c cleaning 9997 clauses out of 20051 with flag 1095002/1271436
791.31/788.28	c cleaning 10000 clauses out of 20054 with flag 1105002/1281436
802.31/799.22	c cleaning 10002 clauses out of 20055 with flag 1115003/1291437
812.33/809.30	c cleaning 10002 clauses out of 20052 with flag 1125002/1301436
822.54/819.45	c cleaning 10000 clauses out of 20050 with flag 1135002/1311436
832.95/829.89	c cleaning 10000 clauses out of 20049 with flag 1145001/1321435
841.85/838.78	c cleaning 9992 clauses out of 20048 with flag 1155000/1331434
848.47/845.30	c cleaning 9991 clauses out of 20057 with flag 1165001/1341435
854.59/851.47	c cleaning 10009 clauses out of 20070 with flag 1175005/1351439
862.20/859.04	c cleaning 10001 clauses out of 20056 with flag 1185000/1361434
869.61/866.49	c cleaning 10012 clauses out of 20058 with flag 1195003/1371437
879.43/876.29	c cleaning 10003 clauses out of 20046 with flag 1205003/1381437
884.54/881.38	c cleaning 9994 clauses out of 20042 with flag 1215002/1391436
888.86/885.68	c cleaning 10001 clauses out of 20049 with flag 1225003/1401437
892.97/889.76	c cleaning 9996 clauses out of 20046 with flag 1235001/1411435
896.48/893.28	c cleaning 9998 clauses out of 20051 with flag 1245002/1421436
900.99/897.73	c cleaning 10011 clauses out of 20053 with flag 1255002/1431436
905.72/902.42	c cleaning 9985 clauses out of 20042 with flag 1265002/1441436
910.95/907.60	c cleaning 10004 clauses out of 20055 with flag 1275000/1451434
914.77/911.42	c cleaning 9998 clauses out of 20051 with flag 1285000/1461434
919.00/915.61	c cleaning 9988 clauses out of 20054 with flag 1295001/1471435
922.62/919.28	c cleaning 10005 clauses out of 20067 with flag 1305002/1481436
926.54/923.18	c cleaning 9997 clauses out of 20061 with flag 1315001/1491435
930.56/927.12	c cleaning 10004 clauses out of 20063 with flag 1325000/1501434
935.09/931.64	c cleaning 9985 clauses out of 20063 with flag 1335004/1511438
939.91/936.46	c cleaning 10001 clauses out of 20074 with flag 1345000/1521434
945.93/942.40	c cleaning 10010 clauses out of 20076 with flag 1355003/1531437
953.45/949.97	c cleaning 10004 clauses out of 20064 with flag 1365001/1541435
962.46/958.96	c cleaning 10000 clauses out of 20061 with flag 1375002/1551436
971.67/968.19	c cleaning 9999 clauses out of 20059 with flag 1385000/1561434
980.78/977.20	c cleaning 9996 clauses out of 20060 with flag 1395000/1571434
989.69/986.15	c cleaning 10005 clauses out of 20066 with flag 1405002/1581436
998.20/994.65	c cleaning 9999 clauses out of 20060 with flag 1415001/1591435
1007.40/1003.80	c cleaning 9999 clauses out of 20062 with flag 1425002/1601436
1016.21/1012.67	c cleaning 10001 clauses out of 20061 with flag 1435000/1611434
1025.22/1021.63	c cleaning 10001 clauses out of 20061 with flag 1445001/1621435
1031.73/1028.12	c cleaning 10021 clauses out of 20059 with flag 1455000/1631434
1038.94/1035.33	c cleaning 10002 clauses out of 20038 with flag 1465000/1641434
1045.75/1042.10	c cleaning 10004 clauses out of 20037 with flag 1475001/1651435
1052.36/1048.73	c cleaning 10006 clauses out of 20032 with flag 1485000/1661434
1058.67/1055.09	c cleaning 10004 clauses out of 20028 with flag 1495002/1671436
1065.48/1061.83	c cleaning 9999 clauses out of 20024 with flag 1505002/1681436
1072.09/1068.41	c cleaning 10000 clauses out of 20023 with flag 1515000/1691434
1078.80/1075.11	c cleaning 10001 clauses out of 20025 with flag 1525002/1701436
1089.20/1085.55	c cleaning 9972 clauses out of 20027 with flag 1535005/1711439
1095.92/1092.25	c cleaning 9986 clauses out of 20051 with flag 1545001/1721435
1102.92/1099.29	c cleaning 9989 clauses out of 20069 with flag 1555005/1731439
1112.03/1108.32	c cleaning 9992 clauses out of 20075 with flag 1565000/1741434
1122.35/1118.70	c cleaning 9996 clauses out of 20085 with flag 1575002/1751436
1129.06/1125.36	c cleaning 10004 clauses out of 20089 with flag 1585002/1761436
1136.17/1132.49	c cleaning 9999 clauses out of 20085 with flag 1595002/1771436
1139.88/1136.17	c cleaning 9985 clauses out of 20086 with flag 1605002/1781436
1144.12/1140.39	c cleaning 9994 clauses out of 20102 with flag 1615003/1791437
1148.15/1144.37	c cleaning 9997 clauses out of 20105 with flag 1625000/1801434
1152.47/1148.61	c cleaning 9993 clauses out of 20108 with flag 1635000/1811434
1156.61/1152.75	c cleaning 10007 clauses out of 20127 with flag 1645012/1821446
1160.93/1157.08	c cleaning 10001 clauses out of 20108 with flag 1655000/1831434
1165.05/1161.10	c cleaning 9996 clauses out of 20108 with flag 1665001/1841435
1168.67/1164.74	c cleaning 10004 clauses out of 20113 with flag 1675002/1851436
1172.49/1168.55	c cleaning 9997 clauses out of 20108 with flag 1685001/1861435
1176.41/1172.42	c cleaning 9999 clauses out of 20111 with flag 1695001/1871435
1180.63/1176.68	c cleaning 10002 clauses out of 20114 with flag 1705003/1881437
1184.96/1180.91	c cleaning 9997 clauses out of 20111 with flag 1715002/1891436
1188.69/1184.67	c cleaning 10003 clauses out of 20113 with flag 1725001/1901435
1192.89/1188.84	c cleaning 9994 clauses out of 20112 with flag 1735003/1911437
1197.31/1193.20	c cleaning 9985 clauses out of 20115 with flag 1745000/1921434
1202.03/1197.92	c cleaning 9996 clauses out of 20130 with flag 1755000/1931434
1205.45/1201.30	c cleaning 10012 clauses out of 20136 with flag 1765002/1941436
1209.25/1205.10	c cleaning 10002 clauses out of 20123 with flag 1775001/1951435
1213.37/1209.28	c cleaning 9999 clauses out of 20121 with flag 1785001/1961435
1217.68/1213.53	c cleaning 10005 clauses out of 20121 with flag 1795000/1971434
1222.00/1217.83	c cleaning 10002 clauses out of 20117 with flag 1805001/1981435
1225.63/1221.45	c cleaning 9998 clauses out of 20115 with flag 1815001/1991435
1230.44/1226.28	c cleaning 10019 clauses out of 20116 with flag 1825000/2001434
1235.66/1231.48	c cleaning 10048 clauses out of 20097 with flag 1835000/2011434
1242.78/1238.52	c cleaning 9996 clauses out of 20050 with flag 1845001/2021435
1249.40/1245.20	c cleaning 9997 clauses out of 20053 with flag 1855000/2031434
1253.01/1248.74	c cleaning 10022 clauses out of 20056 with flag 1865000/2041434
1255.42/1251.17	c cleaning 10012 clauses out of 20034 with flag 1875000/2051434
1259.33/1255.06	c cleaning 9972 clauses out of 20022 with flag 1885000/2061434
1263.75/1259.42	c cleaning 9973 clauses out of 20050 with flag 1895000/2071434
1268.26/1263.97	c cleaning 10042 clauses out of 20083 with flag 1905006/2081440
1273.96/1269.68	c cleaning 9992 clauses out of 20039 with flag 1915004/2091438
1279.69/1275.35	c cleaning 10001 clauses out of 20043 with flag 1925000/2101434
1285.41/1281.06	c cleaning 9984 clauses out of 20044 with flag 1935002/2111436
1291.34/1286.90	c cleaning 10004 clauses out of 20058 with flag 1945000/2121434
1295.05/1290.65	c cleaning 9982 clauses out of 20054 with flag 1955000/2131434
1298.97/1294.54	c cleaning 9994 clauses out of 20073 with flag 1965001/2141435
1302.79/1298.33	c cleaning 9998 clauses out of 20079 with flag 1975001/2151435
1306.62/1302.16	c cleaning 10009 clauses out of 20080 with flag 1985000/2161434
1310.94/1306.40	c cleaning 9978 clauses out of 20071 with flag 1995000/2171434
1315.16/1310.64	c cleaning 10017 clauses out of 20093 with flag 2005000/2181434
1318.67/1314.16	c cleaning 10002 clauses out of 20077 with flag 2015001/2191435
1327.99/1323.48	c cleaning 9992 clauses out of 20074 with flag 2025000/2201434
1337.10/1332.51	c cleaning 10000 clauses out of 20082 with flag 2035000/2211434
1346.62/1342.02	c cleaning 9997 clauses out of 20085 with flag 2045003/2221437
1356.02/1351.43	c cleaning 10000 clauses out of 20085 with flag 2055000/2231434
1366.33/1361.74	c cleaning 10003 clauses out of 20092 with flag 2065007/2241441
1375.34/1370.80	c cleaning 10002 clauses out of 20085 with flag 2075003/2251437
1384.05/1379.45	c cleaning 9998 clauses out of 20080 with flag 2085000/2261434
1393.45/1388.89	c cleaning 9993 clauses out of 20082 with flag 2095000/2271434
1402.06/1397.44	c cleaning 9997 clauses out of 20090 with flag 2105001/2281435
1408.87/1404.21	c cleaning 10007 clauses out of 20094 with flag 2115002/2291436
1412.69/1408.03	c cleaning 9996 clauses out of 20086 with flag 2125001/2301435
1416.30/1411.69	c cleaning 10026 clauses out of 20090 with flag 2135001/2311435
1420.02/1415.36	c cleaning 10005 clauses out of 20064 with flag 2145001/2321435
1423.75/1419.03	c cleaning 10011 clauses out of 20062 with flag 2155004/2331438
1427.46/1422.78	c cleaning 10006 clauses out of 20048 with flag 2165001/2341435
1431.57/1426.89	c cleaning 9988 clauses out of 20046 with flag 2175005/2351439
1435.59/1430.88	c cleaning 10007 clauses out of 20054 with flag 2185001/2361435
1440.41/1435.65	c cleaning 9995 clauses out of 20046 with flag 2195000/2371434
1444.32/1439.52	c cleaning 10003 clauses out of 20052 with flag 2205001/2381435
1448.24/1443.50	c cleaning 9995 clauses out of 20048 with flag 2215000/2391434
1452.75/1447.95	c cleaning 10006 clauses out of 20054 with flag 2225001/2401435
1457.37/1452.54	c cleaning 9993 clauses out of 20048 with flag 2235001/2411435
1464.59/1459.71	c cleaning 10005 clauses out of 20054 with flag 2245000/2421434
1469.61/1464.72	c cleaning 10003 clauses out of 20049 with flag 2255000/2431434
1474.53/1469.62	c cleaning 9987 clauses out of 20048 with flag 2265002/2441436
1481.33/1476.40	c cleaning 9993 clauses out of 20059 with flag 2275000/2451434
1489.74/1484.80	c cleaning 9996 clauses out of 20067 with flag 2285001/2461435
1498.05/1493.10	c cleaning 9998 clauses out of 20073 with flag 2295003/2471437
1506.26/1501.31	c cleaning 10002 clauses out of 20076 with flag 2305004/2481438
1515.28/1510.39	c cleaning 10001 clauses out of 20071 with flag 2315001/2491435
1522.58/1517.62	c cleaning 9998 clauses out of 20074 with flag 2325005/2501439
1528.69/1523.76	c cleaning 9993 clauses out of 20074 with flag 2335003/2511437
1535.70/1530.74	c cleaning 10001 clauses out of 20081 with flag 2345003/2521437
1543.70/1538.73	c cleaning 10002 clauses out of 20083 with flag 2355006/2531440
1551.71/1546.79	c cleaning 10000 clauses out of 20076 with flag 2365001/2541435
1558.82/1553.83	c cleaning 9994 clauses out of 20076 with flag 2375001/2551435
1566.43/1561.47	c cleaning 10004 clauses out of 20086 with flag 2385005/2561439
1575.13/1570.15	c cleaning 9999 clauses out of 20079 with flag 2395002/2571436
1583.65/1578.67	c cleaning 9996 clauses out of 20081 with flag 2405003/2581437
1592.85/1587.82	c cleaning 10001 clauses out of 20084 with flag 2415002/2591436
1601.86/1596.90	c cleaning 10004 clauses out of 20083 with flag 2425002/2601436
1610.06/1605.00	c cleaning 10000 clauses out of 20077 with flag 2435000/2611434
1618.07/1613.01	c cleaning 9999 clauses out of 20079 with flag 2445002/2621436
1626.78/1621.79	c cleaning 9997 clauses out of 20078 with flag 2455000/2631434
1635.69/1630.65	c cleaning 10002 clauses out of 20081 with flag 2465000/2641434
1645.20/1640.17	c cleaning 10000 clauses out of 20080 with flag 2475001/2651435
1652.60/1647.57	c cleaning 10021 clauses out of 20079 with flag 2485000/2661434
1656.41/1651.40	c cleaning 10011 clauses out of 20062 with flag 2495004/2671438
1660.53/1655.43	c cleaning 10000 clauses out of 20048 with flag 2505001/2681435
1664.75/1659.69	c cleaning 10005 clauses out of 20047 with flag 2515000/2691434
1669.17/1664.04	c cleaning 10001 clauses out of 20047 with flag 2525005/2701439
1673.29/1668.15	c cleaning 10002 clauses out of 20042 with flag 2535001/2711435
1679.51/1674.36	c cleaning 10002 clauses out of 20039 with flag 2545000/2721434
1684.23/1679.05	c cleaning 10001 clauses out of 20040 with flag 2555003/2731437
1688.65/1683.44	c cleaning 9995 clauses out of 20036 with flag 2565000/2741434
1693.37/1688.18	c cleaning 10004 clauses out of 20041 with flag 2575000/2751434
1698.49/1693.28	c cleaning 9999 clauses out of 20040 with flag 2585003/2761437
1703.31/1698.01	c cleaning 9988 clauses out of 20039 with flag 2595001/2771435
1708.63/1703.36	c cleaning 10008 clauses out of 20050 with flag 2605000/2781434
1715.15/1709.88	c cleaning 10003 clauses out of 20043 with flag 2615001/2791435
1721.57/1716.27	c cleaning 9989 clauses out of 20039 with flag 2625000/2801434
1726.90/1721.53	c cleaning 10000 clauses out of 20052 with flag 2635002/2811436
1731.52/1726.19	c cleaning 10012 clauses out of 20052 with flag 2645002/2821436
1735.64/1730.30	c cleaning 10005 clauses out of 20042 with flag 2655004/2831438
1740.74/1735.31	c cleaning 9991 clauses out of 20035 with flag 2665002/2841436
1744.97/1739.55	c cleaning 10004 clauses out of 20043 with flag 2675001/2851435
1749.08/1743.63	c cleaning 9993 clauses out of 20041 with flag 2685003/2861437
1753.20/1747.80	c cleaning 9996 clauses out of 20045 with flag 2695000/2871434
1756.91/1751.49	c cleaning 10006 clauses out of 20050 with flag 2705001/2881435
1761.73/1756.27	c cleaning 10007 clauses out of 20043 with flag 2715000/2891434
1766.54/1761.08	c cleaning 9992 clauses out of 20036 with flag 2725000/2901434
1770.94/1765.46	c cleaning 9998 clauses out of 20046 with flag 2735002/2911436
1775.05/1769.55	c cleaning 9997 clauses out of 20048 with flag 2745002/2921436
1779.15/1773.69	c cleaning 10007 clauses out of 20050 with flag 2755001/2931435
1784.17/1778.64	c cleaning 9999 clauses out of 20043 with flag 2765001/2941435
1789.07/1783.52	c cleaning 10006 clauses out of 20043 with flag 2775000/2951434
1793.29/1787.74	c cleaning 9999 clauses out of 20037 with flag 2785000/2961434
1797.31/1791.74	c cleaning 10001 clauses out of 20039 with flag 2795001/2971435
1800.03/1794.41	c starts		: 253
1800.03/1794.41	c conflicts		: 2979244
1800.03/1794.41	c decisions		: 4675542
1800.03/1794.41	c propagations		: 136165936
1800.03/1794.41	c inspects		: 4376695881
1800.03/1794.41	c shortcuts		: 0
1800.03/1794.41	c learnt literals	: 0
1800.03/1794.41	c learnt binary clauses	: 0
1800.03/1794.41	c learnt ternary clauses	: 0
1800.03/1794.41	c learnt constraints	: 2979243
1800.03/1794.41	c ignored constraints	: 0
1800.03/1794.41	c root simplifications	: 0
1800.03/1794.41	c removed literals (reason simplification)	: 11607427
1800.03/1794.41	c reason swapping (by a shorter reason)	: 0
1800.03/1794.41	c Calls to reduceDB	: 304
1800.03/1794.41	c number of reductions to clauses (during analyze)	: 0
1800.03/1794.41	c number of learned constraints concerned by reduction	: 0
1800.03/1794.41	c number of learning phase by resolution	: 0
1800.03/1794.41	c number of learning phase by cutting planes	: 0
1800.03/1794.41	c speed (assignments/second)	: 79953.5049769122
1800.03/1794.41	c non guided choices	467861
1800.03/1794.42	c learnt constraints type 
1800.03/1794.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17860
1800.03/1794.42	c constraints type 
1800.03/1794.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120
1800.03/1794.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 101
1800.03/1794.42	s SATISFIABLE
1800.03/1794.44	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 
1800.03/1794.44	c objective function=3
1800.03/1794.44	c Total wall clock time (in seconds): 1794.33

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3492503-1307910831/watcher-3492503-1307910831 -o /var/tmp/evaluation-result-3492503-1307910831/solver-3492503-1307910831 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492503-1307910831.wbo 

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.00 2.01 2.00 3/195 23184
/proc/meminfo: memFree=3258720/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/23184/stat : 23184 (java) R 23182 23184 20310 0 -1 4202496 582 0 0 0 0 0 0 0 25 0 1 0 902681610 23580672 324 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210199684864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23184/statm: 5757 336 257 9 0 124 0

[startup+0.023335 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 23184
/proc/meminfo: memFree=3258720/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23184/stat : 23184 (java) S 23182 23184 20310 0 -1 4202496 8711 0 1 0 0 0 0 0 25 0 2 0 902681610 10694979584 8411 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 2611079 8435 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.100323 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 23184
/proc/meminfo: memFree=3258720/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=10540376 CPUtime=0.1 cores=1,3,5,7
/proc/23184/stat : 23184 (java) S 23182 23184 20310 0 -1 4202496 13042 0 1 0 9 1 0 0 25 0 18 0 902681610 10793345024 12718 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 2635094 12719 2092 9 0 2625828 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540376

[startup+0.300245 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 23184
/proc/meminfo: memFree=3258720/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=10545372 CPUtime=0.53 cores=1,3,5,7
/proc/23184/stat : 23184 (java) S 23182 23184 20310 0 -1 4202496 18819 0 1 0 51 2 0 0 25 0 18 0 902681610 10798460928 17321 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 2636343 17322 2202 9 0 2627077 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10545372

[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 23184
/proc/meminfo: memFree=3258720/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=10548628 CPUtime=1.55 cores=1,3,5,7
/proc/23184/stat : 23184 (java) S 23182 23184 20310 0 -1 4202496 22794 0 1 0 152 3 0 0 25 0 19 0 902681610 10801795072 19812 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 2637157 19812 2232 9 0 2627891 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10548628

[startup+1.50109 s]
/proc/loadavg: 2.08 2.03 2.00 3/214 23204
/proc/meminfo: memFree=3184504/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=10548628 CPUtime=2.4 cores=1,3,5,7
/proc/23184/stat : 23184 (java) S 23182 23184 20310 0 -1 4202496 25241 0 1 0 237 3 0 0 25 0 19 0 902681610 10801795072 22258 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 2637157 22258 2234 9 0 2627891 0
[pid=23184/tid=23186] ppid=23182 vsize=10548628 CPUtime=1.48 cores=1,3,5,7
/proc/23184/task/23186/stat : 23186 (java) R 23182 23184 20310 0 -1 4202560 17046 0 1 0 146 2 0 0 25 0 19 0 902681611 10801795072 22258 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 46912505776822 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23184/tid=23187] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23187/stat : 23187 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902681613 10801795072 22258 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23188] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23188/stat : 23188 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902681613 10801795072 22258 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23189] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23189/stat : 23189 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902681613 10801795072 22258 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23190] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23190/stat : 23190 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902681613 10801795072 22258 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23191] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23191/stat : 23191 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902681613 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23192] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902681613 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23193] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23193/stat : 23193 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902681613 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23194] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23194/stat : 23194 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902681613 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23195] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23195/stat : 23195 (java) S 23182 23184 20310 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902681614 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23196] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23196/stat : 23196 (java) S 23182 23184 20310 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 902681614 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23197] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23197/stat : 23197 (java) S 23182 23184 20310 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 902681614 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23198] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23198/stat : 23198 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23199] ppid=23182 vsize=10548628 CPUtime=0.49 cores=1,3,5,7
/proc/23184/task/23199/stat : 23199 (java) S 23182 23184 20310 0 -1 4202560 2706 0 0 0 49 0 0 0 19 0 19 0 902681617 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23200] ppid=23182 vsize=10548628 CPUtime=0.4 cores=1,3,5,7
/proc/23184/task/23200/stat : 23200 (java) S 23182 23184 20310 0 -1 4202560 4326 0 0 0 40 0 0 0 15 0 19 0 902681617 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23201] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23201/stat : 23201 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23202] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23202/stat : 23202 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681617 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23204] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23204/stat : 23204 (java) S 23182 23184 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681642 10801795072 22259 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 10548628

[startup+3.10081 s]
/proc/loadavg: 2.08 2.03 2.00 3/214 23204
/proc/meminfo: memFree=3172972/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=10548628 CPUtime=4.03 cores=1,3,5,7
/proc/23184/stat : 23184 (java) S 23182 23184 20310 0 -1 4202496 32602 0 1 0 400 3 0 0 25 0 19 0 902681610 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 2637157 29604 2260 9 0 2627891 0
[pid=23184/tid=23186] ppid=23182 vsize=10548628 CPUtime=3.06 cores=1,3,5,7
/proc/23184/task/23186/stat : 23186 (java) R 23182 23184 20310 0 -1 4202560 19346 0 1 0 304 2 0 0 25 0 19 0 902681611 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 46912505889165 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23184/tid=23187] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23187/stat : 23187 (java) S 23182 23184 20310 0 -1 4202560 493 0 0 0 0 0 0 0 18 0 19 0 902681613 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23188] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23188/stat : 23188 (java) S 23182 23184 20310 0 -1 4202560 778 0 0 0 0 0 0 0 18 0 19 0 902681613 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23189] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23189/stat : 23189 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902681613 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23190] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23190/stat : 23190 (java) S 23182 23184 20310 0 -1 4202560 195 0 0 0 0 0 0 0 18 0 19 0 902681613 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23191] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23191/stat : 23191 (java) S 23182 23184 20310 0 -1 4202560 641 0 0 0 0 0 0 0 18 0 19 0 902681613 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23192] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902681613 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23193] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23193/stat : 23193 (java) S 23182 23184 20310 0 -1 4202560 456 0 0 0 0 0 0 0 18 0 19 0 902681613 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23194] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23194/stat : 23194 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902681613 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23195] ppid=23182 vsize=10548628 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23195/stat : 23195 (java) S 23182 23184 20310 0 -1 4202560 2491 0 0 0 1 0 0 0 16 0 19 0 902681614 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23196] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23196/stat : 23196 (java) S 23182 23184 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681614 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23197] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23197/stat : 23197 (java) S 23182 23184 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902681614 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23198] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23198/stat : 23198 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23199] ppid=23182 vsize=10548628 CPUtime=0.5 cores=1,3,5,7
/proc/23184/task/23199/stat : 23199 (java) S 23182 23184 20310 0 -1 4202560 2714 0 0 0 50 0 0 0 17 0 19 0 902681617 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23200] ppid=23182 vsize=10548628 CPUtime=0.41 cores=1,3,5,7
/proc/23184/task/23200/stat : 23200 (java) S 23182 23184 20310 0 -1 4202560 4332 0 0 0 41 0 0 0 15 0 19 0 902681617 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23201] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23201/stat : 23201 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23202] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23202/stat : 23202 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681617 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23204] ppid=23182 vsize=10548628 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23204/stat : 23204 (java) S 23182 23184 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681642 10801795072 29604 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 10548628

[startup+6.30128 s]
/proc/loadavg: 2.08 2.03 2.00 3/214 23204
/proc/meminfo: memFree=3136076/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=10546280 CPUtime=7.32 cores=1,3,5,7
/proc/23184/stat : 23184 (java) S 23182 23184 20310 0 -1 4202496 36123 0 1 0 728 4 0 0 25 0 19 0 902681610 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 2636570 32545 2260 9 0 2627304 0
[pid=23184/tid=23186] ppid=23182 vsize=10546280 CPUtime=6.23 cores=1,3,5,7
/proc/23184/task/23186/stat : 23186 (java) R 23182 23184 20310 0 -1 4202560 19348 0 1 0 621 2 0 0 25 0 19 0 902681611 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 46912505748286 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23184/tid=23187] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23187/stat : 23187 (java) S 23182 23184 20310 0 -1 4202560 493 0 0 0 0 0 0 0 18 0 19 0 902681613 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23188] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23188/stat : 23188 (java) S 23182 23184 20310 0 -1 4202560 809 0 0 0 0 0 0 0 18 0 19 0 902681613 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23189] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23189/stat : 23189 (java) S 23182 23184 20310 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 19 0 902681613 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23190] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23190/stat : 23190 (java) S 23182 23184 20310 0 -1 4202560 260 0 0 0 0 0 0 0 18 0 19 0 902681613 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23191] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23191/stat : 23191 (java) S 23182 23184 20310 0 -1 4202560 641 0 0 0 0 0 0 0 18 0 19 0 902681613 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23192] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (java) S 23182 23184 20310 0 -1 4202560 724 0 0 0 0 0 0 0 16 0 19 0 902681613 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23193] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23193/stat : 23193 (java) S 23182 23184 20310 0 -1 4202560 456 0 0 0 0 0 0 0 15 0 19 0 902681613 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23194] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23194/stat : 23194 (java) S 23182 23184 20310 0 -1 4202560 786 0 0 0 0 0 0 0 16 0 19 0 902681613 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23195] ppid=23182 vsize=10546280 CPUtime=0.03 cores=1,3,5,7
/proc/23184/task/23195/stat : 23195 (java) S 23182 23184 20310 0 -1 4202560 3614 0 0 0 3 0 0 0 15 0 19 0 902681614 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23196] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23196/stat : 23196 (java) S 23182 23184 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681614 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23197] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23197/stat : 23197 (java) S 23182 23184 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902681614 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23198] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23198/stat : 23198 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23199] ppid=23182 vsize=10546280 CPUtime=0.54 cores=1,3,5,7
/proc/23184/task/23199/stat : 23199 (java) S 23182 23184 20310 0 -1 4202560 2721 0 0 0 54 0 0 0 15 0 19 0 902681617 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23200] ppid=23182 vsize=10546280 CPUtime=0.45 cores=1,3,5,7
/proc/23184/task/23200/stat : 23200 (java) S 23182 23184 20310 0 -1 4202560 4336 0 0 0 45 0 0 0 15 0 19 0 902681617 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23201] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23201/stat : 23201 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23202] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23202/stat : 23202 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681617 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23204] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23204/stat : 23204 (java) S 23182 23184 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681642 10799390720 32545 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 10546280

[startup+12.7012 s]

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

[pid=23184/tid=23192] ppid=23182 vsize=10546280 CPUtime=0.76 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (java) S 23182 23184 20310 0 -1 4202560 4119 0 0 0 76 0 0 0 16 0 19 0 902681613 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23193] ppid=23182 vsize=10546280 CPUtime=0.69 cores=1,3,5,7
/proc/23184/task/23193/stat : 23193 (java) S 23182 23184 20310 0 -1 4202560 4592 0 0 0 68 1 0 0 15 0 19 0 902681613 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23194] ppid=23182 vsize=10546280 CPUtime=0.68 cores=1,3,5,7
/proc/23184/task/23194/stat : 23194 (java) S 23182 23184 20310 0 -1 4202560 4079 0 0 0 67 1 0 0 15 0 19 0 902681613 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23195] ppid=23182 vsize=10546280 CPUtime=12.03 cores=1,3,5,7
/proc/23184/task/23195/stat : 23195 (java) S 23182 23184 20310 0 -1 4202560 22902 0 0 0 1197 6 0 0 15 0 19 0 902681614 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23196] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23196/stat : 23196 (java) S 23182 23184 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681614 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23197] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23197/stat : 23197 (java) S 23182 23184 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902681614 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23198] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23198/stat : 23198 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23199] ppid=23182 vsize=10546280 CPUtime=0.55 cores=1,3,5,7
/proc/23184/task/23199/stat : 23199 (java) S 23182 23184 20310 0 -1 4202560 2722 0 0 0 55 0 0 0 15 0 19 0 902681617 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23200] ppid=23182 vsize=10546280 CPUtime=0.55 cores=1,3,5,7
/proc/23184/task/23200/stat : 23200 (java) S 23182 23184 20310 0 -1 4202560 4347 0 0 0 55 0 0 0 15 0 19 0 902681617 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23201] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23201/stat : 23201 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23202] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23202/stat : 23202 (java) S 23182 23184 20310 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902681617 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23204] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23204/stat : 23204 (java) S 23182 23184 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681642 10799390720 82867 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.47
Current children cumulated vsize (KiB) 10546280

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 23315
/proc/meminfo: memFree=2920868/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=10546280 CPUtime=1727.72 cores=1,3,5,7
/proc/23184/stat : 23184 (java) S 23182 23184 20310 0 -1 4202496 87202 0 1 0 172755 17 0 0 25 0 19 0 902681610 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 2636570 83135 2261 9 0 2627304 0
[pid=23184/tid=23186] ppid=23182 vsize=10546280 CPUtime=1707.73 cores=1,3,5,7
/proc/23184/task/23186/stat : 23186 (java) R 23182 23184 20310 0 -1 4202560 26666 0 1 0 170770 3 0 0 25 0 19 0 902681611 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 46912505757901 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23184/tid=23187] ppid=23182 vsize=10546280 CPUtime=0.73 cores=1,3,5,7
/proc/23184/task/23187/stat : 23187 (java) S 23182 23184 20310 0 -1 4202560 3284 0 0 0 73 0 0 0 15 0 19 0 902681613 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23188] ppid=23182 vsize=10546280 CPUtime=0.82 cores=1,3,5,7
/proc/23184/task/23188/stat : 23188 (java) S 23182 23184 20310 0 -1 4202560 4987 0 0 0 82 0 0 0 15 0 19 0 902681613 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23189] ppid=23182 vsize=10546280 CPUtime=0.76 cores=1,3,5,7
/proc/23184/task/23189/stat : 23189 (java) S 23182 23184 20310 0 -1 4202560 2625 0 0 0 76 0 0 0 16 0 19 0 902681613 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23190] ppid=23182 vsize=10546280 CPUtime=0.72 cores=1,3,5,7
/proc/23184/task/23190/stat : 23190 (java) S 23182 23184 20310 0 -1 4202560 3303 0 0 0 72 0 0 0 16 0 19 0 902681613 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23191] ppid=23182 vsize=10546280 CPUtime=0.78 cores=1,3,5,7
/proc/23184/task/23191/stat : 23191 (java) S 23182 23184 20310 0 -1 4202560 2314 0 0 0 78 0 0 0 15 0 19 0 902681613 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23192] ppid=23182 vsize=10546280 CPUtime=0.81 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (java) S 23182 23184 20310 0 -1 4202560 4120 0 0 0 81 0 0 0 16 0 19 0 902681613 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23193] ppid=23182 vsize=10546280 CPUtime=0.75 cores=1,3,5,7
/proc/23184/task/23193/stat : 23193 (java) S 23182 23184 20310 0 -1 4202560 4595 0 0 0 74 1 0 0 16 0 19 0 902681613 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23194] ppid=23182 vsize=10546280 CPUtime=0.71 cores=1,3,5,7
/proc/23184/task/23194/stat : 23194 (java) S 23182 23184 20310 0 -1 4202560 4080 0 0 0 70 1 0 0 15 0 19 0 902681613 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23195] ppid=23182 vsize=10546280 CPUtime=12.69 cores=1,3,5,7
/proc/23184/task/23195/stat : 23195 (java) S 23182 23184 20310 0 -1 4202560 22906 0 0 0 1263 6 0 0 15 0 19 0 902681614 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23196] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23196/stat : 23196 (java) S 23182 23184 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681614 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23197] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23197/stat : 23197 (java) S 23182 23184 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902681614 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23198] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23198/stat : 23198 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23199] ppid=23182 vsize=10546280 CPUtime=0.55 cores=1,3,5,7
/proc/23184/task/23199/stat : 23199 (java) S 23182 23184 20310 0 -1 4202560 2722 0 0 0 55 0 0 0 15 0 19 0 902681617 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23200] ppid=23182 vsize=10546280 CPUtime=0.55 cores=1,3,5,7
/proc/23184/task/23200/stat : 23200 (java) S 23182 23184 20310 0 -1 4202560 4347 0 0 0 55 0 0 0 15 0 19 0 902681617 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23201] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23201/stat : 23201 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23202] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23202/stat : 23202 (java) S 23182 23184 20310 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902681617 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23204] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23204/stat : 23204 (java) S 23182 23184 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681642 10799390720 83135 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1727.72
Current children cumulated vsize (KiB) 10546280

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 23317
/proc/meminfo: memFree=2920556/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=10546280 CPUtime=1787.87 cores=1,3,5,7
/proc/23184/stat : 23184 (java) S 23182 23184 20310 0 -1 4202496 87244 0 1 0 178769 18 0 0 25 0 19 0 902681610 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 2636570 83160 2261 9 0 2627304 0
[pid=23184/tid=23186] ppid=23182 vsize=10546280 CPUtime=1766.95 cores=1,3,5,7
/proc/23184/task/23186/stat : 23186 (java) R 23182 23184 20310 0 -1 4202560 26679 0 1 0 176692 3 0 0 25 0 19 0 902681611 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 46912505694030 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23184/tid=23187] ppid=23182 vsize=10546280 CPUtime=0.77 cores=1,3,5,7
/proc/23184/task/23187/stat : 23187 (java) S 23182 23184 20310 0 -1 4202560 3284 0 0 0 77 0 0 0 16 0 19 0 902681613 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23188] ppid=23182 vsize=10546280 CPUtime=0.85 cores=1,3,5,7
/proc/23184/task/23188/stat : 23188 (java) S 23182 23184 20310 0 -1 4202560 4989 0 0 0 85 0 0 0 16 0 19 0 902681613 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23189] ppid=23182 vsize=10546280 CPUtime=0.79 cores=1,3,5,7
/proc/23184/task/23189/stat : 23189 (java) S 23182 23184 20310 0 -1 4202560 2631 0 0 0 79 0 0 0 15 0 19 0 902681613 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23190] ppid=23182 vsize=10546280 CPUtime=0.73 cores=1,3,5,7
/proc/23184/task/23190/stat : 23190 (java) S 23182 23184 20310 0 -1 4202560 3303 0 0 0 73 0 0 0 16 0 19 0 902681613 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23191] ppid=23182 vsize=10546280 CPUtime=0.82 cores=1,3,5,7
/proc/23184/task/23191/stat : 23191 (java) S 23182 23184 20310 0 -1 4202560 2321 0 0 0 82 0 0 0 16 0 19 0 902681613 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23192] ppid=23182 vsize=10546280 CPUtime=0.84 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (java) S 23182 23184 20310 0 -1 4202560 4125 0 0 0 84 0 0 0 15 0 19 0 902681613 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23193] ppid=23182 vsize=10546280 CPUtime=0.77 cores=1,3,5,7
/proc/23184/task/23193/stat : 23193 (java) S 23182 23184 20310 0 -1 4202560 4597 0 0 0 76 1 0 0 15 0 19 0 902681613 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23194] ppid=23182 vsize=10546280 CPUtime=0.74 cores=1,3,5,7
/proc/23184/task/23194/stat : 23194 (java) S 23182 23184 20310 0 -1 4202560 4083 0 0 0 73 1 0 0 16 0 19 0 902681613 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23195] ppid=23182 vsize=10546280 CPUtime=13.4 cores=1,3,5,7
/proc/23184/task/23195/stat : 23195 (java) S 23182 23184 20310 0 -1 4202560 22908 0 0 0 1334 6 0 0 15 0 19 0 902681614 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23196] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23196/stat : 23196 (java) S 23182 23184 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681614 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23197] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23197/stat : 23197 (java) S 23182 23184 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902681614 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23198] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23198/stat : 23198 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23199] ppid=23182 vsize=10546280 CPUtime=0.55 cores=1,3,5,7
/proc/23184/task/23199/stat : 23199 (java) S 23182 23184 20310 0 -1 4202560 2722 0 0 0 55 0 0 0 15 0 19 0 902681617 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23200] ppid=23182 vsize=10546280 CPUtime=0.55 cores=1,3,5,7
/proc/23184/task/23200/stat : 23200 (java) S 23182 23184 20310 0 -1 4202560 4347 0 0 0 55 0 0 0 15 0 19 0 902681617 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23201] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23201/stat : 23201 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23202] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23202/stat : 23202 (java) S 23182 23184 20310 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902681617 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23204] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23204/stat : 23204 (java) S 23182 23184 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681642 10799390720 83160 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1787.87
Current children cumulated vsize (KiB) 10546280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 23317
/proc/meminfo: memFree=2920416/32951124 swapFree=67054520/67111528
[pid=23184] ppid=23182 vsize=10546280 CPUtime=1800.03 cores=1,3,5,7
/proc/23184/stat : 23184 (java) S 23182 23184 20310 0 -1 4202496 87264 0 1 0 179985 18 0 0 25 0 19 0 902681610 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 2636570 83173 2261 9 0 2627304 0
[pid=23184/tid=23186] ppid=23182 vsize=10546280 CPUtime=1778.88 cores=1,3,5,7
/proc/23184/task/23186/stat : 23186 (java) R 23182 23184 20310 0 -1 4202560 26682 0 1 0 177885 3 0 0 25 0 19 0 902681611 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 46912505703116 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23184/tid=23187] ppid=23182 vsize=10546280 CPUtime=0.77 cores=1,3,5,7
/proc/23184/task/23187/stat : 23187 (java) S 23182 23184 20310 0 -1 4202560 3284 0 0 0 77 0 0 0 15 0 19 0 902681613 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23188] ppid=23182 vsize=10546280 CPUtime=0.86 cores=1,3,5,7
/proc/23184/task/23188/stat : 23188 (java) S 23182 23184 20310 0 -1 4202560 4994 0 0 0 86 0 0 0 15 0 19 0 902681613 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23189] ppid=23182 vsize=10546280 CPUtime=0.8 cores=1,3,5,7
/proc/23184/task/23189/stat : 23189 (java) S 23182 23184 20310 0 -1 4202560 2633 0 0 0 80 0 0 0 15 0 19 0 902681613 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23190] ppid=23182 vsize=10546280 CPUtime=0.75 cores=1,3,5,7
/proc/23184/task/23190/stat : 23190 (java) S 23182 23184 20310 0 -1 4202560 3306 0 0 0 75 0 0 0 16 0 19 0 902681613 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23191] ppid=23182 vsize=10546280 CPUtime=0.82 cores=1,3,5,7
/proc/23184/task/23191/stat : 23191 (java) S 23182 23184 20310 0 -1 4202560 2321 0 0 0 82 0 0 0 15 0 19 0 902681613 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23192] ppid=23182 vsize=10546280 CPUtime=0.85 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (java) S 23182 23184 20310 0 -1 4202560 4125 0 0 0 85 0 0 0 16 0 19 0 902681613 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23193] ppid=23182 vsize=10546280 CPUtime=0.78 cores=1,3,5,7
/proc/23184/task/23193/stat : 23193 (java) S 23182 23184 20310 0 -1 4202560 4600 0 0 0 77 1 0 0 15 0 19 0 902681613 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23194] ppid=23182 vsize=10546280 CPUtime=0.74 cores=1,3,5,7
/proc/23184/task/23194/stat : 23194 (java) S 23182 23184 20310 0 -1 4202560 4083 0 0 0 73 1 0 0 15 0 19 0 902681613 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23195] ppid=23182 vsize=10546280 CPUtime=13.55 cores=1,3,5,7
/proc/23184/task/23195/stat : 23195 (java) S 23182 23184 20310 0 -1 4202560 22910 0 0 0 1349 6 0 0 15 0 19 0 902681614 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23196] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23196/stat : 23196 (java) S 23182 23184 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681614 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23197] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23197/stat : 23197 (java) S 23182 23184 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902681614 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=23184/tid=23198] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23198/stat : 23198 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23199] ppid=23182 vsize=10546280 CPUtime=0.55 cores=1,3,5,7
/proc/23184/task/23199/stat : 23199 (java) S 23182 23184 20310 0 -1 4202560 2722 0 0 0 55 0 0 0 15 0 19 0 902681617 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=23184/tid=23200] ppid=23182 vsize=10546280 CPUtime=0.55 cores=1,3,5,7
/proc/23184/task/23200/stat : 23200 (java) S 23182 23184 20310 0 -1 4202560 4347 0 0 0 55 0 0 0 15 0 19 0 902681617 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=23184/tid=23201] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23201/stat : 23201 (java) S 23182 23184 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681617 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23202] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23202/stat : 23202 (java) S 23182 23184 20310 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902681617 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=23184/tid=23204] ppid=23182 vsize=10546280 CPUtime=0 cores=1,3,5,7
/proc/23184/task/23204/stat : 23204 (java) S 23182 23184 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681642 10799390720 83173 33554432000 1073741824 1073778376 140737218370144 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10546280

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1794.46
CPU time (s): 1800.15
CPU user time (s): 1799.95
CPU system time (s): 0.19697
CPU usage (%): 100.317
Max. virtual memory (cumulated for all children) (KiB): 10549284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87387
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44507
involuntary context switches= 8183

runsolver used 2.99754 second user time and 6.81396 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-12 22:33:51
IDJOB=3492503
IDBENCH=79153
IDSOLVER=1982
FILE ID=node130/3492503-1307910831
RUNJOBID= node130-1307908122-22595
PBS_JOBID= 13559576
Free space on /var/tmp= 2908 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492503-1307910831/watcher-3492503-1307910831 -o /var/tmp/evaluation-result-3492503-1307910831/solver-3492503-1307910831 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492503-1307910831.wbo

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

MD5SUM BENCH= 32809f4710e615fcaa140bf3e08c6c73
RANDOM SEED=79230459

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       3258768 kB
Buffers:         66496 kB
Cached:       28613156 kB
SwapCached:      10292 kB
Active:       14188844 kB
Inactive:     14599696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       3258768 kB
SwapTotal:    67111528 kB
SwapFree:     67054520 kB
Dirty:             464 kB
Writeback:           0 kB
AnonPages:      106320 kB
Mapped:          21060 kB
Slab:           839072 kB
PageTables:       4596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10547976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2908 MiB
End job on node130 at 2011-06-12 23:03:48