Trace number 3690157

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO) 1800.01 1791.67

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_5.opb
MD5SUM20017986f9960b1d860bf846232b7a22
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5696927
Best CPU time to get the best result obtained on this benchmark1801.28
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 145531576
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 56160700102
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 145531576
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 56160700102
Number of bits of the biggest sum of numbers36
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.07/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3690157-1337896590.opb
0.08/0.12	c reading problem ... 
0.79/0.47	c ... done. Wall clock time 0.344s.
0.79/0.47	c declared #vars     5100
0.79/0.47	c #constraints  12510
0.79/0.47	c constraints type 
0.79/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
0.79/0.47	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
0.79/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
0.79/0.47	c ignored satisfied constraints => 2
0.79/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
0.79/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.79/0.47	c 12512 constraints processed.
0.79/0.47	c objective function length is 4950 literals
1.36/0.63	c SATISFIABLE
1.36/0.63	c OPTIMIZING...
1.36/0.63	c Got one! Elapsed wall clock time (in seconds):0.504
1.36/0.63	o 6587457
1.62/0.70	c Got one! Elapsed wall clock time (in seconds):0.578
1.62/0.70	o 6036309
1.62/0.73	c Got one! Elapsed wall clock time (in seconds):0.613
1.62/0.73	o 6033413
1.62/0.75	c Got one! Elapsed wall clock time (in seconds):0.631
1.62/0.75	o 6019205
1.62/0.77	c Got one! Elapsed wall clock time (in seconds):0.649
1.62/0.77	o 6018779
1.62/0.79	c Got one! Elapsed wall clock time (in seconds):0.664
1.62/0.79	o 6017235
1.88/0.80	c Got one! Elapsed wall clock time (in seconds):0.679
1.88/0.80	o 6016157
2.02/0.96	c Got one! Elapsed wall clock time (in seconds):0.839
2.02/0.96	o 6012863
3.11/1.97	c cleaning 2708 clauses out of 5416 with flag 5000/5434
4.11/2.82	c cleaning 4348 clauses out of 8708 with flag 11000/11434
5.12/3.88	c cleaning 5679 clauses out of 11360 with flag 18000/18434
6.33/5.05	c cleaning 6839 clauses out of 13682 with flag 26001/26435
7.79/6.42	c cleaning 7911 clauses out of 15822 with flag 35000/35434
9.10/7.80	c cleaning 8956 clauses out of 17912 with flag 45001/45435
10.61/9.23	c cleaning 9976 clauses out of 19956 with flag 56001/56435
12.12/10.73	c cleaning 10986 clauses out of 21979 with flag 68000/68434
13.73/12.39	c cleaning 11994 clauses out of 23995 with flag 81002/81436
15.53/14.16	c cleaning 12995 clauses out of 26000 with flag 95001/95435
17.45/16.08	c cleaning 13997 clauses out of 28004 with flag 110000/110434
19.57/18.16	c cleaning 15004 clauses out of 30007 with flag 126000/126434
21.79/20.31	c cleaning 16001 clauses out of 32005 with flag 143002/143436
24.01/22.54	c cleaning 16998 clauses out of 34003 with flag 161001/161435
26.41/24.96	c cleaning 18002 clauses out of 36005 with flag 180001/180435
29.03/27.52	c cleaning 18996 clauses out of 38003 with flag 200001/200435
31.63/30.13	c cleaning 19999 clauses out of 40007 with flag 221001/221435
34.45/32.93	c cleaning 21003 clauses out of 42007 with flag 243000/243434
37.37/35.84	c cleaning 22000 clauses out of 44005 with flag 266001/266435
40.38/38.86	c cleaning 22999 clauses out of 46004 with flag 290000/290434
43.48/41.98	c cleaning 23999 clauses out of 48006 with flag 315001/315435
46.80/45.29	c cleaning 24994 clauses out of 50007 with flag 341001/341435
50.43/48.81	c cleaning 26002 clauses out of 52012 with flag 368000/368434
54.04/52.41	c cleaning 27003 clauses out of 54012 with flag 396002/396436
57.75/56.11	c cleaning 28002 clauses out of 56007 with flag 425000/425434
61.55/59.99	c cleaning 28999 clauses out of 58005 with flag 455000/455434
65.66/64.00	c cleaning 29999 clauses out of 60006 with flag 486000/486434
69.89/68.24	c cleaning 31000 clauses out of 62008 with flag 518001/518435
74.32/72.64	c cleaning 31999 clauses out of 64008 with flag 551001/551435
78.82/77.13	c cleaning 33002 clauses out of 66009 with flag 585001/585435
83.43/81.79	c cleaning 34001 clauses out of 68006 with flag 620000/620434
88.36/86.61	c cleaning 35000 clauses out of 70006 with flag 656001/656435
93.27/91.53	c cleaning 35997 clauses out of 72005 with flag 693000/693434
98.30/96.50	c cleaning 37003 clauses out of 74009 with flag 731001/731435
103.53/101.79	c cleaning 38001 clauses out of 76006 with flag 770001/770435
109.16/107.33	c cleaning 39003 clauses out of 78005 with flag 810001/810435
114.86/113.06	c cleaning 39997 clauses out of 80002 with flag 851001/851435
120.79/118.90	c cleaning 40995 clauses out of 82004 with flag 893000/893434
126.32/124.44	c cleaning 42001 clauses out of 84009 with flag 936000/936434
132.05/130.18	c cleaning 42998 clauses out of 86008 with flag 980000/980434
138.17/136.27	c cleaning 44002 clauses out of 88010 with flag 1025000/1025434
144.69/142.77	c cleaning 44987 clauses out of 90009 with flag 1071001/1071435
151.44/149.40	c cleaning 46002 clauses out of 92022 with flag 1118001/1118435
158.29/156.23	c cleaning 47001 clauses out of 94019 with flag 1166000/1166434
165.21/163.14	c cleaning 48002 clauses out of 96018 with flag 1215000/1215434
172.14/170.09	c cleaning 49005 clauses out of 98016 with flag 1265000/1265434
179.46/177.38	c cleaning 50003 clauses out of 100012 with flag 1316001/1316435
186.73/184.54	c cleaning 51003 clauses out of 102008 with flag 1368000/1368434
193.73/191.57	c cleaning 52001 clauses out of 104006 with flag 1421001/1421435
200.84/198.66	c cleaning 52996 clauses out of 106004 with flag 1475000/1475434
208.44/206.30	c cleaning 54000 clauses out of 108009 with flag 1530001/1530435
216.07/213.88	c cleaning 55004 clauses out of 110008 with flag 1586000/1586434
223.50/221.24	c cleaning 55999 clauses out of 112005 with flag 1643001/1643435
231.24/228.99	c cleaning 56998 clauses out of 114006 with flag 1701001/1701435
239.37/237.04	c cleaning 58001 clauses out of 116008 with flag 1760001/1760435
247.53/245.10	c cleaning 58998 clauses out of 118007 with flag 1820001/1820435
256.16/253.73	c cleaning 59999 clauses out of 120008 with flag 1881000/1881434
264.71/262.28	c cleaning 61001 clauses out of 122009 with flag 1943000/1943434
273.53/271.08	c cleaning 62000 clauses out of 124009 with flag 2006001/2006435
282.74/280.27	c cleaning 62994 clauses out of 126008 with flag 2070000/2070434
291.87/289.31	c cleaning 63999 clauses out of 128014 with flag 2135000/2135434
300.71/298.19	c cleaning 65004 clauses out of 130015 with flag 2201000/2201434
309.80/307.26	c cleaning 66003 clauses out of 132012 with flag 2268001/2268435
318.81/316.28	c cleaning 66994 clauses out of 134009 with flag 2336001/2336435
328.52/325.96	c cleaning 67999 clauses out of 136014 with flag 2405000/2405434
338.04/335.50	c cleaning 68999 clauses out of 138016 with flag 2475001/2475435
347.76/345.18	c cleaning 70009 clauses out of 140017 with flag 2546001/2546435
357.88/355.30	c cleaning 70999 clauses out of 142007 with flag 2618000/2618434
368.11/365.44	c cleaning 71999 clauses out of 144008 with flag 2691000/2691434
378.73/376.02	c cleaning 73002 clauses out of 146009 with flag 2765000/2765434
389.16/386.48	c cleaning 74000 clauses out of 148007 with flag 2840000/2840434
400.10/397.30	c cleaning 74995 clauses out of 150007 with flag 2916000/2916434
411.23/408.44	c cleaning 76004 clauses out of 152013 with flag 2993001/2993435
422.06/419.20	c cleaning 76997 clauses out of 154008 with flag 3071000/3071434
432.92/430.04	c cleaning 78004 clauses out of 156011 with flag 3150000/3150434
444.03/441.14	c cleaning 79002 clauses out of 158007 with flag 3230000/3230434
456.17/453.22	c cleaning 79986 clauses out of 160001 with flag 3311001/3311435
467.98/465.02	c cleaning 81000 clauses out of 162015 with flag 3393001/3393435
480.01/477.04	c cleaning 81997 clauses out of 164015 with flag 3476001/3476435
492.04/489.03	c cleaning 82998 clauses out of 166017 with flag 3560000/3560434
504.46/501.43	c cleaning 84008 clauses out of 168019 with flag 3645000/3645434
516.30/513.23	c cleaning 84998 clauses out of 170012 with flag 3731001/3731435
528.70/525.66	c cleaning 86001 clauses out of 172013 with flag 3818000/3818434
541.52/538.48	c cleaning 87000 clauses out of 174012 with flag 3906000/3906434
553.94/550.87	c cleaning 87995 clauses out of 176013 with flag 3995001/3995435
566.16/563.09	c cleaning 89003 clauses out of 178017 with flag 4085000/4085434
579.30/576.10	c cleaning 89990 clauses out of 179997 with flag 4176000/4176434
593.72/590.58	c cleaning 90993 clauses out of 182009 with flag 4268002/4268436
609.58/606.39	c cleaning 91992 clauses out of 184014 with flag 4361000/4361434
623.03/619.74	c cleaning 92997 clauses out of 186022 with flag 4455000/4455434
637.86/634.50	c cleaning 94002 clauses out of 188025 with flag 4550000/4550434
651.39/647.94	c cleaning 95004 clauses out of 190022 with flag 4646000/4646434
664.61/661.15	c cleaning 96005 clauses out of 192018 with flag 4743000/4743434
678.04/674.56	c cleaning 97006 clauses out of 194013 with flag 4841000/4841434
691.25/687.71	c cleaning 97999 clauses out of 196008 with flag 4940001/4940435
705.68/702.15	c cleaning 98995 clauses out of 198009 with flag 5040001/5040435
720.38/716.80	c cleaning 100002 clauses out of 200013 with flag 5141000/5141434
735.11/731.44	c cleaning 100995 clauses out of 202011 with flag 5243000/5243434
749.57/745.88	c cleaning 102006 clauses out of 204018 with flag 5346002/5346436
764.61/760.83	c cleaning 103005 clauses out of 206010 with flag 5450000/5450434
779.83/776.03	c cleaning 104000 clauses out of 208006 with flag 5555001/5555435
794.97/791.12	c cleaning 105001 clauses out of 210006 with flag 5661001/5661435
810.81/806.91	c cleaning 105997 clauses out of 212004 with flag 5768000/5768434
827.27/823.30	c cleaning 106998 clauses out of 214007 with flag 5876000/5876434
844.21/840.20	c cleaning 107999 clauses out of 216010 with flag 5985001/5985435
859.89/855.83	c cleaning 109001 clauses out of 218010 with flag 6095000/6095434
875.80/871.70	c cleaning 110000 clauses out of 220009 with flag 6206000/6206434
892.12/888.06	c cleaning 110996 clauses out of 222010 with flag 6318001/6318435
910.28/906.14	c cleaning 112002 clauses out of 224013 with flag 6431000/6431434
927.22/923.01	c cleaning 112995 clauses out of 226011 with flag 6545000/6545434
944.88/940.63	c cleaning 113997 clauses out of 228016 with flag 6660000/6660434
962.98/958.74	c cleaning 114993 clauses out of 230019 with flag 6776000/6776434
979.32/975.08	c cleaning 116008 clauses out of 232026 with flag 6893000/6893434
995.95/991.69	c cleaning 117006 clauses out of 234019 with flag 7011001/7011435
1013.37/1009.07	c cleaning 118000 clauses out of 236012 with flag 7130000/7130434
1030.59/1026.26	c cleaning 119004 clauses out of 238012 with flag 7250000/7250434
1048.03/1043.63	c cleaning 119999 clauses out of 240008 with flag 7371000/7371434
1065.89/1061.42	c cleaning 121002 clauses out of 242009 with flag 7493000/7493434
1084.17/1079.62	c cleaning 122001 clauses out of 244007 with flag 7616000/7616434
1102.20/1097.68	c cleaning 122997 clauses out of 246008 with flag 7740002/7740436
1120.83/1116.28	c cleaning 123997 clauses out of 248011 with flag 7865002/7865436
1139.58/1134.91	c cleaning 124995 clauses out of 250012 with flag 7991000/7991434
1159.83/1155.15	c cleaning 125996 clauses out of 252018 with flag 8118001/8118435
1180.85/1176.02	c cleaning 127003 clauses out of 254021 with flag 8246000/8246434
1200.20/1195.35	c cleaning 128008 clauses out of 256018 with flag 8375000/8375434
1219.62/1214.76	c cleaning 129002 clauses out of 258010 with flag 8505000/8505434
1240.26/1235.36	c cleaning 129994 clauses out of 260009 with flag 8636001/8636435
1261.00/1256.04	c cleaning 131000 clauses out of 262016 with flag 8768002/8768436
1282.33/1277.31	c cleaning 132007 clauses out of 264015 with flag 8901001/8901435
1302.65/1297.68	c cleaning 132995 clauses out of 266007 with flag 9035000/9035434
1323.69/1318.70	c cleaning 134003 clauses out of 268013 with flag 9170001/9170435
1346.14/1341.01	c cleaning 135000 clauses out of 270010 with flag 9306001/9306435
1368.21/1363.09	c cleaning 136002 clauses out of 272010 with flag 9443001/9443435
1390.16/1384.94	c cleaning 137000 clauses out of 274008 with flag 9581001/9581435
1412.28/1407.07	c cleaning 137997 clauses out of 276007 with flag 9720000/9720434
1433.16/1427.88	c cleaning 139003 clauses out of 278010 with flag 9860000/9860434
1453.47/1448.11	c cleaning 139990 clauses out of 280008 with flag 10001001/10001435
1474.12/1468.76	c cleaning 140999 clauses out of 282017 with flag 10143000/10143434
1495.37/1489.99	c cleaning 142000 clauses out of 284019 with flag 10286001/10286435
1516.99/1511.55	c cleaning 143002 clauses out of 286019 with flag 10430001/10430435
1539.41/1533.93	c cleaning 143992 clauses out of 288016 with flag 10575000/10575434
1565.23/1559.53	c cleaning 145010 clauses out of 290027 with flag 10721003/10721437
1592.29/1586.42	c cleaning 146004 clauses out of 292015 with flag 10868001/10868435
1622.24/1616.23	c cleaning 146995 clauses out of 294010 with flag 11016000/11016434
1650.30/1644.15	c cleaning 147990 clauses out of 296016 with flag 11165001/11165435
1675.50/1668.88	c cleaning 148989 clauses out of 297998 with flag 11315001/11315435
1698.74/1691.62	c cleaning 149989 clauses out of 300008 with flag 11466000/11466434
1724.52/1717.11	c cleaning 150996 clauses out of 302020 with flag 11618001/11618435
1749.82/1742.17	c cleaning 151997 clauses out of 304024 with flag 11771001/11771435
1770.76/1762.76	c cleaning 153001 clauses out of 306026 with flag 11925000/11925434
1794.93/1786.60	c cleaning 154001 clauses out of 308026 with flag 12080001/12080435
1800.01/1791.61	c starts		: 331
1800.01/1791.61	c conflicts		: 12121927
1800.01/1791.61	c decisions		: 13280606
1800.01/1791.61	c propagations		: 133940529
1800.01/1791.61	c inspects		: 4195986299
1800.01/1791.61	c shortcuts		: 0
1800.01/1791.61	c learnt literals	: 89
1800.01/1791.61	c learnt binary clauses	: 15
1800.01/1791.61	c learnt ternary clauses	: 278
1800.01/1791.61	c learnt constraints	: 12121839
1800.01/1791.61	c ignored constraints	: 0
1800.01/1791.61	c root simplifications	: 0
1800.01/1791.61	c removed literals (reason simplification)	: 0
1800.01/1791.61	c reason swapping (by a shorter reason)	: 0
1800.01/1791.61	c Calls to reduceDB	: 151
1800.01/1791.61	c number of reductions to clauses (during analyze)	: 0
1800.01/1791.61	c number of learned constraints concerned by reduction	: 0
1800.01/1791.61	c number of learning phase by resolution	: 0
1800.01/1791.61	c number of learning phase by cutting planes	: 0
1800.01/1791.61	c speed (assignments/second)	: 74781.41627407607
1800.01/1791.61	c non guided choices	216
1800.01/1791.64	c learnt constraints type 
1800.01/1791.64	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 15
1800.01/1791.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 195738
1800.01/1791.64	c constraints type 
1800.01/1791.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1800.01/1791.64	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.01/1791.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.01/1791.64	c ignored satisfied constraints => 2
1800.01/1791.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1800.01/1791.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376
1800.01/1791.64	c 12513 constraints processed.
1800.01/1791.64	s SATISFIABLE
1800.01/1791.65	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 x810 -x811 x812 -x813 -x814 -x815 x816 -x817 x818 -x819 x820 -x821 x822 -x823 -x824 -x825 x826 -x827 x828 x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 x1635 x1636 x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 x1644 x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 x1805 x1806 -x1807 x1808 -x1809 -x1810 x1811 -x1812 x1813 x1814 -x1815 -x1816 x1817 -x1818 x1819 -x1820 x1821 -x1822 -x1823 -x1824 x1825 -x1826 x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 x3739 -x3740 -x3741 x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.01/1791.65	c objective function=6012863
1800.01/1791.65	c Total wall clock time (in seconds): 1791.534

