Trace number 3735975

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)26 1800.57 1796.34

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark266.663
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3735975-1338711835.opb
0.09/0.10	c reading problem ... 
1.00/0.52	c ... done. Wall clock time 0.421s.
1.00/0.52	c CPU time (experimental) 0.49s.
1.00/0.52	c #vars     6076
1.00/0.52	c #constraints  21396
1.00/0.59	c SATISFIABLE
1.00/0.59	c OPTIMIZING...
1.00/0.59	c Got one! Elapsed wall clock time (in seconds):0.485
1.00/0.59	o 26
803.34/800.64	c cleaning 716977 clauses out of 1434004 for limit 8.611357627972807E-4
817.55/814.81	c cleaning 358748 clauses out of 717526 for limit 0.0028353437626262292
820.26/817.55	c cleaning 179634 clauses out of 359278 for limit 0.009338317297240347
821.96/819.21	c cleaning 90037 clauses out of 180151 for limit 0.030928584413038945
822.76/820.05	c cleaning 45296 clauses out of 90607 for limit 0.10070459185264012
823.06/820.39	c cleaning 22880 clauses out of 45811 for limit 0.32847108101511485
823.37/820.64	c cleaning 11685 clauses out of 23431 for limit 1.0590878231463
823.56/820.88	c cleaning 6096 clauses out of 12246 for limit 3.3418305947638056
823.76/821.06	c cleaning 3298 clauses out of 6650 for limit 10.148758718757197
823.96/821.23	c cleaning 1878 clauses out of 3852 for limit 28.89376800254842
824.06/821.39	c cleaning 1200 clauses out of 2474 for limit 74.19021873992693
824.26/821.53	c cleaning 849 clauses out of 1776 for limit 170.7765736669879
824.36/821.68	c cleaning 698 clauses out of 1425 for limit 350.30251593431035
824.57/821.88	c cleaning 605 clauses out of 1228 for limit 671.0426947763659
824.86/822.10	c cleaning 547 clauses out of 1123 for limit 1210.109444241374
825.06/822.30	c cleaning 519 clauses out of 1075 for limit 2082.6549247713187
825.16/822.49	c cleaning 493 clauses out of 1057 for limit 3496.561677386568
825.36/822.66	c cleaning 521 clauses out of 1067 for limit 5729.4269105701405
825.57/822.85	c cleaning 485 clauses out of 1042 for limit 9636.641969880004
825.76/823.03	c cleaning 509 clauses out of 1057 for limit 15666.58511806096
825.96/823.21	c cleaning 503 clauses out of 1049 for limit 26059.38970021154
826.06/823.39	c cleaning 503 clauses out of 1045 for limit 43096.7790739029
826.26/823.59	c cleaning 498 clauses out of 1042 for limit 71276.97697723673
826.46/823.78	c cleaning 474 clauses out of 1045 for limit 117325.14490701458
826.67/823.95	c cleaning 506 clauses out of 1070 for limit 188775.22095788774
826.86/824.12	c cleaning 508 clauses out of 1064 for limit 313071.1323165257
826.96/824.30	c cleaning 502 clauses out of 1056 for limit 520207.5137868623
827.26/824.50	c cleaning 517 clauses out of 1057 for limit 859656.5449423658
827.36/824.69	c cleaning 489 clauses out of 1037 for limit 1440700.0014375763
827.56/824.89	c cleaning 507 clauses out of 1048 for limit 2350969.0802405127
827.87/825.10	c cleaning 500 clauses out of 1041 for limit 3903133.06561903
828.06/825.31	c cleaning 519 clauses out of 1041 for limit 6436788.5770056425
828.16/825.47	c cleaning 512 clauses out of 1026 for limit 1.0813506542741632E7
828.36/825.68	c cleaning 415 clauses out of 1010 for limit 1.8043067517217107E7
828.56/825.88	c cleaning 532 clauses out of 1097 for limit 2.745048556734229E7
828.76/826.07	c cleaning 515 clauses out of 1063 for limit 4.662407809529279E7
828.97/826.24	c cleaning 497 clauses out of 1050 for limit 7.799722176538475E7
829.16/826.45	c cleaning 524 clauses out of 1051 for limit 1.2824858438573924E8
829.36/826.68	c cleaning 481 clauses out of 1027 for limit 2.1644160188435674E8
829.56/826.83	c cleaning 508 clauses out of 1047 for limit 3.504732696149258E8
829.76/827.01	c cleaning 502 clauses out of 1042 for limit 5.824964531074566E8
829.86/827.20	c cleaning 487 clauses out of 1036 for limit 9.623190623167597E8
830.07/827.35	c cleaning 524 clauses out of 1049 for limit 1.5673256566628656E9
830.26/827.51	c cleaning 510 clauses out of 1025 for limit 2.6452501807579613E9
830.36/827.68	c cleaning 484 clauses out of 1015 for limit 4.405350452109044E9
830.56/827.85	c cleaning 483 clauses out of 1031 for limit 7.152267135071919E9
830.76/828.04	c cleaning 506 clauses out of 1052 for limit 1.1605947092444641E10
830.96/828.22	c cleaning 447 clauses out of 1042 for limit 1.9246264376946793E10
831.07/828.38	c cleaning 548 clauses out of 1097 for limit 3.020872871926071E10
831.26/828.56	c cleaning 488 clauses out of 1047 for limit 5.2092986761146835E10
831.46/828.78	c cleaning 522 clauses out of 1059 for limit 8.49348388425877E10
831.76/829.00	c cleaning 434 clauses out of 1037 for limit 1.4304047966934293E11
831.96/829.22	c cleaning 458 clauses out of 1103 for limit 2.2177780905848953E11
832.06/829.38	c cleaning 497 clauses out of 1145 for limit 3.5232543884215497E11
832.26/829.56	c cleaning 545 clauses out of 1149 for limit 5.795886315217318E11
832.46/829.76	c cleaning 446 clauses out of 1103 for limit 9.946854146194446E11
832.56/829.89	c cleaning 522 clauses out of 1157 for limit 1.5638092954379915E12
832.76/830.06	c cleaning 454 clauses out of 1135 for limit 2.628918815492687E12
832.96/830.23	c cleaning 509 clauses out of 1185 for limit 4.169160553237341E12
833.06/830.39	c cleaning 531 clauses out of 1173 for limit 6.925024431451554E12
833.26/830.57	c cleaning 494 clauses out of 1141 for limit 1.1728839756973527E13
833.46/830.74	c cleaning 545 clauses out of 1147 for limit 1.9241244860790188E13
833.56/830.89	c cleaning 551 clauses out of 1102 for limit 3.3027133109009918E13
833.76/831.09	c cleaning 513 clauses out of 1053 for limit 5.7114846070087375E13
833.96/831.27	c cleaning 486 clauses out of 1038 for limit 9.536014259293484E13
834.16/831.43	c cleaning 474 clauses out of 1056 for limit 1.55200909236337E14
834.26/831.60	c cleaning 497 clauses out of 1078 for limit 2.4972226104371584E14
834.48/831.78	c cleaning 539 clauses out of 1081 for limit 4.106825144613092E14
834.68/831.97	c cleaning 506 clauses out of 1045 for limit 7.027082272067095E14
834.88/832.15	c cleaning 499 clauses out of 1037 for limit 1.1654655366056295E15
835.08/832.31	c cleaning 494 clauses out of 1037 for limit 1.9200865744697182E15
835.18/832.44	c cleaning 487 clauses out of 1043 for limit 3.1482640192184325E15
835.28/832.59	c cleaning 507 clauses out of 1056 for limit 5.127992994240637E15
835.48/832.76	c cleaning 525 clauses out of 1050 for limit 8.513584307915325E15
835.68/832.93	c cleaning 488 clauses out of 1024 for limit 1.4382128302535037E-4
835.88/833.10	c cleaning 508 clauses out of 1036 for limit 2.3443327088267088E-4
835.98/833.26	c cleaning 511 clauses out of 1028 for limit 3.8962047794677344E-4
836.08/833.39	c cleaning 498 clauses out of 1017 for limit 6.49486044018563E-4
836.28/833.55	c cleaning 475 clauses out of 1019 for limit 0.0010689871370174607
836.48/833.72	c cleaning 510 clauses out of 1047 for limit 0.001720914936791886
836.68/833.91	c cleaning 497 clauses out of 1034 for limit 0.0028650875580792956
836.78/834.07	c cleaning 494 clauses out of 1037 for limit 0.004711243682290486
836.98/834.22	c cleaning 499 clauses out of 1043 for limit 0.007724776147045133
837.18/834.40	c cleaning 487 clauses out of 1045 for limit 0.012727535580642239
837.28/834.57	c cleaning 482 clauses out of 1057 for limit 0.020730367357545663
837.48/834.79	c cleaning 444 clauses out of 1075 for limit 0.033614713047738706
837.68/834.96	c cleaning 530 clauses out of 1131 for limit 0.05269035863390664
837.88/835.12	c cleaning 528 clauses out of 1102 for limit 0.08926938930820036
838.08/835.30	c cleaning 502 clauses out of 1073 for limit 0.15104481151004476
838.18/835.47	c cleaning 466 clauses out of 1071 for limit 0.2495582604451554
838.38/835.64	c cleaning 524 clauses out of 1106 for limit 0.3989299957392268
838.58/835.80	c cleaning 500 clauses out of 1081 for limit 0.6724306497586717
838.68/835.99	c cleaning 528 clauses out of 1082 for limit 1.1090122225014374
838.98/836.21	c cleaning 506 clauses out of 1054 for limit 1.8774953474478009
839.08/836.39	c cleaning 504 clauses out of 1047 for limit 3.1138248046655534
839.28/836.53	c cleaning 435 clauses out of 1043 for limit 5.154807291544299
839.48/836.74	c cleaning 523 clauses out of 1109 for limit 8.00305119805538
839.68/836.97	c cleaning 477 clauses out of 1087 for limit 13.478699655113038
839.88/837.14	c cleaning 490 clauses out of 1108 for limit 21.763294714008413
839.98/837.27	c cleaning 520 clauses out of 1118 for limit 35.56955951946855
840.18/837.44	c cleaning 478 clauses out of 1098 for limit 59.72743131239145
840.38/837.64	c cleaning 536 clauses out of 1120 for limit 96.56373198284354
840.48/837.79	c cleaning 516 clauses out of 1084 for limit 164.5351416579517
840.78/838.00	c cleaning 515 clauses out of 1070 for limit 275.44131590748805
840.88/838.15	c cleaning 495 clauses out of 1053 for limit 460.650295914614
840.98/838.28	c cleaning 492 clauses out of 1058 for limit 756.0838210568159
841.28/838.52	c cleaning 507 clauses out of 1066 for limit 1237.525894325576
841.48/838.72	c cleaning 508 clauses out of 1060 for limit 2054.452162249828
841.58/838.86	c cleaning 499 clauses out of 1051 for limit 3413.662314096272
841.78/839.03	c cleaning 505 clauses out of 1052 for limit 5624.234510192414
841.98/839.20	c cleaning 497 clauses out of 1048 for limit 9319.836142768712
842.08/839.36	c cleaning 492 clauses out of 1050 for limit 15325.040667398478
842.28/839.51	c cleaning 462 clauses out of 1058 for limit 25081.941699614472
842.38/839.66	c cleaning 518 clauses out of 1096 for limit 39929.34210415357
842.58/839.83	c cleaning 479 clauses out of 1078 for limit 66948.34336975946
842.68/839.98	c cleaning 486 clauses out of 1099 for limit 108297.0908185034
842.88/840.15	c cleaning 521 clauses out of 1113 for limit 176349.8950075232
843.08/840.35	c cleaning 512 clauses out of 1092 for limit 296417.3486984094
843.28/840.58	c cleaning 540 clauses out of 1080 for limit 494263.32714056055
843.48/840.77	c cleaning 497 clauses out of 1040 for limit 846456.5919666429
843.68/840.95	c cleaning 491 clauses out of 1046 for limit 1392085.04717481
843.78/841.09	c cleaning 498 clauses out of 1053 for limit 2275914.5139203626
843.98/841.22	c cleaning 494 clauses out of 1056 for limit 3746371.122394496
844.18/841.41	c cleaning 528 clauses out of 1060 for limit 6142649.194749006
844.28/841.55	c cleaning 513 clauses out of 1032 for limit 1.0404896596232204E7
844.48/841.74	c cleaning 504 clauses out of 1022 for limit 1.7379048386538256E7
844.68/841.93	c cleaning 496 clauses out of 1016 for limit 2.8771999474026114E7
844.88/842.16	c cleaning 498 clauses out of 1021 for limit 4.726377523537921E7
845.08/842.34	c cleaning 497 clauses out of 1021 for limit 7.778847756576377E7
845.28/842.55	c cleaning 504 clauses out of 1024 for limit 1.2790777498574637E8
845.48/842.76	c cleaning 506 clauses out of 1020 for limit 2.11764236195139E8
845.68/842.96	c cleaning 503 clauses out of 1014 for limit 3.512939900339647E8
845.88/843.19	c cleaning 493 clauses out of 1011 for limit 5.810498672827976E8
846.18/843.41	c cleaning 509 clauses out of 1019 for limit 9.516577236693175E8
846.38/843.62	c cleaning 497 clauses out of 1009 for limit 1.583380053675996E9
846.58/843.82	c cleaning 498 clauses out of 1012 for limit 2.6034648014519978E9
846.78/844.01	c cleaning 478 clauses out of 1014 for limit 4.2849933765276465E9
846.88/844.19	c cleaning 518 clauses out of 1036 for limit 6.916465923213455E9
847.18/844.40	c cleaning 489 clauses out of 1018 for limit 1.160785851508782E10
847.38/844.61	c cleaning 514 clauses out of 1029 for limit 1.893827402433662E10
847.48/844.79	c cleaning 507 clauses out of 1015 for limit 3.1662530105629177E10
847.68/844.96	c cleaning 503 clauses out of 1008 for limit 5.257835724196902E10
847.88/845.13	c cleaning 493 clauses out of 1005 for limit 8.696757697312384E10
847.98/845.28	c cleaning 445 clauses out of 1012 for limit 1.424291250856692E11
848.18/845.44	c cleaning 495 clauses out of 1067 for limit 2.2277722330539905E11
848.38/845.62	c cleaning 489 clauses out of 1072 for limit 3.656758736672089E11
848.48/845.77	c cleaning 518 clauses out of 1083 for limit 5.96923289228695E11
848.68/845.92	c cleaning 472 clauses out of 1065 for limit 1.001044212860448E12
848.88/846.12	c cleaning 533 clauses out of 1095 for limit 1.608842974718951E12
849.08/846.38	c cleaning 507 clauses out of 1060 for limit 2.735323998528023E12
849.38/846.60	c cleaning 527 clauses out of 1054 for limit 4.541135167986589E12
849.58/846.84	c cleaning 497 clauses out of 1026 for limit 7.685622591978102E12
849.78/847.02	c cleaning 514 clauses out of 1029 for limit 1.2637667573999227E13
849.98/847.20	c cleaning 470 clauses out of 1015 for limit 2.112866935563845E13
850.18/847.40	c cleaning 457 clauses out of 1045 for limit 3.3843696023846223E13
850.28/847.59	c cleaning 424 clauses out of 1088 for limit 5.360694620791781E13
850.48/847.77	c cleaning 565 clauses out of 1166 for limit 8.265636899064355E13
850.68/847.96	c cleaning 513 clauses out of 1099 for limit 1.44332470276426E14
850.88/848.14	c cleaning 529 clauses out of 1086 for limit 2.4087282097619297E14
851.08/848.34	c cleaning 497 clauses out of 1057 for limit 4.081300043752572E14
851.28/848.54	c cleaning 520 clauses out of 1060 for limit 6.711560863156259E14
851.48/848.75	c cleaning 487 clauses out of 1040 for limit 1.128111290681468E15
851.68/848.96	c cleaning 508 clauses out of 1054 for limit 1.837532686136519E15
851.88/849.17	c cleaning 509 clauses out of 1045 for limit 3.053379382414128E15
852.08/849.38	c cleaning 502 clauses out of 1036 for limit 5.079175167740539E15
852.38/849.60	c cleaning 505 clauses out of 1034 for limit 8.392440954966888E-5
852.58/849.83	c cleaning 503 clauses out of 1032 for limit 1.390876464209234E-4
852.78/850.03	c cleaning 493 clauses out of 1026 for limit 2.300240503763985E-4
852.98/850.26	c cleaning 510 clauses out of 1033 for limit 3.767698764251546E-4
853.18/850.46	c cleaning 493 clauses out of 1023 for limit 6.274176727997176E-4
853.48/850.72	c cleaning 499 clauses out of 1030 for limit 0.0010276637645141977
853.68/850.95	c cleaning 494 clauses out of 1031 for limit 0.0016931112287732562
853.88/851.12	c cleaning 491 clauses out of 1037 for limit 0.0027760116596240096
854.08/851.33	c cleaning 506 clauses out of 1046 for limit 0.004538624411976737
854.28/851.56	c cleaning 473 clauses out of 1040 for limit 0.00752798035332427
854.48/851.74	c cleaning 510 clauses out of 1067 for limit 0.012100499104910175
854.68/851.93	c cleaning 445 clauses out of 1057 for limit 0.020144134059028443
854.78/852.08	c cleaning 543 clauses out of 1112 for limit 0.03157727796360655
855.08/852.31	c cleaning 519 clauses out of 1069 for limit 0.054169853257678584
855.28/852.54	c cleaning 516 clauses out of 1050 for limit 0.09094984269710749
855.48/852.73	c cleaning 506 clauses out of 1034 for limit 0.15230936222707853
855.58/852.89	c cleaning 477 clauses out of 1028 for limit 0.2526445363490342
855.88/853.11	c cleaning 454 clauses out of 1051 for limit 0.4075268206492321
855.98/853.28	c cleaning 523 clauses out of 1099 for limit 0.6440003901914235
856.28/853.50	c cleaning 504 clauses out of 1074 for limit 1.0845920206748392
856.48/853.71	c cleaning 495 clauses out of 1070 for limit 1.7953238309323274
856.68/853.91	c cleaning 499 clauses out of 1075 for limit 2.946958337977591
856.88/854.13	c cleaning 481 clauses out of 1076 for limit 4.855411874149813
857.08/854.32	c cleaning 526 clauses out of 1095 for limit 7.868285597276278
857.28/854.52	c cleaning 514 clauses out of 1069 for limit 13.291451662866972
857.48/854.74	c cleaning 500 clauses out of 1055 for limit 22.210255204848476
857.58/854.88	c cleaning 486 clauses out of 1055 for limit 36.627682067578974
857.78/855.05	c cleaning 523 clauses out of 1072 for limit 59.62474468829909
857.98/855.25	c cleaning 501 clauses out of 1046 for limit 100.47129150642691
858.18/855.49	c cleaning 511 clauses out of 1048 for limit 165.87151416074695
858.48/855.72	c cleaning 509 clauses out of 1034 for limit 276.4170989882255
858.58/855.90	c cleaning 481 clauses out of 1025 for limit 459.851349256195
858.78/856.04	c cleaning 514 clauses out of 1044 for limit 744.554887504579
858.98/856.25	c cleaning 491 clauses out of 1030 for limit 1244.5601177607784
859.18/856.48	c cleaning 505 clauses out of 1040 for limit 2034.7458153492105
859.38/856.68	c cleaning 502 clauses out of 1036 for limit 3371.8958099543074
859.58/856.88	c cleaning 503 clauses out of 1032 for limit 5571.101465190778
859.78/857.08	c cleaning 494 clauses out of 1029 for limit 9214.277294529544
860.08/857.31	c cleaning 436 clauses out of 1035 for limit 15107.4856274387
860.28/857.50	c cleaning 532 clauses out of 1101 for limit 23467.67856740151
860.48/857.72	c cleaning 514 clauses out of 1067 for limit 39854.73209566409
860.58/857.89	c cleaning 503 clauses out of 1053 for limit 66599.63198906234
860.78/858.10	c cleaning 504 clauses out of 1050 for limit 110145.50755416
860.98/858.29	c cleaning 507 clauses out of 1049 for limit 182364.38304210702
861.18/858.47	c cleaning 498 clauses out of 1039 for limit 302727.8064587453
861.39/858.68	c cleaning 492 clauses out of 1041 for limit 498279.49898453406
861.59/858.88	c cleaning 513 clauses out of 1050 for limit 815501.6579582802
861.89/859.14	c cleaning 451 clauses out of 1036 for limit 1361682.2214561203
862.09/859.36	c cleaning 492 clauses out of 1085 for limit 2144182.1262833322
862.29/859.54	c cleaning 546 clauses out of 1093 for limit 3510161.7925221757
862.49/859.76	c cleaning 503 clauses out of 1047 for limit 6043054.374369998
862.69/859.92	c cleaning 482 clauses out of 1046 for limit 9995313.258215908
862.89/860.12	c cleaning 531 clauses out of 1062 for limit 1.6202813790074594E7
863.09/860.31	c cleaning 444 clauses out of 1031 for limit 2.7524039941142894E7
863.18/860.47	c cleaning 532 clauses out of 1087 for limit 4.305238225022057E7
863.38/860.68	c cleaning 517 clauses out of 1063 for limit 7.318556809852226E7
863.68/860.93	c cleaning 506 clauses out of 1039 for limit 1.2261891528009197E8
863.88/861.14	c cleaning 492 clauses out of 1032 for limit 2.033830216915044E8
864.09/861.32	c cleaning 501 clauses out of 1040 for limit 3.3282576616421336E8
864.28/861.51	c cleaning 518 clauses out of 1040 for limit 5.494236366758835E8
864.48/861.74	c cleaning 500 clauses out of 1021 for limit 9.220114442266612E8
864.68/861.94	c cleaning 488 clauses out of 1022 for limit 1.5205529801331127E9
864.88/862.12	c cleaning 503 clauses out of 1033 for limit 2.478412017391582E9
865.08/862.33	c cleaning 490 clauses out of 1031 for limit 4.099260910576872E9
865.29/862.54	c cleaning 504 clauses out of 1040 for limit 6.695025916021048E9
865.48/862.74	c cleaning 495 clauses out of 1036 for limit 1.1083622698131765E10
865.68/862.91	c cleaning 387 clauses out of 1041 for limit 1.8190584175069233E10
865.88/863.10	c cleaning 517 clauses out of 1154 for limit 2.7061225109359394E10
866.08/863.31	c cleaning 537 clauses out of 1137 for limit 4.5294835331148026E10
866.29/863.50	c cleaning 509 clauses out of 1100 for limit 7.72097865204004E10
866.48/863.70	c cleaning 545 clauses out of 1091 for limit 1.2837964583304092E11
866.58/863.86	c cleaning 522 clauses out of 1046 for limit 2.2082341724453485E11
866.78/864.06	c cleaning 495 clauses out of 1024 for limit 3.719912643092277E11
866.98/864.26	c cleaning 475 clauses out of 1031 for limit 6.105186611019592E11
867.18/864.47	c cleaning 507 clauses out of 1054 for limit 9.828876110824856E11
867.39/864.68	c cleaning 505 clauses out of 1047 for limit 1.631750209756142E12
867.58/864.85	c cleaning 408 clauses out of 1042 for limit 2.70388693257125E12
867.78/865.06	c cleaning 518 clauses out of 1134 for limit 4.097312402758702E12
867.98/865.25	c cleaning 533 clauses out of 1116 for limit 6.866000414357156E12
868.18/865.42	c cleaning 493 clauses out of 1083 for limit 1.1667973935015018E13
868.38/865.64	c cleaning 533 clauses out of 1090 for limit 1.9118477134735516E13
868.59/865.85	c cleaning 529 clauses out of 1058 for limit 3.2515057398635473E13
868.78/866.04	c cleaning 508 clauses out of 1028 for limit 5.513132792549062E13
868.98/866.25	c cleaning 488 clauses out of 1020 for limit 9.163202477318472E13
869.18/866.43	c cleaning 495 clauses out of 1032 for limit 1.493563338248302E14
869.38/866.62	c cleaning 493 clauses out of 1037 for limit 2.4512097339473384E14
869.59/866.83	c cleaning 506 clauses out of 1044 for limit 4.0152687362796675E14
869.78/867.06	c cleaning 518 clauses out of 1038 for limit 6.659991110144502E14
869.98/867.29	c cleaning 497 clauses out of 1020 for limit 1.1177037762386765E15
870.18/867.49	c cleaning 488 clauses out of 1023 for limit 1.8378376459127585E15
870.38/867.67	c cleaning 465 clauses out of 1035 for limit 2.995699964099806E15
870.58/867.85	c cleaning 510 clauses out of 1070 for limit 4.778711073191546E15
870.79/868.03	c cleaning 496 clauses out of 1060 for limit 7.955080389923201E-5
870.98/868.23	c cleaning 517 clauses out of 1064 for limit 1.3069672256648781E-4
871.18/868.46	c cleaning 490 clauses out of 1047 for limit 2.1903601539113312E-4
871.38/868.65	c cleaning 520 clauses out of 1058 for limit 3.5782192115943294E-4
871.58/868.86	c cleaning 500 clauses out of 1037 for limit 6.014440456268333E-4
871.79/869.05	c cleaning 499 clauses out of 1037 for limit 9.918616909835884E-4
871.98/869.25	c cleaning 502 clauses out of 1038 for limit 0.0016341367862771827
872.18/869.43	c cleaning 483 clauses out of 1036 for limit 0.002700112700767803
872.38/869.65	c cleaning 512 clauses out of 1053 for limit 0.004380958739102892
872.58/869.84	c cleaning 489 clauses out of 1041 for limit 0.0073080698826206965
872.68/869.99	c cleaning 499 clauses out of 1052 for limit 0.011925966039100346
872.89/870.20	c cleaning 495 clauses out of 1053 for limit 0.01964883582507568
873.18/870.43	c cleaning 518 clauses out of 1058 for limit 0.032250422938391025
873.38/870.63	c cleaning 499 clauses out of 1040 for limit 0.054105775956508256
873.58/870.85	c cleaning 512 clauses out of 1043 for limit 0.08914922483374439
873.78/871.05	c cleaning 487 clauses out of 1029 for limit 0.14872136690235216
873.99/871.23	c cleaning 480 clauses out of 1042 for limit 0.24220154613167097
874.18/871.42	c cleaning 514 clauses out of 1063 for limit 0.39192391473720883
874.38/871.61	c cleaning 487 clauses out of 1048 for limit 0.6549303576687736
874.58/871.81	c cleaning 505 clauses out of 1061 for limit 1.066834145148458
874.78/872.00	c cleaning 493 clauses out of 1056 for limit 1.7676824900799084
874.98/872.24	c cleaning 522 clauses out of 1063 for limit 2.8959482756473505
875.19/872.47	c cleaning 498 clauses out of 1041 for limit 4.876735739773983
875.38/872.66	c cleaning 483 clauses out of 1043 for limit 8.026967984537396
875.58/872.81	c cleaning 481 clauses out of 1060 for limit 13.025243800542908
875.78/873.05	c cleaning 519 clauses out of 1079 for limit 21.102123896032243
875.98/873.26	c cleaning 493 clauses out of 1060 for limit 35.42400291942022
876.19/873.48	c cleaning 518 clauses out of 1068 for limit 58.03936421215091
876.38/873.69	c cleaning 507 clauses out of 1052 for limit 97.36504519481203
876.68/873.91	c cleaning 500 clauses out of 1042 for limit 161.62310366759507
876.78/874.09	c cleaning 493 clauses out of 1042 for limit 266.5381194998481
877.08/874.30	c cleaning 507 clauses out of 1049 for limit 436.62384228236573
877.29/874.55	c cleaning 506 clauses out of 1042 for limit 724.888322083139
877.48/874.73	c cleaning 480 clauses out of 1036 for limit 1202.3612019800858
877.58/874.88	c cleaning 490 clauses out of 1056 for limit 1945.3004091169914
877.88/875.13	c cleaning 516 clauses out of 1066 for limit 3177.9662350410463
878.08/875.35	c cleaning 510 clauses out of 1051 for limit 5321.011114645861
878.28/875.59	c cleaning 502 clauses out of 1040 for limit 8859.004413629556
878.49/875.79	c cleaning 502 clauses out of 1038 for limit 14637.833093508629
878.78/876.00	c cleaning 496 clauses out of 1036 for limit 24186.346809769424
878.98/876.21	c cleaning 507 clauses out of 1040 for limit 39733.11178289551
879.18/876.43	c cleaning 484 clauses out of 1033 for limit 65969.2404644883
879.38/876.62	c cleaning 510 clauses out of 1049 for limit 107132.73796304256
879.59/876.87	c cleaning 500 clauses out of 1039 for limit 178376.66168295188
879.78/877.04	c cleaning 479 clauses out of 1039 for limit 294166.97791806445
879.98/877.26	c cleaning 509 clauses out of 1060 for limit 475509.8177577793
880.18/877.47	c cleaning 503 clauses out of 1051 for limit 790894.4435497618
880.48/877.70	c cleaning 495 clauses out of 1048 for limit 1308024.398081729
880.59/877.89	c cleaning 502 clauses out of 1053 for limit 2146864.542466321
880.78/878.08	c cleaning 516 clauses out of 1051 for limit 3547204.1627710206
1800.07/1796.31	c starts		: 25
1800.07/1796.31	c conflicts		: 3350361
1800.07/1796.31	c decisions		: 12646577
1800.07/1796.31	c propagations		: 3127877539
1800.07/1796.31	c inspects		: 13765115492
1800.07/1796.31	c learnt literals	: 0
1800.07/1796.31	c learnt binary clauses	: 0
1800.07/1796.31	c learnt ternary clauses	: 0
1800.07/1796.31	c learnt clauses	: 3350361
1800.07/1796.31	c root simplifications	: 0
1800.07/1796.31	c removed literals (reason simplification)	: 0
1800.07/1796.31	c reason swapping (by a shorter reason)	: 0
1800.07/1796.31	c Calls to reduceDB	: 307
1800.07/1796.31	c speed (decisions/second)	: 7042.666155819234
1800.07/1796.31	c non guided choices	0
1800.07/1796.31	s SATISFIABLE
1800.07/1796.32	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 x857 x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 x3322 x3323 -x3324 -x3325 -x3326 x3327 x3328 -x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 x3338 -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 x3385 -x3386 -x3387 -x3388 -x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3636 -x3637 -x3638 -x3639 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 x3827 -x3828 x3829 -x3830 -x3831 x3832 -x3833 x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 x3944 -x3945 -x3946 x3947 x3948 x3949 x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 x3998 -x3999 x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 -x4491 -x4492 x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 x4633 -x4634 x4635 -x4636 -x4637 -x4638 -x4639 x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 x4707 x4708 -x4709 x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 x4942 x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 x5170 -x5171 x5172 -x5173 -x5174 -x5175 -x5176 x5177 -x5178 x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 -x5204 x5205 -x5206 -x5207 x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 x5245 -x5246 x5247 x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 x5294 x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5343 -x5344 x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 x5362 -x5363 x5364 -x5365 x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 x5392 -x5393 -x5394 x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 x5404 x5405 x5406 -x5407 -x5408 x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 x5636 -x5637 x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 x5684 -x5685 x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 x5859 -x5860 -x5861 -x5862 -x5863 x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 x5909 -x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 x5937 -x5938 x5939 -x5940 -x5941 x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 x5975 -x5976 x5977 -x5978 -x5979 x5980 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 x5989 -x5990 x5991 -x5992 x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 x6036 -x6037 -x6038 x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 x6047 x6048 x6049 x6050 -x6051 -x6052 x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 
1800.07/1796.33	c objective function=26
1800.07/1796.33	c Total wall clock time (ms): 1796.231

