Trace number 4090868

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.06 1785.37

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM4abf964a0a4662f4172f30dfa55a3bc2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark3.2625
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 9197
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 9196
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090868-1466066103.wbo
0.09/0.11	c reading problem ... 
0.27/0.26	c ... done. Wall clock time 0.146s.
0.27/0.26	c declared #vars     4000
0.27/0.26	c internal #vars     4180
0.27/0.26	c #constraints  180
0.27/0.26	c constraints type 
0.27/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.27/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80
0.27/0.26	c 180 constraints processed.
0.27/0.26	c objective function length is 180 literals
1.36/0.85	c cleaning 2497 clauses out of 5001 with flag 30882/5001
1.50/0.97	c SATISFIABLE
1.50/0.97	c OPTIMIZING...
1.50/0.97	c Got one! Elapsed wall clock time (in seconds):0.86
1.50/0.97	o 250
2.06/1.46	c Got one! Elapsed wall clock time (in seconds):1.351
2.06/1.46	o 208
2.38/1.61	c cleaning 4300 clauses out of 8612 with flag 5488/11109
3.09/2.38	c cleaning 5146 clauses out of 10311 with flag 42372/17108
4.10/3.39	c cleaning 6075 clauses out of 12165 with flag 86355/24108
5.90/5.15	c cleaning 7045 clauses out of 14093 with flag 142556/32111
5.90/5.16	c Got one! Elapsed wall clock time (in seconds):5.047
5.90/5.16	o 202
6.73/5.96	c cleaning 6046 clauses out of 12112 with flag 33772/37175
7.55/6.76	c cleaning 6028 clauses out of 12070 with flag 73602/43179
8.55/7.73	c cleaning 6509 clauses out of 13038 with flag 120642/50175
9.84/9.09	c cleaning 7258 clauses out of 14530 with flag 179934/58176
11.44/10.61	c cleaning 8130 clauses out of 16271 with flag 250531/67175
13.24/12.41	c cleaning 9064 clauses out of 18141 with flag 328127/77175
15.04/14.25	c cleaning 10032 clauses out of 20078 with flag 404952/88176
17.24/16.43	c cleaning 11013 clauses out of 22046 with flag 490623/100176
19.67/18.88	c cleaning 12009 clauses out of 24032 with flag 581654/113175
22.87/22.01	c cleaning 13004 clauses out of 26023 with flag 685997/127175
26.06/25.20	c cleaning 14006 clauses out of 28024 with flag 793598/142180
29.57/28.73	c cleaning 15001 clauses out of 30013 with flag 902884/158175
33.36/32.50	c cleaning 16000 clauses out of 32012 with flag 1014729/175175
38.06/37.29	c cleaning 16996 clauses out of 34013 with flag 1141584/193176
41.76/40.94	c Got one! Elapsed wall clock time (in seconds):40.823
41.76/40.94	o 195
43.30/42.32	c cleaning 17796 clauses out of 35603 with flag 33937/211762
44.30/43.36	c cleaning 11890 clauses out of 23805 with flag 76959/217760
45.50/44.51	c cleaning 9444 clauses out of 18914 with flag 129850/224759
46.71/45.75	c cleaning 8723 clauses out of 17470 with flag 188478/232759
48.11/47.16	c cleaning 8861 clauses out of 17747 with flag 255831/241759
49.81/48.84	c cleaning 9432 clauses out of 18888 with flag 329482/251761
51.71/50.77	c cleaning 10215 clauses out of 20454 with flag 408942/262759
54.01/53.01	c cleaning 11112 clauses out of 22239 with flag 491555/274759
56.61/55.64	c cleaning 12053 clauses out of 24127 with flag 583885/287759
59.41/58.44	c cleaning 13034 clauses out of 26077 with flag 690558/301762
62.98/61.91	c cleaning 14014 clauses out of 28040 with flag 802439/316759
66.58/65.59	c cleaning 15006 clauses out of 30028 with flag 922247/332761
69.88/68.81	c Got one! Elapsed wall clock time (in seconds):68.696
69.88/68.81	o 187
71.23/70.18	c cleaning 17560 clauses out of 35134 with flag 30689/352873
72.53/71.42	c cleaning 11782 clauses out of 23577 with flag 67111/358876
73.53/72.43	c cleaning 9386 clauses out of 18794 with flag 107991/365875
74.63/73.55	c cleaning 8694 clauses out of 17407 with flag 156914/373874
76.03/74.96	c cleaning 8849 clauses out of 17714 with flag 219638/382875
77.83/76.79	c cleaning 9421 clauses out of 18863 with flag 297326/392873
79.83/78.76	c cleaning 10214 clauses out of 20443 with flag 381450/403874
82.03/80.99	c cleaning 11104 clauses out of 22228 with flag 470890/415873
84.52/83.33	c cleaning 12050 clauses out of 24125 with flag 560185/428874
85.22/84.05	c Got one! Elapsed wall clock time (in seconds):83.937
85.22/84.05	o 176
85.42/84.22	c cleaning 8905 clauses out of 17837 with flag 5802/434636
86.22/85.05	c cleaning 7452 clauses out of 14932 with flag 45858/440636
87.12/85.92	c cleaning 7233 clauses out of 14481 with flag 91754/447637
88.22/87.01	c cleaning 7614 clauses out of 15247 with flag 147926/455636
88.32/87.14	c Got one! Elapsed wall clock time (in seconds):87.027
88.32/87.14	o 168
88.82/87.65	c cleaning 6429 clauses out of 12879 with flag 23484/460882
89.52/88.35	c cleaning 6215 clauses out of 12450 with flag 63340/466882
90.42/89.23	c cleaning 6598 clauses out of 13235 with flag 111472/473882
91.42/90.25	c cleaning 7310 clauses out of 14637 with flag 166738/481882
92.81/91.61	c cleaning 8156 clauses out of 16327 with flag 229837/490882
94.41/93.29	c cleaning 9076 clauses out of 18174 with flag 305191/500885
96.31/95.16	c cleaning 10041 clauses out of 20097 with flag 382717/511884
98.51/97.33	c cleaning 11017 clauses out of 22054 with flag 461438/523882
101.07/99.84	c cleaning 12007 clauses out of 24037 with flag 542461/536882
103.78/102.57	c cleaning 13001 clauses out of 26030 with flag 631350/550882
106.89/105.62	c cleaning 14003 clauses out of 28030 with flag 725635/565883
110.19/108.92	c cleaning 15006 clauses out of 30026 with flag 823499/581882
114.48/113.24	c cleaning 15999 clauses out of 32021 with flag 947105/598883
118.88/117.62	c cleaning 17002 clauses out of 34021 with flag 1068669/616882
123.64/122.29	c cleaning 17998 clauses out of 36022 with flag 1187867/635885
128.73/127.32	c cleaning 19001 clauses out of 38022 with flag 1310752/655883
131.13/129.80	c Got one! Elapsed wall clock time (in seconds):129.686
131.13/129.80	o 166
132.43/131.08	c cleaning 17219 clauses out of 34458 with flag 26723/671320
133.63/132.20	c cleaning 11610 clauses out of 23241 with flag 63201/677322
134.73/133.37	c cleaning 9300 clauses out of 18629 with flag 109032/684320
135.93/134.59	c cleaning 8652 clauses out of 17329 with flag 164552/692320
137.43/136.03	c cleaning 8831 clauses out of 17678 with flag 227685/701321
139.03/137.65	c cleaning 9412 clauses out of 18846 with flag 295814/711320
140.72/139.37	c Got one! Elapsed wall clock time (in seconds):139.254
140.72/139.37	o 165
140.72/139.39	c Got one! Elapsed wall clock time (in seconds):139.277
140.72/139.39	o 162
142.23/140.71	c cleaning 12087 clauses out of 24202 with flag 34707/726088
143.33/141.87	c cleaning 9046 clauses out of 18116 with flag 75856/732089
144.43/143.00	c cleaning 8024 clauses out of 16070 with flag 126738/739089
145.83/144.34	c cleaning 8006 clauses out of 16046 with flag 189462/747089
147.23/145.77	c cleaning 8506 clauses out of 17039 with flag 257826/756088
147.73/146.21	c Got one! Elapsed wall clock time (in seconds):146.096
147.73/146.21	o 160
148.05/146.55	c cleaning 6791 clauses out of 13606 with flag 14222/761161
148.85/147.40	c cleaning 6394 clauses out of 12815 with flag 59142/767161
149.85/148.34	c cleaning 6699 clauses out of 13421 with flag 108818/774161
150.95/149.49	c cleaning 7351 clauses out of 14723 with flag 167423/782162
152.36/150.84	c cleaning 8174 clauses out of 16372 with flag 229003/791162
154.05/152.56	c cleaning 9087 clauses out of 18198 with flag 301170/801162
156.04/154.40	c cleaning 10043 clauses out of 20111 with flag 379694/812162
156.44/154.88	c Got one! Elapsed wall clock time (in seconds):154.771
156.44/154.88	o 141
156.54/154.99	c cleaning 7636 clauses out of 15290 with flag 11787/817384
157.04/155.41	c cleaning 6813 clauses out of 13654 with flag 50143/823384
158.04/156.43	c cleaning 6902 clauses out of 13842 with flag 105760/830385
159.34/157.78	c cleaning 7445 clauses out of 14940 with flag 171690/838385
161.04/159.49	c cleaning 8228 clauses out of 16496 with flag 241136/847386
162.94/161.33	c cleaning 9114 clauses out of 18268 with flag 321607/857386
165.24/163.62	c cleaning 10052 clauses out of 20152 with flag 413499/868384
168.15/166.43	c cleaning 11029 clauses out of 22100 with flag 522524/880384
171.26/169.53	c cleaning 12005 clauses out of 24071 with flag 628435/893384
174.25/172.51	c cleaning 13004 clauses out of 26070 with flag 737757/907388
177.45/175.70	c cleaning 14006 clauses out of 28063 with flag 852114/922385
181.16/179.48	c cleaning 14997 clauses out of 30056 with flag 977527/938384
185.29/183.53	c cleaning 16000 clauses out of 32060 with flag 1133464/955385
190.20/188.49	c cleaning 17003 clauses out of 34061 with flag 1274791/973386
196.20/194.47	c cleaning 18001 clauses out of 36057 with flag 1460648/992385
202.78/200.97	c cleaning 19000 clauses out of 38056 with flag 1656777/1012385
209.88/208.01	c cleaning 19992 clauses out of 40055 with flag 1872216/1033384
217.77/215.96	c cleaning 21002 clauses out of 42063 with flag 2081483/1055384
225.12/223.22	c cleaning 22002 clauses out of 44062 with flag 2266459/1078385
233.42/231.55	c cleaning 22994 clauses out of 46059 with flag 2484295/1102384
243.09/241.04	c cleaning 24003 clauses out of 48066 with flag 2712941/1127385
253.58/251.50	c cleaning 24999 clauses out of 50062 with flag 2956930/1153384
265.54/263.35	c cleaning 26000 clauses out of 52064 with flag 3226910/1180385
276.64/274.48	c cleaning 26996 clauses out of 54063 with flag 3490593/1208384
288.97/286.68	c cleaning 27997 clauses out of 56068 with flag 3775771/1237385
301.86/299.56	c cleaning 29003 clauses out of 58072 with flag 4046593/1267386
317.19/314.88	c cleaning 30001 clauses out of 60067 with flag 4306485/1298384
331.18/328.76	c cleaning 31002 clauses out of 62066 with flag 4586307/1330384
348.28/345.89	c cleaning 31998 clauses out of 64064 with flag 4913584/1363384
364.96/362.43	c cleaning 33001 clauses out of 66066 with flag 5231069/1397384
383.46/380.85	c cleaning 34004 clauses out of 68069 with flag 5553510/1432388
402.43/399.79	c cleaning 35001 clauses out of 70061 with flag 5888158/1468384
424.43/421.79	c cleaning 36004 clauses out of 72061 with flag 6257952/1505385
447.73/444.97	c cleaning 37000 clauses out of 74058 with flag 6612238/1543386
469.43/466.59	c cleaning 37999 clauses out of 76056 with flag 6985300/1582384
492.10/489.14	c cleaning 39001 clauses out of 78057 with flag 7394407/1622384
497.72/494.70	c Got one! Elapsed wall clock time (in seconds):494.588
497.72/494.70	o 140
498.14/495.12	c cleaning 28358 clauses out of 56731 with flag 29249/1640059
498.33/495.34	c Got one! Elapsed wall clock time (in seconds):495.23
498.33/495.34	o 127
498.43/495.45	c Got one! Elapsed wall clock time (in seconds):495.338
498.43/495.45	o 100
498.53/495.51	c Got one! Elapsed wall clock time (in seconds):495.396
498.53/495.51	o 76
498.53/495.57	c Got one! Elapsed wall clock time (in seconds):495.463
498.53/495.58	o 66
498.73/495.74	c cleaning 17492 clauses out of 34995 with flag 5620/1646681
498.83/495.89	c Got one! Elapsed wall clock time (in seconds):495.782
498.83/495.89	o 22
498.93/495.97	c Got one! Elapsed wall clock time (in seconds):495.859
498.93/495.97	o 11
499.24/496.22	c cleaning 12123 clauses out of 24283 with flag 19086/1653461
499.73/496.72	c cleaning 9062 clauses out of 18160 with flag 55010/1659461
499.73/496.80	c Got one! Elapsed wall clock time (in seconds):496.684
499.73/496.80	o 9
500.03/497.05	c cleaning 7208 clauses out of 14428 with flag 27546/1664791
500.53/497.51	c cleaning 6607 clauses out of 13221 with flag 67225/1670792
501.03/498.08	c cleaning 6802 clauses out of 13614 with flag 114435/1677792
501.83/498.84	c cleaning 7403 clauses out of 14812 with flag 173618/1685792
502.77/499.74	c cleaning 8196 clauses out of 16408 with flag 238691/1694791
503.86/500.84	c cleaning 9106 clauses out of 18217 with flag 314151/1704796
505.36/502.34	c cleaning 10049 clauses out of 20108 with flag 396395/1715793
507.06/504.02	c cleaning 11024 clauses out of 22057 with flag 482030/1727791
507.46/504.42	c Got one! Elapsed wall clock time (in seconds):504.307
507.46/504.42	o 7
507.56/504.54	c cleaning 8021 clauses out of 16046 with flag 5763/1732804
508.16/505.10	c cleaning 7003 clauses out of 14025 with flag 47237/1738804
508.66/505.68	c cleaning 7009 clauses out of 14026 with flag 96402/1745808
509.46/506.46	c cleaning 7500 clauses out of 15012 with flag 162256/1753803
510.52/507.45	c cleaning 8252 clauses out of 16513 with flag 234689/1762804
511.52/508.49	c cleaning 9129 clauses out of 18262 with flag 310116/1772805
512.92/509.83	c cleaning 10063 clauses out of 20132 with flag 385301/1783804
514.52/511.50	c cleaning 11028 clauses out of 22069 with flag 470563/1795804
516.32/513.25	c cleaning 12019 clauses out of 24042 with flag 568860/1808805
518.57/515.45	c cleaning 13008 clauses out of 26022 with flag 670726/1822804
521.07/517.97	c cleaning 14002 clauses out of 28018 with flag 780862/1837808
524.17/521.01	c cleaning 15002 clauses out of 30013 with flag 892583/1853805
527.98/524.86	c cleaning 16002 clauses out of 32009 with flag 1012442/1870803
532.35/529.10	c cleaning 17001 clauses out of 34008 with flag 1141727/1888804
536.86/533.62	c cleaning 17999 clauses out of 36009 with flag 1282934/1907806
541.46/538.24	c cleaning 19002 clauses out of 38008 with flag 1431275/1927804
546.43/543.15	c cleaning 19985 clauses out of 40009 with flag 1580403/1948807
550.53/547.20	c cleaning 20985 clauses out of 42021 with flag 1745777/1970804
556.29/552.95	c cleaning 21989 clauses out of 44035 with flag 1941146/1993803
562.19/558.87	c cleaning 22997 clauses out of 46046 with flag 2151969/2017803
569.24/565.81	c cleaning 23998 clauses out of 48051 with flag 2366961/2042805
577.35/573.96	c cleaning 25002 clauses out of 50052 with flag 2601518/2068804
585.31/581.88	c cleaning 25991 clauses out of 52049 with flag 2852971/2095803
593.84/590.33	c cleaning 27001 clauses out of 54059 with flag 3100643/2123804
603.14/599.66	c cleaning 28003 clauses out of 56058 with flag 3361477/2152804
613.93/610.38	c cleaning 28998 clauses out of 58057 with flag 3644318/2182806
625.82/622.15	c cleaning 30003 clauses out of 60058 with flag 3948759/2213805
635.72/632.10	c cleaning 31015 clauses out of 62054 with flag 4236332/2245804
645.51/641.74	c cleaning 32007 clauses out of 64038 with flag 4457221/2278803
656.95/653.15	c cleaning 33002 clauses out of 66031 with flag 4698779/2312803
669.01/665.16	c cleaning 34001 clauses out of 68030 with flag 4948378/2347804
681.38/677.42	c cleaning 35005 clauses out of 70028 with flag 5200146/2383803
693.48/689.53	c cleaning 36000 clauses out of 72023 with flag 5443197/2420803
704.05/700.04	c Got one! Elapsed wall clock time (in seconds):699.928
704.05/700.04	o 6
704.55/700.58	c cleaning 37706 clauses out of 75444 with flag 31580/2460224
705.15/701.17	c cleaning 21861 clauses out of 43740 with flag 71281/2466226
706.03/701.95	c cleaning 14422 clauses out of 28876 with flag 128413/2473223
706.73/702.68	c cleaning 11214 clauses out of 22454 with flag 185323/2481223
707.63/703.56	c cleaning 10110 clauses out of 20242 with flag 248882/2490225
708.63/704.57	c cleaning 10053 clauses out of 20130 with flag 316494/2500223
709.73/705.64	c cleaning 10529 clauses out of 21077 with flag 385246/2511223
711.06/706.90	c cleaning 11258 clauses out of 22548 with flag 471173/2523223
712.06/707.95	c cleaning 12125 clauses out of 24291 with flag 558718/2536224
713.46/709.35	c cleaning 13056 clauses out of 26166 with flag 649879/2550224
715.56/711.48	c cleaning 14023 clauses out of 28111 with flag 773330/2565225
717.95/713.79	c cleaning 15012 clauses out of 30086 with flag 919424/2581223
720.65/716.45	c cleaning 16013 clauses out of 32074 with flag 1094674/2598223
723.70/719.41	c cleaning 17007 clauses out of 34061 with flag 1274518/2616223
727.10/722.85	c cleaning 17996 clauses out of 36054 with flag 1458166/2635223
730.89/726.62	c cleaning 19005 clauses out of 38060 with flag 1660230/2655225
734.92/730.60	c cleaning 19994 clauses out of 40053 with flag 1852992/2676223
739.19/734.89	c cleaning 20999 clauses out of 42062 with flag 2054499/2698226
744.08/739.72	c cleaning 22002 clauses out of 44063 with flag 2234035/2721226
749.66/745.24	c cleaning 22997 clauses out of 46060 with flag 2449380/2745225
755.26/750.82	c cleaning 24001 clauses out of 48065 with flag 2669651/2770227
761.53/757.04	c cleaning 25004 clauses out of 50063 with flag 2963309/2796226
767.99/763.44	c cleaning 25997 clauses out of 52057 with flag 3263293/2823224
775.29/770.63	c cleaning 27006 clauses out of 54059 with flag 3524879/2851223
782.69/778.02	c cleaning 27996 clauses out of 56053 with flag 3810373/2880223
791.75/787.00	c cleaning 29000 clauses out of 58060 with flag 4134909/2910226
801.42/796.69	c cleaning 30002 clauses out of 60058 with flag 4430728/2941224
811.98/807.13	c cleaning 30999 clauses out of 62055 with flag 4711428/2973223
823.02/818.18	c cleaning 31999 clauses out of 64056 with flag 5021827/3006223
834.31/829.39	c cleaning 32998 clauses out of 66060 with flag 5358137/3040226
845.97/840.96	c cleaning 34008 clauses out of 68060 with flag 5690962/3075224
858.53/853.46	c cleaning 35000 clauses out of 70054 with flag 6029575/3111226
872.17/867.09	c cleaning 35998 clauses out of 72051 with flag 6384083/3148223
888.90/883.74	c cleaning 37004 clauses out of 74056 with flag 6781244/3186226
906.14/900.92	c cleaning 37995 clauses out of 76050 with flag 7159280/3225224
920.57/915.25	c cleaning 39006 clauses out of 78056 with flag 7539503/3265225
927.64/922.22	c cleaning 40008 clauses out of 80051 with flag 7870808/3306226
933.76/928.30	c cleaning 40989 clauses out of 82040 with flag 8165075/3348223
945.82/940.18	c cleaning 42000 clauses out of 84051 with flag 8475166/3391223
962.18/956.47	c cleaning 42992 clauses out of 86051 with flag 8842973/3435223
982.77/976.85	c cleaning 43999 clauses out of 88060 with flag 9245567/3480224
993.78/987.77	c cleaning 45000 clauses out of 90060 with flag 9622155/3526223
1007.46/1001.38	c cleaning 46005 clauses out of 92060 with flag 10004776/3573223
1017.46/1011.25	c cleaning 46984 clauses out of 94055 with flag 10369644/3621223
1033.26/1026.92	c cleaning 47987 clauses out of 96071 with flag 10769276/3670223
1050.75/1044.40	c cleaning 48989 clauses out of 98085 with flag 11157109/3720224
1068.31/1061.70	c cleaning 50006 clauses out of 100096 with flag 11611526/3771224
1077.46/1070.79	c cleaning 51006 clauses out of 102090 with flag 12013480/3823224
1087.25/1080.44	c cleaning 52012 clauses out of 104083 with flag 12373663/3876223
1101.90/1094.98	c cleaning 52995 clauses out of 106071 with flag 12719724/3930223
1126.79/1119.77	c cleaning 54004 clauses out of 108077 with flag 13121097/3985224
1142.65/1135.38	c cleaning 55029 clauses out of 110072 with flag 13560763/4041223
1154.80/1147.39	c cleaning 55975 clauses out of 112048 with flag 13931803/4098228
1171.98/1164.35	c cleaning 56984 clauses out of 114069 with flag 14388208/4156224
1197.67/1189.83	c cleaning 57996 clauses out of 116085 with flag 14819910/4215224
1212.20/1204.11	c cleaning 59024 clauses out of 118089 with flag 15249426/4275224
1237.80/1229.56	c cleaning 60005 clauses out of 120066 with flag 15726405/4336225
1252.49/1244.02	c cleaning 61007 clauses out of 122060 with flag 16190418/4398224
1266.50/1257.79	c cleaning 61982 clauses out of 124052 with flag 16606006/4461223
1286.56/1277.68	c cleaning 63003 clauses out of 126071 with flag 17072032/4525224
1302.19/1293.03	c cleaning 64014 clauses out of 128068 with flag 17530100/4590224
1329.65/1320.29	c cleaning 65003 clauses out of 130054 with flag 17975701/4656224
1361.96/1352.36	c cleaning 66002 clauses out of 132052 with flag 18470608/4723225
1392.95/1383.00	c cleaning 67004 clauses out of 134048 with flag 18994463/4791223
1423.91/1413.70	c cleaning 67996 clauses out of 136048 with flag 19498576/4860227
1456.85/1446.43	c cleaning 69004 clauses out of 138048 with flag 20041134/4930223
1495.63/1484.99	c cleaning 70003 clauses out of 140044 with flag 20601970/5001223
1540.80/1529.77	c cleaning 70999 clauses out of 142041 with flag 21162546/5073223
1579.97/1568.53	c cleaning 72000 clauses out of 144042 with flag 21731297/5146223
1623.54/1611.79	c cleaning 72999 clauses out of 146042 with flag 22308247/5220223
1677.08/1664.76	c cleaning 74001 clauses out of 148046 with flag 22900478/5295226
1701.99/1688.97	c cleaning 74986 clauses out of 150042 with flag 23483670/5371223
1726.56/1713.00	c cleaning 75998 clauses out of 152057 with flag 24032626/5448224
1749.15/1735.23	c cleaning 77003 clauses out of 154060 with flag 24593440/5526225
1774.24/1759.97	c cleaning 77998 clauses out of 156056 with flag 25131718/5605224
1798.45/1783.77	c cleaning 79008 clauses out of 158058 with flag 25662630/5685224
1800.06/1785.31	c starts		: 2633
1800.06/1785.31	c conflicts		: 5693917
1800.06/1785.31	c decisions		: 11134904
1800.06/1785.31	c propagations		: 136313457
1800.06/1785.31	c inspects		: 32180243913
1800.06/1785.31	c shortcuts		: 0
1800.06/1785.31	c learnt literals	: 0
1800.06/1785.31	c learnt binary clauses	: 0
1800.06/1785.31	c learnt ternary clauses	: 0
1800.06/1785.31	c learnt constraints	: 5693917
1800.06/1785.31	c ignored constraints	: 0
1800.06/1785.31	c root simplifications	: 0
1800.06/1785.31	c removed literals (reason simplification)	: 0
1800.06/1785.31	c reason swapping (by a shorter reason)	: 0
1800.06/1785.31	c Calls to reduceDB	: 235
1800.06/1785.31	c Number of update (reduction) of LBD	: 2728439
1800.06/1785.31	c Imported unit clauses	: 0
1800.06/1785.31	c number of reductions to clauses (during analyze)	: 0
1800.06/1785.31	c number of learned constraints concerned by reduction	: 0
1800.06/1785.31	c number of learning phase by resolution	: 0
1800.06/1785.31	c number of learning phase by cutting planes	: 0
1800.06/1785.31	c speed (assignments/second)	: 76364.19998610677
1800.06/1785.31	c non guided choices	307853
1800.06/1785.34	c learnt constraints type 
1800.06/1785.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87743
1800.06/1785.34	s SATISFIABLE
1800.06/1785.34	c Found 22 solution(s)
1800.06/1785.35	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 
1800.06/1785.35	c objective function=6
1800.06/1785.35	c Total wall clock time (in seconds): 1785.238

