Trace number 4111171

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)134219648 1800.03 1797.16

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irabcde.opb
MD5SUM58308e0f247892f6b7dab5d3236e608a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark134219648
Best CPU time to get the best result obtained on this benchmark249.716
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4308
Total number of constraints15405
Number of constraints which are clauses15345
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 166
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 461373439
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 461373439
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4111171-1466405044.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  objective function found
0.75/0.45	c ... done. Wall clock time 0.333s.
0.75/0.45	c declared #vars     4308
0.75/0.45	c #constraints  15405
0.75/0.45	c constraints type 
0.75/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3461
0.75/0.45	c org.sat4j.specs.Constr$1 => 2368
0.75/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
0.75/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9430
0.75/0.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 131
0.75/0.45	c 15405 constraints processed.
0.75/0.45	c objective function length is 166 literals
1.05/0.53	c SATISFIABLE
1.05/0.53	c OPTIMIZING...
1.05/0.53	c Got one! Elapsed wall clock time (in seconds):0.417
1.05/0.53	o 192940624
1.33/0.62	c Got one! Elapsed wall clock time (in seconds):0.508
1.33/0.62	o 192940384
1.59/0.70	c Got one! Elapsed wall clock time (in seconds):0.584
1.59/0.70	o 192940144
2.29/1.23	c cleaning 2619 clauses out of 5237 with flag 16088/5237
2.76/1.60	c cleaning 4309 clauses out of 8618 with flag 33670/11237
2.86/1.75	c Got one! Elapsed wall clock time (in seconds):1.641
2.86/1.75	o 192939904
3.14/1.90	c Got one! Elapsed wall clock time (in seconds):1.791
3.14/1.90	o 187763024
3.14/1.91	c Got one! Elapsed wall clock time (in seconds):1.801
3.14/1.91	o 182454624
3.14/1.92	c Got one! Elapsed wall clock time (in seconds):1.806
3.14/1.92	o 182454384
3.32/2.03	c Got one! Elapsed wall clock time (in seconds):1.917
3.32/2.03	o 177211984
3.32/2.03	c Got one! Elapsed wall clock time (in seconds):1.92
3.32/2.03	o 177211744
3.32/2.04	c Got one! Elapsed wall clock time (in seconds):1.925
3.32/2.04	o 177211504
3.54/2.24	c Got one! Elapsed wall clock time (in seconds):2.124
3.54/2.24	o 172034384
3.54/2.26	c Got one! Elapsed wall clock time (in seconds):2.149
3.54/2.26	o 171968624
3.64/2.31	c Got one! Elapsed wall clock time (in seconds):2.199
3.64/2.31	o 166725744
3.64/2.32	c Got one! Elapsed wall clock time (in seconds):2.211
3.64/2.32	o 165877808
3.64/2.33	c Got one! Elapsed wall clock time (in seconds):2.215
3.64/2.33	o 165677168
3.97/2.51	c cleaning 5978 clauses out of 11974 with flag 8022/18902
4.38/2.99	c cleaning 5992 clauses out of 11996 with flag 34933/24902
4.59/3.14	c Got one! Elapsed wall clock time (in seconds):3.027
4.59/3.14	o 165676928
4.81/3.40	c cleaning 5532 clauses out of 11090 with flag 14619/29988
5.00/3.55	c Got one! Elapsed wall clock time (in seconds):3.436
5.00/3.55	o 160435008
5.00/3.56	c Got one! Elapsed wall clock time (in seconds):3.449
5.00/3.56	o 160434288
5.00/3.57	c Got one! Elapsed wall clock time (in seconds):3.453
5.00/3.57	o 160434048
5.30/3.89	c cleaning 5808 clauses out of 11631 with flag 21714/36061
5.80/4.32	c cleaning 5905 clauses out of 11824 with flag 48318/42062
6.40/4.91	c cleaning 6448 clauses out of 12918 with flag 76713/49061
6.40/4.96	c Got one! Elapsed wall clock time (in seconds):4.848
6.40/4.96	o 155191168
6.60/5.19	c Got one! Elapsed wall clock time (in seconds):5.081
6.60/5.19	o 150014288
6.70/5.29	c Got one! Elapsed wall clock time (in seconds):5.179
6.70/5.29	o 149948528
6.80/5.31	c Got one! Elapsed wall clock time (in seconds):5.194
6.80/5.31	o 149948288
6.90/5.50	c cleaning 6675 clauses out of 13368 with flag 9756/55959
7.40/5.90	c cleaning 6342 clauses out of 12694 with flag 36312/61960
7.80/6.39	c cleaning 6665 clauses out of 13350 with flag 68626/68958
8.50/7.00	c cleaning 7337 clauses out of 14686 with flag 104693/76959
9.10/7.69	c cleaning 8170 clauses out of 16349 with flag 143832/85959
10.01/8.54	c cleaning 9078 clauses out of 18178 with flag 186557/95958
11.01/9.55	c cleaning 10046 clauses out of 20100 with flag 233978/106958
12.01/10.55	c cleaning 11020 clauses out of 22054 with flag 286536/118958
13.11/11.66	c cleaning 12011 clauses out of 24035 with flag 342930/131959
14.41/12.97	c cleaning 13000 clauses out of 26024 with flag 408719/145959
15.91/14.49	c cleaning 14006 clauses out of 28023 with flag 476949/160958
17.60/16.13	c cleaning 15004 clauses out of 30017 with flag 544907/176958
18.80/17.36	c Got one! Elapsed wall clock time (in seconds):17.247
18.80/17.36	o 144705408
19.40/17.98	c cleaning 15501 clauses out of 31028 with flag 21117/192973
20.10/18.64	c cleaning 10756 clauses out of 21527 with flag 44081/198973
20.60/19.13	c cleaning 8879 clauses out of 17771 with flag 67738/205973
21.20/19.70	c cleaning 8439 clauses out of 16893 with flag 91968/213974
21.80/20.35	c cleaning 8724 clauses out of 17454 with flag 119061/222974
22.51/21.09	c cleaning 9361 clauses out of 18730 with flag 149876/232974
23.30/21.80	c cleaning 10177 clauses out of 20368 with flag 184387/243973
24.10/22.60	c cleaning 11094 clauses out of 22192 with flag 218910/255974
25.00/23.57	c cleaning 12044 clauses out of 24098 with flag 254085/268974
26.01/24.53	c cleaning 13023 clauses out of 26053 with flag 295625/282973
27.01/25.59	c cleaning 14011 clauses out of 28031 with flag 335473/297974
28.43/26.91	c cleaning 15008 clauses out of 30019 with flag 376069/313973
29.73/28.28	c cleaning 15999 clauses out of 32012 with flag 422454/330974
31.13/29.66	c cleaning 17004 clauses out of 34012 with flag 469267/348973
32.63/31.14	c cleaning 17997 clauses out of 36008 with flag 517767/367973
34.35/32.80	c cleaning 19000 clauses out of 38012 with flag 568723/387974
36.25/34.72	c cleaning 20005 clauses out of 40011 with flag 619682/408973
38.25/36.72	c cleaning 20999 clauses out of 42007 with flag 674053/430974
40.55/39.01	c cleaning 22005 clauses out of 44009 with flag 732355/453975
42.85/41.33	c cleaning 22996 clauses out of 46003 with flag 790662/477974
45.45/43.93	c cleaning 24000 clauses out of 48007 with flag 850794/502974
47.86/46.37	c cleaning 25000 clauses out of 50007 with flag 915229/528974
50.35/48.85	c cleaning 26002 clauses out of 52006 with flag 985857/555973
53.36/51.82	c cleaning 27003 clauses out of 54005 with flag 1057431/583974
56.95/55.41	c cleaning 27994 clauses out of 56001 with flag 1132189/612973
60.85/59.33	c cleaning 29001 clauses out of 58008 with flag 1214540/642974
65.05/63.56	c cleaning 29997 clauses out of 60006 with flag 1297518/673973
69.45/67.94	c cleaning 30998 clauses out of 62010 with flag 1375100/705974
74.05/72.50	c cleaning 31998 clauses out of 64011 with flag 1454337/738973
78.95/77.41	c cleaning 33003 clauses out of 66013 with flag 1538275/772973
84.16/82.69	c cleaning 34000 clauses out of 68010 with flag 1625671/807973
89.15/87.66	c cleaning 34998 clauses out of 70010 with flag 1711837/843973
94.60/93.04	c cleaning 36002 clauses out of 72012 with flag 1796669/880973
100.50/98.96	c cleaning 36998 clauses out of 74011 with flag 1888999/918974
107.10/105.57	c cleaning 38001 clauses out of 76012 with flag 1987840/957973
113.90/112.34	c cleaning 39006 clauses out of 78012 with flag 2096711/997974
120.99/119.50	c cleaning 40002 clauses out of 80007 with flag 2204960/1038975
128.20/126.64	c cleaning 40999 clauses out of 82004 with flag 2309518/1080974
135.00/133.48	c cleaning 41998 clauses out of 84004 with flag 2413845/1123973
142.80/141.27	c cleaning 43000 clauses out of 86007 with flag 2521819/1167974
151.90/150.31	c cleaning 44000 clauses out of 88007 with flag 2637780/1212974
160.30/158.75	c cleaning 45001 clauses out of 90007 with flag 2748923/1258974
169.80/168.22	c cleaning 46002 clauses out of 92005 with flag 2867357/1305973
179.90/178.34	c cleaning 47000 clauses out of 94004 with flag 2991125/1353974
189.61/188.07	c cleaning 48000 clauses out of 96003 with flag 3114456/1402973
199.66/198.10	c cleaning 48998 clauses out of 98004 with flag 3245720/1452974
209.66/208.09	c cleaning 49997 clauses out of 100006 with flag 3374262/1503974
219.67/218.04	c cleaning 51003 clauses out of 102008 with flag 3503369/1555973
229.87/228.28	c cleaning 51999 clauses out of 104005 with flag 3638404/1608973
241.07/239.46	c cleaning 53001 clauses out of 106006 with flag 3777659/1662973
253.77/252.14	c cleaning 54000 clauses out of 108005 with flag 3913031/1717973
267.27/265.62	c cleaning 54999 clauses out of 110008 with flag 4059491/1773976
279.27/277.66	c cleaning 55997 clauses out of 112006 with flag 4200358/1830973
291.27/289.68	c cleaning 57000 clauses out of 114009 with flag 4344683/1888973
304.48/302.86	c cleaning 58000 clauses out of 116011 with flag 4511653/1947975
319.34/317.63	c cleaning 59000 clauses out of 118013 with flag 4668710/2007977
333.64/331.99	c cleaning 60000 clauses out of 120010 with flag 4837148/2068974
347.04/345.38	c cleaning 61003 clauses out of 122009 with flag 4998964/2130973
363.24/361.52	c cleaning 62001 clauses out of 124007 with flag 5168355/2193974
377.64/375.97	c cleaning 63000 clauses out of 126005 with flag 5341214/2257973
392.44/390.78	c cleaning 64000 clauses out of 128006 with flag 5506395/2322974
407.85/406.10	c cleaning 64994 clauses out of 130005 with flag 5688450/2388973
424.75/423.02	c cleaning 65999 clauses out of 132011 with flag 5863290/2455973
440.75/438.98	c cleaning 67005 clauses out of 134012 with flag 6049656/2523973
458.95/457.14	c cleaning 68004 clauses out of 136008 with flag 6243762/2592974
478.05/476.23	c cleaning 68996 clauses out of 138003 with flag 6418883/2662973
496.15/494.32	c cleaning 69997 clauses out of 140008 with flag 6587564/2733974
514.47/512.65	c cleaning 71006 clauses out of 142011 with flag 6761802/2805974
534.16/532.33	c cleaning 72000 clauses out of 144005 with flag 6943161/2878974
553.36/551.52	c cleaning 73001 clauses out of 146004 with flag 7126475/2952973
574.36/572.54	c cleaning 73995 clauses out of 148003 with flag 7321960/3027973
596.58/594.62	c cleaning 74996 clauses out of 150008 with flag 7527016/3103973
618.88/616.90	c cleaning 76001 clauses out of 152012 with flag 7733652/3180973
640.29/638.36	c cleaning 77001 clauses out of 154011 with flag 7935662/3258973
663.99/662.02	c cleaning 78001 clauses out of 156011 with flag 8153443/3337974
689.19/687.26	c cleaning 79005 clauses out of 158009 with flag 8381787/3417973
716.51/714.51	c cleaning 79997 clauses out of 160005 with flag 8603078/3498974
739.70/737.67	c cleaning 80998 clauses out of 162007 with flag 8803531/3580973
765.19/763.10	c cleaning 82003 clauses out of 164010 with flag 9003290/3663974
791.80/789.73	c cleaning 82999 clauses out of 166006 with flag 9199708/3747973
819.80/817.72	c cleaning 84003 clauses out of 168007 with flag 9413527/3832973
851.01/848.90	c cleaning 85001 clauses out of 170004 with flag 9637989/3918973
881.16/878.97	c cleaning 86000 clauses out of 172004 with flag 9866637/4005974
883.46/881.24	c Got one! Elapsed wall clock time (in seconds):881.122
883.46/881.24	o 144705168
886.05/883.84	c cleaning 51646 clauses out of 103300 with flag 16203/4023270
887.35/885.10	c cleaning 28822 clauses out of 57655 with flag 34007/4029271
888.15/885.94	c cleaning 17910 clauses out of 35833 with flag 55083/4036271
888.86/886.60	c cleaning 12956 clauses out of 25924 with flag 78221/4044272
889.46/887.21	c cleaning 10976 clauses out of 21967 with flag 103242/4053271
890.26/888.00	c cleaning 10483 clauses out of 20990 with flag 134149/4063270
890.97/888.78	c cleaning 10743 clauses out of 21508 with flag 167106/4074271
891.87/889.66	c cleaning 11374 clauses out of 22765 with flag 201159/4086271
892.37/890.13	c Got one! Elapsed wall clock time (in seconds):890.019
892.37/890.13	o 139463728
892.77/890.57	c Got one! Elapsed wall clock time (in seconds):890.46
892.77/890.57	o 139463008
892.87/890.60	c Got one! Elapsed wall clock time (in seconds):890.485
892.87/890.60	o 139462768
892.87/890.61	c Got one! Elapsed wall clock time (in seconds):890.501
892.87/890.61	o 139462528
893.07/890.84	c cleaning 12115 clauses out of 24263 with flag 2673/4099143
893.38/891.13	c Got one! Elapsed wall clock time (in seconds):891.02
893.38/891.13	o 134289248
893.38/891.14	c Got one! Elapsed wall clock time (in seconds):891.024
893.38/891.14	o 134219888
893.38/891.15	c Got one! Elapsed wall clock time (in seconds):891.032
893.38/891.15	o 134219648
893.67/891.42	c cleaning 8856 clauses out of 17727 with flag 10679/4104722
893.97/891.73	c cleaning 7431 clauses out of 14872 with flag 26499/4110723
894.27/892.08	c cleaning 7216 clauses out of 14441 with flag 44571/4117723
894.77/892.51	c cleaning 7607 clauses out of 15225 with flag 66493/4125723
895.27/893.04	c cleaning 8303 clauses out of 16617 with flag 93577/4134722
895.77/893.58	c cleaning 9153 clauses out of 18314 with flag 119464/4144722
896.47/894.21	c cleaning 10075 clauses out of 20161 with flag 149280/4155722
897.27/895.04	c cleaning 11035 clauses out of 22086 with flag 181913/4167722
898.27/896.04	c cleaning 12020 clauses out of 24051 with flag 217170/4180722
899.37/897.12	c cleaning 13009 clauses out of 26031 with flag 255978/4194722
900.47/898.24	c cleaning 14002 clauses out of 28022 with flag 297078/4209722
901.67/899.49	c cleaning 15004 clauses out of 30021 with flag 337766/4225723
903.18/900.95	c cleaning 16002 clauses out of 32016 with flag 383175/4242722
904.77/902.53	c cleaning 17000 clauses out of 34014 with flag 434132/4260722
906.48/904.27	c cleaning 17998 clauses out of 36015 with flag 483400/4279723
908.37/906.12	c cleaning 19004 clauses out of 38017 with flag 537335/4299723
910.17/907.94	c cleaning 19998 clauses out of 40013 with flag 590430/4320723
912.37/910.11	c cleaning 20999 clauses out of 42015 with flag 647239/4342723
914.47/912.28	c cleaning 22001 clauses out of 44015 with flag 708152/4365722
916.84/914.59	c cleaning 22998 clauses out of 46015 with flag 769239/4389723
919.75/917.41	c cleaning 23999 clauses out of 48016 with flag 839276/4414722
922.64/920.35	c cleaning 25003 clauses out of 50020 with flag 909137/4440725
925.84/923.55	c cleaning 26001 clauses out of 52014 with flag 983354/4467722
929.34/927.07	c cleaning 27000 clauses out of 54014 with flag 1062821/4495723
933.04/930.73	c cleaning 28000 clauses out of 56014 with flag 1144438/4524723
937.03/934.71	c cleaning 28998 clauses out of 58013 with flag 1233121/4554722
941.13/938.87	c cleaning 30001 clauses out of 60017 with flag 1320244/4585724
945.63/943.31	c cleaning 31001 clauses out of 62016 with flag 1407946/4617724
950.13/947.88	c cleaning 32003 clauses out of 64014 with flag 1501521/4650723
955.13/952.88	c cleaning 32998 clauses out of 66010 with flag 1599149/4684722
960.64/958.33	c cleaning 33997 clauses out of 68012 with flag 1693197/4719722
966.34/964.05	c cleaning 35003 clauses out of 70018 with flag 1787803/4755725
972.02/969.68	c cleaning 36002 clauses out of 72012 with flag 1886504/4792722
977.62/975.24	c cleaning 36997 clauses out of 74010 with flag 1987394/4830722
984.12/981.77	c cleaning 37999 clauses out of 76015 with flag 2091084/4869724
989.82/987.43	c cleaning 38999 clauses out of 78015 with flag 2198475/4909723
995.72/993.35	c cleaning 40000 clauses out of 80015 with flag 2308129/4950722
1002.42/1000.08	c cleaning 41004 clauses out of 82016 with flag 2421279/4992723
1009.11/1006.76	c cleaning 41998 clauses out of 84011 with flag 2531997/5035722
1016.31/1013.94	c cleaning 42998 clauses out of 86013 with flag 2645528/5079722
1024.32/1021.93	c cleaning 44002 clauses out of 88016 with flag 2765558/5124723
1032.42/1030.05	c cleaning 45003 clauses out of 90013 with flag 2885516/5170722
1040.26/1037.82	c cleaning 46000 clauses out of 92011 with flag 3013395/5217723
1048.26/1045.86	c cleaning 46999 clauses out of 94011 with flag 3143571/5265723
1056.37/1053.98	c cleaning 48000 clauses out of 96011 with flag 3271598/5314722
1065.07/1062.65	c cleaning 48997 clauses out of 98013 with flag 3401261/5364724
1074.16/1071.72	c cleaning 50000 clauses out of 100014 with flag 3530495/5415722
1083.97/1081.59	c cleaning 50999 clauses out of 102015 with flag 3672738/5467723
1094.06/1091.61	c cleaning 52002 clauses out of 104016 with flag 3812324/5520723
1104.77/1102.35	c cleaning 52998 clauses out of 106013 with flag 3963570/5574722
1115.60/1113.16	c cleaning 54002 clauses out of 108016 with flag 4108765/5629723
1126.40/1123.98	c cleaning 55001 clauses out of 110014 with flag 4250844/5685723
1137.49/1135.01	c cleaning 56002 clauses out of 112014 with flag 4394503/5742724
1148.39/1145.97	c cleaning 57001 clauses out of 114011 with flag 4528586/5800723
1159.49/1157.07	c cleaning 58002 clauses out of 116009 with flag 4661734/5859722
1171.38/1168.98	c cleaning 58998 clauses out of 118008 with flag 4801896/5919723
1184.09/1181.63	c cleaning 59998 clauses out of 120009 with flag 4942140/5980722
1196.66/1194.16	c cleaning 61005 clauses out of 122013 with flag 5090262/6042724
1209.26/1206.72	c cleaning 62003 clauses out of 124007 with flag 5240369/6105723
1223.45/1220.95	c cleaning 63001 clauses out of 126004 with flag 5394654/6169723
1236.86/1234.38	c cleaning 63999 clauses out of 128004 with flag 5556457/6234724
1250.15/1247.69	c cleaning 65002 clauses out of 130003 with flag 5710203/6300722
1264.25/1261.73	c cleaning 65997 clauses out of 132001 with flag 5867163/6367722
1277.40/1274.87	c cleaning 66997 clauses out of 134005 with flag 6025535/6435723
1291.80/1289.22	c cleaning 67999 clauses out of 136008 with flag 6194453/6504723
1306.80/1304.29	c cleaning 68999 clauses out of 138008 with flag 6362097/6574722
1323.00/1320.45	c cleaning 70003 clauses out of 140010 with flag 6529773/6645723
1339.89/1337.30	c cleaning 71001 clauses out of 142006 with flag 6705902/6717722
1356.59/1353.90	c cleaning 71997 clauses out of 144005 with flag 6882498/6790722
1373.19/1370.52	c cleaning 72999 clauses out of 146009 with flag 7055875/6864723
1389.98/1387.36	c cleaning 74001 clauses out of 148009 with flag 7234630/6939722
1407.88/1405.21	c cleaning 75004 clauses out of 150008 with flag 7413545/7015722
1425.59/1422.98	c cleaning 75998 clauses out of 152004 with flag 7588295/7092722
1444.88/1442.29	c cleaning 77002 clauses out of 154009 with flag 7762033/7170725
1466.86/1464.11	c cleaning 77995 clauses out of 156004 with flag 7938386/7249722
1487.55/1484.84	c cleaning 79002 clauses out of 158009 with flag 8121167/7329722
1508.65/1505.96	c cleaning 80001 clauses out of 160010 with flag 8305730/7410725
1531.14/1528.43	c cleaning 80999 clauses out of 162006 with flag 8490056/7492722
1554.61/1551.82	c cleaning 82001 clauses out of 164009 with flag 8683747/7575724
1581.41/1578.69	c cleaning 82998 clauses out of 166007 with flag 8882577/7659723
1606.90/1604.16	c cleaning 84002 clauses out of 168009 with flag 9079695/7744723
1632.50/1629.74	c cleaning 85003 clauses out of 170007 with flag 9284381/7830723
1658.50/1655.76	c cleaning 85996 clauses out of 172003 with flag 9488408/7917722
1684.46/1681.65	c cleaning 87001 clauses out of 174008 with flag 9691324/8005723
1712.17/1709.31	c cleaning 87999 clauses out of 176006 with flag 9895377/8094722
1740.37/1737.51	c cleaning 89000 clauses out of 178008 with flag 10098681/8184723
1772.79/1769.97	c cleaning 90003 clauses out of 180007 with flag 10308914/8275722
1800.03/1797.10	c starts		: 115
1800.03/1797.10	c conflicts		: 8362867
1800.03/1797.10	c decisions		: 11409630
1800.03/1797.10	c propagations		: 367976431
1800.03/1797.10	c inspects		: 34569686096
1800.03/1797.10	c shortcuts		: 0
1800.03/1797.10	c learnt literals	: 0
1800.03/1797.10	c learnt binary clauses	: 7
1800.03/1797.10	c learnt ternary clauses	: 4
1800.03/1797.10	c learnt constraints	: 8362867
1800.03/1797.10	c ignored constraints	: 0
1800.03/1797.10	c root simplifications	: 0
1800.03/1797.10	c removed literals (reason simplification)	: 0
1800.03/1797.10	c reason swapping (by a shorter reason)	: 0
1800.03/1797.10	c Calls to reduceDB	: 199
1800.03/1797.10	c Number of update (reduction) of LBD	: 536575
1800.03/1797.10	c Imported unit clauses	: 0
1800.03/1797.10	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.10	c number of learned constraints concerned by reduction	: 0
1800.03/1797.10	c number of learning phase by resolution	: 0
1800.03/1797.10	c number of learning phase by cutting planes	: 0
1800.03/1797.10	c speed (assignments/second)	: 204812.5333259121
1800.03/1797.10	c non guided choices	1456
1800.03/1797.13	c learnt constraints type 
1800.03/1797.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7
1800.03/1797.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 177143
1800.03/1797.13	s SATISFIABLE
1800.03/1797.13	c Found 32 solution(s)
1800.03/1797.14	v x1 x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 x11 x12 -x13 -x14 x15 x16 x17 -x18 -x19 x20 x21 x22 -x23 -x24 -x25 x26 x27 -x28 -x29 -x30 x31 x32 -x33 -x34 -x35 x36 x37 -x38 -x39 x40 x41 x42 -x43 -x44 -x45 x46 x47 -x48 -x49 -x50 x51 x52 -x53 -x54 x55 x56 x57 -x58 -x59 x60 x61 x62 -x63 -x64 x65 x66 x67 -x68 -x69 x70 x71 x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 x744 x745 x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 x980 x981 x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 x1107 x1108 x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 x1276 x1277 x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 x1377 x1378 x1379 x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 x1419 x1420 x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 x1589 x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 x1712 x1713 x1714 x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 x1784 x1785 x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 x1802 x1803 x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 x1861 x1862 x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 x2020 x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 x2038 x2039 x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 x2114 x2115 x2116 x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 x2191 x2192 x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 x2349 x2350 x2351 x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 x2376 x2377 x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 x2530 x2531 x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 x2592 x2593 -x2594 -x2595 -x2596 x2597 x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 x2667 -x2668 -x2669 -x2670 -x2671 x2672 x2673 x2674 x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 x2692 x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x3110 x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 x3159 x3160 x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 x3180 x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 -x3191 x3192 x3193 x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x3370 x3371 x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 x3384 -x3385 x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 x3409 x3410 -x3411 -x3412 -x3413 -x3414 -x3415 x3416 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 x3424 x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 x3437 x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 x3576 -x3577 -x3578 x3579 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 x3639 -x3640 -x3641 -x3642 -x3643 x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 x3669 -x3670 -x3671 -x3672 -x3673 x3674 -x3675 -x3676 -x3677 -x3678 x3679 -x3680 -x3681 -x3682 -x3683 x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 x3732 -x3733 -x3734 -x3735 -x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 x3746 -x3747 -x3748 x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 x3809 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 x3860 x3861 x3862 x3863 x3864 x3865 x3866 x3867 x3868 x3869 x3870 x3871 x3872 x3873 x3874 x3875 x3876 x3877 x3878 x3879 x3880 x3881 x3882 x3883 x3884 x3885 x3886 x3887 x3888 x3889 x3890 x3891 x3892 x3893 x3894 x3895 x3896 x3897 x3898 x3899 x3900 x3901 x3902 x3903 x3904 x3905 x3906 x3907 x3908 x3909 x3910 x3911 x3912 x3913 x3914 x3915 x3916 x3917 x3918 x3919 x3920 x3921 x3922 x3923 x3924 x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3990 -x3991 x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 x4196 x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 x4221 x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 
1800.03/1797.14	c objective function=134219648
1800.03/1797.14	c Total wall clock time (in seconds): 1797.03

