Trace number 3456546

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j CuttingPlanes 2.3.0SAT (TO)2147418063 1800.3 1796.48

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
MD5SUM6eba7367ef128fb0872fe815e4ef2398
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1207959552
Best CPU time to get the best result obtained on this benchmark1800.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1207959552
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		9996466904
0.05/0.08	c Max memory 		10048897024
0.05/0.08	c Total memory 		10048897024
0.05/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@38540408
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3456546-1307660559.opb
0.10/0.10	c reading problem ... 
0.99/0.65	c ... done. Wall clock time 0.543s.
0.99/0.65	c #vars     6651
0.99/0.65	c #constraints  721
0.99/0.65	c constraints type 
0.99/0.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
0.99/0.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
0.99/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 339
1.56/1.04	c SATISFIABLE
1.56/1.04	c OPTIMIZING...
1.56/1.04	c Got one! Elapsed wall clock time (in seconds):0.933
1.56/1.04	o 2147483647
2.25/1.49	c Got one! Elapsed wall clock time (in seconds):1.381
2.25/1.49	o 2147483646
2.64/1.79	c Got one! Elapsed wall clock time (in seconds):1.689
2.64/1.79	o 2147483645
3.21/2.24	c Got one! Elapsed wall clock time (in seconds):2.141
3.21/2.24	o 2147483644
3.60/2.63	c Got one! Elapsed wall clock time (in seconds):2.531
3.60/2.63	o 2147483643
4.03/3.05	c Got one! Elapsed wall clock time (in seconds):2.943
4.03/3.05	o 2147483642
4.44/3.45	c Got one! Elapsed wall clock time (in seconds):3.346
4.44/3.45	o 2147483641
4.64/3.66	c Got one! Elapsed wall clock time (in seconds):3.558
4.64/3.66	o 2147483640
5.04/4.07	c Got one! Elapsed wall clock time (in seconds):3.969
5.04/4.07	o 2147483639
5.47/4.49	c Got one! Elapsed wall clock time (in seconds):4.381
5.47/4.49	o 2147483638
5.93/4.89	c Got one! Elapsed wall clock time (in seconds):4.787
5.93/4.89	o 2147483637
6.33/5.27	c Got one! Elapsed wall clock time (in seconds):5.169
6.33/5.27	o 2147483636
6.74/5.66	c Got one! Elapsed wall clock time (in seconds):5.558
6.74/5.66	o 2147483635
7.14/6.06	c Got one! Elapsed wall clock time (in seconds):5.952
7.14/6.06	o 2147483634
15.18/13.82	c Got one! Elapsed wall clock time (in seconds):13.711
15.18/13.82	o 2147483633
22.28/20.87	c Got one! Elapsed wall clock time (in seconds):20.766
22.28/20.87	o 2147483632
29.68/28.15	c Got one! Elapsed wall clock time (in seconds):28.041
29.68/28.15	o 2147483631
36.69/35.17	c Got one! Elapsed wall clock time (in seconds):35.071
36.69/35.17	o 2147483630
43.80/42.20	c Got one! Elapsed wall clock time (in seconds):42.1
43.80/42.20	o 2147483629
51.51/49.92	c Got one! Elapsed wall clock time (in seconds):49.818
51.51/49.92	o 2147483628
59.43/57.81	c Got one! Elapsed wall clock time (in seconds):57.706
59.43/57.81	o 2147483627
67.23/65.69	c Got one! Elapsed wall clock time (in seconds):65.588
67.23/65.69	o 2147483626
75.14/73.57	c Got one! Elapsed wall clock time (in seconds):73.469
75.14/73.57	o 2147483625
75.54/73.96	c Got one! Elapsed wall clock time (in seconds):73.858
75.54/73.96	o 2147483624
75.94/74.35	c Got one! Elapsed wall clock time (in seconds):74.246
75.94/74.35	o 2147483623
76.34/74.74	c Got one! Elapsed wall clock time (in seconds):74.641
76.34/74.74	o 2147483622
80.54/78.93	c Got one! Elapsed wall clock time (in seconds):78.827
80.54/78.93	o 2147483621
114.96/113.32	c Got one! Elapsed wall clock time (in seconds):113.216
114.96/113.32	o 2147483620
115.26/113.68	c Got one! Elapsed wall clock time (in seconds):113.575
115.26/113.68	o 2147483619
115.66/114.02	c Got one! Elapsed wall clock time (in seconds):113.918
115.66/114.02	o 2147483618
115.96/114.37	c Got one! Elapsed wall clock time (in seconds):114.269
115.96/114.37	o 2147483617
116.37/114.77	c Got one! Elapsed wall clock time (in seconds):114.666
116.37/114.77	o 2147483616
116.77/115.14	c Got one! Elapsed wall clock time (in seconds):115.038
116.77/115.14	o 2147483615
117.18/115.53	c Got one! Elapsed wall clock time (in seconds):115.423
117.18/115.53	o 2147483614
117.57/115.92	c Got one! Elapsed wall clock time (in seconds):115.813
117.57/115.92	o 2147483613
117.97/116.30	c Got one! Elapsed wall clock time (in seconds):116.199
117.97/116.30	o 2147483612
118.28/116.69	c Got one! Elapsed wall clock time (in seconds):116.583
118.28/116.69	o 2147483611
118.67/117.08	c Got one! Elapsed wall clock time (in seconds):116.974
118.67/117.08	o 2147483610
119.07/117.48	c Got one! Elapsed wall clock time (in seconds):117.379
119.07/117.48	o 2147483609
119.47/117.87	c Got one! Elapsed wall clock time (in seconds):117.769
119.47/117.87	o 2147483608
119.87/118.25	c Got one! Elapsed wall clock time (in seconds):118.144
119.87/118.25	o 2147483607
120.27/118.60	c Got one! Elapsed wall clock time (in seconds):118.496
120.27/118.60	o 2147483606
120.57/118.96	c Got one! Elapsed wall clock time (in seconds):118.858
120.57/118.96	o 2147483605
120.98/119.34	c Got one! Elapsed wall clock time (in seconds):119.235
120.98/119.34	o 2147483604
121.38/119.71	c Got one! Elapsed wall clock time (in seconds):119.603
121.38/119.71	o 2147483603
121.78/120.10	c Got one! Elapsed wall clock time (in seconds):119.994
121.78/120.10	o 2147483602
122.08/120.46	c Got one! Elapsed wall clock time (in seconds):120.36
122.08/120.46	o 2147483601
122.48/120.83	c Got one! Elapsed wall clock time (in seconds):120.729
122.48/120.83	o 2147483600
122.88/121.21	c Got one! Elapsed wall clock time (in seconds):121.106
122.88/121.21	o 2147483599
123.18/121.59	c Got one! Elapsed wall clock time (in seconds):121.483
123.18/121.59	o 2147483598
123.58/121.97	c Got one! Elapsed wall clock time (in seconds):121.866
123.58/121.97	o 2147483597
123.98/122.35	c Got one! Elapsed wall clock time (in seconds):122.246
123.98/122.35	o 2147483596
124.38/122.72	c Got one! Elapsed wall clock time (in seconds):122.616
124.38/122.72	o 2147483595
124.68/123.10	c Got one! Elapsed wall clock time (in seconds):122.993
124.68/123.10	o 2147483594
125.08/123.47	c Got one! Elapsed wall clock time (in seconds):123.366
125.08/123.47	o 2147483593
139.85/138.17	c Got one! Elapsed wall clock time (in seconds):138.065
139.85/138.17	o 2147483592
140.26/138.60	c Got one! Elapsed wall clock time (in seconds):138.497
140.26/138.60	o 2147483591
140.75/139.03	c Got one! Elapsed wall clock time (in seconds):138.925
140.75/139.03	o 2147483590
141.15/139.46	c Got one! Elapsed wall clock time (in seconds):139.354
141.15/139.46	o 2147483589
141.65/139.90	c Got one! Elapsed wall clock time (in seconds):139.8
141.65/139.90	o 2147483588
142.05/140.36	c Got one! Elapsed wall clock time (in seconds):140.254
142.05/140.36	o 2147483587
142.48/140.77	c Got one! Elapsed wall clock time (in seconds):140.67
142.48/140.77	o 2147483586
142.87/141.16	c Got one! Elapsed wall clock time (in seconds):141.057
142.87/141.16	o 2147483585
143.27/141.56	c Got one! Elapsed wall clock time (in seconds):141.46
143.27/141.56	o 2147483584
209.22/207.42	c Got one! Elapsed wall clock time (in seconds):207.319
209.22/207.42	o 2147483583
241.75/239.91	c Got one! Elapsed wall clock time (in seconds):239.805
241.75/239.91	o 2147483582
246.36/244.57	c Got one! Elapsed wall clock time (in seconds):244.463
246.36/244.57	o 2147483581
246.86/245.05	c Got one! Elapsed wall clock time (in seconds):244.948
246.86/245.05	o 2147483580
247.36/245.53	c Got one! Elapsed wall clock time (in seconds):245.43
247.36/245.53	o 2147483579
247.86/246.00	c Got one! Elapsed wall clock time (in seconds):245.901
247.86/246.00	o 2147483578
248.26/246.48	c Got one! Elapsed wall clock time (in seconds):246.374
248.26/246.48	o 2147483577
562.97/560.98	c Got one! Elapsed wall clock time (in seconds):560.874
562.97/560.98	o 2147483576
574.88/572.88	c Got one! Elapsed wall clock time (in seconds):572.772
574.88/572.88	o 2147483575
586.91/584.80	c Got one! Elapsed wall clock time (in seconds):584.699
586.91/584.80	o 2147483574
598.83/596.72	c Got one! Elapsed wall clock time (in seconds):596.614
598.83/596.72	o 2147483573
610.74/608.64	c Got one! Elapsed wall clock time (in seconds):608.537
610.74/608.64	o 2147483572
620.75/618.65	c Got one! Elapsed wall clock time (in seconds):618.55
620.75/618.65	o 2147483571
621.25/619.14	c Got one! Elapsed wall clock time (in seconds):619.037
621.25/619.14	o 2147483570
638.87/636.76	c Got one! Elapsed wall clock time (in seconds):636.658
638.87/636.76	o 2147483569
639.37/637.26	c Got one! Elapsed wall clock time (in seconds):637.152
639.37/637.26	o 2147483568
639.87/637.71	c Got one! Elapsed wall clock time (in seconds):637.609
639.87/637.71	o 2147483567
653.70/651.55	c Got one! Elapsed wall clock time (in seconds):651.443
653.70/651.55	o 2147483566
654.20/652.02	c Got one! Elapsed wall clock time (in seconds):651.919
654.20/652.02	o 2147483565
654.70/652.50	c Got one! Elapsed wall clock time (in seconds):652.395
654.70/652.50	o 2147483564
660.91/658.72	c Got one! Elapsed wall clock time (in seconds):658.616
660.91/658.72	o 2147483563
661.41/659.23	c Got one! Elapsed wall clock time (in seconds):659.122
661.41/659.23	o 2147483562
661.81/659.67	c Got one! Elapsed wall clock time (in seconds):659.568
661.81/659.67	o 2147483561
662.31/660.13	c Got one! Elapsed wall clock time (in seconds):660.031
662.31/660.13	o 2147483560
662.71/660.58	c Got one! Elapsed wall clock time (in seconds):660.476
662.71/660.58	o 2147483559
717.06/714.89	c Got one! Elapsed wall clock time (in seconds):714.79
717.06/714.89	o 2147483558
717.56/715.34	c Got one! Elapsed wall clock time (in seconds):715.236
717.56/715.34	o 2147483557
717.96/715.79	c Got one! Elapsed wall clock time (in seconds):715.689
717.96/715.79	o 2147483556
722.57/720.30	c Got one! Elapsed wall clock time (in seconds):720.198
722.57/720.30	o 2147483555
722.97/720.75	c Got one! Elapsed wall clock time (in seconds):720.643
722.97/720.75	o 2147483554
725.37/723.15	c Got one! Elapsed wall clock time (in seconds):723.05
725.37/723.15	o 2147483553
725.87/723.62	c Got one! Elapsed wall clock time (in seconds):723.517
725.87/723.62	o 2147483552
728.29/726.04	c Got one! Elapsed wall clock time (in seconds):725.94
728.29/726.04	o 2147483551
730.68/728.46	c Got one! Elapsed wall clock time (in seconds):728.356
730.68/728.46	o 2147483550
731.18/728.92	c Got one! Elapsed wall clock time (in seconds):728.815
731.18/728.92	o 2147483549
735.70/733.43	c Got one! Elapsed wall clock time (in seconds):733.323
735.70/733.43	o 2147483548
736.20/733.90	c Got one! Elapsed wall clock time (in seconds):733.797
736.20/733.90	o 2147483547
736.60/734.36	c Got one! Elapsed wall clock time (in seconds):734.259
736.60/734.36	o 2147483546
737.11/734.82	c Got one! Elapsed wall clock time (in seconds):734.716
737.11/734.82	o 2147483545
737.60/735.31	c Got one! Elapsed wall clock time (in seconds):735.201
737.60/735.31	o 2147483544
738.00/735.79	c Got one! Elapsed wall clock time (in seconds):735.688
738.00/735.79	o 2147483543
738.50/736.27	c Got one! Elapsed wall clock time (in seconds):736.168
738.50/736.27	o 2147483542
739.00/736.78	c Got one! Elapsed wall clock time (in seconds):736.672
739.00/736.78	o 2147483541
739.50/737.25	c Got one! Elapsed wall clock time (in seconds):737.142
739.50/737.25	o 2147483540
755.04/752.71	c Got one! Elapsed wall clock time (in seconds):752.606
755.04/752.71	o 2147483539
755.54/753.23	c Got one! Elapsed wall clock time (in seconds):753.125
755.54/753.23	o 2147483538
758.14/755.86	c Got one! Elapsed wall clock time (in seconds):755.755
758.14/755.86	o 2147483537
767.25/764.93	c Got one! Elapsed wall clock time (in seconds):764.825
767.25/764.93	o 2147483536
784.88/782.56	c Got one! Elapsed wall clock time (in seconds):782.455
784.88/782.56	o 2147483535
800.11/797.79	c Got one! Elapsed wall clock time (in seconds):797.683
800.11/797.79	o 2147483534
866.90/864.40	c Got one! Elapsed wall clock time (in seconds):864.3
866.90/864.40	o 2147483533
867.50/865.01	c Got one! Elapsed wall clock time (in seconds):864.911
867.50/865.01	o 2147483532
868.10/865.63	c Got one! Elapsed wall clock time (in seconds):865.53
868.10/865.63	o 2147483531
868.70/866.26	c Got one! Elapsed wall clock time (in seconds):866.154
868.70/866.26	o 2147483530
869.31/866.88	c Got one! Elapsed wall clock time (in seconds):866.781
869.31/866.88	o 2147483529
921.06/918.53	c Got one! Elapsed wall clock time (in seconds):918.428
921.06/918.53	o 2147483528
973.30/970.78	c Got one! Elapsed wall clock time (in seconds):970.679
973.30/970.78	o 2147450879
986.11/983.50	c Got one! Elapsed wall clock time (in seconds):983.394
986.11/983.50	o 2147450878
998.04/995.46	c Got one! Elapsed wall clock time (in seconds):995.355
998.04/995.46	o 2147450877
1009.46/1006.89	c Got one! Elapsed wall clock time (in seconds):1006.783
1009.46/1006.89	o 2147450876
1020.98/1018.31	c Got one! Elapsed wall clock time (in seconds):1018.208
1020.98/1018.31	o 2147450875
1032.39/1029.74	c Got one! Elapsed wall clock time (in seconds):1029.635
1032.39/1029.74	o 2147450874
1039.10/1036.40	c Got one! Elapsed wall clock time (in seconds):1036.297
1039.10/1036.40	o 2147450873
1044.52/1041.86	c Got one! Elapsed wall clock time (in seconds):1041.753
1044.52/1041.86	o 2147450872
1057.83/1055.17	c Got one! Elapsed wall clock time (in seconds):1055.069
1057.83/1055.17	o 2147450623
1078.46/1075.71	c Got one! Elapsed wall clock time (in seconds):1075.61
1078.46/1075.71	o 2147450622
1240.01/1237.14	c Got one! Elapsed wall clock time (in seconds):1237.039
1240.01/1237.14	o 2147418111
1240.61/1237.79	c Got one! Elapsed wall clock time (in seconds):1237.682
1240.61/1237.79	o 2147418110
1323.08/1320.12	c Got one! Elapsed wall clock time (in seconds):1320.013
1323.08/1320.12	o 2147418109
1323.78/1320.83	c Got one! Elapsed wall clock time (in seconds):1320.731
1323.78/1320.83	o 2147418108
1334.82/1331.87	c Got one! Elapsed wall clock time (in seconds):1331.765
1334.82/1331.87	o 2147418107
1335.52/1332.57	c Got one! Elapsed wall clock time (in seconds):1332.465
1335.52/1332.57	o 2147418106
1344.14/1341.12	c Got one! Elapsed wall clock time (in seconds):1341.016
1344.14/1341.12	o 2147418105
1350.05/1347.01	c Got one! Elapsed wall clock time (in seconds):1346.905
1350.05/1347.01	o 2147418104
1350.75/1347.71	c Got one! Elapsed wall clock time (in seconds):1347.604
1350.75/1347.71	o 2147418103
1366.97/1363.93	c Got one! Elapsed wall clock time (in seconds):1363.823
1366.97/1363.93	o 2147418102
1375.39/1372.39	c Got one! Elapsed wall clock time (in seconds):1372.29
1375.39/1372.39	o 2147418101
1381.41/1378.30	c Got one! Elapsed wall clock time (in seconds):1378.201
1381.41/1378.30	o 2147418100
1382.10/1379.01	c Got one! Elapsed wall clock time (in seconds):1378.906
1382.10/1379.01	o 2147418099
1382.80/1379.70	c Got one! Elapsed wall clock time (in seconds):1379.6
1382.80/1379.70	o 2147418098
1393.82/1390.78	c Got one! Elapsed wall clock time (in seconds):1390.678
1393.82/1390.78	o 2147418097
1402.35/1399.27	c Got one! Elapsed wall clock time (in seconds):1399.167
1402.35/1399.27	o 2147418096
1410.86/1407.75	c Got one! Elapsed wall clock time (in seconds):1407.649
1410.86/1407.75	o 2147418095
1419.38/1416.26	c Got one! Elapsed wall clock time (in seconds):1416.153
1419.38/1416.26	o 2147418094
1425.29/1422.18	c Got one! Elapsed wall clock time (in seconds):1422.075
1425.29/1422.18	o 2147418093
1428.40/1425.29	c Got one! Elapsed wall clock time (in seconds):1425.19
1428.40/1425.29	o 2147418092
1429.20/1426.04	c Got one! Elapsed wall clock time (in seconds):1425.938
1429.20/1426.04	o 2147418091
1435.21/1432.03	c Got one! Elapsed wall clock time (in seconds):1431.927
1435.21/1432.03	o 2147418090
1436.01/1432.88	c Got one! Elapsed wall clock time (in seconds):1432.772
1436.01/1432.88	o 2147418089
1444.83/1441.69	c Got one! Elapsed wall clock time (in seconds):1441.582
1444.83/1441.69	o 2147418088
1445.63/1442.42	c Got one! Elapsed wall clock time (in seconds):1442.321
1445.63/1442.42	o 2147418087
1446.33/1443.15	c Got one! Elapsed wall clock time (in seconds):1443.043
1446.33/1443.15	o 2147418086
1447.03/1443.83	c Got one! Elapsed wall clock time (in seconds):1443.723
1447.03/1443.83	o 2147418085
1613.75/1610.35	c Got one! Elapsed wall clock time (in seconds):1610.251
1613.75/1610.35	o 2147418084
1650.28/1646.87	c Got one! Elapsed wall clock time (in seconds):1646.764
1650.28/1646.87	o 2147418083
1714.37/1710.83	c Got one! Elapsed wall clock time (in seconds):1710.721
1714.37/1710.83	o 2147418082
1715.08/1711.52	c Got one! Elapsed wall clock time (in seconds):1711.42
1715.08/1711.52	o 2147418081
1715.69/1712.19	c Got one! Elapsed wall clock time (in seconds):1712.084
1715.69/1712.19	o 2147418080
1716.39/1712.82	c Got one! Elapsed wall clock time (in seconds):1712.714
1716.39/1712.82	o 2147418079
1716.99/1713.42	c Got one! Elapsed wall clock time (in seconds):1713.313
1716.99/1713.42	o 2147418078
1717.59/1714.08	c Got one! Elapsed wall clock time (in seconds):1713.974
1717.59/1714.08	o 2147418077
1718.29/1714.73	c Got one! Elapsed wall clock time (in seconds):1714.628
1718.29/1714.73	o 2147418076
1718.89/1715.36	c Got one! Elapsed wall clock time (in seconds):1715.261
1718.89/1715.36	o 2147418075
1719.49/1715.99	c Got one! Elapsed wall clock time (in seconds):1715.891
1719.49/1715.99	o 2147418074
1726.81/1723.28	c Got one! Elapsed wall clock time (in seconds):1723.175
1726.81/1723.28	o 2147418073
1727.51/1723.93	c Got one! Elapsed wall clock time (in seconds):1723.825
1727.51/1723.93	o 2147418072
1731.73/1728.17	c Got one! Elapsed wall clock time (in seconds):1728.064
1731.73/1728.17	o 2147418071
1736.05/1732.44	c Got one! Elapsed wall clock time (in seconds):1732.337
1736.05/1732.44	o 2147418070
1736.75/1733.13	c Got one! Elapsed wall clock time (in seconds):1733.026
1736.75/1733.13	o 2147418069
1749.48/1745.87	c Got one! Elapsed wall clock time (in seconds):1745.765
1749.48/1745.87	o 2147418068
1750.18/1746.58	c Got one! Elapsed wall clock time (in seconds):1746.481
1750.18/1746.58	o 2147418067
1797.38/1793.61	c Got one! Elapsed wall clock time (in seconds):1793.511
1797.38/1793.61	o 2147418066
1798.18/1794.41	c Got one! Elapsed wall clock time (in seconds):1794.305
1798.18/1794.41	o 2147418065
1798.88/1795.16	c Got one! Elapsed wall clock time (in seconds):1795.055
1798.88/1795.16	o 2147418064
1799.68/1795.91	c Got one! Elapsed wall clock time (in seconds):1795.809
1799.68/1795.91	o 2147418063
1800.09/1796.31	c starts		: 180
1800.09/1796.31	c conflicts		: 305
1800.09/1796.31	c decisions		: 1134683
1800.09/1796.31	c propagations		: 2324943
1800.09/1796.31	c inspects		: 77845608
1800.09/1796.31	c shortcuts		: 0
1800.09/1796.31	c learnt literals	: 0
1800.09/1796.31	c learnt binary clauses	: 0
1800.09/1796.31	c learnt ternary clauses	: 0
1800.09/1796.31	c learnt constraints	: 305
1800.09/1796.31	c ignored constraints	: 0
1800.09/1796.31	c root simplifications	: 0
1800.09/1796.31	c removed literals (reason simplification)	: 0
1800.09/1796.31	c reason swapping (by a shorter reason)	: 0
1800.09/1796.32	c Calls to reduceDB	: 0
1800.09/1796.32	c number of reductions to clauses (during analyze)	: 0
1800.09/1796.32	c number of learned constraints concerned by reduction	: 0
1800.09/1796.32	c number of learning phase by resolution	: 0
1800.09/1796.32	c number of learning phase by cutting planes	: 0
1800.09/1796.32	c speed (assignments/second)	: 5769089.330024813
1800.09/1796.32	c non guided choices	7366
1800.09/1796.32	c learnt constraints type 
1800.09/1796.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 305
1800.09/1796.32	c constraints type 
1800.09/1796.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
1800.09/1796.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
1800.09/1796.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 340
1800.09/1796.32	s SATISFIABLE
1800.09/1796.33	v x1 x2 x3 x4 -x5 -x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 -x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 
1800.09/1796.33	c objective function=2147418063
1800.09/1796.33	c Total wall clock time (in seconds): 1796.231