Verifier Data 

OK	6

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-4090868-1466066103/watcher-4090868-1466066103 -o /tmp/evaluation-result-4090868-1466066103/solver-4090868-1466066103 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466062131-17742 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090868-1466066103.wbo 

pid=18367
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.22 2.20 2.17 3/194 18370
/proc/meminfo: memFree=29830404/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/18370/stat : 18370 (java) R 18367 18370 17726 0 -1 4202496 380 0 0 0 0 0 0 0 20 0 1 0 8659002 3653632 50 33554432000 1073741824 1073778376 140733471403120 140733471400248 266426420393 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 1408 55 43 9 0 30 0

[startup+0.100059 s]
/proc/loadavg: 2.22 2.20 2.17 3/194 18370
/proc/meminfo: memFree=29830404/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/18370/stat : 18370 (java) S 18367 18370 17726 0 -1 4202496 4389 0 1 0 8 1 0 0 20 0 18 0 8659002 9787879424 6018 33554432000 1073741824 1073778376 140733471403120 140733471394256 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 2389619 6018 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200212 s]
/proc/loadavg: 2.22 2.20 2.17 3/194 18370
/proc/meminfo: memFree=29830404/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/18370/stat : 18370 (java) S 18367 18370 17726 0 -1 4202496 5001 0 1 0 26 1 0 0 20 0 18 0 8659002 9787879424 6940 33554432000 1073741824 1073778376 140733471403120 140733471394256 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 2389619 6940 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.22 2.20 2.17 3/194 18370
/proc/meminfo: memFree=29830404/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/18370/stat : 18370 (java) S 18367 18370 17726 0 -1 4202496 8955 0 1 0 49 2 0 0 20 0 19 0 8659002 9856040960 10950 33554432000 1073741824 1073778376 140733471403120 140733471394256 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 2406260 10950 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040