Verifier Data 

OK	26

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 /tmp/evaluation-result-3735975-1338711835/watcher-3735975-1338711835 -o /tmp/evaluation-result-3735975-1338711835/solver-3735975-1338711835 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3735975-1338711835.opb 

running on 4 cores: 0,2,4,6

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: 1.91 1.97 1.99 3/194 7759
/proc/meminfo: memFree=29488752/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/7759/stat : 7759 (java) D 7757 7759 1585 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 337308950 9515008 183 33554432000 1073741824 1073778376 140733351133792 140733351124824 214537420469 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 2323 183 140 9 0 71 0

[startup+0.102054 s]
/proc/loadavg: 1.91 1.97 1.99 3/194 7759
/proc/meminfo: memFree=29488752/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/7759/stat : 7759 (java) S 7757 7759 1585 0 -1 4202496 4924 0 1 0 8 1 0 0 20 0 18 0 337308950 3028844544 6619 33554432000 1073741824 1073778376 140735022863280 140735022854416 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 739464 6619 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.200212 s]
/proc/loadavg: 1.91 1.97 1.99 3/194 7759
/proc/meminfo: memFree=29488752/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=2957856 CPUtime=0.26 cores=0,2,4,6
/proc/7759/stat : 7759 (java) S 7757 7759 1585 0 -1 4202496 5416 0 1 0 24 2 0 0 20 0 18 0 337308950 3028844544 7896 33554432000 1073741824 1073778376 140735022863280 140735022854416 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 739464 7896 2216 9 0 729885 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 2957856