Verifier Data 

OK	2147418063

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3456546-1307660559/watcher-3456546-1307660559 -o /tmp/evaluation-result-3456546-1307660559/solver-3456546-1307660559 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456546-1307660559.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: 2.00 2.00 2.08 3/186 1080
/proc/meminfo: memFree=32095736/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/1080/stat : 1080 (java) R 1078 1080 30485 0 -1 4202496 623 0 0 0 0 0 0 0 22 0 1 0 956286604 23580672 366 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251362584341 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1080/statm: 5757 378 288 9 0 124 0
[pid=1080/tid=1082] ppid=1078 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 123 0 0 0 0 0 0 0 24 0 2 0 956286605 31260672 957 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251367546624 0 0 4096 0 0 0 0 -1 4 0 0 0

[startup+0.067322 s]
/proc/loadavg: 2.00 2.00 2.08 3/186 1080
/proc/meminfo: memFree=32095736/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=10473700 CPUtime=0.05 cores=0,2,4,6
/proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 11815 0 1 0 4 1 0 0 22 0 18 0 956286604 10725068800 11511 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 2618425 11512 1742 9 0 2609159 0
[pid=1080/tid=1082] ppid=1078 vsize=10473700 CPUtime=0.04 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 10642 0 1 0 4 0 0 0 25 0 18 0 956286605 10725068800 11512 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 47999042713619 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473700