Verifier Data 

OK	6012863

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3690157-1337896590/watcher-3690157-1337896590 -o /tmp/evaluation-result-3690157-1337896590/solver-3690157-1337896590 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690157-1337896590.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 0.93 1.08 1.44 2/173 24002
/proc/meminfo: memFree=29812752/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24002/stat : 24002 (java) R 24000 24002 23968 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 255784426 9515008 182 33554432000 1073741824 1073778376 140733918909184 140733918891912 239873113781 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2323 182 140 9 0 71 0

[startup+0.0975801 s]
/proc/loadavg: 0.93 1.08 1.44 2/173 24002
/proc/meminfo: memFree=29812752/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24002/stat : 24002 (java) S 24000 24002 23968 0 -1 4202496 3768 0 1 0 6 1 0 0 20 0 18 0 255784426 9787813888 4976 33554432000 1073741824 1073778376 140735766484592 140735766475728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2389603 4982 1990 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.100248 s]
/proc/loadavg: 0.93 1.08 1.44 2/173 24002
/proc/meminfo: memFree=29812752/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/24002/stat : 24002 (java) S 24000 24002 23968 0 -1 4202496 4142 0 1 0 7 1 0 0 20 0 18 0 255784426 9787813888 5341 33554432000 1073741824 1073778376 140735766484592 140735766475728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2389603 5343 2071 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300223 s]
/proc/loadavg: 0.93 1.08 1.44 2/173 24002
/proc/meminfo: memFree=29812752/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9559152 CPUtime=0.48 cores=0,2,4,6
/proc/24002/stat : 24002 (java) S 24000 24002 23968 0 -1 4202496 5925 0 1 0 47 1 0 0 20 0 18 0 255784426 9788571648 9609 33554432000 1073741824 1073778376 140735766484592 140735766475728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2389788 9610 2218 9 0 2380481 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9559152

