Trace number 4110917

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)4676757433 1800.06 906.785

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f33-AC_ESS.seq-A-2-1-irabcde.opb
MD5SUMc56ce789dc1a56170a135efc80719982
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4676728603
Best CPU time to get the best result obtained on this benchmark1.77573
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3947
Total number of constraints11193
Number of constraints which are clauses11073
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 360
Biggest coefficient in the objective function 143145755
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 29631171284
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 143145755
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 29631171284
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4110917-1466392258.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.74/0.49	c ... done. Wall clock time 0.372s.
0.74/0.49	c declared #vars     3947
0.74/0.49	c #constraints  11193
0.74/0.49	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.74/0.49	c constraints type 
0.74/0.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2868
0.74/0.49	c org.sat4j.specs.Constr$1 => 838
0.74/0.49	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.74/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7002
0.74/0.49	c org.sat4j.minisat.constraints.cnf.UnitClause => 455
0.74/0.49	c 11193 constraints processed.
0.74/0.49	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.74/0.49	c constraints type 
0.74/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7002
0.74/0.49	c org.sat4j.specs.Constr$1 => 838
0.74/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2868
0.74/0.49	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30
0.74/0.49	c org.sat4j.pb.constraints.pb.UnitClausePB => 455
0.74/0.49	c 11193 constraints processed.
0.74/0.49	c objective function length is 360 literals
1.43/0.63	c And the winner is solver0
2.31/1.00	c SATISFIABLE
2.31/1.00	c OPTIMIZING...
2.31/1.00	c Got one! Elapsed wall clock time (in seconds):0.879
2.31/1.00	o 5254846983
2.31/1.02	c And the winner is solver0
2.53/1.50	c Got one! Elapsed wall clock time (in seconds):1.385
2.53/1.51	o 5253924423
2.53/1.52	c And the winner is solver0
2.61/2.01	c Got one! Elapsed wall clock time (in seconds):1.892
2.61/2.01	o 5253001863
2.61/2.08	c And the winner is solver0
3.25/2.51	c Got one! Elapsed wall clock time (in seconds):2.396
3.25/2.51	o 5252079303
4.15/2.89	c And the winner is solver0
4.40/3.01	c Got one! Elapsed wall clock time (in seconds):2.898
4.40/3.01	o 5251156743
4.96/3.26	c And the winner is solver0
5.17/3.52	c Got one! Elapsed wall clock time (in seconds):3.4
5.17/3.52	o 5112623788
5.17/3.52	c And the winner is solver0
5.18/4.02	c Got one! Elapsed wall clock time (in seconds):3.901
5.18/4.02	o 5110778668
5.18/4.02	c And the winner is solver0
5.29/4.52	c Got one! Elapsed wall clock time (in seconds):4.403
5.29/4.52	o 5109856108
5.29/4.54	c And the winner is solver0
5.36/5.02	c Got one! Elapsed wall clock time (in seconds):4.904
5.36/5.02	o 5108933548
5.51/5.15	c And the winner is solver0
5.64/5.52	c Got one! Elapsed wall clock time (in seconds):5.406
5.64/5.52	o 5108010988
6.08/5.72	c cleaning 3309 clauses out of 6620 with flag 3745/6620
7.49/6.37	c cleaning 4652 clauses out of 9313 with flag 23391/12622
8.35/6.73	c cleaning 5830 clauses out of 11659 with flag 39261/19620
9.21/7.17	c cleaning 6914 clauses out of 13828 with flag 57447/27619
10.45/7.71	c cleaning 7952 clauses out of 15915 with flag 78215/36620
11.90/8.42	c cleaning 8976 clauses out of 17962 with flag 101553/46619
11.90/8.46	c And the winner is solver0
12.06/8.52	c Got one! Elapsed wall clock time (in seconds):8.408
12.06/8.52	o 4997357604
12.06/8.57	c And the winner is solver0
12.23/9.03	c Got one! Elapsed wall clock time (in seconds):8.909
12.23/9.03	o 4968555473
12.23/9.03	c And the winner is solver0
12.23/9.53	c Got one! Elapsed wall clock time (in seconds):9.411
12.23/9.53	o 4967632913
12.23/9.54	c And the winner is solver0
12.23/10.03	c Got one! Elapsed wall clock time (in seconds):9.913
12.23/10.03	o 4966710353
12.23/10.05	c And the winner is solver0
12.29/10.53	c Got one! Elapsed wall clock time (in seconds):10.415
12.29/10.53	o 4965816623
12.29/10.54	c And the winner is solver0
12.30/11.03	c Got one! Elapsed wall clock time (in seconds):10.916
12.30/11.03	o 4965787793
13.42/11.70	c cleaning 7412 clauses out of 14837 with flag 16274/52470
14.97/12.35	c cleaning 6704 clauses out of 13425 with flag 33852/58470
14.97/12.38	c And the winner is solver1
15.22/12.54	c Got one! Elapsed wall clock time (in seconds):12.419
15.22/12.54	o 4834692978
15.64/12.74	c cleaning 5996 clauses out of 11992 with flag 11395/63741
15.64/12.78	c And the winner is solver1
15.81/13.04	c Got one! Elapsed wall clock time (in seconds):12.921
15.81/13.04	o 4829301768
15.81/13.07	c And the winner is solver0
15.90/13.54	c Got one! Elapsed wall clock time (in seconds):13.422
15.90/13.54	o 4823564598
16.04/13.63	c And the winner is solver1
16.11/14.04	c Got one! Elapsed wall clock time (in seconds):13.924
16.11/14.04	o 4822642038
16.24/14.16	c And the winner is solver1
16.24/14.16	c cleaning 6403 clauses out of 12806 with flag 6852/70551
16.39/14.54	c Got one! Elapsed wall clock time (in seconds):14.426
16.39/14.54	o 4821719478
16.70/14.75	c cleaning 5700 clauses out of 11404 with flag 11683/75552
17.10/14.94	c cleaning 5850 clauses out of 11704 with flag 25442/81552
17.50/15.16	c cleaning 6424 clauses out of 12853 with flag 41841/88551
18.12/15.44	c cleaning 7215 clauses out of 14430 with flag 60729/96552
18.97/15.81	c cleaning 8103 clauses out of 16214 with flag 81880/105551
19.57/16.16	c cleaning 9056 clauses out of 18113 with flag 105126/115553
20.38/16.57	c cleaning 10027 clauses out of 20055 with flag 131286/126551
21.37/17.02	c cleaning 11013 clauses out of 22028 with flag 160162/138551
22.37/17.53	c cleaning 12006 clauses out of 24015 with flag 190534/151551
23.37/18.07	c cleaning 13004 clauses out of 26010 with flag 223305/165552
25.09/18.87	c cleaning 14003 clauses out of 28007 with flag 258476/180553
26.47/19.58	c cleaning 14999 clauses out of 30004 with flag 296258/196553
28.07/20.35	c cleaning 15998 clauses out of 32003 with flag 336911/213551
29.87/21.25	c cleaning 16999 clauses out of 34006 with flag 380410/231552
31.98/22.22	c cleaning 18001 clauses out of 36006 with flag 425402/250551
33.80/23.19	c cleaning 19002 clauses out of 38007 with flag 473272/270553
36.00/24.26	c cleaning 20001 clauses out of 40003 with flag 521332/291551
38.20/25.35	c cleaning 21000 clauses out of 42004 with flag 572021/313553
40.40/26.43	c cleaning 21999 clauses out of 44002 with flag 626067/336551
42.69/27.51	c And the winner is solver1
42.69/27.59	c Got one! Elapsed wall clock time (in seconds):27.472
42.69/27.59	o 4678717873
43.52/28.09	c cleaning 24023 clauses out of 48046 with flag 11652/362594
44.32/28.41	c cleaning 15013 clauses out of 30025 with flag 25608/368596
44.52/28.50	c And the winner is solver1
44.52/28.59	c Got one! Elapsed wall clock time (in seconds):28.474
44.52/28.59	o 4678689043
44.76/28.74	c cleaning 10166 clauses out of 20338 with flag 6982/373922
45.15/28.91	c And the winner is solver1
45.18/29.09	c Got one! Elapsed wall clock time (in seconds):28.976
45.18/29.09	o 4678660213
45.38/29.23	c And the winner is solver1
45.46/29.59	c Got one! Elapsed wall clock time (in seconds):29.478
45.46/29.59	o 4678602553
45.46/29.70	c And the winner is solver1
45.68/29.71	c cleaning 10182 clauses out of 20364 with flag 4977/384114
45.70/30.10	c Got one! Elapsed wall clock time (in seconds):29.98
45.70/30.10	o 4678573723
45.89/30.28	c cleaning 7586 clauses out of 15182 with flag 12093/389114
46.29/30.47	c cleaning 6798 clauses out of 13596 with flag 26031/395114
46.69/30.69	c cleaning 6900 clauses out of 13800 with flag 42701/402116
47.31/30.95	c cleaning 7450 clauses out of 14899 with flag 61521/410115
47.89/31.24	c cleaning 8220 clauses out of 16448 with flag 82973/419114
48.49/31.57	c cleaning 9110 clauses out of 18229 with flag 106370/429115
49.31/31.97	c cleaning 10056 clauses out of 20118 with flag 132378/440114
50.29/32.44	c cleaning 11023 clauses out of 22063 with flag 161091/452115
51.37/32.97	c cleaning 12016 clauses out of 24039 with flag 191824/465114
52.37/33.50	c cleaning 13010 clauses out of 26024 with flag 225583/479115
53.57/34.08	c cleaning 14005 clauses out of 28013 with flag 261280/494114
54.97/34.73	c cleaning 15005 clauses out of 30009 with flag 299168/510115
56.37/35.42	c cleaning 15996 clauses out of 32003 with flag 339207/527114
57.77/36.19	c cleaning 17004 clauses out of 34007 with flag 382577/545114
59.59/37.00	c cleaning 18002 clauses out of 36003 with flag 427361/564114
61.38/37.91	c cleaning 18992 clauses out of 38001 with flag 475071/584114
63.18/38.87	c cleaning 19996 clauses out of 40010 with flag 525544/605115
65.38/39.93	c cleaning 21006 clauses out of 42015 with flag 578157/627116
67.58/41.06	c cleaning 21999 clauses out of 44007 with flag 632253/650114
70.19/42.36	c cleaning 23002 clauses out of 46009 with flag 689893/674115
73.26/43.82	c cleaning 24004 clauses out of 48007 with flag 750994/699115
76.07/45.22	c cleaning 24998 clauses out of 50003 with flag 813510/725115
79.45/46.91	c cleaning 26001 clauses out of 52005 with flag 879896/752115
82.47/48.43	c cleaning 27003 clauses out of 54006 with flag 946388/780117
85.66/50.00	c cleaning 27999 clauses out of 56001 with flag 1015478/809115
88.96/51.62	c cleaning 29000 clauses out of 58003 with flag 1086787/839116
92.35/53.39	c cleaning 29999 clauses out of 60001 with flag 1161020/870114
96.55/55.48	c cleaning 31002 clauses out of 62003 with flag 1238424/902115
100.56/57.45	c cleaning 31998 clauses out of 64000 with flag 1318120/935114
104.86/59.54	c cleaning 32998 clauses out of 66003 with flag 1399924/969115
109.08/61.64	c cleaning 34004 clauses out of 68008 with flag 1484682/1004118
113.67/63.98	c cleaning 34995 clauses out of 70000 with flag 1570563/1040114
118.46/66.32	c cleaning 35999 clauses out of 72005 with flag 1658305/1077114
123.74/68.92	c cleaning 37002 clauses out of 74008 with flag 1749467/1115116
128.54/71.34	c cleaning 37998 clauses out of 76004 with flag 1842641/1154114
134.34/74.29	c cleaning 39001 clauses out of 78006 with flag 1938340/1194114
141.43/77.71	c cleaning 40001 clauses out of 80005 with flag 2037235/1235114
148.03/81.04	c cleaning 41002 clauses out of 82004 with flag 2139456/1277114
154.31/84.13	c cleaning 41995 clauses out of 84002 with flag 2242613/1320114
161.71/87.85	c cleaning 42998 clauses out of 86007 with flag 2348580/1364114
166.31/90.18	c And the winner is solver1
166.31/90.61	c Got one! Elapsed wall clock time (in seconds):90.492
166.31/90.61	o 4676757433
167.48/91.29	c cleaning 43393 clauses out of 86793 with flag 11880/1407898
168.56/91.70	c cleaning 24695 clauses out of 49400 with flag 26111/1413898
168.96/91.99	c cleaning 15848 clauses out of 31706 with flag 42570/1420899
169.56/92.28	c cleaning 11922 clauses out of 23857 with flag 61926/1428898
170.36/92.60	c cleaning 10461 clauses out of 20935 with flag 83513/1437898
170.96/92.97	c cleaning 10234 clauses out of 20475 with flag 108151/1447899
171.76/93.37	c cleaning 10611 clauses out of 21240 with flag 134065/1458898
172.76/93.81	c cleaning 11309 clauses out of 22629 with flag 162826/1470898
173.56/94.30	c cleaning 12159 clauses out of 24320 with flag 193659/1483898
174.77/94.83	c cleaning 13080 clauses out of 26162 with flag 226822/1497899
175.97/95.40	c cleaning 14035 clauses out of 28081 with flag 262223/1512898
177.17/96.04	c cleaning 15017 clauses out of 30046 with flag 299879/1528898
178.57/96.77	c cleaning 16010 clauses out of 32030 with flag 340145/1545899
180.37/97.63	c cleaning 17009 clauses out of 34019 with flag 383223/1563898
181.97/98.44	c cleaning 18000 clauses out of 36010 with flag 428827/1582898
184.03/99.46	c cleaning 19002 clauses out of 38011 with flag 477200/1602899
185.83/100.39	c cleaning 20003 clauses out of 40009 with flag 526825/1623899
188.43/101.67	c cleaning 21003 clauses out of 42006 with flag 580183/1645899
191.23/103.03	c cleaning 21998 clauses out of 44002 with flag 635883/1668898
193.63/104.27	c cleaning 22997 clauses out of 46004 with flag 694130/1692898
196.67/105.78	c cleaning 23999 clauses out of 48008 with flag 755013/1717899
199.26/107.05	c cleaning 25002 clauses out of 50008 with flag 817082/1743898
201.86/108.33	c cleaning 26003 clauses out of 52007 with flag 881061/1770899
204.66/109.74	c cleaning 27000 clauses out of 54003 with flag 947318/1798898
207.47/111.19	c cleaning 28002 clauses out of 56003 with flag 1016331/1827898
211.11/112.92	c cleaning 29000 clauses out of 58003 with flag 1089288/1857900
214.51/114.67	c cleaning 29996 clauses out of 60001 with flag 1164204/1888898
217.71/116.26	c cleaning 31001 clauses out of 62005 with flag 1240109/1920898
221.11/117.98	c cleaning 31995 clauses out of 64005 with flag 1319799/1953899
224.96/119.84	c cleaning 33001 clauses out of 66010 with flag 1401293/1987899
228.96/121.83	c cleaning 33995 clauses out of 68008 with flag 1485117/2022898
233.56/124.18	c cleaning 34997 clauses out of 70013 with flag 1571766/2058898
239.38/127.02	c cleaning 36005 clauses out of 72017 with flag 1662116/2095899
245.82/130.57	c cleaning 37004 clauses out of 74011 with flag 1754745/2133898
251.21/133.27	c cleaning 38001 clauses out of 76007 with flag 1848568/2172898
258.64/136.94	c cleaning 38998 clauses out of 78006 with flag 1947765/2212898
266.24/140.73	c cleaning 40001 clauses out of 80008 with flag 2049257/2253898
271.69/143.47	c cleaning 40999 clauses out of 82011 with flag 2149572/2295902
277.29/146.27	c cleaning 42004 clauses out of 84010 with flag 2252039/2338900
284.52/149.86	c cleaning 43000 clauses out of 86005 with flag 2356948/2382899
291.16/153.10	c cleaning 44002 clauses out of 88005 with flag 2465182/2427899
296.56/155.89	c cleaning 45000 clauses out of 90002 with flag 2574220/2473898
302.96/159.02	c cleaning 45995 clauses out of 92002 with flag 2685978/2520898
309.41/162.25	c cleaning 47001 clauses out of 94008 with flag 2800672/2568899
315.81/165.43	c cleaning 48000 clauses out of 96006 with flag 2917534/2617898
323.49/169.20	c cleaning 48999 clauses out of 98006 with flag 3037850/2667898
331.29/173.10	c cleaning 50001 clauses out of 100007 with flag 3159504/2718898
339.55/177.27	c cleaning 51003 clauses out of 102006 with flag 3284598/2770898
344.15/179.57	c cleaning 0 clauses out of 7442 with flag 0/7453
348.30/181.40	c cleaning 52001 clauses out of 104003 with flag 3410917/2823898
359.57/187.00	c cleaning 53001 clauses out of 106002 with flag 3542144/2877898
368.27/191.34	c cleaning 53998 clauses out of 108002 with flag 3673499/2932899
376.94/195.65	c cleaning 54996 clauses out of 110003 with flag 3808987/2988898
386.35/200.36	c cleaning 55998 clauses out of 112007 with flag 3945376/3045898
395.58/204.96	c cleaning 57003 clauses out of 114009 with flag 4086235/3103898
404.63/209.47	c cleaning 58003 clauses out of 116007 with flag 4227525/3162899
416.04/215.16	c cleaning 59002 clauses out of 118005 with flag 4372510/3222900
427.89/221.00	c cleaning 60003 clauses out of 120006 with flag 4520334/3283903
440.35/227.23	c cleaning 60997 clauses out of 121998 with flag 4668793/3345898
453.15/233.66	c cleaning 62000 clauses out of 124002 with flag 4820285/3408899
467.41/240.78	c cleaning 62998 clauses out of 126002 with flag 4975956/3472899
479.11/246.51	c cleaning 63996 clauses out of 128004 with flag 5131344/3537899
491.09/252.55	c cleaning 65000 clauses out of 130007 with flag 5289990/3603898
504.96/259.40	c cleaning 65994 clauses out of 132007 with flag 5453140/3670898
521.22/267.55	c cleaning 67007 clauses out of 134013 with flag 5619780/3738898
539.09/276.45	c cleaning 68004 clauses out of 136009 with flag 5788756/3807901
559.37/286.51	c cleaning 68999 clauses out of 138002 with flag 5961454/3877898
578.24/295.99	c cleaning 69999 clauses out of 140004 with flag 6135700/3948899
600.02/307.22	c cleaning 70995 clauses out of 142004 with flag 6314249/4020898
624.49/319.40	c cleaning 72006 clauses out of 144011 with flag 6494540/4093900
644.35/329.35	c cleaning 73001 clauses out of 146003 with flag 6675688/4167898
664.81/339.53	c cleaning 73999 clauses out of 148003 with flag 6855877/4242899
689.16/351.69	c cleaning 74998 clauses out of 150004 with flag 7040894/4318899
704.61/359.35	c cleaning 75996 clauses out of 152005 with flag 7224255/4395898
720.46/367.23	c cleaning 77003 clauses out of 154010 with flag 7411952/4473899
736.74/375.37	c cleaning 77996 clauses out of 156007 with flag 7599344/4552899
754.67/384.22	c cleaning 79005 clauses out of 158010 with flag 7791753/4632898
776.53/395.13	c cleaning 79994 clauses out of 160005 with flag 7988178/4713898
799.65/406.60	c cleaning 80996 clauses out of 162012 with flag 8185901/4795899
825.93/419.70	c cleaning 82008 clauses out of 164016 with flag 8388794/4878899
849.67/431.54	c cleaning 82999 clauses out of 166007 with flag 8590158/4962898
867.93/440.70	c cleaning 84001 clauses out of 168010 with flag 8792381/5047900
885.39/449.39	c cleaning 84999 clauses out of 170007 with flag 8998228/5133898
916.53/464.80	c cleaning 86003 clauses out of 172012 with flag 9206284/5220902
946.22/479.70	c cleaning 86988 clauses out of 174005 with flag 9416485/5308898
969.73/491.35	c cleaning 88000 clauses out of 176017 with flag 9629760/5397898
992.37/502.60	c cleaning 88999 clauses out of 178017 with flag 9843463/5487898
1017.05/514.96	c cleaning 89999 clauses out of 180018 with flag 10058082/5578898
1038.10/525.50	c cleaning 91004 clauses out of 182019 with flag 10277093/5670898
1059.18/535.93	c cleaning 92008 clauses out of 184016 with flag 10496506/5763899
1084.27/549.58	c cleaning 92996 clauses out of 186007 with flag 10719201/5857898
1108.31/561.59	c cleaning 94001 clauses out of 188012 with flag 10941255/5952899
1129.01/571.83	c cleaning 95004 clauses out of 190011 with flag 11168803/6048899
1155.57/585.04	c cleaning 95994 clauses out of 192006 with flag 11396251/6145898
1181.18/597.82	c cleaning 96999 clauses out of 194012 with flag 11627297/6243898
1209.51/611.91	c cleaning 98008 clauses out of 196016 with flag 11859310/6342901
1234.99/624.67	c cleaning 98996 clauses out of 198005 with flag 12094887/6442898
1266.36/640.26	c cleaning 100003 clauses out of 200010 with flag 12333572/6543899
1267.75/640.92	c cleaning 0 clauses out of 13447 with flag 0/13458
1293.87/653.93	c cleaning 101000 clauses out of 202007 with flag 12570366/6645899
1320.23/667.01	c cleaning 101996 clauses out of 204006 with flag 12809494/6748898
1348.88/681.32	c cleaning 102998 clauses out of 206010 with flag 13042694/6852898
1378.96/696.34	c cleaning 104000 clauses out of 208013 with flag 13279946/6957899
1403.53/708.53	c cleaning 105002 clauses out of 210014 with flag 13522288/7063900
1428.00/720.79	c cleaning 106000 clauses out of 212010 with flag 13768550/7170898
1457.28/735.37	c cleaning 106998 clauses out of 214010 with flag 14015624/7278898
1489.24/751.27	c cleaning 108001 clauses out of 216012 with flag 14263134/7387898
1530.97/771.95	c cleaning 109003 clauses out of 218011 with flag 14513778/7497898
1567.71/791.16	c cleaning 109996 clauses out of 220008 with flag 14768227/7608898
1597.03/805.74	c cleaning 110998 clauses out of 222012 with flag 15026599/7720898
1625.61/819.96	c cleaning 112001 clauses out of 224015 with flag 15289201/7833899
1655.56/834.85	c cleaning 112998 clauses out of 226014 with flag 15549572/7947899
1688.98/851.47	c cleaning 114001 clauses out of 228016 with flag 15811930/8062899
1730.24/871.94	c cleaning 115005 clauses out of 230014 with flag 16077008/8178898
1773.78/893.62	c cleaning 116005 clauses out of 232009 with flag 16338848/8295898
1800.06/906.70	c >>>>>>>>>> Solver number 0 (17 answers) <<<<<<<<<<<<<<<<<<
1800.06/906.70	c starts		: 130998
1800.06/906.70	c conflicts		: 8356166
1800.06/906.70	c decisions		: 18047635
1800.06/906.70	c propagations		: 197214926
1800.06/906.70	c inspects		: 11710885877
1800.06/906.70	c shortcuts		: 0
1800.06/906.70	c learnt literals	: 0
1800.06/906.70	c learnt binary clauses	: 0
1800.06/906.70	c learnt ternary clauses	: 1
1800.06/906.70	c learnt constraints	: 8356166
1800.06/906.70	c ignored constraints	: 0
1800.06/906.70	c root simplifications	: 0
1800.06/906.70	c removed literals (reason simplification)	: 25469035
1800.06/906.70	c reason swapping (by a shorter reason)	: 0
1800.06/906.70	c Calls to reduceDB	: 186
1800.06/906.70	c Number of update (reduction) of LBD	: 1058902
1800.06/906.70	c Imported unit clauses	: 0
1800.06/906.70	c number of reductions to clauses (during analyze)	: 0
1800.06/906.70	c number of learned constraints concerned by reduction	: 0
1800.06/906.70	c number of learning phase by resolution	: 0
1800.06/906.70	c number of learning phase by cutting planes	: 0
1800.06/906.70	c speed (assignments/second)	: 241657.41649542394
1800.06/906.70	c non guided choices	3062
1800.06/906.73	c learnt constraints type 
1800.06/906.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 176272
1800.06/906.73	c >>>>>>>>>> Solver number 1 (10 answers) <<<<<<<<<<<<<<<<<<
1800.06/906.73	c starts		: 76
1800.06/906.73	c conflicts		: 15823
1800.06/906.73	c decisions		: 112703
1800.06/906.73	c propagations		: 4061267
1800.06/906.73	c inspects		: 644177090
1800.06/906.73	c shortcuts		: 0
1800.06/906.73	c learnt literals	: 0
1800.06/906.73	c learnt binary clauses	: 1
1800.06/906.73	c learnt ternary clauses	: 10
1800.06/906.73	c learnt constraints	: 15811
1800.06/906.73	c ignored constraints	: 0
1800.06/906.73	c root simplifications	: 0
1800.06/906.73	c removed literals (reason simplification)	: 0
1800.06/906.73	c reason swapping (by a shorter reason)	: 0
1800.06/906.73	c Calls to reduceDB	: 2
1800.06/906.73	c Number of update (reduction) of LBD	: 0
1800.06/906.73	c Imported unit clauses	: 0
1800.06/906.73	c number of reductions to clauses (during analyze)	: 0
1800.06/906.73	c number of learned constraints concerned by reduction	: 0
1800.06/906.73	c number of learning phase by resolution	: 0
1800.06/906.73	c number of learning phase by cutting planes	: 0
1800.06/906.73	c speed (assignments/second)	: 4546.929037415373
1800.06/906.73	c non guided choices	2000
1800.06/906.74	c learnt constraints type 
1800.06/906.74	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 436
1800.06/906.74	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1
1800.06/906.74	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15374
1800.06/906.74	s SATISFIABLE
1800.06/906.74	c Found 27 solution(s)
1800.06/906.75	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 
1800.06/906.75	c objective function=4676757433
1800.06/906.75	c Total wall clock time (in seconds): 906.637