[startup+0.100339 s]
/proc/loadavg: 2.00 2.00 2.08 3/186 1080
/proc/meminfo: memFree=32095736/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=10541284 CPUtime=0.1 cores=0,2,4,6
/proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 13142 0 1 0 9 1 0 0 22 0 18 0 956286604 10794274816 12817 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 2635321 12817 2093 9 0 2626055 0
[pid=1080/tid=1082] ppid=1078 vsize=10541284 CPUtime=0.08 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 11197 0 1 0 7 1 0 0 18 0 18 0 956286605 10794274816 12817 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379373515 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10541284

[startup+0.30027 s]
/proc/loadavg: 2.00 2.00 2.08 3/186 1080
/proc/meminfo: memFree=32095736/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=10544356 CPUtime=0.53 cores=0,2,4,6
/proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 17041 0 1 0 51 2 0 0 22 0 18 0 956286604 10797420544 16683 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 2636089 16684 2201 9 0 2626823 0
[pid=1080/tid=1082] ppid=1078 vsize=10544356 CPUtime=0.28 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 14015 0 1 0 27 1 0 0 18 0 18 0 956286605 10797420544 16685 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505597129 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10544356

[startup+0.701197 s]
/proc/loadavg: 2.00 2.00 2.08 3/186 1080
/proc/meminfo: memFree=32095736/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=10545384 CPUtime=1.14 cores=0,2,4,6
/proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 47948 0 1 0 108 6 0 0 22 0 19 0 956286604 10798473216 45701 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 2636346 45702 2223 9 0 2627080 0
[pid=1080/tid=1082] ppid=1078 vsize=10545384 CPUtime=0.68 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 42833 0 1 0 63 5 0 0 19 0 19 0 956286605 10798473216 45702 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 10545384