Verifier Data 

OK	134219648

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-4111171-1466405044/watcher-4111171-1466405044 -o /tmp/evaluation-result-4111171-1466405044/solver-4111171-1466405044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466384068-31776 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4111171-1466405044.opb 

pid=1776
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.30 2.28 2.20 3/194 1780
/proc/meminfo: memFree=29819104/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/1780/stat : 1780 (java) D 1776 1780 31760 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 42552687 9515008 184 33554432000 1073741824 1073778376 140734755962464 140734755953688 226084154807 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/1780/statm: 2323 184 142 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.30 2.28 2.20 3/194 1780
/proc/meminfo: memFree=29819104/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/1780/stat : 1780 (java) S 1776 1780 31760 0 -1 4202496 4440 0 1 0 7 1 0 0 20 0 18 0 42552687 9787879424 5568 33554432000 1073741824 1073778376 140736741659360 140736741650496 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1780/statm: 2389619 5568 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200217 s]
/proc/loadavg: 2.30 2.28 2.20 3/194 1780
/proc/meminfo: memFree=29819104/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/1780/stat : 1780 (java) S 1776 1780 31760 0 -1 4202496 4797 0 1 0 23 1 0 0 20 0 18 0 42552687 9787879424 6363 33554432000 1073741824 1073778376 140736741659360 140736741650496 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1780/statm: 2389619 6363 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300212 s]
/proc/loadavg: 2.30 2.28 2.20 3/194 1780
/proc/meminfo: memFree=29819104/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/1780/stat : 1780 (java) S 1776 1780 31760 0 -1 4202496 6104 0 1 0 44 2 0 0 20 0 18 0 42552687 9787879424 8326 33554432000 1073741824 1073778376 140736741659360 140736741650496 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1780/statm: 2389619 8326 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700174 s]
/proc/loadavg: 2.30 2.28 2.20 3/194 1780
/proc/meminfo: memFree=29819104/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9625040 CPUtime=1.59 cores=0,2,4,6
/proc/1780/stat : 1780 (java) S 1776 1780 31760 0 -1 4202496 11874 0 1 0 156 3 0 0 20 0 19 0 42552687 9856040960 17844 33554432000 1073741824 1073778376 140736741659360 140736741650496 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1780/statm: 2406260 17844 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.30 2.28 2.20 3/213 1802
/proc/meminfo: memFree=29753672/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9625040 CPUtime=2.63 cores=0,2,4,6
/proc/1780/stat : 1780 (java) S 1776 1780 31760 0 -1 4202496 12319 0 1 0 259 4 0 0 20 0 19 0 42552687 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140736741650496 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1780/statm: 2406260 18937 2272 9 0 2396937 0
[pid=1780/tid=1783] ppid=1776 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (java) R 1776 1780 31760 0 -1 4202560 2490 0 1 0 144 2 0 0 20 0 19 0 42552688 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520400174816 140520273372338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1784] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520244079144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1785] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1785/stat : 1785 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520243026344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1786] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1786/stat : 1786 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520241973544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1787] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1787/stat : 1787 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520240920744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1788] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1788/stat : 1788 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520239868968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1789] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1789/stat : 1789 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520238816168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1791] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1791/stat : 1791 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520237763368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1792] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1792/stat : 1792 (java) S 1776 1780 31760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520236710568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1793] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1793/stat : 1793 (java) S 1776 1780 31760 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 42552690 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520224299496 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1794] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1794/stat : 1794 (java) S 1776 1780 31760 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520223245560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1795] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1795/stat : 1795 (java) S 1776 1780 31760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520222192648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1796] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1796/stat : 1796 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520221141136 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1797] ppid=1776 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/1780/task/1797/stat : 1797 (java) S 1776 1780 31760 0 -1 4202560 3174 0 0 0 60 0 0 0 20 0 19 0 42552693 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520220089272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1798] ppid=1776 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/1780/task/1798/stat : 1798 (java) S 1776 1780 31760 0 -1 4202560 5376 0 0 0 52 1 0 0 20 0 19 0 42552693 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520219036472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1799] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1799/stat : 1799 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520217983864 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1800] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1800/stat : 1800 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520216931272 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1802] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1802/stat : 1802 (java) S 1776 1780 31760 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42552733 9856040960 18937 33554432000 1073741824 1073778376 140736741659360 140520215876776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 9625040