[startup+0.700149 s]
/proc/loadavg: 2.22 2.20 2.17 3/194 18370
/proc/meminfo: memFree=29830404/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/18370/stat : 18370 (java) S 18367 18370 17726 0 -1 4202496 10618 0 1 0 122 3 0 0 20 0 19 0 8659002 9856040960 12627 33554432000 1073741824 1073778376 140733471403120 140733471394256 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 2406260 12627 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.22 2.20 2.17 3/213 18389
/proc/meminfo: memFree=29783432/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/18370/stat : 18370 (java) S 18367 18370 17726 0 -1 4202496 11467 0 1 0 225 3 0 0 20 0 19 0 8659002 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140733471394256 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 2406260 14748 2259 9 0 2396937 0
[pid=18370/tid=18372] ppid=18367 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/18370/task/18372/stat : 18372 (java) R 18367 18370 17726 0 -1 4202560 2441 0 1 0 144 2 0 0 20 0 19 0 8659003 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104327344432 140104199287583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18373] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18373/stat : 18373 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104171207464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18374] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18374/stat : 18374 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104170154664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18375] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18375/stat : 18375 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104169102376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18376] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18376/stat : 18376 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104168049576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18370/tid=18377] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18377/stat : 18377 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104166996264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18378] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18378/stat : 18378 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104165943464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18370/tid=18379] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18379/stat : 18379 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104164891176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18380] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18380/stat : 18380 (java) S 18367 18370 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104163838376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18381] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18381/stat : 18381 (java) S 18367 18370 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8659005 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104151427816 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18382] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18382/stat : 18382 (java) S 18367 18370 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104150373880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18383] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18383/stat : 18383 (java) S 18367 18370 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104149321480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18384] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18384/stat : 18384 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104148269968 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18385] ppid=18367 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/18370/task/18385/stat : 18385 (java) S 18367 18370 17726 0 -1 4202560 4268 0 0 0 39 0 0 0 20 0 19 0 8659008 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104147216568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18386] ppid=18367 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/18370/task/18386/stat : 18386 (java) S 18367 18370 17726 0 -1 4202560 3485 0 0 0 39 0 0 0 20 0 19 0 8659008 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104146163768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18387] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18387/stat : 18387 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104145111672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18388] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18388/stat : 18388 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104144059080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18389] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18389/stat : 18389 (java) S 18367 18370 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8659029 9856040960 14748 33554432000 1073741824 1073778376 140733471403120 140104142189992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.22 2.20 2.17 3/213 18389
/proc/meminfo: memFree=29772820/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=9625040 CPUtime=3.89 cores=0,2,4,6
/proc/18370/stat : 18370 (java) S 18367 18370 17726 0 -1 4202496 11474 0 1 0 386 3 0 0 20 0 19 0 8659002 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140733471394256 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 2406260 17820 2259 9 0 2396937 0
[pid=18370/tid=18372] ppid=18367 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/18370/task/18372/stat : 18372 (java) R 18367 18370 17726 0 -1 4202560 2448 0 1 0 303 2 0 0 20 0 19 0 8659003 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104327352632 140104199305276 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18373] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18373/stat : 18373 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104171207464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18374] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18374/stat : 18374 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104170154664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18375] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18375/stat : 18375 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104169102376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18376] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18376/stat : 18376 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104168049576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18370/tid=18377] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18377/stat : 18377 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104166996264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18378] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18378/stat : 18378 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104165943464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18370/tid=18379] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18379/stat : 18379 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104164891176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18380] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18380/stat : 18380 (java) S 18367 18370 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104163838376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18381] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18381/stat : 18381 (java) S 18367 18370 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8659005 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104151427816 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18382] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18382/stat : 18382 (java) S 18367 18370 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104150373880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18383] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18383/stat : 18383 (java) S 18367 18370 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104149321480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18384] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18384/stat : 18384 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104148269968 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18385] ppid=18367 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/18370/task/18385/stat : 18385 (java) S 18367 18370 17726 0 -1 4202560 4268 0 0 0 39 0 0 0 20 0 19 0 8659008 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104147216568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18386] ppid=18367 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/18370/task/18386/stat : 18386 (java) S 18367 18370 17726 0 -1 4202560 3485 0 0 0 40 0 0 0 20 0 19 0 8659008 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104146163768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18387] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18387/stat : 18387 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104145111672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18388] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18388/stat : 18388 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104144059080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18389] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18389/stat : 18389 (java) S 18367 18370 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8659029 9856040960 17820 33554432000 1073741824 1073778376 140733471403120 140104142189992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.21 2.20 2.17 4/213 18389
/proc/meminfo: memFree=29747892/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=9625040 CPUtime=7.13 cores=0,2,4,6
/proc/18370/stat : 18370 (java) S 18367 18370 17726 0 -1 4202496 11495 0 1 0 710 3 0 0 20 0 19 0 8659002 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140733471394256 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 2406260 23949 2260 9 0 2396937 0
[pid=18370/tid=18372] ppid=18367 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/18370/task/18372/stat : 18372 (java) R 18367 18370 17726 0 -1 4202560 2461 0 1 0 622 2 0 0 20 0 19 0 8659003 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104327343792 140104199369384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18373] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18373/stat : 18373 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104171207464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18374] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18374/stat : 18374 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104170154664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18375] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18375/stat : 18375 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104169102376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18376] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18376/stat : 18376 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104168049576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18370/tid=18377] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18377/stat : 18377 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104166996264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18378] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18378/stat : 18378 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104165943464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18370/tid=18379] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18379/stat : 18379 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104164891176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18380] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18380/stat : 18380 (java) S 18367 18370 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8659004 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104163838376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18381] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18381/stat : 18381 (java) S 18367 18370 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8659005 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104151427816 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18382] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18382/stat : 18382 (java) S 18367 18370 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104150373880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18383] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18383/stat : 18383 (java) S 18367 18370 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104149321480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18384] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18384/stat : 18384 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104148269968 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18385] ppid=18367 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/18370/task/18385/stat : 18385 (java) S 18367 18370 17726 0 -1 4202560 4274 0 0 0 41 0 0 0 20 0 19 0 8659008 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104147216568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18386] ppid=18367 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/18370/task/18386/stat : 18386 (java) S 18367 18370 17726 0 -1 4202560 3486 0 0 0 42 0 0 0 20 0 19 0 8659008 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104146163768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18387] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18387/stat : 18387 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104145111672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18388] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18388/stat : 18388 (java) S 18367 18370 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104144059080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18389] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18389/stat : 18389 (java) S 18367 18370 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8659029 9856040960 23949 33554432000 1073741824 1073778376 140733471403120 140104142189992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9625040


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