[startup+1.50105 s]
/proc/loadavg: 2.00 2.00 2.08 4/214 1108
/proc/meminfo: memFree=31752676/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=10550504 CPUtime=2.38 cores=0,2,4,6
/proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 80983 0 1 0 228 10 0 0 22 0 19 0 956286604 10803716096 78118 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 2637626 78122 2233 9 0 2628360 0
[pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=1.48 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 73199 0 1 0 140 8 0 0 20 0 19 0 956286605 10803716096 78124 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505762462 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78127 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78129 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956286607 10803716096 78132 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78134 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78136 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78139 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78141 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 78143 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 78146 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 78148 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 78150 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 78152 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.45 cores=0,2,4,6
/proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4124 0 0 0 44 1 0 0 15 0 19 0 956286610 10803716096 78154 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=0.43 cores=0,2,4,6
/proc/1080/task/1104/stat : 1104 (java) R 1078 1080 30485 0 -1 4202560 2505 0 0 0 43 0 0 0 15 0 19 0 956286610 10803716096 78156 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 47999041134048 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 78158 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 78160 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 78162 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 10550504

[startup+3.10076 s]
/proc/loadavg: 2.00 2.00 2.08 3/214 1108
/proc/meminfo: memFree=31232992/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=10550504 CPUtime=4.13 cores=0,2,4,6
/proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 158077 0 1 0 394 19 0 0 22 0 19 0 956286604 10803716096 155211 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 2637626 155214 2234 9 0 2628360 0
[pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=3.08 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 150258 0 1 0 291 17 0 0 25 0 19 0 956286605 10803716096 155215 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505762712 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155216 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155218 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956286607 10803716096 155219 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155220 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155222 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155223 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155224 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 155225 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 155226 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 155228 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 155229 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 155230 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.49 cores=0,2,4,6
/proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4132 0 0 0 48 1 0 0 15 0 19 0 956286610 10803716096 155231 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=0.53 cores=0,2,4,6
/proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2530 0 0 0 53 0 0 0 15 0 19 0 956286610 10803716096 155232 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 155233 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 155234 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 155235 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 10550504

[startup+6.30117 s]
/proc/loadavg: 2.00 2.00 2.08 3/214 1108
/proc/meminfo: memFree=29653252/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=10550504 CPUtime=7.49 cores=0,2,4,6
/proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 329534 0 1 0 711 38 0 0 22 0 19 0 956286604 10803716096 326282 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 2637626 326294 2235 9 0 2628360 0
[pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=6.28 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 321696 0 1 0 592 36 0 0 25 0 19 0 956286605 10803716096 326300 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505890441 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326307 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326314 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 956286607 10803716096 326320 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326327 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326334 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326341 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326348 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286607 10803716096 326354 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 956286608 10803716096 326361 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 326368 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956286608 10803716096 326375 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 326381 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.52 cores=0,2,4,6
/proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4134 0 0 0 51 1 0 0 15 0 19 0 956286610 10803716096 326388 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=0.67 cores=0,2,4,6
/proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2561 0 0 0 67 0 0 0 16 0 19 0 956286610 10803716096 326388 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0

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

/proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.54 cores=0,2,4,6
/proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4251 0 0 0 53 1 0 0 15 0 19 0 956286610 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=0.98 cores=0,2,4,6
/proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2672 0 0 0 98 0 0 0 15 0 19 0 956286610 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 912470 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.82
Current children cumulated vsize (KiB) 10550504

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/214 1154
/proc/meminfo: memFree=23953520/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=10550504 CPUtime=1725.91 cores=0,2,4,6
/proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 920705 0 1 0 172477 114 0 0 22 0 19 0 956286604 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 2637626 915815 2251 9 0 2628360 0
[pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=1721.02 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 845282 0 1 0 172012 90 0 0 25 0 19 0 956286605 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505566510 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0.39 cores=0,2,4,6
/proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 8361 0 0 0 37 2 0 0 15 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0.43 cores=0,2,4,6
/proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 12255 0 0 0 41 2 0 0 15 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0.41 cores=0,2,4,6
/proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 9785 0 0 0 39 2 0 0 16 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0.39 cores=0,2,4,6
/proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 8153 0 0 0 37 2 0 0 16 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0.33 cores=0,2,4,6
/proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 5330 0 0 0 32 1 0 0 15 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0.44 cores=0,2,4,6
/proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 9462 0 0 0 42 2 0 0 15 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0.4 cores=0,2,4,6
/proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 7350 0 0 0 39 1 0 0 16 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0.35 cores=0,2,4,6
/proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 6435 0 0 0 35 0 0 0 15 0 19 0 956286607 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0.09 cores=0,2,4,6
/proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 113 0 0 0 4 5 0 0 15 0 19 0 956286608 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.54 cores=0,2,4,6
/proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4251 0 0 0 53 1 0 0 15 0 19 0 956286610 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=1 cores=0,2,4,6
/proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2676 0 0 0 100 0 0 0 15 0 19 0 956286610 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 915815 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.91
Current children cumulated vsize (KiB) 10550504

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/214 1156
/proc/meminfo: memFree=23900164/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=10550504 CPUtime=1786.06 cores=0,2,4,6
/proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 926731 0 1 0 178491 115 0 0 22 0 19 0 956286604 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 2637626 921636 2251 9 0 2628360 0
[pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=1780.95 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 845301 0 1 0 178005 90 0 0 25 0 19 0 956286605 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912506054015 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0.42 cores=0,2,4,6
/proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 9035 0 0 0 40 2 0 0 15 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0.46 cores=0,2,4,6
/proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 12773 0 0 0 44 2 0 0 15 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0.44 cores=0,2,4,6
/proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 10337 0 0 0 42 2 0 0 16 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0.41 cores=0,2,4,6
/proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 9416 0 0 0 39 2 0 0 16 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0.36 cores=0,2,4,6
/proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 6016 0 0 0 35 1 0 0 16 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0.47 cores=0,2,4,6
/proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 10429 0 0 0 45 2 0 0 16 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0.42 cores=0,2,4,6
/proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 7785 0 0 0 41 1 0 0 15 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0.37 cores=0,2,4,6
/proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 7343 0 0 0 37 0 0 0 16 0 19 0 956286607 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0.1 cores=0,2,4,6
/proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 115 0 0 0 4 6 0 0 15 0 19 0 956286608 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.54 cores=0,2,4,6
/proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4251 0 0 0 53 1 0 0 15 0 19 0 956286610 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=1 cores=0,2,4,6
/proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2676 0 0 0 100 0 0 0 15 0 19 0 956286610 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 921636 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1786.06
Current children cumulated vsize (KiB) 10550504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 1.92 2.01 1.99 3/214 1215
/proc/meminfo: memFree=27076180/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=10550504 CPUtime=1800.09 cores=0,2,4,6
/proc/1080/stat : 1080 (java) S 1078 1080 30485 0 -1 4202496 928015 0 1 0 179893 116 0 0 22 0 19 0 956286604 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 2637626 922880 2251 9 0 2628360 0
[pid=1080/tid=1082] ppid=1078 vsize=10550504 CPUtime=1794.94 cores=0,2,4,6
/proc/1080/task/1082/stat : 1082 (java) R 1078 1080 30485 0 -1 4202560 845305 0 1 0 179404 90 0 0 25 0 19 0 956286605 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 46912505736839 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1080/tid=1086] ppid=1078 vsize=10550504 CPUtime=0.42 cores=0,2,4,6
/proc/1080/task/1086/stat : 1086 (java) S 1078 1080 30485 0 -1 4202560 9048 0 0 0 40 2 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1087] ppid=1078 vsize=10550504 CPUtime=0.46 cores=0,2,4,6
/proc/1080/task/1087/stat : 1087 (java) S 1078 1080 30485 0 -1 4202560 12779 0 0 0 44 2 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1088] ppid=1078 vsize=10550504 CPUtime=0.44 cores=0,2,4,6
/proc/1080/task/1088/stat : 1088 (java) S 1078 1080 30485 0 -1 4202560 10547 0 0 0 42 2 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
[pid=1080/tid=1089] ppid=1078 vsize=10550504 CPUtime=0.42 cores=0,2,4,6
/proc/1080/task/1089/stat : 1089 (java) S 1078 1080 30485 0 -1 4202560 9598 0 0 0 40 2 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1090] ppid=1078 vsize=10550504 CPUtime=0.36 cores=0,2,4,6
/proc/1080/task/1090/stat : 1090 (java) S 1078 1080 30485 0 -1 4202560 6689 0 0 0 35 1 0 0 16 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1091] ppid=1078 vsize=10550504 CPUtime=0.47 cores=0,2,4,6
/proc/1080/task/1091/stat : 1091 (java) S 1078 1080 30485 0 -1 4202560 10433 0 0 0 45 2 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1092] ppid=1078 vsize=10550504 CPUtime=0.43 cores=0,2,4,6
/proc/1080/task/1092/stat : 1092 (java) S 1078 1080 30485 0 -1 4202560 7973 0 0 0 42 1 0 0 16 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1093] ppid=1078 vsize=10550504 CPUtime=0.37 cores=0,2,4,6
/proc/1080/task/1093/stat : 1093 (java) S 1078 1080 30485 0 -1 4202560 7343 0 0 0 37 0 0 0 15 0 19 0 956286607 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1099] ppid=1078 vsize=10550504 CPUtime=0.1 cores=0,2,4,6
/proc/1080/task/1099/stat : 1099 (java) S 1078 1080 30485 0 -1 4202560 117 0 0 0 4 6 0 0 15 0 19 0 956286608 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 0 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1100] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1100/stat : 1100 (java) S 1078 1080 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1101] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1101/stat : 1101 (java) S 1078 1080 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 956286608 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1102] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1102/stat : 1102 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379370417 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1103] ppid=1078 vsize=10550504 CPUtime=0.54 cores=0,2,4,6
/proc/1080/task/1103/stat : 1103 (java) S 1078 1080 30485 0 -1 4202560 4251 0 0 0 53 1 0 0 15 0 19 0 956286610 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1104] ppid=1078 vsize=10550504 CPUtime=1 cores=0,2,4,6
/proc/1080/task/1104/stat : 1104 (java) S 1078 1080 30485 0 -1 4202560 2676 0 0 0 100 0 0 0 15 0 19 0 956286610 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 0 0 0 0
[pid=1080/tid=1105] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1105/stat : 1105 (java) S 1078 1080 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956286610 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379362713 0 4 0 16800975 18446604453829289088 0 0 -1 4 0 0 0
[pid=1080/tid=1106] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1106/stat : 1106 (java) S 1078 1080 30485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956286610 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 2 0 0 0
[pid=1080/tid=1108] ppid=1078 vsize=10550504 CPUtime=0 cores=0,2,4,6
/proc/1080/task/1108/stat : 1108 (java) S 1078 1080 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956286671 10803716096 922880 33554432000 1073741824 1073778376 140735438224000 18446744073709551615 251379363328 0 4 0 16800975 18446604453829289088 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10550504

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

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