[startup+0.700221 s]
/proc/loadavg: 0.93 1.08 1.44 2/173 24002
/proc/meminfo: memFree=29812752/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9624976 CPUtime=1.62 cores=0,2,4,6
/proc/24002/stat : 24002 (java) S 24000 24002 23968 0 -1 4202496 10421 0 1 0 160 2 0 0 20 0 19 0 255784426 9855975424 17581 33554432000 1073741824 1073778376 140735766484592 140735766475728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2406244 17581 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9624976

[startup+1.50067 s]
/proc/loadavg: 0.93 1.08 1.44 4/213 24049
/proc/meminfo: memFree=29622264/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9624976 CPUtime=2.7 cores=0,2,4,6
/proc/24002/stat : 24002 (java) S 24000 24002 23968 0 -1 4202496 10438 0 1 0 267 3 0 0 20 0 19 0 255784426 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140735766475728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2406244 21685 2259 9 0 2396937 0
[pid=24002/tid=24008] ppid=24000 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/24002/task/24008/stat : 24008 (java) R 24000 24002 23968 0 -1 4202560 2478 0 1 0 144 2 0 0 20 0 19 0 255784427 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320988560824 140320826969704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24011] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24011/stat : 24011 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320950053672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24012] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24012/stat : 24012 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320949000872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24013] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24013/stat : 24013 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320947948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24014] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24014/stat : 24014 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320946895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24015] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24015/stat : 24015 (java) S 24000 24002 23968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320945842472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24016] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24016/stat : 24016 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320944789672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24017] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24017/stat : 24017 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320826190376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24018] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24018/stat : 24018 (java) S 24000 24002 23968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320825137576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24024] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24024/stat : 24024 (java) S 24000 24002 23968 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320812727016 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24033] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24033/stat : 24033 (java) S 24000 24002 23968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320811673080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24034] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24034/stat : 24034 (java) S 24000 24002 23968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320810620680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24038] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24038/stat : 24038 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320071216016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24039] ppid=24000 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/24002/task/24039/stat : 24039 (java) S 24000 24002 23968 0 -1 4202560 2610 0 0 0 63 0 0 0 20 0 19 0 255784433 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320070162616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24040] ppid=24000 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/24002/task/24040/stat : 24040 (java) S 24000 24002 23968 0 -1 4202560 4148 0 0 0 57 0 0 0 20 0 19 0 255784433 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320069109816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24041] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24041/stat : 24041 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320068057720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24042] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24042/stat : 24042 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320067005128 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24048] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24048/stat : 24048 (java) S 24000 24002 23968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255784478 9855975424 21685 33554432000 1073741824 1073778376 140735766484592 140320065951144 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 9624976