Verifier Data 

OK	4676757433

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4110917-1466392258/watcher-4110917-1466392258 -o /tmp/evaluation-result-4110917-1466392258/solver-4110917-1466392258 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466384123-26920 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110917-1466392258.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.10 4.23 4.19 4/200 31086
/proc/meminfo: memFree=28796860/32872528 swapFree=1482636/1662508
[pid=31086] ppid=31083 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/31086/stat : 31086 (java) S 31083 31086 26903 0 -1 4202496 1287 0 0 0 0 0 0 0 20 0 2 0 41272213 95129600 921 33554432000 1073741824 1073778376 140736301586992 140736301578128 273909055549 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31086/statm: 23225 927 703 9 0 16769 0
[pid=31086/tid=31087] ppid=31083 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31087/stat : 31087 (java) D 31083 31086 26903 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 41272213 95129600 927 33554432000 1073741824 1073778376 140736301586992 140019248848424 273896533287 0 0 4096 0 18446744072100756772 0 0 -1 1 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 4.10 4.23 4.19 4/200 31086
/proc/meminfo: memFree=28796860/32872528 swapFree=1482636/1662508
[pid=31086] ppid=31083 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/31086/stat : 31086 (java) S 31083 31086 26903 0 -1 4202496 4414 0 1 0 8 1 0 0 20 0 18 0 41272213 9787879424 6041 33554432000 1073741824 1073778376 140736301586992 140736301578128 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31086/statm: 2389619 6041 2126 9 0 2380296 0
[pid=31086/tid=31087] ppid=31083 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/31086/task/31087/stat : 31087 (java) R 31083 31086 26903 0 -1 4202560 2382 0 1 0 5 1 0 0 20 0 18 0 41272213 9787879424 6041 33554432000 1073741824 1073778376 140736301586992 140019248851872 273909081357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200318 s]
/proc/loadavg: 4.10 4.23 4.19 4/200 31086
/proc/meminfo: memFree=28796860/32872528 swapFree=1482636/1662508
[pid=31086] ppid=31083 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/31086/stat : 31086 (java) S 31083 31086 26903 0 -1 4202496 4729 0 1 0 23 1 0 0 20 0 18 0 41272213 9787879424 7313 33554432000 1073741824 1073778376 140736301586992 140736301578128 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31086/statm: 2389619 7313 2201 9 0 2380296 0
[pid=31086/tid=31087] ppid=31083 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/31086/task/31087/stat : 31087 (java) R 31083 31086 26903 0 -1 4202560 2403 0 1 0 15 1 0 0 20 0 18 0 41272213 9787879424 7313 33554432000 1073741824 1073778376 140736301586992 140019248851872 140019104820768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300325 s]
/proc/loadavg: 4.10 4.23 4.19 4/200 31086
/proc/meminfo: memFree=28796860/32872528 swapFree=1482636/1662508
[pid=31086] ppid=31083 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/31086/stat : 31086 (java) S 31083 31086 26903 0 -1 4202496 5974 0 1 0 46 2 0 0 20 0 18 0 41272213 9787879424 9187 33554432000 1073741824 1073778376 140736301586992 140736301578128 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31086/statm: 2389619 9187 2233 9 0 2380296 0
[pid=31086/tid=31087] ppid=31083 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/31086/task/31087/stat : 31087 (java) R 31083 31086 26903 0 -1 4202560 2406 0 1 0 25 1 0 0 20 0 18 0 41272213 9787879424 9187 33554432000 1073741824 1073778376 140736301586992 140019248851872 140019105238227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700355 s]
/proc/loadavg: 4.10 4.23 4.19 4/200 31086
/proc/meminfo: memFree=28796860/32872528 swapFree=1482636/1662508
[pid=31086] ppid=31083 vsize=9825344 CPUtime=1.72 cores=1,3,5,7
/proc/31086/stat : 31086 (java) S 31083 31086 26903 0 -1 4202496 24832 0 1 0 163 9 0 0 20 0 19 0 41272213 10061152256 29309 33554432000 1073741824 1073778376 140736301586992 140736301578128 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31086/statm: 2456336 29309 2254 9 0 2447013 0
[pid=31086/tid=31087] ppid=31083 vsize=9825344 CPUtime=0.46 cores=1,3,5,7
/proc/31086/task/31087/stat : 31087 (java) S 31083 31086 26903 0 -1 4202560 2460 0 1 0 44 2 0 0 20 0 19 0 41272213 10061152256 29309 33554432000 1073741824 1073778376 140736301586992 140019248853880 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 9825344