[startup+0.300269 s]
/proc/loadavg: 1.91 1.97 1.99 3/194 7759
/proc/meminfo: memFree=29488752/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=2957856 CPUtime=0.46 cores=0,2,4,6
/proc/7759/stat : 7759 (java) S 7757 7759 1585 0 -1 4202496 6305 0 1 0 44 2 0 0 20 0 18 0 337308950 3028844544 9495 33554432000 1073741824 1073778376 140735022863280 140735022854416 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 739464 9495 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856

[startup+0.700216 s]
/proc/loadavg: 1.91 1.97 1.99 3/194 7759
/proc/meminfo: memFree=29488752/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/7759/stat : 7759 (java) S 7757 7759 1585 0 -1 4202496 10931 0 1 0 144 3 0 0 20 0 19 0 337308950 3097006080 22785 33554432000 1073741824 1073778376 140735022863280 140735022854416 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 756105 22785 2276 9 0 746526 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 3024420

[startup+1.50062 s]
/proc/loadavg: 1.91 1.97 1.99 3/213 7779
/proc/meminfo: memFree=29404168/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=3024420 CPUtime=2.33 cores=0,2,4,6
/proc/7759/stat : 7759 (java) S 7757 7759 1585 0 -1 4202496 10932 0 1 0 229 4 0 0 20 0 19 0 337308950 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 140735022854416 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 756105 23297 2276 9 0 746526 0
[pid=7759/tid=7761] ppid=7757 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 1585 0 -1 4202560 3071 0 1 0 144 2 0 0 20 0 19 0 337308951 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139886090383816 139885961532336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139886079445160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885955115304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885954062760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885953010216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7766] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885951957672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7767] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885950905128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885949852584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7769] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885948800040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337308953 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885465790568 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885464736888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7772] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7772/stat : 7772 (java) S 7757 7759 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885463684232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7773] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7773/stat : 7773 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885462632976 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7774] ppid=7757 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/7759/task/7774/stat : 7774 (java) S 7757 7759 1585 0 -1 4202560 3834 0 0 0 41 0 0 0 20 0 19 0 337308956 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885461580344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7775] ppid=7757 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/7759/task/7775/stat : 7775 (java) S 7757 7759 1585 0 -1 4202560 2821 0 0 0 40 0 0 0 20 0 19 0 337308956 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885460527800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7776] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7776/stat : 7776 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885459475448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7777] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7777/stat : 7777 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885458423112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7779] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7779/stat : 7779 (java) S 7757 7759 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337309011 3097006080 23297 33554432000 1073741824 1073778376 140735022863280 139885456290728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 3024420

