Trace number 4090549

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.74 1778.66

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMa1a1d6ef1095be996fe403c53206d252
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3150
Total number of constraints160
Number of soft constraints62
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
Top cost 3271
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3270
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
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.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Glucose 2.1 dynamic restart strategy
0.07/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-4090549-1466062600.wbo
0.07/0.12	c reading problem ... 
0.26/0.25	c ... done. Wall clock time 0.132s.
0.26/0.25	c declared #vars     3150
0.26/0.25	c internal #vars     3212
0.26/0.25	c #constraints  160
0.26/0.25	c constraints type 
0.26/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
0.26/0.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 46
0.26/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 24
0.26/0.25	c 160 constraints processed.
0.26/0.25	c objective function length is 62 literals
0.75/0.41	c SATISFIABLE
0.75/0.41	c OPTIMIZING...
0.75/0.41	c Got one! Elapsed wall clock time (in seconds):0.292
0.75/0.41	o 140
0.75/0.44	c Got one! Elapsed wall clock time (in seconds):0.314
0.75/0.44	o 100
1.28/0.84	c cleaning 2943 clauses out of 5906 with flag 32019/5906
1.61/1.11	c Got one! Elapsed wall clock time (in seconds):0.989
1.61/1.11	o 89
1.61/1.13	c Got one! Elapsed wall clock time (in seconds):1.011
1.61/1.13	o 75
1.61/1.15	c Got one! Elapsed wall clock time (in seconds):1.027
1.61/1.15	o 72
1.61/1.17	c Got one! Elapsed wall clock time (in seconds):1.051
1.61/1.17	o 61
1.95/1.30	c cleaning 4396 clauses out of 8826 with flag 11261/11769
2.36/1.77	c Got one! Elapsed wall clock time (in seconds):1.649
2.36/1.77	o 47
2.80/2.13	c cleaning 7689 clauses out of 15388 with flag 34956/22727
3.44/2.75	c cleaning 6841 clauses out of 13700 with flag 77431/28728
4.16/3.47	c cleaning 6920 clauses out of 13859 with flag 122875/35728
4.56/3.89	c Got one! Elapsed wall clock time (in seconds):3.764
4.56/3.89	o 44
4.76/4.02	c cleaning 6358 clauses out of 12734 with flag 5859/41523
5.26/4.57	c cleaning 6179 clauses out of 12372 with flag 45588/47519
5.96/5.27	c cleaning 6589 clauses out of 13193 with flag 93299/54519
6.56/5.89	c cleaning 7299 clauses out of 14603 with flag 144283/62518
7.66/6.92	c cleaning 8146 clauses out of 16305 with flag 202185/71519
8.66/7.99	c cleaning 9075 clauses out of 18159 with flag 272207/81519
10.06/9.31	c cleaning 10036 clauses out of 20085 with flag 355497/92520
11.66/11.00	c cleaning 11015 clauses out of 22047 with flag 453733/104518
13.79/13.07	c cleaning 12011 clauses out of 24032 with flag 570047/117518
16.09/15.40	c cleaning 13006 clauses out of 26022 with flag 712103/131519
18.69/17.95	c cleaning 14002 clauses out of 28016 with flag 840659/146519
20.09/19.30	c Got one! Elapsed wall clock time (in seconds):19.178
20.09/19.30	o 22
20.59/19.88	c cleaning 15854 clauses out of 31740 with flag 35981/164245
21.29/20.58	c cleaning 10924 clauses out of 21886 with flag 85243/170245
22.09/21.36	c cleaning 8962 clauses out of 17964 with flag 149377/177247
23.09/22.34	c cleaning 8475 clauses out of 17000 with flag 230680/185245
23.89/23.16	c cleaning 8744 clauses out of 17527 with flag 307868/194247
24.79/24.01	c cleaning 9384 clauses out of 18781 with flag 382294/204245
25.99/25.27	c cleaning 10191 clauses out of 20397 with flag 453220/215245
27.55/26.78	c cleaning 11099 clauses out of 22207 with flag 538194/227246
27.85/27.02	c Got one! Elapsed wall clock time (in seconds):26.895
27.85/27.02	o 15
28.05/27.24	c Got one! Elapsed wall clock time (in seconds):27.113
28.05/27.24	o 12
28.15/27.34	c cleaning 8866 clauses out of 17751 with flag 5527/233889
28.54/27.79	c cleaning 7431 clauses out of 14884 with flag 42478/239888
29.14/28.32	c cleaning 7213 clauses out of 14454 with flag 86609/246889
29.84/29.08	c cleaning 7609 clauses out of 15240 with flag 142987/254888
30.74/29.98	c cleaning 8306 clauses out of 16631 with flag 213129/263888
31.94/31.10	c cleaning 9156 clauses out of 18327 with flag 292590/273890
33.04/32.30	c cleaning 10081 clauses out of 20170 with flag 380609/284889
34.44/33.66	c cleaning 11033 clauses out of 22088 with flag 457296/296888
35.74/34.96	c cleaning 12018 clauses out of 24056 with flag 546907/309889
37.74/36.90	c cleaning 13005 clauses out of 26037 with flag 650724/323888
39.84/39.04	c cleaning 14006 clauses out of 28032 with flag 768665/338888
42.53/41.68	c cleaning 15004 clauses out of 30029 with flag 897633/354891
44.94/44.07	c cleaning 15993 clauses out of 32022 with flag 1037159/371888
47.03/46.19	c cleaning 16986 clauses out of 34030 with flag 1167025/389889
49.04/48.14	c cleaning 17994 clauses out of 36043 with flag 1294721/408888
51.83/50.90	c cleaning 19013 clauses out of 38051 with flag 1440909/428890
54.43/53.53	c cleaning 20004 clauses out of 40036 with flag 1583663/449888
58.98/57.96	c cleaning 21004 clauses out of 42035 with flag 1764278/471891
61.78/60.79	c cleaning 21989 clauses out of 44030 with flag 1924008/494890
65.28/64.22	c cleaning 22991 clauses out of 46041 with flag 2103183/518890
68.87/67.87	c cleaning 23999 clauses out of 48051 with flag 2287865/543891
74.78/73.57	c cleaning 24993 clauses out of 50053 with flag 2508274/569892
80.68/79.49	c cleaning 26002 clauses out of 52058 with flag 2755993/596890
87.08/85.83	c cleaning 26994 clauses out of 54054 with flag 3020539/624888
93.47/92.26	c cleaning 28001 clauses out of 56061 with flag 3305827/653889
101.49/100.05	c cleaning 29000 clauses out of 58062 with flag 3618989/683891
106.79/105.37	c cleaning 30003 clauses out of 60060 with flag 3881386/714889
114.69/113.26	c cleaning 31006 clauses out of 62061 with flag 4130450/746893
120.46/118.77	c cleaning 32009 clauses out of 64050 with flag 4387591/779888
128.78/127.09	c cleaning 32998 clauses out of 66041 with flag 4698413/813888
134.99/133.27	c cleaning 34009 clauses out of 68044 with flag 4944033/848889
141.45/139.44	c cleaning 34991 clauses out of 70034 with flag 5229190/884888
146.92/144.62	c cleaning 35999 clauses out of 72043 with flag 5476875/921888
152.32/150.01	c cleaning 36996 clauses out of 74045 with flag 5748284/959889
159.09/156.77	c cleaning 38004 clauses out of 76048 with flag 6026976/998888
164.69/162.34	c cleaning 39017 clauses out of 78046 with flag 6291041/1038890
171.48/169.05	c cleaning 40002 clauses out of 80029 with flag 6547010/1079890
178.79/176.28	c cleaning 41002 clauses out of 82026 with flag 6841475/1121889
186.41/183.85	c cleaning 42001 clauses out of 84023 with flag 7141715/1164888
193.30/190.63	c cleaning 42984 clauses out of 86023 with flag 7427336/1208889
202.08/199.38	c cleaning 44019 clauses out of 88038 with flag 7748763/1253888
208.49/205.75	c cleaning 44994 clauses out of 90021 with flag 8046750/1299890
216.78/213.94	c cleaning 45998 clauses out of 92026 with flag 8342639/1346889
224.91/221.95	c cleaning 47000 clauses out of 94029 with flag 8657199/1394890
236.81/233.78	c cleaning 47996 clauses out of 96028 with flag 9020132/1443889
247.01/243.91	c cleaning 48994 clauses out of 98032 with flag 9387510/1493889
258.07/254.94	c cleaning 50001 clauses out of 100039 with flag 9705886/1544890
267.68/264.45	c cleaning 50996 clauses out of 102036 with flag 10069984/1596888
278.30/274.94	c cleaning 52002 clauses out of 104041 with flag 10408264/1649889
289.38/285.90	c cleaning 53000 clauses out of 106038 with flag 10750352/1703888
299.43/295.96	c cleaning 54000 clauses out of 108040 with flag 11099587/1758890
309.41/305.89	c cleaning 54986 clauses out of 110039 with flag 11471100/1814889
321.11/317.46	c cleaning 56013 clauses out of 112053 with flag 11852615/1871889
331.80/328.01	c cleaning 56998 clauses out of 114039 with flag 12238371/1929888
343.37/339.52	c cleaning 58002 clauses out of 116042 with flag 12638964/1988889
357.01/353.04	c cleaning 59015 clauses out of 118041 with flag 13041874/2048890
369.05/364.96	c cleaning 60006 clauses out of 120027 with flag 13465227/2109891
382.24/378.06	c cleaning 60989 clauses out of 122021 with flag 13862154/2171891
396.60/392.24	c cleaning 61999 clauses out of 124035 with flag 14260904/2234894
410.39/405.95	c cleaning 63000 clauses out of 126030 with flag 14676255/2298888
426.06/421.49	c cleaning 63992 clauses out of 128031 with flag 15088268/2363889
441.35/436.67	c cleaning 65002 clauses out of 130038 with flag 15538948/2429888
456.51/451.66	c cleaning 65997 clauses out of 132038 with flag 16000457/2496890
473.98/469.07	c cleaning 67011 clauses out of 134039 with flag 16427979/2564888
489.74/484.62	c cleaning 67993 clauses out of 136028 with flag 16879129/2633888
508.52/503.25	c cleaning 68997 clauses out of 138038 with flag 17311449/2703891
525.89/520.44	c cleaning 70000 clauses out of 140038 with flag 17776085/2774888
543.74/538.11	c cleaning 71008 clauses out of 142039 with flag 18240335/2846889
563.17/557.48	c cleaning 72001 clauses out of 144030 with flag 18692846/2919888
582.63/576.74	c cleaning 73002 clauses out of 146032 with flag 19170190/2993891
599.53/593.48	c cleaning 73993 clauses out of 148027 with flag 19666947/3068888
624.15/617.89	c cleaning 75002 clauses out of 150034 with flag 20265380/3144888
644.06/637.41	c cleaning 75999 clauses out of 152033 with flag 20764884/3221889
663.80/657.01	c cleaning 76976 clauses out of 154033 with flag 21269637/3299888
685.44/678.48	c cleaning 78019 clauses out of 156059 with flag 21771868/3378890
705.30/698.00	c cleaning 79003 clauses out of 158039 with flag 22318059/3458889
727.22/719.70	c cleaning 80006 clauses out of 160037 with flag 22855368/3539890
751.17/743.44	c cleaning 81009 clauses out of 162031 with flag 23374787/3621890
773.42/765.38	c cleaning 81988 clauses out of 164022 with flag 23934807/3704890
798.66/790.36	c cleaning 83006 clauses out of 166035 with flag 24473151/3788891
824.89/816.13	c cleaning 84008 clauses out of 168028 with flag 25003517/3873890
848.17/839.12	c cleaning 85003 clauses out of 170021 with flag 25603928/3959891
872.96/863.65	c cleaning 85996 clauses out of 172018 with flag 26165425/4046891
906.07/896.48	c cleaning 87003 clauses out of 174020 with flag 26840282/4134889
959.06/949.15	c cleaning 87988 clauses out of 176016 with flag 27609075/4223888
988.70/978.05	c cleaning 88995 clauses out of 178028 with flag 28194717/4313888
1015.48/1004.38	c cleaning 90001 clauses out of 180033 with flag 28787886/4404888
1044.43/1032.97	c cleaning 91016 clauses out of 182033 with flag 29385700/4496889
1072.27/1060.48	c cleaning 91998 clauses out of 184016 with flag 29990774/4589888
1100.83/1088.50	c cleaning 92988 clauses out of 186018 with flag 30614571/4683888
1131.23/1118.57	c cleaning 94012 clauses out of 188030 with flag 31234443/4778888
1163.91/1150.65	c cleaning 95008 clauses out of 190018 with flag 31857660/4874888
1194.71/1181.03	c cleaning 95996 clauses out of 192011 with flag 32503164/4971889
1226.11/1212.01	c cleaning 97007 clauses out of 194015 with flag 33144718/5069889
1257.37/1242.93	c cleaning 97991 clauses out of 196007 with flag 33791632/5168888
1288.42/1273.53	c cleaning 98995 clauses out of 198018 with flag 34467724/5268890
1322.22/1306.98	c cleaning 99991 clauses out of 200022 with flag 35137771/5369889
1359.25/1343.54	c cleaning 100999 clauses out of 202030 with flag 35812233/5471888
1393.72/1377.61	c cleaning 101999 clauses out of 204032 with flag 36502776/5574889
1429.91/1413.50	c cleaning 102996 clauses out of 206033 with flag 37183974/5678889
1464.00/1447.18	c cleaning 104013 clauses out of 208037 with flag 37890380/5783889
1501.29/1483.91	c cleaning 104995 clauses out of 210026 with flag 38593658/5889891
1539.24/1521.31	c cleaning 105998 clauses out of 212028 with flag 39380198/5996888
1575.87/1557.47	c cleaning 106995 clauses out of 214030 with flag 40113928/6104888
1615.44/1596.40	c cleaning 108012 clauses out of 216036 with flag 40838076/6213889
1653.49/1634.04	c cleaning 108961 clauses out of 218023 with flag 41584955/6323888
1692.86/1672.89	c cleaning 110021 clauses out of 220064 with flag 42330762/6434890
1733.12/1712.62	c cleaning 111004 clauses out of 222041 with flag 43091435/6546888
1773.96/1752.99	c cleaning 112001 clauses out of 224037 with flag 43844379/6659888
1800.03/1778.60	c starts		: 31706
1800.03/1778.60	c conflicts		: 6739519
1800.03/1778.60	c decisions		: 52571555
1800.03/1778.60	c propagations		: 280110826
1800.03/1778.60	c inspects		: 28014650568
1800.03/1778.60	c shortcuts		: 0
1800.03/1778.60	c learnt literals	: 0
1800.03/1778.60	c learnt binary clauses	: 0
1800.03/1778.60	c learnt ternary clauses	: 0
1800.03/1778.60	c learnt constraints	: 6739519
1800.03/1778.60	c ignored constraints	: 0
1800.03/1778.60	c root simplifications	: 0
1800.03/1778.60	c removed literals (reason simplification)	: 0
1800.03/1778.60	c reason swapping (by a shorter reason)	: 0
1800.03/1778.60	c Calls to reduceDB	: 133
1800.03/1778.60	c Number of update (reduction) of LBD	: 3268107
1800.03/1778.60	c Imported unit clauses	: 0
1800.03/1778.60	c number of reductions to clauses (during analyze)	: 0
1800.03/1778.60	c number of learned constraints concerned by reduction	: 0
1800.03/1778.60	c number of learning phase by resolution	: 0
1800.03/1778.60	c number of learning phase by cutting planes	: 0
1800.03/1778.60	c speed (assignments/second)	: 157512.35026783374
1800.03/1778.60	c non guided choices	1032923
1800.03/1778.63	c learnt constraints type 
1800.03/1778.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 191667
1800.03/1778.63	s SATISFIABLE
1800.03/1778.63	c Found 11 solution(s)
1800.03/1778.64	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 
1800.03/1778.65	c objective function=12
1800.03/1778.65	c Total wall clock time (in seconds): 1778.523