[startup+1.50075 s]
/proc/loadavg: 4.09 4.22 4.19 3/219 31114
/proc/meminfo: memFree=28693048/32872528 swapFree=1482636/1662508
[pid=31086] ppid=31083 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/31086/stat : 31086 (java) S 31083 31086 26903 0 -1 4202496 26722 0 1 0 242 11 0 0 20 0 19 0 41272213 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140736301578128 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31086/statm: 2456183 28096 2268 9 0 2446860 0
[pid=31086/tid=31087] ppid=31083 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/31086/task/31087/stat : 31087 (java) S 31083 31086 26903 0 -1 4202560 2460 0 1 0 45 2 0 0 20 0 19 0 41272213 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140019248853880 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31089] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31089/stat : 31089 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41272215 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140019226954024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31090] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31090/stat : 31090 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41272215 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140019225901224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31091] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31091/stat : 31091 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41272215 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140019224848936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31092] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31092/stat : 31092 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41272215 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140019223796136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31093] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31093/stat : 31093 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41272215 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018886634280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31094] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31094/stat : 31094 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41272215 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018885581480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31095] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31095/stat : 31095 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41272215 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018884529192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31096] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31096/stat : 31096 (java) S 31083 31086 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 41272215 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018883476392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31097] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31097/stat : 31097 (java) S 31083 31086 26903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 41272216 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018871277800 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31098] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31098/stat : 31098 (java) S 31083 31086 26903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 41272217 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018870223864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31099] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31099/stat : 31099 (java) S 31083 31086 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41272217 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018869171464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31100] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31100/stat : 31100 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41272219 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018868119952 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31101] ppid=31083 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/31086/task/31101/stat : 31101 (java) S 31083 31086 26903 0 -1 4202560 11319 0 0 0 81 3 0 0 20 0 19 0 41272219 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018867067576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31102] ppid=31083 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/31086/task/31102/stat : 31102 (java) S 31083 31086 26903 0 -1 4202560 11607 0 0 0 81 3 0 0 20 0 19 0 41272219 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018866014776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31103] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31103/stat : 31103 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41272219 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018864962680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31104] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31104/stat : 31104 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41272219 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018863910088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31108] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31108/stat : 31108 (java) S 31083 31086 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41272264 10060525568 28096 33554432000 1073741824 1073778376 140736301586992 140018858501160 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 9824732