[startup+3.10061 s]
/proc/loadavg: 1.91 1.97 1.99 3/213 7779
/proc/meminfo: memFree=29401384/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=3024420 CPUtime=3.97 cores=0,2,4,6
/proc/7759/stat : 7759 (java) S 7757 7759 1585 0 -1 4202496 10937 0 1 0 393 4 0 0 20 0 19 0 337308950 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 140735022854416 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 756105 23300 2279 9 0 746526 0
[pid=7759/tid=7761] ppid=7757 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 1585 0 -1 4202560 3073 0 1 0 304 2 0 0 20 0 19 0 337308951 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139886090383800 139885961551099 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139886079445160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885955115304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885954062760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885953010216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7766] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885951957672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7767] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885950905128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885949852584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7769] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885948800040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337308953 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885465790568 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885464736888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7772] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7772/stat : 7772 (java) S 7757 7759 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885463684232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7773] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7773/stat : 7773 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885462632976 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7774] ppid=7757 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/7759/task/7774/stat : 7774 (java) S 7757 7759 1585 0 -1 4202560 3837 0 0 0 45 0 0 0 20 0 19 0 337308956 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885461580344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7775] ppid=7757 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/7759/task/7775/stat : 7775 (java) S 7757 7759 1585 0 -1 4202560 2821 0 0 0 40 0 0 0 20 0 19 0 337308956 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885460527800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7776] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7776/stat : 7776 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885459475448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7777] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7777/stat : 7777 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885458423112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7779] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7779/stat : 7779 (java) S 7757 7759 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337309011 3097006080 23300 33554432000 1073741824 1073778376 140735022863280 139885456290728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 3024420