/proc/18370/task/18389/stat : 18389 (java) S 18367 18370 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8659029 9856040960 91788 33554432000 1073741824 1073778376 140733471403120 140104142189992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1736.04
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.35 2.22 2.19 3/213 18522
/proc/meminfo: memFree=29928036/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=9625040 CPUtime=1797.05 cores=0,2,4,6
/proc/18370/stat : 18370 (java) S 18367 18370 17726 0 -1 4202496 34866 0 1 0 179586 119 0 0 20 0 19 0 8659002 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140733471394256 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 2406260 115222 2282 9 0 2396937 0
[pid=18370/tid=18372] ppid=18367 vsize=9625040 CPUtime=1767.89 cores=0,2,4,6
/proc/18370/task/18372/stat : 18372 (java) R 18367 18370 17726 0 -1 4202560 2779 0 1 0 176757 32 0 0 20 0 19 0 8659003 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104327351520 140104199399743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18373] ppid=18367 vsize=9625040 CPUtime=2.35 cores=0,2,4,6
/proc/18370/task/18373/stat : 18373 (java) S 18367 18370 17726 0 -1 4202560 3154 0 0 0 224 11 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104171207464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18374] ppid=18367 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/18370/task/18374/stat : 18374 (java) S 18367 18370 17726 0 -1 4202560 2869 0 0 0 219 12 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104170154664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18375] ppid=18367 vsize=9625040 CPUtime=2.38 cores=0,2,4,6
/proc/18370/task/18375/stat : 18375 (java) S 18367 18370 17726 0 -1 4202560 2036 0 0 0 228 10 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104169102376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18376] ppid=18367 vsize=9625040 CPUtime=2.44 cores=0,2,4,6
/proc/18370/task/18376/stat : 18376 (java) S 18367 18370 17726 0 -1 4202560 1952 0 0 0 234 10 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104168049576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18370/tid=18377] ppid=18367 vsize=9625040 CPUtime=2.44 cores=0,2,4,6
/proc/18370/task/18377/stat : 18377 (java) S 18367 18370 17726 0 -1 4202560 1566 0 0 0 232 12 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104166996264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18378] ppid=18367 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/18370/task/18378/stat : 18378 (java) S 18367 18370 17726 0 -1 4202560 2630 0 0 0 220 10 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104165943464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18379] ppid=18367 vsize=9625040 CPUtime=2.7 cores=0,2,4,6
/proc/18370/task/18379/stat : 18379 (java) S 18367 18370 17726 0 -1 4202560 3781 0 0 0 259 11 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104164891176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18380] ppid=18367 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/18370/task/18380/stat : 18380 (java) S 18367 18370 17726 0 -1 4202560 4176 0 0 0 219 11 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104163838376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18381] ppid=18367 vsize=9625040 CPUtime=4.15 cores=0,2,4,6
/proc/18370/task/18381/stat : 18381 (java) S 18367 18370 17726 0 -1 4202560 788 0 0 0 410 5 0 0 20 0 19 0 8659005 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104151427816 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18382] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18382/stat : 18382 (java) S 18367 18370 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104150373880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18383] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18383/stat : 18383 (java) S 18367 18370 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104149321480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18384] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18384/stat : 18384 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104148269968 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18385] ppid=18367 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/18370/task/18385/stat : 18385 (java) S 18367 18370 17726 0 -1 4202560 4288 0 0 0 56 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104147216568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18386] ppid=18367 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/18370/task/18386/stat : 18386 (java) S 18367 18370 17726 0 -1 4202560 3486 0 0 0 44 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104146163768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18387] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18387/stat : 18387 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104145111672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18388] ppid=18367 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/18370/task/18388/stat : 18388 (java) S 18367 18370 17726 0 -1 4202560 102 0 0 0 24 24 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104144059080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18389] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18389/stat : 18389 (java) S 18367 18370 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8659029 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104142189992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.3 s]
/proc/loadavg: 2.32 2.22 2.19 3/213 18522
/proc/meminfo: memFree=29928536/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/18370/stat : 18370 (java) S 18367 18370 17726 0 -1 4202496 34866 0 1 0 179887 119 0 0 20 0 19 0 8659002 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140733471394256 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 2406260 115222 2282 9 0 2396937 0
[pid=18370/tid=18372] ppid=18367 vsize=9625040 CPUtime=1770.88 cores=0,2,4,6
/proc/18370/task/18372/stat : 18372 (java) R 18367 18370 17726 0 -1 4202560 2779 0 1 0 177056 32 0 0 20 0 19 0 8659003 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104327343808 140104199399706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18373] ppid=18367 vsize=9625040 CPUtime=2.35 cores=0,2,4,6
/proc/18370/task/18373/stat : 18373 (java) S 18367 18370 17726 0 -1 4202560 3154 0 0 0 224 11 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104171207464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18374] ppid=18367 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/18370/task/18374/stat : 18374 (java) S 18367 18370 17726 0 -1 4202560 2869 0 0 0 219 12 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104170154664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18375] ppid=18367 vsize=9625040 CPUtime=2.38 cores=0,2,4,6
/proc/18370/task/18375/stat : 18375 (java) S 18367 18370 17726 0 -1 4202560 2036 0 0 0 228 10 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104169102376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18376] ppid=18367 vsize=9625040 CPUtime=2.44 cores=0,2,4,6
/proc/18370/task/18376/stat : 18376 (java) S 18367 18370 17726 0 -1 4202560 1952 0 0 0 234 10 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104168049576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18370/tid=18377] ppid=18367 vsize=9625040 CPUtime=2.44 cores=0,2,4,6
/proc/18370/task/18377/stat : 18377 (java) S 18367 18370 17726 0 -1 4202560 1566 0 0 0 232 12 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104166996264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18378] ppid=18367 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/18370/task/18378/stat : 18378 (java) S 18367 18370 17726 0 -1 4202560 2630 0 0 0 220 10 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104165943464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18379] ppid=18367 vsize=9625040 CPUtime=2.7 cores=0,2,4,6
/proc/18370/task/18379/stat : 18379 (java) S 18367 18370 17726 0 -1 4202560 3781 0 0 0 259 11 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104164891176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18380] ppid=18367 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/18370/task/18380/stat : 18380 (java) S 18367 18370 17726 0 -1 4202560 4176 0 0 0 219 11 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104163838376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18381] ppid=18367 vsize=9625040 CPUtime=4.15 cores=0,2,4,6
/proc/18370/task/18381/stat : 18381 (java) S 18367 18370 17726 0 -1 4202560 788 0 0 0 410 5 0 0 20 0 19 0 8659005 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104151427816 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18382] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18382/stat : 18382 (java) S 18367 18370 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104150373880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18383] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18383/stat : 18383 (java) S 18367 18370 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104149321480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18384] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18384/stat : 18384 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104148269968 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18385] ppid=18367 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/18370/task/18385/stat : 18385 (java) S 18367 18370 17726 0 -1 4202560 4288 0 0 0 56 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104147216568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18386] ppid=18367 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/18370/task/18386/stat : 18386 (java) S 18367 18370 17726 0 -1 4202560 3486 0 0 0 44 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104146163768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18387] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18387/stat : 18387 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104145111672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18388] ppid=18367 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/18370/task/18388/stat : 18388 (java) S 18367 18370 17726 0 -1 4202560 102 0 0 0 24 25 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104144059080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18389] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18389/stat : 18389 (java) S 18367 18370 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8659029 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104142189992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 18370 sig 9
??? kill -18370 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1785.3 s]
/proc/loadavg: 2.32 2.22 2.19 3/213 18522
/proc/meminfo: memFree=29928536/32872528 swapFree=1430864/1543284
[pid=18370] ppid=18367 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/18370/stat : 18370 (java) S 18367 18370 17726 0 -1 4202496 34866 0 1 0 179887 119 0 0 20 0 19 0 8659002 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140733471394256 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18370/statm: 2406260 115222 2282 9 0 2396937 0
[pid=18370/tid=18372] ppid=18367 vsize=9625040 CPUtime=1770.88 cores=0,2,4,6
/proc/18370/task/18372/stat : 18372 (java) R 18367 18370 17726 0 -1 4202560 2779 0 1 0 177056 32 0 0 20 0 19 0 8659003 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104327343808 140104199399706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18373] ppid=18367 vsize=9625040 CPUtime=2.35 cores=0,2,4,6
/proc/18370/task/18373/stat : 18373 (java) S 18367 18370 17726 0 -1 4202560 3154 0 0 0 224 11 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104171207464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18374] ppid=18367 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/18370/task/18374/stat : 18374 (java) S 18367 18370 17726 0 -1 4202560 2869 0 0 0 219 12 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104170154664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18375] ppid=18367 vsize=9625040 CPUtime=2.38 cores=0,2,4,6
/proc/18370/task/18375/stat : 18375 (java) S 18367 18370 17726 0 -1 4202560 2036 0 0 0 228 10 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104169102376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18376] ppid=18367 vsize=9625040 CPUtime=2.44 cores=0,2,4,6
/proc/18370/task/18376/stat : 18376 (java) S 18367 18370 17726 0 -1 4202560 1952 0 0 0 234 10 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104168049576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18370/tid=18377] ppid=18367 vsize=9625040 CPUtime=2.44 cores=0,2,4,6
/proc/18370/task/18377/stat : 18377 (java) S 18367 18370 17726 0 -1 4202560 1566 0 0 0 232 12 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104166996264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18378] ppid=18367 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/18370/task/18378/stat : 18378 (java) S 18367 18370 17726 0 -1 4202560 2630 0 0 0 220 10 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104165943464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18379] ppid=18367 vsize=9625040 CPUtime=2.7 cores=0,2,4,6
/proc/18370/task/18379/stat : 18379 (java) S 18367 18370 17726 0 -1 4202560 3781 0 0 0 259 11 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104164891176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18370/tid=18380] ppid=18367 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/18370/task/18380/stat : 18380 (java) S 18367 18370 17726 0 -1 4202560 4176 0 0 0 219 11 0 0 20 0 19 0 8659004 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104163838376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18381] ppid=18367 vsize=9625040 CPUtime=4.15 cores=0,2,4,6
/proc/18370/task/18381/stat : 18381 (java) S 18367 18370 17726 0 -1 4202560 788 0 0 0 410 5 0 0 20 0 19 0 8659005 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104151427816 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18382] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18382/stat : 18382 (java) S 18367 18370 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104150373880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18383] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18383/stat : 18383 (java) S 18367 18370 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8659006 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104149321480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18384] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18384/stat : 18384 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104148269968 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18385] ppid=18367 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/18370/task/18385/stat : 18385 (java) S 18367 18370 17726 0 -1 4202560 4288 0 0 0 56 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104147216568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18386] ppid=18367 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/18370/task/18386/stat : 18386 (java) S 18367 18370 17726 0 -1 4202560 3486 0 0 0 44 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104146163768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18387] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18387/stat : 18387 (java) S 18367 18370 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104145111672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18370/tid=18388] ppid=18367 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/18370/task/18388/stat : 18388 (java) S 18367 18370 17726 0 -1 4202560 102 0 0 0 24 25 0 0 20 0 19 0 8659008 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104144059080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18370/tid=18389] ppid=18367 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18370/task/18389/stat : 18389 (java) S 18367 18370 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8659029 9856040960 115222 33554432000 1073741824 1073778376 140733471403120 140104142189992 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18370 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=488196
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=631751
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1785.37
CPU time (s): 1800.06
CPU user time (s): 1798.87
CPU system time (s): 1.19
CPU usage (%): 100.823
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.49
system time used= 1.63175
maximum resident set size= 663336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34916
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46494
involuntary context switches= 46336

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85126 second user time and 6.70498 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-16 10:35:03
IDJOB=4090868
IDBENCH=79159
IDSOLVER=2551
FILE ID=node116/4090868-1466066103
RUNJOBID= node116-1466062131-17742
PBS_JOBID= 19904020
Free space on /tmp= 71644 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090868-1466066103/watcher-4090868-1466066103 -o /tmp/evaluation-result-4090868-1466066103/solver-4090868-1466066103 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466062131-17742 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090868-1466066103.wbo

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

MD5SUM BENCH= 4abf964a0a4662f4172f30dfa55a3bc2
RANDOM SEED=1844054997

node116.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.781
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.56
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.781
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.781
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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.781
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:        29830304 kB
Buffers:            7168 kB
Cached:            39684 kB
SwapCached:         2840 kB
Active:           772888 kB
Inactive:          25328 kB
Active(anon):     751716 kB
Inactive(anon):     2136 kB
Active(file):      21172 kB
Inactive(file):    23192 kB
Unevictable:     1543284 kB
Mlocked:         1430864 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:               488 kB
Writeback:             0 kB
AnonPages:       2293528 kB
Mapped:            15264 kB
Shmem:                 0 kB
Slab:             565588 kB
SReclaimable:       9784 kB
SUnreclaim:       555804 kB
KernelStack:        1624 kB
PageTables:         8752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2442400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    819200 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= 71640 MiB
End job on node116 at 2016-06-16 11:04:48