[startup+3.10073 s]
/proc/loadavg: 4.09 4.22 4.19 5/219 31120
/proc/meminfo: memFree=28672660/32872528 swapFree=1482636/1662508
[pid=31086] ppid=31083 vsize=9824732 CPUtime=4.65 cores=1,3,5,7
/proc/31086/stat : 31086 (java) S 31083 31086 26903 0 -1 4202496 30413 0 1 0 449 16 0 0 20 0 22 0 41272213 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140736301578128 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31086/statm: 2456183 46547 2275 9 0 2446860 0
[pid=31086/tid=31087] ppid=31083 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/31086/task/31087/stat : 31087 (java) S 31083 31086 26903 0 -1 4202560 2460 0 1 0 46 2 0 0 20 0 22 0 41272213 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140019248853880 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31089] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31089/stat : 31089 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140019226954024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31090] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31090/stat : 31090 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140019225901224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31091] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31091/stat : 31091 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140019224848936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31092] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31092/stat : 31092 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140019223796136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31093] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31093/stat : 31093 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018886634280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31094] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31094/stat : 31094 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018885581480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31095] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31095/stat : 31095 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018884529192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31096] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31096/stat : 31096 (java) S 31083 31086 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018883476392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31097] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31097/stat : 31097 (java) S 31083 31086 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41272216 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018871277800 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31098] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31098/stat : 31098 (java) S 31083 31086 26903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 41272217 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018870223864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31099] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31099/stat : 31099 (java) S 31083 31086 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 41272217 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018869171464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31100] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31100/stat : 31100 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272219 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018868119952 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31101] ppid=31083 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/31086/task/31101/stat : 31101 (java) R 31083 31086 26903 0 -1 4202560 11324 0 0 0 127 3 0 0 20 0 22 0 41272219 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018867067576 140019256570547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31102] ppid=31083 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/31086/task/31102/stat : 31102 (java) S 31083 31086 26903 0 -1 4202560 15224 0 0 0 139 4 0 0 20 0 22 0 41272219 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018866014776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31103] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31103/stat : 31103 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272219 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018864962680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31104] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31104/stat : 31104 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272219 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018863910088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31108] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31108/stat : 31108 (java) S 31083 31086 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 41272264 10060525568 46547 33554432000 1073741824 1073778376 140736301586992 140018858501160 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 9824732