[startup+6.30055 s]
/proc/loadavg: 1.92 1.97 1.99 3/213 7779
/proc/meminfo: memFree=29400208/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=3024420 CPUtime=7.19 cores=0,2,4,6
/proc/7759/stat : 7759 (java) S 7757 7759 1585 0 -1 4202496 10942 0 1 0 715 4 0 0 20 0 19 0 337308950 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 140735022854416 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 756105 23960 2279 9 0 746526 0
[pid=7759/tid=7761] ppid=7757 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 1585 0 -1 4202560 3077 0 1 0 624 2 0 0 20 0 19 0 337308951 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139886090383632 139885961504605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139886079445160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885955115304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885954062760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885953010216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7766] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885951957672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7767] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885950905128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885949852584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7769] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337308952 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885948800040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 1585 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337308953 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885465790568 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885464736888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7772] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7772/stat : 7772 (java) S 7757 7759 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885463684232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7773] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7773/stat : 7773 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885462632976 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7774] ppid=7757 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/7759/task/7774/stat : 7774 (java) S 7757 7759 1585 0 -1 4202560 3837 0 0 0 47 0 0 0 20 0 19 0 337308956 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885461580344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7775] ppid=7757 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/7759/task/7775/stat : 7775 (java) S 7757 7759 1585 0 -1 4202560 2821 0 0 0 42 0 0 0 20 0 19 0 337308956 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885460527800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7776] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7776/stat : 7776 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885459475448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7777] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7777/stat : 7777 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885458423112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7779] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7779/stat : 7779 (java) S 7757 7759 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337309011 3097006080 23960 33554432000 1073741824 1073778376 140735022863280 139885456290728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 3024420