[startup+3.10084 s]
/proc/loadavg: 2.30 2.28 2.20 3/213 1802
/proc/meminfo: memFree=29746660/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9625040 CPUtime=4.59 cores=0,2,4,6
/proc/1780/stat : 1780 (java) S 1776 1780 31760 0 -1 4202496 14888 0 1 0 455 4 0 0 20 0 19 0 42552687 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140736741650496 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1780/statm: 2406260 21016 2272 9 0 2396937 0
[pid=1780/tid=1783] ppid=1776 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (java) R 1776 1780 31760 0 -1 4202560 2496 0 1 0 304 2 0 0 20 0 19 0 42552688 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520400183864 140520273527575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1784] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520244079144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1785] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1785/stat : 1785 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520243026344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1786] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1786/stat : 1786 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520241973544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1787] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1787/stat : 1787 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520240920744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1788] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1788/stat : 1788 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520239868968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1789] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1789/stat : 1789 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520238816168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1791] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1791/stat : 1791 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520237763368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1792] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1792/stat : 1792 (java) S 1776 1780 31760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520236710568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1793] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1793/stat : 1793 (java) S 1776 1780 31760 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 42552690 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520224299496 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1794] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1794/stat : 1794 (java) S 1776 1780 31760 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520223245560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1795] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1795/stat : 1795 (java) S 1776 1780 31760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520222192648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1796] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1796/stat : 1796 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520221141136 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1797] ppid=1776 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/1780/task/1797/stat : 1797 (java) S 1776 1780 31760 0 -1 4202560 3183 0 0 0 71 0 0 0 20 0 19 0 42552693 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520220089272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1798] ppid=1776 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/1780/task/1798/stat : 1798 (java) S 1776 1780 31760 0 -1 4202560 7930 0 0 0 77 2 0 0 20 0 19 0 42552693 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520219036472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1799] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1799/stat : 1799 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520217983864 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1800] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1800/stat : 1800 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520216931272 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1802] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1802/stat : 1802 (java) S 1776 1780 31760 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42552733 9856040960 21016 33554432000 1073741824 1073778376 140736741659360 140520215876776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.27 2.27 2.20 3/213 1802
/proc/meminfo: memFree=29728236/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9625040 CPUtime=7.8 cores=0,2,4,6
/proc/1780/stat : 1780 (java) S 1776 1780 31760 0 -1 4202496 14898 0 1 0 776 4 0 0 20 0 19 0 42552687 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140736741650496 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1780/statm: 2406260 25592 2272 9 0 2396937 0
[pid=1780/tid=1783] ppid=1776 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (java) R 1776 1780 31760 0 -1 4202560 2506 0 1 0 623 2 0 0 20 0 19 0 42552688 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520400174800 140520273405010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1784] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520244079144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1785] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1785/stat : 1785 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520243026344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1786] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1786/stat : 1786 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520241973544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1787] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1787/stat : 1787 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520240920744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1788] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1788/stat : 1788 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520239868968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1789] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1789/stat : 1789 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520238816168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1791] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1791/stat : 1791 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520237763368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1792] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1792/stat : 1792 (java) S 1776 1780 31760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42552689 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520236710568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1793] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1793/stat : 1793 (java) S 1776 1780 31760 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 42552690 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520224299496 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1794] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1794/stat : 1794 (java) S 1776 1780 31760 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520223245560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1795] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1795/stat : 1795 (java) S 1776 1780 31760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520222192648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1796] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1796/stat : 1796 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520221141136 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1797] ppid=1776 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/1780/task/1797/stat : 1797 (java) S 1776 1780 31760 0 -1 4202560 3183 0 0 0 72 0 0 0 20 0 19 0 42552693 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520220089272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1798] ppid=1776 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/1780/task/1798/stat : 1798 (java) S 1776 1780 31760 0 -1 4202560 7930 0 0 0 77 2 0 0 20 0 19 0 42552693 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520219036472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1799] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1799/stat : 1799 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520217983864 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1800] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1800/stat : 1800 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520216931272 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1802] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1802/stat : 1802 (java) S 1776 1780 31760 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42552733 9856040960 25592 33554432000 1073741824 1073778376 140736741659360 140520215876776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 9625040


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