[startup+6.30078 s]
/proc/loadavg: 3.92 4.19 4.18 3/218 31138
/proc/meminfo: memFree=27926288/32872528 swapFree=1482636/1662508
[pid=31086] ppid=31083 vsize=9824732 CPUtime=7.49 cores=1,3,5,7
/proc/31086/stat : 31086 (java) S 31083 31086 26903 0 -1 4202496 31228 0 1 0 723 26 0 0 20 0 22 0 41272213 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140736301578128 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31086/statm: 2456183 55987 2293 9 0 2446860 0
[pid=31086/tid=31087] ppid=31083 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/31086/task/31087/stat : 31087 (java) S 31083 31086 26903 0 -1 4202560 2460 0 1 0 47 2 0 0 20 0 22 0 41272213 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140019248853880 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31089] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31089/stat : 31089 (java) S 31083 31086 26903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140019226954024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31090] ppid=31083 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/31086/task/31090/stat : 31090 (java) S 31083 31086 26903 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 41272215 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140019225901224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31091] ppid=31083 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/31086/task/31091/stat : 31091 (java) S 31083 31086 26903 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 41272215 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140019224848936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31092] ppid=31083 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/31086/task/31092/stat : 31092 (java) S 31083 31086 26903 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 41272215 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140019223796136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31093] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31093/stat : 31093 (java) S 31083 31086 26903 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140018886634280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31094] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31094/stat : 31094 (java) S 31083 31086 26903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140018885581480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31095] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31095/stat : 31095 (java) S 31083 31086 26903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140018884529192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31096] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31096/stat : 31096 (java) S 31083 31086 26903 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 41272215 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140018883476392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31097] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31097/stat : 31097 (java) S 31083 31086 26903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 41272216 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140018871277800 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31098] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31098/stat : 31098 (java) S 31083 31086 26903 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 41272217 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140018870223864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31099] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31099/stat : 31099 (java) S 31083 31086 26903 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 41272217 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140018869171464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31100] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31100/stat : 31100 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272219 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140018868119952 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31101] ppid=31083 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/31086/task/31101/stat : 31101 (java) S 31083 31086 26903 0 -1 4202560 12012 0 0 0 178 3 0 0 20 0 22 0 41272219 10060525568 55987 33554432000 1073741824 1073778376 140736301586992 140018867067576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31102] ppid=31083 vsize=9824732 CPUtime=1.52 cores=1,3,5,7

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