[startup+3.10061 s]
/proc/loadavg: 0.93 1.08 1.44 3/213 24049
/proc/meminfo: memFree=29583764/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9624976 CPUtime=4.41 cores=0,2,4,6
/proc/24002/stat : 24002 (java) S 24000 24002 23968 0 -1 4202496 10525 0 1 0 437 4 0 0 20 0 19 0 255784426 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140735766475728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2406244 27882 2284 9 0 2396937 0
[pid=24002/tid=24008] ppid=24000 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/24002/task/24008/stat : 24008 (java) R 24000 24002 23968 0 -1 4202560 2482 0 1 0 299 2 0 0 20 0 19 0 255784427 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320988562072 140320826961542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24011] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24011/stat : 24011 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320950053672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24012] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24012/stat : 24012 (java) S 24000 24002 23968 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320949000872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24013] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24013/stat : 24013 (java) S 24000 24002 23968 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320947948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24014] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24014/stat : 24014 (java) S 24000 24002 23968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320946895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24015] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24015/stat : 24015 (java) S 24000 24002 23968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320945842472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24016] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24016/stat : 24016 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320944789672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24017] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24017/stat : 24017 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320826190376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24018] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24018/stat : 24018 (java) S 24000 24002 23968 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320825137576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24024] ppid=24000 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/24002/task/24024/stat : 24024 (java) S 24000 24002 23968 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 255784430 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320812727016 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24033] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24033/stat : 24033 (java) S 24000 24002 23968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320811673080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24034] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24034/stat : 24034 (java) S 24000 24002 23968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320810620680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24038] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24038/stat : 24038 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320071216016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24039] ppid=24000 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/24002/task/24039/stat : 24039 (java) S 24000 24002 23968 0 -1 4202560 2615 0 0 0 69 0 0 0 20 0 19 0 255784433 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320070162616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24040] ppid=24000 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/24002/task/24040/stat : 24040 (java) S 24000 24002 23968 0 -1 4202560 4148 0 0 0 60 0 0 0 20 0 19 0 255784433 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320069109816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24041] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24041/stat : 24041 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320068057720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24042] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24042/stat : 24042 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320067005128 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24048] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24048/stat : 24048 (java) S 24000 24002 23968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255784478 9855975424 27882 33554432000 1073741824 1073778376 140735766484592 140320065951144 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 1.02 1.10 1.44 3/213 24049
/proc/meminfo: memFree=29534364/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9624976 CPUtime=7.69 cores=0,2,4,6
/proc/24002/stat : 24002 (java) S 24000 24002 23968 0 -1 4202496 10547 0 1 0 764 5 0 0 20 0 19 0 255784426 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140735766475728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2406244 28727 2284 9 0 2396937 0
[pid=24002/tid=24008] ppid=24000 vsize=9624976 CPUtime=6.15 cores=0,2,4,6
/proc/24002/task/24008/stat : 24008 (java) R 24000 24002 23968 0 -1 4202560 2483 0 1 0 613 2 0 0 20 0 19 0 255784427 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320988561712 140320827008588 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24011] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24011/stat : 24011 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320950053672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24012] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24012/stat : 24012 (java) S 24000 24002 23968 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320949000872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24013] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24013/stat : 24013 (java) S 24000 24002 23968 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320947948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24014] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24014/stat : 24014 (java) S 24000 24002 23968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320946895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24015] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24015/stat : 24015 (java) S 24000 24002 23968 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320945842472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24016] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24016/stat : 24016 (java) S 24000 24002 23968 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320944789672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24017] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24017/stat : 24017 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320826190376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24018] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24018/stat : 24018 (java) S 24000 24002 23968 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255784428 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320825137576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24024] ppid=24000 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/24002/task/24024/stat : 24024 (java) S 24000 24002 23968 0 -1 4202560 35 0 0 0 7 0 0 0 20 0 19 0 255784430 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320812727016 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24033] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24033/stat : 24033 (java) S 24000 24002 23968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320811673080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24034] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24034/stat : 24034 (java) S 24000 24002 23968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320810620680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24038] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24038/stat : 24038 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320071216016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24039] ppid=24000 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/24002/task/24039/stat : 24039 (java) S 24000 24002 23968 0 -1 4202560 2616 0 0 0 70 0 0 0 20 0 19 0 255784433 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320070162616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24040] ppid=24000 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/24002/task/24040/stat : 24040 (java) S 24000 24002 23968 0 -1 4202560 4149 0 0 0 65 0 0 0 20 0 19 0 255784433 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320069109816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24041] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24041/stat : 24041 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320068057720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24042] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24042/stat : 24042 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320067005128 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24048] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24048/stat : 24048 (java) S 24000 24002 23968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255784478 9855975424 28727 33554432000 1073741824 1073778376 140735766484592 140320065951144 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=24002/tid=24039] ppid=24000 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/24002/task/24039/stat : 24039 (java) S 24000 24002 23968 0 -1 4202560 2616 0 0 0 72 0 0 0 20 0 19 0 255784433 9855975424 102833 33554432000 1073741824 1073778376 140735766484592 140320070162616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24040] ppid=24000 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/24002/task/24040/stat : 24040 (java) S 24000 24002 23968 0 -1 4202560 4156 0 0 0 73 0 0 0 20 0 19 0 255784433 9855975424 102833 33554432000 1073741824 1073778376 140735766484592 140320069109816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24041] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24041/stat : 24041 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 102833 33554432000 1073741824 1073778376 140735766484592 140320068057720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24042] ppid=24000 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/24002/task/24042/stat : 24042 (java) S 24000 24002 23968 0 -1 4202560 93 0 0 0 14 16 0 0 20 0 19 0 255784433 9855975424 102833 33554432000 1073741824 1073778376 140735766484592 140320067005128 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24048] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24048/stat : 24048 (java) S 24000 24002 23968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255784478 9855975424 102833 33554432000 1073741824 1073778376 140735766484592 140320065951144 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1668.53
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/213 24087
/proc/meminfo: memFree=28926488/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9624976 CPUtime=1729.78 cores=0,2,4,6
/proc/24002/stat : 24002 (java) S 24000 24002 23968 0 -1 4202496 13236 0 1 0 172928 50 0 0 20 0 19 0 255784426 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140735766475728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2406244 85457 2285 9 0 2396937 0
[pid=24002/tid=24008] ppid=24000 vsize=9624976 CPUtime=1707.44 cores=0,2,4,6
/proc/24002/task/24008/stat : 24008 (java) R 24000 24002 23968 0 -1 4202560 2705 0 1 0 170716 28 0 0 20 0 19 0 255784427 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320988560752 140320826935386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24011] ppid=24000 vsize=9624976 CPUtime=1.03 cores=0,2,4,6
/proc/24002/task/24011/stat : 24011 (java) S 24000 24002 23968 0 -1 4202560 225 0 0 0 99 4 0 0 20 0 19 0 255784428 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320950053672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24012] ppid=24000 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/24002/task/24012/stat : 24012 (java) S 24000 24002 23968 0 -1 4202560 310 0 0 0 101 3 0 0 20 0 19 0 255784428 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320949000872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24013] ppid=24000 vsize=9624976 CPUtime=1.07 cores=0,2,4,6
/proc/24002/task/24013/stat : 24013 (java) S 24000 24002 23968 0 -1 4202560 272 0 0 0 104 3 0 0 20 0 19 0 255784428 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320947948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24014] ppid=24000 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/24002/task/24014/stat : 24014 (java) S 24000 24002 23968 0 -1 4202560 312 0 0 0 102 4 0 0 20 0 19 0 255784428 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320946895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24015] ppid=24000 vsize=9624976 CPUtime=1.11 cores=0,2,4,6
/proc/24002/task/24015/stat : 24015 (java) S 24000 24002 23968 0 -1 4202560 139 0 0 0 107 4 0 0 20 0 19 0 255784428 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320945842472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24016] ppid=24000 vsize=9624976 CPUtime=1.03 cores=0,2,4,6
/proc/24002/task/24016/stat : 24016 (java) S 24000 24002 23968 0 -1 4202560 358 0 0 0 100 3 0 0 20 0 19 0 255784428 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320944789672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24017] ppid=24000 vsize=9624976 CPUtime=1.03 cores=0,2,4,6
/proc/24002/task/24017/stat : 24017 (java) S 24000 24002 23968 0 -1 4202560 267 0 0 0 99 4 0 0 20 0 19 0 255784428 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320826190376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24018] ppid=24000 vsize=9624976 CPUtime=1.01 cores=0,2,4,6
/proc/24002/task/24018/stat : 24018 (java) S 24000 24002 23968 0 -1 4202560 299 0 0 0 97 4 0 0 20 0 19 0 255784428 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320825137576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24024] ppid=24000 vsize=9624976 CPUtime=7.97 cores=0,2,4,6
/proc/24002/task/24024/stat : 24024 (java) S 24000 24002 23968 0 -1 4202560 294 0 0 0 793 4 0 0 20 0 19 0 255784430 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320812727016 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24033] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24033/stat : 24033 (java) S 24000 24002 23968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320811673080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24034] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24034/stat : 24034 (java) S 24000 24002 23968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320810620680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24038] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24038/stat : 24038 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320071216016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24039] ppid=24000 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/24002/task/24039/stat : 24039 (java) S 24000 24002 23968 0 -1 4202560 2616 0 0 0 72 0 0 0 20 0 19 0 255784433 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320070162616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24040] ppid=24000 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/24002/task/24040/stat : 24040 (java) S 24000 24002 23968 0 -1 4202560 4156 0 0 0 73 0 0 0 20 0 19 0 255784433 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320069109816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24041] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24041/stat : 24041 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320068057720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24042] ppid=24000 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/24002/task/24042/stat : 24042 (java) S 24000 24002 23968 0 -1 4202560 97 0 0 0 14 16 0 0 20 0 19 0 255784433 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320067005128 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24048] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24048/stat : 24048 (java) S 24000 24002 23968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255784478 9855975424 85457 33554432000 1073741824 1073778376 140735766484592 140320065951144 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1729.78
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/213 24087
/proc/meminfo: memFree=28947568/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9624976 CPUtime=1790.63 cores=0,2,4,6
/proc/24002/stat : 24002 (java) S 24000 24002 23968 0 -1 4202496 13267 0 1 0 179011 52 0 0 20 0 19 0 255784426 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140735766475728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2406244 80134 2285 9 0 2396937 0
[pid=24002/tid=24008] ppid=24000 vsize=9624976 CPUtime=1766.75 cores=0,2,4,6
/proc/24002/task/24008/stat : 24008 (java) R 24000 24002 23968 0 -1 4202560 2727 0 1 0 176646 29 0 0 20 0 19 0 255784427 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320988560752 140320827073685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24011] ppid=24000 vsize=9624976 CPUtime=1.21 cores=0,2,4,6
/proc/24002/task/24011/stat : 24011 (java) S 24000 24002 23968 0 -1 4202560 225 0 0 0 117 4 0 0 20 0 19 0 255784428 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320950053672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24012] ppid=24000 vsize=9624976 CPUtime=1.21 cores=0,2,4,6
/proc/24002/task/24012/stat : 24012 (java) S 24000 24002 23968 0 -1 4202560 310 0 0 0 117 4 0 0 20 0 19 0 255784428 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320949000872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24013] ppid=24000 vsize=9624976 CPUtime=1.19 cores=0,2,4,6
/proc/24002/task/24013/stat : 24013 (java) S 24000 24002 23968 0 -1 4202560 272 0 0 0 116 3 0 0 20 0 19 0 255784428 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320947948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24014] ppid=24000 vsize=9624976 CPUtime=1.21 cores=0,2,4,6
/proc/24002/task/24014/stat : 24014 (java) S 24000 24002 23968 0 -1 4202560 312 0 0 0 117 4 0 0 20 0 19 0 255784428 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320946895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24015] ppid=24000 vsize=9624976 CPUtime=1.26 cores=0,2,4,6
/proc/24002/task/24015/stat : 24015 (java) S 24000 24002 23968 0 -1 4202560 139 0 0 0 122 4 0 0 20 0 19 0 255784428 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320945842472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24016] ppid=24000 vsize=9624976 CPUtime=1.19 cores=0,2,4,6
/proc/24002/task/24016/stat : 24016 (java) S 24000 24002 23968 0 -1 4202560 358 0 0 0 116 3 0 0 20 0 19 0 255784428 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320944789672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24017] ppid=24000 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/24002/task/24017/stat : 24017 (java) S 24000 24002 23968 0 -1 4202560 267 0 0 0 112 4 0 0 20 0 19 0 255784428 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320826190376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24018] ppid=24000 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/24002/task/24018/stat : 24018 (java) S 24000 24002 23968 0 -1 4202560 299 0 0 0 112 4 0 0 20 0 19 0 255784428 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320825137576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24024] ppid=24000 vsize=9624976 CPUtime=8.15 cores=0,2,4,6
/proc/24002/task/24024/stat : 24024 (java) S 24000 24002 23968 0 -1 4202560 299 0 0 0 811 4 0 0 20 0 19 0 255784430 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320812727016 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24033] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24033/stat : 24033 (java) S 24000 24002 23968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320811673080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24034] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24034/stat : 24034 (java) S 24000 24002 23968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320810620680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24038] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24038/stat : 24038 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320071216016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24039] ppid=24000 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/24002/task/24039/stat : 24039 (java) S 24000 24002 23968 0 -1 4202560 2616 0 0 0 72 0 0 0 20 0 19 0 255784433 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320070162616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24040] ppid=24000 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/24002/task/24040/stat : 24040 (java) S 24000 24002 23968 0 -1 4202560 4156 0 0 0 73 0 0 0 20 0 19 0 255784433 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320069109816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24041] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24041/stat : 24041 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320068057720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24042] ppid=24000 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/24002/task/24042/stat : 24042 (java) S 24000 24002 23968 0 -1 4202560 101 0 0 0 14 18 0 0 20 0 19 0 255784433 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320067005128 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24048] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24048/stat : 24048 (java) S 24000 24002 23968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255784478 9855975424 80134 33554432000 1073741824 1073778376 140735766484592 140320065951144 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.6 s]
/proc/loadavg: 2.00 2.01 1.91 3/213 24087
/proc/meminfo: memFree=28947568/32873844 swapFree=7384/7384
[pid=24002] ppid=24000 vsize=9624976 CPUtime=1800.01 cores=0,2,4,6
/proc/24002/stat : 24002 (java) S 24000 24002 23968 0 -1 4202496 13271 0 1 0 179949 52 0 0 20 0 19 0 255784426 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140735766475728 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24002/statm: 2406244 80135 2285 9 0 2396937 0
[pid=24002/tid=24008] ppid=24000 vsize=9624976 CPUtime=1775.91 cores=0,2,4,6
/proc/24002/task/24008/stat : 24008 (java) R 24000 24002 23968 0 -1 4202560 2730 0 1 0 177562 29 0 0 20 0 19 0 255784427 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320988560736 140320827073715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24011] ppid=24000 vsize=9624976 CPUtime=1.22 cores=0,2,4,6
/proc/24002/task/24011/stat : 24011 (java) S 24000 24002 23968 0 -1 4202560 225 0 0 0 118 4 0 0 20 0 19 0 255784428 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320950053672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24012] ppid=24000 vsize=9624976 CPUtime=1.23 cores=0,2,4,6
/proc/24002/task/24012/stat : 24012 (java) S 24000 24002 23968 0 -1 4202560 310 0 0 0 119 4 0 0 20 0 19 0 255784428 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320949000872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24013] ppid=24000 vsize=9624976 CPUtime=1.2 cores=0,2,4,6
/proc/24002/task/24013/stat : 24013 (java) S 24000 24002 23968 0 -1 4202560 272 0 0 0 117 3 0 0 20 0 19 0 255784428 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320947948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24014] ppid=24000 vsize=9624976 CPUtime=1.22 cores=0,2,4,6
/proc/24002/task/24014/stat : 24014 (java) S 24000 24002 23968 0 -1 4202560 312 0 0 0 118 4 0 0 20 0 19 0 255784428 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320946895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24015] ppid=24000 vsize=9624976 CPUtime=1.27 cores=0,2,4,6
/proc/24002/task/24015/stat : 24015 (java) S 24000 24002 23968 0 -1 4202560 139 0 0 0 123 4 0 0 20 0 19 0 255784428 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320945842472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24016] ppid=24000 vsize=9624976 CPUtime=1.2 cores=0,2,4,6
/proc/24002/task/24016/stat : 24016 (java) S 24000 24002 23968 0 -1 4202560 358 0 0 0 117 3 0 0 20 0 19 0 255784428 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320944789672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24017] ppid=24000 vsize=9624976 CPUtime=1.19 cores=0,2,4,6
/proc/24002/task/24017/stat : 24017 (java) S 24000 24002 23968 0 -1 4202560 267 0 0 0 115 4 0 0 20 0 19 0 255784428 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320826190376 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24018] ppid=24000 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/24002/task/24018/stat : 24018 (java) S 24000 24002 23968 0 -1 4202560 299 0 0 0 112 4 0 0 20 0 19 0 255784428 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320825137576 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24024] ppid=24000 vsize=9624976 CPUtime=8.24 cores=0,2,4,6
/proc/24002/task/24024/stat : 24024 (java) S 24000 24002 23968 0 -1 4202560 300 0 0 0 820 4 0 0 20 0 19 0 255784430 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320812727016 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24033] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24033/stat : 24033 (java) S 24000 24002 23968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320811673080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24034] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24034/stat : 24034 (java) S 24000 24002 23968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255784430 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320810620680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24038] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24038/stat : 24038 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320071216016 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24039] ppid=24000 vsize=9624976 CPUtime=0.72 cores=0,2,4,6
/proc/24002/task/24039/stat : 24039 (java) S 24000 24002 23968 0 -1 4202560 2616 0 0 0 72 0 0 0 20 0 19 0 255784433 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320070162616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24002/tid=24040] ppid=24000 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/24002/task/24040/stat : 24040 (java) S 24000 24002 23968 0 -1 4202560 4156 0 0 0 73 0 0 0 20 0 19 0 255784433 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320069109816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24002/tid=24041] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24041/stat : 24041 (java) S 24000 24002 23968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255784433 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320068057720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24002/tid=24042] ppid=24000 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/24002/task/24042/stat : 24042 (java) S 24000 24002 23968 0 -1 4202560 101 0 0 0 14 18 0 0 20 0 19 0 255784433 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320067005128 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24002/tid=24048] ppid=24000 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24002/task/24048/stat : 24048 (java) S 24000 24002 23968 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255784478 9855975424 80135 33554432000 1073741824 1073778376 140735766484592 140320065951144 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

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