Verifier Data 

OK	12

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-4090549-1466062600/watcher-4090549-1466062600 -o /tmp/evaluation-result-4090549-1466062600/solver-4090549-1466062600 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466062122-8073 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090549-1466062600.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.18 1.83 1.30 3/194 8391
/proc/meminfo: memFree=30175852/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/8391/stat : 8391 (java) R 8388 8391 8056 0 -1 4202496 226 0 0 0 0 0 0 0 20 0 1 0 8306759 9379840 86 33554432000 1073741824 1073778376 140733893180624 140733893177752 214372997121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8391/statm: 2290 102 76 9 0 38 0

[startup+0.100059 s]
/proc/loadavg: 2.18 1.83 1.30 3/194 8391
/proc/meminfo: memFree=30175852/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/8391/stat : 8391 (java) S 8388 8391 8056 0 -1 4202496 4347 0 1 0 6 1 0 0 20 0 18 0 8306759 9787879424 4951 33554432000 1073741824 1073778376 140736795631936 140736795623072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8391/statm: 2389619 4951 2088 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 2.18 1.83 1.30 3/194 8391
/proc/meminfo: memFree=30175852/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/8391/stat : 8391 (java) S 8388 8391 8056 0 -1 4202496 5072 0 1 0 25 1 0 0 20 0 18 0 8306759 9787879424 6602 33554432000 1073741824 1073778376 140736795631936 140736795623072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8391/statm: 2389619 6602 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300228 s]
/proc/loadavg: 2.18 1.83 1.30 3/194 8391
/proc/meminfo: memFree=30175852/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/8391/stat : 8391 (java) S 8388 8391 8056 0 -1 4202496 6186 0 1 0 45 1 0 0 20 0 19 0 8306759 9856040960 8819 33554432000 1073741824 1073778376 140736795631936 140736795623072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8391/statm: 2406260 8819 2245 9 0 2396937 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9625040