[pid=31086/tid=31096] ppid=31083 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/31086/task/31096/stat : 31096 (java) S 31083 31086 26903 0 -1 4202560 1220 0 0 0 211 14 0 0 20 0 22 0 41272215 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018883476392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31097] ppid=31083 vsize=9824732 CPUtime=5.68 cores=1,3,5,7
/proc/31086/task/31097/stat : 31097 (java) S 31083 31086 26903 0 -1 4202560 2890 0 0 0 557 11 0 0 20 0 22 0 41272216 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018871277800 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31098] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31098/stat : 31098 (java) S 31083 31086 26903 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 41272217 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018870223864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31099] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31099/stat : 31099 (java) S 31083 31086 26903 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 41272217 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018869171464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31100] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31100/stat : 31100 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272219 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018868119952 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31101] ppid=31083 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/31086/task/31101/stat : 31101 (java) S 31083 31086 26903 0 -1 4202560 12027 0 0 0 229 3 0 0 20 0 22 0 41272219 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018867067576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31102] ppid=31083 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/31086/task/31102/stat : 31102 (java) S 31083 31086 26903 0 -1 4202560 15272 0 0 0 192 4 0 0 20 0 22 0 41272219 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018866014776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31103] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31103/stat : 31103 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272219 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018864962680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31104] ppid=31083 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/31086/task/31104/stat : 31104 (java) S 31083 31086 26903 0 -1 4202560 51 0 0 0 11 23 0 0 20 0 22 0 41272219 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018863910088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31171] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31171/stat : 31171 (java) S 31083 31086 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41273567 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018861659560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31195] ppid=31083 vsize=9824732 CPUtime=779.67 cores=1,3,5,7
/proc/31086/task/31195/stat : 31195 (java) R 31083 31086 26903 0 -1 4202560 65 0 0 0 77955 12 0 0 20 0 22 0 41281274 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018859552224 140019105871151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31196] ppid=31083 vsize=9824732 CPUtime=779.7 cores=1,3,5,7
/proc/31086/task/31196/stat : 31196 (java) R 31083 31086 26903 0 -1 4202560 1055 0 0 0 77953 17 0 0 20 0 22 0 41281274 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018860603952 140019106647633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31197] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31197/stat : 31197 (java) S 31083 31086 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41281274 10060525568 917963 33554432000 1073741824 1073778376 140736301586992 140018858501544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1751.01
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+906.701 s]
/proc/loadavg: 4.47 4.31 4.22 5/221 31393
/proc/meminfo: memFree=25279664/32872528 swapFree=1482636/1662508
[pid=31086] ppid=31083 vsize=9824732 CPUtime=1799.95 cores=1,3,5,7
/proc/31086/stat : 31086 (java) S 31083 31086 26903 0 -1 4202496 46974 0 1 0 179745 250 0 0 20 0 22 0 41272213 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140736301578128 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31086/statm: 2456183 917962 2302 9 0 2446860 0
[pid=31086/tid=31087] ppid=31083 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/31086/task/31087/stat : 31087 (java) S 31083 31086 26903 0 -1 4202560 2467 0 1 0 52 4 0 0 20 0 22 0 41272213 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140019248853880 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31089] ppid=31083 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/31086/task/31089/stat : 31089 (java) S 31083 31086 26903 0 -1 4202560 1333 0 0 0 233 13 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140019226954024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31090] ppid=31083 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/31086/task/31090/stat : 31090 (java) S 31083 31086 26903 0 -1 4202560 981 0 0 0 206 17 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140019225901224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31091] ppid=31083 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/31086/task/31091/stat : 31091 (java) S 31083 31086 26903 0 -1 4202560 1754 0 0 0 203 16 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140019224848936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31092] ppid=31083 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/31086/task/31092/stat : 31092 (java) S 31083 31086 26903 0 -1 4202560 1289 0 0 0 234 18 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140019223796136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31093] ppid=31083 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/31086/task/31093/stat : 31093 (java) S 31083 31086 26903 0 -1 4202560 1285 0 0 0 203 14 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018886634280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31094] ppid=31083 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/31086/task/31094/stat : 31094 (java) S 31083 31086 26903 0 -1 4202560 1346 0 0 0 221 20 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018885581480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31095] ppid=31083 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/31086/task/31095/stat : 31095 (java) S 31083 31086 26903 0 -1 4202560 1019 0 0 0 201 14 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018884529192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31096] ppid=31083 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/31086/task/31096/stat : 31096 (java) S 31083 31086 26903 0 -1 4202560 1220 0 0 0 221 14 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018883476392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31097] ppid=31083 vsize=9824732 CPUtime=5.69 cores=1,3,5,7
/proc/31086/task/31097/stat : 31097 (java) S 31083 31086 26903 0 -1 4202560 2892 0 0 0 558 11 0 0 20 0 22 0 41272216 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018871277800 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31098] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31098/stat : 31098 (java) S 31083 31086 26903 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 41272217 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018870223864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31099] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31099/stat : 31099 (java) S 31083 31086 26903 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 41272217 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018869171464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31100] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31100/stat : 31100 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272219 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018868119952 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31101] ppid=31083 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/31086/task/31101/stat : 31101 (java) S 31083 31086 26903 0 -1 4202560 12027 0 0 0 229 3 0 0 20 0 22 0 41272219 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018867067576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31102] ppid=31083 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/31086/task/31102/stat : 31102 (java) S 31083 31086 26903 0 -1 4202560 15272 0 0 0 192 4 0 0 20 0 22 0 41272219 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018866014776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31103] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31103/stat : 31103 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272219 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018864962680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31104] ppid=31083 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/31086/task/31104/stat : 31104 (java) S 31083 31086 26903 0 -1 4202560 53 0 0 0 11 24 0 0 20 0 22 0 41272219 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018863910088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31171] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31171/stat : 31171 (java) S 31083 31086 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41273567 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018861659560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31195] ppid=31083 vsize=9824732 CPUtime=803.87 cores=1,3,5,7
/proc/31086/task/31195/stat : 31195 (java) R 31083 31086 26903 0 -1 4202560 66 0 0 0 80374 13 0 0 20 0 22 0 41281274 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018859552288 140019105761311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31196] ppid=31083 vsize=9824732 CPUtime=803.88 cores=1,3,5,7
/proc/31086/task/31196/stat : 31196 (java) R 31083 31086 26903 0 -1 4202560 1057 0 0 0 80370 18 0 0 20 0 22 0 41281274 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018860604064 140019106688326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31197] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31197/stat : 31197 (java) S 31083 31086 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41281274 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018858501544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 9824732

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

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