Real time (s): 1791.67
CPU time (s): 1800.01
CPU user time (s): 1799.49
CPU system time (s): 0.52
CPU usage (%): 100.465
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.04
system time used= 0.950855
maximum resident set size= 446364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13304
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44097
involuntary context switches= 18626

runsolver used 6.55 second user time and 13.045 second system time

The end

Launcher Data 

Begin job on node136 at 2012-05-24 23:56:30
IDJOB=3690157
IDBENCH=92735
IDSOLVER=2269
FILE ID=node136/3690157-1337896590
RUNJOBID= node136-1337896590-23984
PBS_JOBID= 14620109
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690157-1337896590/watcher-3690157-1337896590 -o /tmp/evaluation-result-3690157-1337896590/solver-3690157-1337896590 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3690157-1337896590.opb

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

MD5SUM BENCH= 20017986f9960b1d860bf846232b7a22
RANDOM SEED=1070471004

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29813868 kB
Buffers:          296808 kB
Cached:          1964488 kB
SwapCached:        24460 kB
Active:           608288 kB
Inactive:        1685976 kB
Active(anon):       7908 kB
Inactive(anon):    25096 kB
Active(file):     600380 kB
Inactive(file):  1660880 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67079072 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:         12084 kB
Mapped:             8860 kB
Shmem:                 0 kB
Slab:             627928 kB
SReclaimable:      69572 kB
SUnreclaim:       558356 kB
KernelStack:        1384 kB
PageTables:         4248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     108496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node136 at 2012-05-25 00:26:23