[startup+1796.41 s]
/proc/loadavg: 1.92 2.01 1.99 3/214 1215
/proc/meminfo: memFree=27076180/32950928 swapFree=67051096/67111528
[pid=1080] ppid=1078 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/1080/stat : 1080 (java) Z 1078 1080 30485 0 -1 4203548 928046 0 1 0 179899 123 0 0 17 0 2 0 956286604 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1080/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1796.48
CPU time (s): 1800.3
CPU user time (s): 1799
CPU system time (s): 1.3008
CPU usage (%): 100.213
Max. virtual memory (cumulated for all children) (KiB): 10550504

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

runsolver used 3.19451 second user time and 6.62799 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-10 01:02:39
IDJOB=3456546
IDBENCH=2527
IDSOLVER=1951
FILE ID=node113/3456546-1307660559
RUNJOBID= node113-1307660559-1043
PBS_JOBID= 13549378
Free space on /tmp= 74060 MiB

SOLVER NAME= Sat4j CuttingPlanes 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456546-1307660559/watcher-3456546-1307660559 -o /tmp/evaluation-result-3456546-1307660559/solver-3456546-1307660559 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456546-1307660559.opb

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

MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398
RANDOM SEED=2008483472

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32103784 kB
Buffers:        202880 kB
Cached:         405484 kB
SwapCached:      14384 kB
Active:         356132 kB
Inactive:       300232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32103784 kB
SwapTotal:    67111528 kB
SwapFree:     67051096 kB
Dirty:            3652 kB
Writeback:           0 kB
AnonPages:       45976 kB
Mapped:          11988 kB
Slab:           126652 kB
PageTables:       5164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10489032 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74060 MiB
End job on node113 at 2011-06-10 01:32:38