[startup+906.701 s]
/proc/loadavg: 4.47 4.31 4.22 5/221 31393
/proc/meminfo: memFree=25279664/32872528 swapFree=1482636/1662508
[pid=31086] ppid=31083 vsize=9824732 CPUtime=1799.95 cores=1,3,5,7
/proc/31086/stat : 31086 (java) S 31083 31086 26903 0 -1 4202496 46974 0 1 0 179745 250 0 0 20 0 22 0 41272213 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140736301578128 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31086/statm: 2456183 917962 2302 9 0 2446860 0
[pid=31086/tid=31087] ppid=31083 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/31086/task/31087/stat : 31087 (java) S 31083 31086 26903 0 -1 4202560 2467 0 1 0 52 4 0 0 20 0 22 0 41272213 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140019248853880 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31089] ppid=31083 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/31086/task/31089/stat : 31089 (java) S 31083 31086 26903 0 -1 4202560 1333 0 0 0 233 13 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140019226954024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31090] ppid=31083 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/31086/task/31090/stat : 31090 (java) S 31083 31086 26903 0 -1 4202560 981 0 0 0 206 17 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140019225901224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31091] ppid=31083 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/31086/task/31091/stat : 31091 (java) S 31083 31086 26903 0 -1 4202560 1754 0 0 0 203 16 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140019224848936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31092] ppid=31083 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/31086/task/31092/stat : 31092 (java) S 31083 31086 26903 0 -1 4202560 1289 0 0 0 234 18 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140019223796136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31093] ppid=31083 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/31086/task/31093/stat : 31093 (java) S 31083 31086 26903 0 -1 4202560 1285 0 0 0 203 14 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018886634280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31094] ppid=31083 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/31086/task/31094/stat : 31094 (java) S 31083 31086 26903 0 -1 4202560 1346 0 0 0 221 20 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018885581480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31095] ppid=31083 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/31086/task/31095/stat : 31095 (java) S 31083 31086 26903 0 -1 4202560 1019 0 0 0 201 14 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018884529192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31096] ppid=31083 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/31086/task/31096/stat : 31096 (java) S 31083 31086 26903 0 -1 4202560 1220 0 0 0 221 14 0 0 20 0 22 0 41272215 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018883476392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31097] ppid=31083 vsize=9824732 CPUtime=5.69 cores=1,3,5,7
/proc/31086/task/31097/stat : 31097 (java) S 31083 31086 26903 0 -1 4202560 2892 0 0 0 558 11 0 0 20 0 22 0 41272216 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018871277800 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31098] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31098/stat : 31098 (java) S 31083 31086 26903 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 41272217 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018870223864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31099] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31099/stat : 31099 (java) S 31083 31086 26903 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 41272217 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018869171464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31100] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31100/stat : 31100 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272219 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018868119952 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31101] ppid=31083 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/31086/task/31101/stat : 31101 (java) S 31083 31086 26903 0 -1 4202560 12027 0 0 0 229 3 0 0 20 0 22 0 41272219 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018867067576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31102] ppid=31083 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/31086/task/31102/stat : 31102 (java) S 31083 31086 26903 0 -1 4202560 15272 0 0 0 192 4 0 0 20 0 22 0 41272219 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018866014776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31103] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31103/stat : 31103 (java) S 31083 31086 26903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41272219 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018864962680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31104] ppid=31083 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/31086/task/31104/stat : 31104 (java) S 31083 31086 26903 0 -1 4202560 53 0 0 0 11 24 0 0 20 0 22 0 41272219 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018863910088 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31086/tid=31171] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31171/stat : 31171 (java) S 31083 31086 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41273567 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018861659560 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31086/tid=31195] ppid=31083 vsize=9824732 CPUtime=803.87 cores=1,3,5,7
/proc/31086/task/31195/stat : 31195 (java) R 31083 31086 26903 0 -1 4202560 66 0 0 0 80374 13 0 0 20 0 22 0 41281274 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018859552288 140019105761311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31086/tid=31196] ppid=31083 vsize=9824732 CPUtime=803.88 cores=1,3,5,7
/proc/31086/task/31196/stat : 31196 (java) R 31083 31086 26903 0 -1 4202560 1057 0 0 0 80370 18 0 0 20 0 22 0 41281274 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018860604064 140019106688326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31086/tid=31197] ppid=31083 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31086/task/31197/stat : 31197 (java) S 31083 31086 26903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41281274 10060525568 917962 33554432000 1073741824 1073778376 140736301586992 140018858501544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31086 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=429357
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=911557
# CPU time returned by wait4() is 1796.34
# while last known CPU time is 1799.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.109985
#  lost CPU user time (s): 0.119995
#  lost CPU system time (s): -0.00999999