[startup+12.7006 s]

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

[pid=7759/tid=7767] ppid=7757 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 1585 0 -1 4202560 255 0 0 0 21 11 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885950905128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 1585 0 -1 4202560 365 0 0 0 34 18 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885949852584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7769] ppid=7757 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 1585 0 -1 4202560 201 0 0 0 31 9 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885948800040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=3024420 CPUtime=2.14 cores=0,2,4,6
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 1585 0 -1 4202560 219 0 0 0 207 7 0 0 20 0 19 0 337308953 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885465790568 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885464736888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7772] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7772/stat : 7772 (java) S 7757 7759 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885463684232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7773] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7773/stat : 7773 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885462632976 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7774] ppid=7757 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/7759/task/7774/stat : 7774 (java) S 7757 7759 1585 0 -1 4202560 3853 0 0 0 54 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885461580344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7775] ppid=7757 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/7759/task/7775/stat : 7775 (java) S 7757 7759 1585 0 -1 4202560 2826 0 0 0 46 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885460527800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7776] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7776/stat : 7776 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885459475448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7777] ppid=7757 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/7759/task/7777/stat : 7777 (java) S 7757 7759 1585 0 -1 4202560 95 0 0 0 22 24 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885458423112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7779] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7779/stat : 7779 (java) S 7757 7759 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337309011 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885456290728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1666.05
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 1.04 1.53 1.81 2/189 7821
/proc/meminfo: memFree=28052676/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=3024420 CPUtime=1726.06 cores=0,2,4,6
/proc/7759/stat : 7759 (java) S 7757 7759 1585 0 -1 4202496 14492 0 1 0 172466 140 0 0 20 0 19 0 337308950 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 140735022854416 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 756105 419612 2307 9 0 746526 0
[pid=7759/tid=7761] ppid=7757 vsize=3024420 CPUtime=1719.37 cores=0,2,4,6
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 1585 0 -1 4202560 3257 0 1 0 171903 34 0 0 20 0 19 0 337308951 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139886090382640 139885961551436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 1585 0 -1 4202560 198 0 0 0 17 9 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139886079445160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 1585 0 -1 4202560 690 0 0 0 28 12 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885955115304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 1585 0 -1 4202560 596 0 0 0 29 9 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885954062760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 1585 0 -1 4202560 420 0 0 0 31 15 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885953010216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7766] ppid=7757 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 1585 0 -1 4202560 321 0 0 0 31 16 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885951957672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7759/tid=7767] ppid=7757 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 1585 0 -1 4202560 255 0 0 0 21 11 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885950905128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 1585 0 -1 4202560 365 0 0 0 34 18 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885949852584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7769] ppid=7757 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 1585 0 -1 4202560 201 0 0 0 31 9 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885948800040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=3024420 CPUtime=2.14 cores=0,2,4,6
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 1585 0 -1 4202560 219 0 0 0 207 7 0 0 20 0 19 0 337308953 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885465790568 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885464736888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7772] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7772/stat : 7772 (java) S 7757 7759 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885463684232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7773] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7773/stat : 7773 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885462632976 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7774] ppid=7757 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/7759/task/7774/stat : 7774 (java) S 7757 7759 1585 0 -1 4202560 3853 0 0 0 54 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885461580344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7775] ppid=7757 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/7759/task/7775/stat : 7775 (java) S 7757 7759 1585 0 -1 4202560 2826 0 0 0 46 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885460527800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7776] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7776/stat : 7776 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885459475448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7777] ppid=7757 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/7759/task/7777/stat : 7777 (java) S 7757 7759 1585 0 -1 4202560 99 0 0 0 23 25 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885458423112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7779] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7779/stat : 7779 (java) S 7757 7759 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337309011 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885456290728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.06
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 1.01 1.43 1.76 2/189 7821
/proc/meminfo: memFree=28052180/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=3024420 CPUtime=1786.06 cores=0,2,4,6
/proc/7759/stat : 7759 (java) S 7757 7759 1585 0 -1 4202496 14499 0 1 0 178464 142 0 0 20 0 19 0 337308950 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 140735022854416 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 756105 419612 2307 9 0 746526 0
[pid=7759/tid=7761] ppid=7757 vsize=3024420 CPUtime=1778.62 cores=0,2,4,6
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 1585 0 -1 4202560 3258 0 1 0 177826 36 0 0 20 0 19 0 337308951 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139886090382640 139885961515564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 1585 0 -1 4202560 198 0 0 0 17 9 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139886079445160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 1585 0 -1 4202560 690 0 0 0 28 12 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885955115304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 1585 0 -1 4202560 596 0 0 0 29 9 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885954062760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 1585 0 -1 4202560 420 0 0 0 31 15 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885953010216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7766] ppid=7757 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 1585 0 -1 4202560 321 0 0 0 31 16 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885951957672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7759/tid=7767] ppid=7757 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 1585 0 -1 4202560 255 0 0 0 21 11 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885950905128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 1585 0 -1 4202560 365 0 0 0 34 18 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885949852584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7769] ppid=7757 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 1585 0 -1 4202560 201 0 0 0 31 9 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885948800040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=3024420 CPUtime=2.89 cores=0,2,4,6
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 1585 0 -1 4202560 221 0 0 0 282 7 0 0 20 0 19 0 337308953 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885465790568 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885464736888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7772] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7772/stat : 7772 (java) S 7757 7759 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885463684232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7773] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7773/stat : 7773 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885462632976 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7774] ppid=7757 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/7759/task/7774/stat : 7774 (java) S 7757 7759 1585 0 -1 4202560 3853 0 0 0 54 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885461580344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7775] ppid=7757 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/7759/task/7775/stat : 7775 (java) S 7757 7759 1585 0 -1 4202560 2826 0 0 0 46 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885460527800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7776] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7776/stat : 7776 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885459475448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7777] ppid=7757 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/7759/task/7777/stat : 7777 (java) S 7757 7759 1585 0 -1 4202560 103 0 0 0 24 26 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885458423112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7779] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7779/stat : 7779 (java) S 7757 7759 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337309011 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885456290728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.06
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.3 s]
/proc/loadavg: 1.01 1.41 1.74 2/189 7821
/proc/meminfo: memFree=28052552/32873648 swapFree=7116/7116
[pid=7759] ppid=7757 vsize=3024420 CPUtime=1800.07 cores=0,2,4,6
/proc/7759/stat : 7759 (java) S 7757 7759 1585 0 -1 4202496 14499 0 1 0 179864 143 0 0 20 0 19 0 337308950 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 140735022854416 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7759/statm: 756105 419612 2307 9 0 746526 0
[pid=7759/tid=7761] ppid=7757 vsize=3024420 CPUtime=1792.63 cores=0,2,4,6
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 1585 0 -1 4202560 3258 0 1 0 179227 36 0 0 20 0 19 0 337308951 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139886090382640 139885961462631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 1585 0 -1 4202560 198 0 0 0 17 9 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139886079445160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 1585 0 -1 4202560 690 0 0 0 28 12 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885955115304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 1585 0 -1 4202560 596 0 0 0 29 9 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885954062760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 1585 0 -1 4202560 420 0 0 0 31 15 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885953010216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7766] ppid=7757 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 1585 0 -1 4202560 321 0 0 0 31 16 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885951957672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7759/tid=7767] ppid=7757 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 1585 0 -1 4202560 255 0 0 0 21 11 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885950905128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 1585 0 -1 4202560 365 0 0 0 34 18 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885949852584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7769] ppid=7757 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 1585 0 -1 4202560 201 0 0 0 31 9 0 0 20 0 19 0 337308952 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885948800040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=3024420 CPUtime=2.89 cores=0,2,4,6
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 1585 0 -1 4202560 221 0 0 0 282 7 0 0 20 0 19 0 337308953 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885465790568 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885464736888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7772] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7772/stat : 7772 (java) S 7757 7759 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337308954 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885463684232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7773] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7773/stat : 7773 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885462632976 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7774] ppid=7757 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/7759/task/7774/stat : 7774 (java) S 7757 7759 1585 0 -1 4202560 3853 0 0 0 54 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885461580344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7759/tid=7775] ppid=7757 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/7759/task/7775/stat : 7775 (java) S 7757 7759 1585 0 -1 4202560 2826 0 0 0 46 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885460527800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7776] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7776/stat : 7776 (java) S 7757 7759 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885459475448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7759/tid=7777] ppid=7757 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/7759/task/7777/stat : 7777 (java) S 7757 7759 1585 0 -1 4202560 103 0 0 0 24 26 0 0 20 0 19 0 337308956 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885458423112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7759/tid=7779] ppid=7757 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/7759/task/7779/stat : 7779 (java) S 7757 7759 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337309011 3097006080 419612 33554432000 1073741824 1073778376 140735022863280 139885456290728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420

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): 1796.34
CPU time (s): 1800.57
CPU user time (s): 1798.73
CPU system time (s): 1.84472
CPU usage (%): 100.235
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.84472
maximum resident set size= 1678564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14532
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38126
involuntary context switches= 4036

runsolver used 6.15906 second user time and 14.5848 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-03 10:23:55
IDJOB=3735975
IDBENCH=25012
IDSOLVER=2319
FILE ID=node127/3735975-1338711835
RUNJOBID= node127-1338678617-1606
PBS_JOBID= 14636686
Free space on /tmp= 70476 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735975-1338711835/watcher-3735975-1338711835 -o /tmp/evaluation-result-3735975-1338711835/solver-3735975-1338711835 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3735975-1338711835.opb           

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

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=439178119

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29488752 kB
Buffers:          395972 kB
Cached:          1865608 kB
SwapCached:         1428 kB
Active:          1245984 kB
Inactive:        1246596 kB
Active(anon):     225020 kB
Inactive(anon):     7952 kB
Active(file):    1020964 kB
Inactive(file):  1238644 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104508 kB
Dirty:              4028 kB
Writeback:             0 kB
AnonPages:        246500 kB
Mapped:            18968 kB
Shmem:                92 kB
Slab:             745680 kB
SReclaimable:     189744 kB
SUnreclaim:       555936 kB
KernelStack:        1616 kB
PageTables:         4712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1825320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70480 MiB
End job on node127 at 2012-06-03 10:53:53