[pid=1780/tid=1802] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1802/stat : 1802 (java) S 1776 1780 31760 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42552733 9856040960 89771 33554432000 1073741824 1073778376 140736741659360 140520215876776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1725.17
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.02 2.15 2.16 3/213 1945
/proc/meminfo: memFree=29455784/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9625040 CPUtime=1785.23 cores=0,2,4,6
/proc/1780/stat : 1780 (java) S 1776 1780 31760 0 -1 4202496 17491 0 1 0 178471 52 0 0 20 0 19 0 42552687 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140736741650496 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1780/statm: 2406260 90633 2286 9 0 2396937 0
[pid=1780/tid=1783] ppid=1776 vsize=9625040 CPUtime=1776.93 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (java) R 1776 1780 31760 0 -1 4202560 2562 0 1 0 177662 31 0 0 20 0 19 0 42552688 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520400182496 140520273315684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1784] ppid=1776 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (java) S 1776 1780 31760 0 -1 4202560 416 0 0 0 24 2 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520244079144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1785] ppid=1776 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/1780/task/1785/stat : 1785 (java) S 1776 1780 31760 0 -1 4202560 370 0 0 0 19 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520243026344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1786] ppid=1776 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/1780/task/1786/stat : 1786 (java) S 1776 1780 31760 0 -1 4202560 261 0 0 0 21 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520241973544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1787] ppid=1776 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/1780/task/1787/stat : 1787 (java) S 1776 1780 31760 0 -1 4202560 345 0 0 0 21 2 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520240920744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1788] ppid=1776 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/1780/task/1788/stat : 1788 (java) S 1776 1780 31760 0 -1 4202560 275 0 0 0 18 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520239868968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1789] ppid=1776 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/1780/task/1789/stat : 1789 (java) S 1776 1780 31760 0 -1 4202560 190 0 0 0 18 2 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520238816168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1791] ppid=1776 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/1780/task/1791/stat : 1791 (java) S 1776 1780 31760 0 -1 4202560 229 0 0 0 16 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520237763368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1792] ppid=1776 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/1780/task/1792/stat : 1792 (java) S 1776 1780 31760 0 -1 4202560 273 0 0 0 18 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520236710568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1793] ppid=1776 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/1780/task/1793/stat : 1793 (java) S 1776 1780 31760 0 -1 4202560 82 0 0 0 0 2 0 0 20 0 19 0 42552690 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520224299496 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1794] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1794/stat : 1794 (java) S 1776 1780 31760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520223245560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1795] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1795/stat : 1795 (java) S 1776 1780 31760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520222192648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1796] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1796/stat : 1796 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520221141136 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1797] ppid=1776 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/1780/task/1797/stat : 1797 (java) S 1776 1780 31760 0 -1 4202560 3191 0 0 0 78 0 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520220089272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1798] ppid=1776 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/1780/task/1798/stat : 1798 (java) S 1776 1780 31760 0 -1 4202560 7930 0 0 0 77 2 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520219036472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1799] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1799/stat : 1799 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520217983864 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1800] ppid=1776 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/1780/task/1800/stat : 1800 (java) S 1776 1780 31760 0 -1 4202560 103 0 0 0 33 26 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520216931272 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1802] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1802/stat : 1802 (java) S 1776 1780 31760 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42552733 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520215876776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1785.23
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.02 2.14 2.16 3/213 1946
/proc/meminfo: memFree=29455532/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/1780/stat : 1780 (java) S 1776 1780 31760 0 -1 4202496 17491 0 1 0 179951 52 0 0 20 0 19 0 42552687 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140736741650496 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1780/statm: 2406260 90633 2286 9 0 2396937 0
[pid=1780/tid=1783] ppid=1776 vsize=9625040 CPUtime=1791.69 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (java) R 1776 1780 31760 0 -1 4202560 2562 0 1 0 179138 31 0 0 20 0 19 0 42552688 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520400182496 140520273379183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1784] ppid=1776 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (java) S 1776 1780 31760 0 -1 4202560 416 0 0 0 24 2 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520244079144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1785] ppid=1776 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/1780/task/1785/stat : 1785 (java) S 1776 1780 31760 0 -1 4202560 370 0 0 0 19 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520243026344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1786] ppid=1776 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/1780/task/1786/stat : 1786 (java) S 1776 1780 31760 0 -1 4202560 261 0 0 0 21 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520241973544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1787] ppid=1776 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/1780/task/1787/stat : 1787 (java) S 1776 1780 31760 0 -1 4202560 345 0 0 0 21 2 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520240920744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1788] ppid=1776 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/1780/task/1788/stat : 1788 (java) S 1776 1780 31760 0 -1 4202560 275 0 0 0 18 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520239868968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1789] ppid=1776 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/1780/task/1789/stat : 1789 (java) S 1776 1780 31760 0 -1 4202560 190 0 0 0 18 2 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520238816168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1791] ppid=1776 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/1780/task/1791/stat : 1791 (java) S 1776 1780 31760 0 -1 4202560 229 0 0 0 16 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520237763368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1792] ppid=1776 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/1780/task/1792/stat : 1792 (java) S 1776 1780 31760 0 -1 4202560 273 0 0 0 18 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520236710568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1793] ppid=1776 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/1780/task/1793/stat : 1793 (java) S 1776 1780 31760 0 -1 4202560 82 0 0 0 0 2 0 0 20 0 19 0 42552690 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520224299496 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1794] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1794/stat : 1794 (java) S 1776 1780 31760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520223245560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1795] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1795/stat : 1795 (java) S 1776 1780 31760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520222192648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1796] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1796/stat : 1796 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520221141136 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1797] ppid=1776 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/1780/task/1797/stat : 1797 (java) S 1776 1780 31760 0 -1 4202560 3191 0 0 0 78 0 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520220089272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1798] ppid=1776 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/1780/task/1798/stat : 1798 (java) S 1776 1780 31760 0 -1 4202560 7930 0 0 0 77 2 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520219036472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1799] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1799/stat : 1799 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520217983864 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1800] ppid=1776 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/1780/task/1800/stat : 1800 (java) S 1776 1780 31760 0 -1 4202560 103 0 0 0 33 26 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520216931272 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1802] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1802/stat : 1802 (java) S 1776 1780 31760 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42552733 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520215876776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1797.1 s]
/proc/loadavg: 2.02 2.14 2.16 3/213 1946
/proc/meminfo: memFree=29455532/32872528 swapFree=1590544/1721360
[pid=1780] ppid=1776 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/1780/stat : 1780 (java) S 1776 1780 31760 0 -1 4202496 17491 0 1 0 179951 52 0 0 20 0 19 0 42552687 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140736741650496 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1780/statm: 2406260 90633 2286 9 0 2396937 0
[pid=1780/tid=1783] ppid=1776 vsize=9625040 CPUtime=1791.69 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (java) R 1776 1780 31760 0 -1 4202560 2562 0 1 0 179138 31 0 0 20 0 19 0 42552688 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520400182496 140520273379183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1784] ppid=1776 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (java) S 1776 1780 31760 0 -1 4202560 416 0 0 0 24 2 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520244079144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1785] ppid=1776 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/1780/task/1785/stat : 1785 (java) S 1776 1780 31760 0 -1 4202560 370 0 0 0 19 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520243026344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1786] ppid=1776 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/1780/task/1786/stat : 1786 (java) S 1776 1780 31760 0 -1 4202560 261 0 0 0 21 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520241973544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1787] ppid=1776 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/1780/task/1787/stat : 1787 (java) S 1776 1780 31760 0 -1 4202560 345 0 0 0 21 2 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520240920744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1788] ppid=1776 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/1780/task/1788/stat : 1788 (java) S 1776 1780 31760 0 -1 4202560 275 0 0 0 18 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520239868968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1789] ppid=1776 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/1780/task/1789/stat : 1789 (java) S 1776 1780 31760 0 -1 4202560 190 0 0 0 18 2 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520238816168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1780/tid=1791] ppid=1776 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/1780/task/1791/stat : 1791 (java) S 1776 1780 31760 0 -1 4202560 229 0 0 0 16 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520237763368 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1792] ppid=1776 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/1780/task/1792/stat : 1792 (java) S 1776 1780 31760 0 -1 4202560 273 0 0 0 18 3 0 0 20 0 19 0 42552689 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520236710568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1780/tid=1793] ppid=1776 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/1780/task/1793/stat : 1793 (java) S 1776 1780 31760 0 -1 4202560 82 0 0 0 0 2 0 0 20 0 19 0 42552690 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520224299496 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1794] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1794/stat : 1794 (java) S 1776 1780 31760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520223245560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1795] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1795/stat : 1795 (java) S 1776 1780 31760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 42552691 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520222192648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1796] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1796/stat : 1796 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520221141136 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1797] ppid=1776 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/1780/task/1797/stat : 1797 (java) S 1776 1780 31760 0 -1 4202560 3191 0 0 0 78 0 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520220089272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1798] ppid=1776 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/1780/task/1798/stat : 1798 (java) S 1776 1780 31760 0 -1 4202560 7930 0 0 0 77 2 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520219036472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1799] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1799/stat : 1799 (java) S 1776 1780 31760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520217983864 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1780/tid=1800] ppid=1776 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/1780/task/1800/stat : 1800 (java) S 1776 1780 31760 0 -1 4202560 103 0 0 0 33 26 0 0 20 0 19 0 42552693 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520216931272 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1780/tid=1802] ppid=1776 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1780/task/1802/stat : 1802 (java) S 1776 1780 31760 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42552733 9856040960 90633 33554432000 1073741824 1073778376 140736741659360 140520215876776 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1780 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=67108
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=963853
# CPU time returned by wait4() is 1796.03
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.16
CPU time (s): 1800.03
CPU user time (s): 1799.51
CPU system time (s): 0.52
CPU usage (%): 100.16
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.07
system time used= 0.963853
maximum resident set size= 367276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17530
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38653
involuntary context switches= 17677

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3923 second user time and 12.6341 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-20 08:44:04
IDJOB=4111171
IDBENCH=108943
IDSOLVER=2546
FILE ID=node120/4111171-1466405044
RUNJOBID= node120-1466384068-31776
PBS_JOBID= 19923264
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-B-3-combined-irabcde.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111171-1466405044/watcher-4111171-1466405044 -o /tmp/evaluation-result-4111171-1466405044/solver-4111171-1466405044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466384068-31776 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4111171-1466405044.opb

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

MD5SUM BENCH= 58308e0f247892f6b7dab5d3236e608a
RANDOM SEED=561655883

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.935
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.935
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.935
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.935
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.935
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29819648 kB
Buffers:           73620 kB
Cached:            61224 kB
SwapCached:          920 kB
Active:           500476 kB
Inactive:          96876 kB
Active(anon):     463236 kB
Inactive(anon):     1508 kB
Active(file):      37240 kB
Inactive(file):    95368 kB
Unevictable:     1721360 kB
Mlocked:         1590544 kB
SwapTotal:      67108856 kB
SwapFree:       67100116 kB
Dirty:              1320 kB
Writeback:             0 kB
AnonPages:       2185572 kB
Mapped:            15396 kB
Shmem:                 0 kB
Slab:             598900 kB
SReclaimable:      42816 kB
SUnreclaim:       556084 kB
KernelStack:        1584 kB
PageTables:         8516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2340732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    579584 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= 71720 MiB
End job on node120 at 2016-06-20 09:14:01