Real time (s): 906.785
CPU time (s): 1800.06
CPU user time (s): 1797.57
CPU system time (s): 2.49
CPU usage (%): 198.51
Max. virtual memory (cumulated for all children) (KiB): 9825900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.43
system time used= 2.91156
maximum resident set size= 3676180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47043
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25764
involuntary context switches= 32458

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31519 second user time and 8.11277 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-20 05:10:58
IDJOB=4110917
IDBENCH=108570
IDSOLVER=2543
FILE ID=node134/4110917-1466392258
RUNJOBID= node134-1466384123-26920
PBS_JOBID= 19923272
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f33-AC_ESS.seq-A-2-1-irabcde.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110917-1466392258/watcher-4110917-1466392258 -o /tmp/evaluation-result-4110917-1466392258/solver-4110917-1466392258 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466384123-26920 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4110917-1466392258.opb

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

MD5SUM BENCH= c56ce789dc1a56170a135efc80719982
RANDOM SEED=73640157

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28797852 kB
Buffers:           71960 kB
Cached:           166724 kB
SwapCached:        34032 kB
Active:          1436032 kB
Inactive:         223116 kB
Active(anon):    1388192 kB
Inactive(anon):    34516 kB
Active(file):      47840 kB
Inactive(file):   188600 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67066964 kB
Dirty:              3704 kB
Writeback:             0 kB
AnonPages:       3061196 kB
Mapped:            15520 kB
Shmem:                 0 kB
Slab:             607460 kB
SReclaimable:      50972 kB
SUnreclaim:       556488 kB
KernelStack:        1648 kB
PageTables:        10036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4442584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1519616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node134 at 2016-06-20 05:26:05