[startup+0.700168 s]
/proc/loadavg: 2.18 1.83 1.30 3/194 8391
/proc/meminfo: memFree=30175852/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9625040 CPUtime=1.18 cores=1,3,5,7
/proc/8391/stat : 8391 (java) S 8388 8391 8056 0 -1 4202496 8687 0 1 0 116 2 0 0 20 0 19 0 8306759 9856040960 10143 33554432000 1073741824 1073778376 140736795631936 140736795623072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8391/statm: 2406260 10143 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.18 1.83 1.30 3/213 8410
/proc/meminfo: memFree=30137436/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9625040 CPUtime=2.16 cores=1,3,5,7
/proc/8391/stat : 8391 (java) S 8388 8391 8056 0 -1 4202496 9360 0 1 0 213 3 0 0 20 0 19 0 8306759 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140736795623072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8391/statm: 2406260 13749 2261 9 0 2396937 0
[pid=8391/tid=8393] ppid=8388 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/8391/task/8393/stat : 8393 (java) R 8388 8391 8056 0 -1 4202560 2474 0 1 0 143 2 0 0 20 0 19 0 8306761 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379396532824 140379269591046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8394] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8394/stat : 8394 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379240552616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8395] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8395/stat : 8395 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379239500072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8396] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8396/stat : 8396 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379238447528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8397] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8397/stat : 8397 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379237394984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8398] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8398/stat : 8398 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379236342440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8399] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8399/stat : 8399 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379235289896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8400] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8400/stat : 8400 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379234237352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8401] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8401/stat : 8401 (java) S 8388 8391 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379233184808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8402] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8402/stat : 8402 (java) S 8388 8391 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8306763 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379220772968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8403/stat : 8403 (java) S 8388 8391 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379219719288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8404/stat : 8404 (java) S 8388 8391 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379218666632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8405/stat : 8405 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379217615376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/8391/task/8406/stat : 8406 (java) S 8388 8391 8056 0 -1 4202560 3885 0 0 0 35 0 0 0 20 0 19 0 8306766 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379216562744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/8391/task/8407/stat : 8407 (java) S 8388 8391 8056 0 -1 4202560 1729 0 0 0 30 0 0 0 20 0 19 0 8306766 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379215510200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8408/stat : 8408 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379214457848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8409/stat : 8409 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379213405512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8410] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8410/stat : 8410 (java) S 8388 8391 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8306786 9856040960 13749 33554432000 1073741824 1073778376 140736795631936 140379212301096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.18 1.83 1.30 3/213 8410
/proc/meminfo: memFree=30116896/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9625040 CPUtime=3.86 cores=1,3,5,7
/proc/8391/stat : 8391 (java) S 8388 8391 8056 0 -1 4202496 11035 0 1 0 383 3 0 0 20 0 19 0 8306759 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140736795623072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8391/statm: 2406260 19412 2261 9 0 2396937 0
[pid=8391/tid=8393] ppid=8388 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/8391/task/8393/stat : 8393 (java) R 8388 8391 8056 0 -1 4202560 2485 0 1 0 302 2 0 0 20 0 19 0 8306761 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379396525776 140379269606227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8394] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8394/stat : 8394 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379240552616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8395] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8395/stat : 8395 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379239500072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8396] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8396/stat : 8396 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379238447528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8397] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8397/stat : 8397 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379237394984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8398] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8398/stat : 8398 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379236342440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8399] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8399/stat : 8399 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379235289896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8400] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8400/stat : 8400 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379234237352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8401] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8401/stat : 8401 (java) S 8388 8391 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379233184808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8402] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8402/stat : 8402 (java) S 8388 8391 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8306763 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379220772968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8403/stat : 8403 (java) S 8388 8391 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379219719288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8404/stat : 8404 (java) S 8388 8391 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379218666632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8405/stat : 8405 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379217615376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/8391/task/8406/stat : 8406 (java) S 8388 8391 8056 0 -1 4202560 3885 0 0 0 36 0 0 0 20 0 19 0 8306766 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379216562744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8391/task/8407/stat : 8407 (java) S 8388 8391 8056 0 -1 4202560 3393 0 0 0 41 0 0 0 20 0 19 0 8306766 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379215510200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8408/stat : 8408 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379214457848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8409/stat : 8409 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379213405512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8410] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8410/stat : 8410 (java) S 8388 8391 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8306786 9856040960 19412 33554432000 1073741824 1073778376 140736795631936 140379212301096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.17 1.83 1.30 3/213 8410
/proc/meminfo: memFree=30081864/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9625040 CPUtime=7.06 cores=1,3,5,7
/proc/8391/stat : 8391 (java) S 8388 8391 8056 0 -1 4202496 11053 0 1 0 702 4 0 0 20 0 19 0 8306759 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140736795623072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8391/statm: 2406260 28028 2261 9 0 2396937 0
[pid=8391/tid=8393] ppid=8388 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/8391/task/8393/stat : 8393 (java) R 8388 8391 8056 0 -1 4202560 2503 0 1 0 622 2 0 0 20 0 19 0 8306761 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379396525776 140379269591046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8394] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8394/stat : 8394 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379240552616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8395] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8395/stat : 8395 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379239500072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8396] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8396/stat : 8396 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379238447528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8397] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8397/stat : 8397 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379237394984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8398] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8398/stat : 8398 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379236342440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8399] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8399/stat : 8399 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379235289896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8400] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8400/stat : 8400 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379234237352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8401] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8401/stat : 8401 (java) S 8388 8391 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8306762 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379233184808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8402] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8402/stat : 8402 (java) S 8388 8391 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8306763 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379220772968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8403/stat : 8403 (java) S 8388 8391 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379219719288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8404/stat : 8404 (java) S 8388 8391 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379218666632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8405/stat : 8405 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379217615376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/8391/task/8406/stat : 8406 (java) S 8388 8391 8056 0 -1 4202560 3885 0 0 0 36 0 0 0 20 0 19 0 8306766 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379216562744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8391/task/8407/stat : 8407 (java) S 8388 8391 8056 0 -1 4202560 3393 0 0 0 41 0 0 0 20 0 19 0 8306766 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379215510200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8408/stat : 8408 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379214457848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8409/stat : 8409 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379213405512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8410] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8410/stat : 8410 (java) S 8388 8391 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8306786 9856040960 28028 33554432000 1073741824 1073778376 140736795631936 140379212301096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 9625040


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

[pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8403/stat : 8403 (java) S 8388 8391 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 112415 33554432000 1073741824 1073778376 140736795631936 140379219719288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8404/stat : 8404 (java) S 8388 8391 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 112415 33554432000 1073741824 1073778376 140736795631936 140379218666632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8405/stat : 8405 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 112415 33554432000 1073741824 1073778376 140736795631936 140379217615376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/8391/task/8406/stat : 8406 (java) S 8388 8391 8056 0 -1 4202560 3885 0 0 0 36 0 0 0 20 0 19 0 8306766 9856040960 112415 33554432000 1073741824 1073778376 140736795631936 140379216562744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8391/task/8407/stat : 8407 (java) S 8388 8391 8056 0 -1 4202560 3401 0 0 0 44 0 0 0 20 0 19 0 8306766 9856040960 112415 33554432000 1073741824 1073778376 140736795631936 140379215510200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8408/stat : 8408 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 112415 33554432000 1073741824 1073778376 140736795631936 140379214457848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/8391/task/8409/stat : 8409 (java) S 8388 8391 8056 0 -1 4202560 91 0 0 0 23 29 0 0 20 0 19 0 8306766 9856040960 112415 33554432000 1073741824 1073778376 140736795631936 140379213405512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8410] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8410/stat : 8410 (java) S 8388 8391 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8306786 9856040960 112415 33554432000 1073741824 1073778376 140736795631936 140379212301096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1621.39
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.15 2.19 2.04 4/213 8540
/proc/meminfo: memFree=29577692/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9625040 CPUtime=1682.19 cores=1,3,5,7
/proc/8391/stat : 8391 (java) S 8388 8391 8056 0 -1 4202496 21332 0 1 0 168059 160 0 0 20 0 19 0 8306759 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140736795623072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8391/statm: 2406260 111890 2283 9 0 2396937 0
[pid=8391/tid=8393] ppid=8388 vsize=9625040 CPUtime=1649.37 cores=1,3,5,7
/proc/8391/task/8393/stat : 8393 (java) R 8388 8391 8056 0 -1 4202560 2796 0 1 0 164906 31 0 0 20 0 19 0 8306761 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379396533584 140379269665553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8394] ppid=8388 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/8391/task/8394/stat : 8394 (java) S 8388 8391 8056 0 -1 4202560 1860 0 0 0 329 17 0 0 20 0 19 0 8306762 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379240552616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8395] ppid=8388 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/8391/task/8395/stat : 8395 (java) S 8388 8391 8056 0 -1 4202560 1147 0 0 0 324 17 0 0 20 0 19 0 8306762 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379239500072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8396] ppid=8388 vsize=9625040 CPUtime=3.25 cores=1,3,5,7
/proc/8391/task/8396/stat : 8396 (java) S 8388 8391 8056 0 -1 4202560 1120 0 0 0 311 14 0 0 20 0 19 0 8306762 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379238447528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8397] ppid=8388 vsize=9625040 CPUtime=3.28 cores=1,3,5,7
/proc/8391/task/8397/stat : 8397 (java) S 8388 8391 8056 0 -1 4202560 1066 0 0 0 313 15 0 0 20 0 19 0 8306762 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379237394984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8398] ppid=8388 vsize=9625040 CPUtime=3.3 cores=1,3,5,7
/proc/8391/task/8398/stat : 8398 (java) S 8388 8391 8056 0 -1 4202560 758 0 0 0 317 13 0 0 20 0 19 0 8306762 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379236342440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8399] ppid=8388 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/8391/task/8399/stat : 8399 (java) S 8388 8391 8056 0 -1 4202560 938 0 0 0 313 16 0 0 20 0 19 0 8306762 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379235289896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8400] ppid=8388 vsize=9625040 CPUtime=3.26 cores=1,3,5,7
/proc/8391/task/8400/stat : 8400 (java) S 8388 8391 8056 0 -1 4202560 1158 0 0 0 309 17 0 0 20 0 19 0 8306762 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379234237352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8401] ppid=8388 vsize=9625040 CPUtime=3.12 cores=1,3,5,7
/proc/8391/task/8401/stat : 8401 (java) S 8388 8391 8056 0 -1 4202560 961 0 0 0 295 17 0 0 20 0 19 0 8306762 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379233184808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8402] ppid=8388 vsize=9625040 CPUtime=5.42 cores=1,3,5,7
/proc/8391/task/8402/stat : 8402 (java) S 8388 8391 8056 0 -1 4202560 890 0 0 0 536 6 0 0 20 0 19 0 8306763 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379220772968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8403/stat : 8403 (java) S 8388 8391 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379219719288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8404/stat : 8404 (java) S 8388 8391 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379218666632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8405/stat : 8405 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379217615376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/8391/task/8406/stat : 8406 (java) S 8388 8391 8056 0 -1 4202560 3885 0 0 0 36 0 0 0 20 0 19 0 8306766 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379216562744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8391/task/8407/stat : 8407 (java) S 8388 8391 8056 0 -1 4202560 3401 0 0 0 44 0 0 0 20 0 19 0 8306766 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379215510200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8408/stat : 8408 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379214457848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/8391/task/8409/stat : 8409 (java) S 8388 8391 8056 0 -1 4202560 95 0 0 0 23 30 0 0 20 0 19 0 8306766 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379213405512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8410] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8410/stat : 8410 (java) S 8388 8391 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8306786 9856040960 111890 33554432000 1073741824 1073778376 140736795631936 140379212301096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1682.19
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.15 2.19 2.04 3/213 8542
/proc/meminfo: memFree=29645068/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9625040 CPUtime=1742.96 cores=1,3,5,7
/proc/8391/stat : 8391 (java) S 8388 8391 8056 0 -1 4202496 21357 0 1 0 174135 161 0 0 20 0 19 0 8306759 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140736795623072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8391/statm: 2406260 102658 2283 9 0 2396937 0
[pid=8391/tid=8393] ppid=8388 vsize=9625040 CPUtime=1708.81 cores=1,3,5,7
/proc/8391/task/8393/stat : 8393 (java) R 8388 8391 8056 0 -1 4202560 2810 0 1 0 170850 31 0 0 20 0 19 0 8306761 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379396533584 140379269665567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8394] ppid=8388 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/8391/task/8394/stat : 8394 (java) S 8388 8391 8056 0 -1 4202560 1860 0 0 0 342 17 0 0 20 0 19 0 8306762 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379240552616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8395] ppid=8388 vsize=9625040 CPUtime=3.55 cores=1,3,5,7
/proc/8391/task/8395/stat : 8395 (java) S 8388 8391 8056 0 -1 4202560 1147 0 0 0 338 17 0 0 20 0 19 0 8306762 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379239500072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8396] ppid=8388 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/8391/task/8396/stat : 8396 (java) S 8388 8391 8056 0 -1 4202560 1120 0 0 0 325 14 0 0 20 0 19 0 8306762 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379238447528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8397] ppid=8388 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/8391/task/8397/stat : 8397 (java) S 8388 8391 8056 0 -1 4202560 1066 0 0 0 324 15 0 0 20 0 19 0 8306762 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379237394984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8398] ppid=8388 vsize=9625040 CPUtime=3.44 cores=1,3,5,7
/proc/8391/task/8398/stat : 8398 (java) S 8388 8391 8056 0 -1 4202560 758 0 0 0 330 14 0 0 20 0 19 0 8306762 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379236342440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8399] ppid=8388 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/8391/task/8399/stat : 8399 (java) S 8388 8391 8056 0 -1 4202560 938 0 0 0 329 16 0 0 20 0 19 0 8306762 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379235289896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8400] ppid=8388 vsize=9625040 CPUtime=3.36 cores=1,3,5,7
/proc/8391/task/8400/stat : 8400 (java) S 8388 8391 8056 0 -1 4202560 1158 0 0 0 319 17 0 0 20 0 19 0 8306762 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379234237352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8401] ppid=8388 vsize=9625040 CPUtime=3.28 cores=1,3,5,7
/proc/8391/task/8401/stat : 8401 (java) S 8388 8391 8056 0 -1 4202560 961 0 0 0 311 17 0 0 20 0 19 0 8306762 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379233184808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8402] ppid=8388 vsize=9625040 CPUtime=5.66 cores=1,3,5,7
/proc/8391/task/8402/stat : 8402 (java) S 8388 8391 8056 0 -1 4202560 897 0 0 0 560 6 0 0 20 0 19 0 8306763 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379220772968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8403/stat : 8403 (java) S 8388 8391 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379219719288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8404/stat : 8404 (java) S 8388 8391 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379218666632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8405/stat : 8405 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379217615376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/8391/task/8406/stat : 8406 (java) S 8388 8391 8056 0 -1 4202560 3885 0 0 0 36 0 0 0 20 0 19 0 8306766 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379216562744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8391/task/8407/stat : 8407 (java) S 8388 8391 8056 0 -1 4202560 3401 0 0 0 44 0 0 0 20 0 19 0 8306766 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379215510200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8408/stat : 8408 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379214457848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/8391/task/8409/stat : 8409 (java) S 8388 8391 8056 0 -1 4202560 99 0 0 0 25 31 0 0 20 0 19 0 8306766 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379213405512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8410] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8410/stat : 8410 (java) S 8388 8391 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8306786 9856040960 102658 33554432000 1073741824 1073778376 140736795631936 140379212301096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1742.96
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.6 s]
/proc/loadavg: 2.18 2.18 2.05 3/213 8543
/proc/meminfo: memFree=29684580/32872528 swapFree=1286144/1433312
[pid=8391] ppid=8388 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/8391/stat : 8391 (java) S 8388 8391 8056 0 -1 4202496 21376 0 1 0 179839 164 0 0 20 0 19 0 8306759 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140736795623072 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8391/statm: 2406260 97792 2283 9 0 2396937 0
[pid=8391/tid=8393] ppid=8388 vsize=9625040 CPUtime=1764.65 cores=1,3,5,7
/proc/8391/task/8393/stat : 8393 (java) R 8388 8391 8056 0 -1 4202560 2823 0 1 0 176433 32 0 0 20 0 19 0 8306761 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379396533584 140379269665567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8394] ppid=8388 vsize=9625040 CPUtime=3.71 cores=1,3,5,7
/proc/8391/task/8394/stat : 8394 (java) S 8388 8391 8056 0 -1 4202560 1860 0 0 0 354 17 0 0 20 0 19 0 8306762 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379240552616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8395] ppid=8388 vsize=9625040 CPUtime=3.69 cores=1,3,5,7
/proc/8391/task/8395/stat : 8395 (java) S 8388 8391 8056 0 -1 4202560 1147 0 0 0 352 17 0 0 20 0 19 0 8306762 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379239500072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8396] ppid=8388 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/8391/task/8396/stat : 8396 (java) S 8388 8391 8056 0 -1 4202560 1120 0 0 0 342 14 0 0 20 0 19 0 8306762 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379238447528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8397] ppid=8388 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/8391/task/8397/stat : 8397 (java) S 8388 8391 8056 0 -1 4202560 1066 0 0 0 337 15 0 0 20 0 19 0 8306762 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379237394984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8398] ppid=8388 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/8391/task/8398/stat : 8398 (java) S 8388 8391 8056 0 -1 4202560 758 0 0 0 346 14 0 0 20 0 19 0 8306762 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379236342440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8391/tid=8399] ppid=8388 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/8391/task/8399/stat : 8399 (java) S 8388 8391 8056 0 -1 4202560 938 0 0 0 340 16 0 0 20 0 19 0 8306762 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379235289896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8400] ppid=8388 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/8391/task/8400/stat : 8400 (java) S 8388 8391 8056 0 -1 4202560 1158 0 0 0 330 17 0 0 20 0 19 0 8306762 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379234237352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8401] ppid=8388 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/8391/task/8401/stat : 8401 (java) S 8388 8391 8056 0 -1 4202560 961 0 0 0 323 17 0 0 20 0 19 0 8306762 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379233184808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8402] ppid=8388 vsize=9625040 CPUtime=5.82 cores=1,3,5,7
/proc/8391/task/8402/stat : 8402 (java) S 8388 8391 8056 0 -1 4202560 901 0 0 0 576 6 0 0 20 0 19 0 8306763 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379220772968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8403/stat : 8403 (java) S 8388 8391 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379219719288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8404/stat : 8404 (java) S 8388 8391 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8306764 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379218666632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8405/stat : 8405 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379217615376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/8391/task/8406/stat : 8406 (java) S 8388 8391 8056 0 -1 4202560 3885 0 0 0 36 0 0 0 20 0 19 0 8306766 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379216562744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8391/task/8407/stat : 8407 (java) S 8388 8391 8056 0 -1 4202560 3401 0 0 0 44 0 0 0 20 0 19 0 8306766 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379215510200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8408/stat : 8408 (java) S 8388 8391 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8306766 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379214457848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/8391/task/8409/stat : 8409 (java) S 8388 8391 8056 0 -1 4202560 101 0 0 0 25 32 0 0 20 0 19 0 8306766 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379213405512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8391/tid=8410] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8391/task/8410/stat : 8410 (java) S 8388 8391 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8306786 9856040960 97792 33554432000 1073741824 1073778376 140736795631936 140379212301096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1778.66
CPU time (s): 1800.74
CPU user time (s): 1798.63
CPU system time (s): 2.11068
CPU usage (%): 101.241
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 2.11068
maximum resident set size= 835208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21426
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46562
involuntary context switches= 58495

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9222 second user time and 14.9637 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-16 09:36:40
IDJOB=4090549
IDBENCH=78694
IDSOLVER=2551
FILE ID=node130/4090549-1466062600
RUNJOBID= node130-1466062122-8073
PBS_JOBID= 19904009
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090549-1466062600/watcher-4090549-1466062600 -o /tmp/evaluation-result-4090549-1466062600/solver-4090549-1466062600 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466062122-8073 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090549-1466062600.wbo

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

MD5SUM BENCH= a1a1d6ef1095be996fe403c53206d252
RANDOM SEED=1186471057

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30176768 kB
Buffers:            2760 kB
Cached:            37632 kB
SwapCached:          704 kB
Active:           543732 kB
Inactive:          19112 kB
Active(anon):     524140 kB
Inactive(anon):      324 kB
Active(file):      19592 kB
Inactive(file):    18788 kB
Unevictable:     1433312 kB
Mlocked:         1286144 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:               720 kB
Writeback:             0 kB
AnonPages:       1954836 kB
Mapped:            14924 kB
Shmem:                 0 kB
Slab:             564928 kB
SReclaimable:       8504 kB
SUnreclaim:       556424 kB
KernelStack:        1600 kB
PageTables:         7852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2131984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    638976 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= 71748 MiB
End job on node130 at 2016-06-16 10:06:19