Trace number 3710379

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO) 1800.03 1791.77

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.06/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.07	c See www.sat4j.org for details.
0.06/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3710379-1338253671.opb
0.10/0.12	c reading problem ... 
0.82/0.45	c ... done. Wall clock time 0.338s.
0.82/0.45	c declared #vars     5100
0.82/0.45	c #constraints  12510
0.82/0.45	c constraints type 
0.82/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
0.82/0.45	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
0.82/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
0.82/0.45	c ignored satisfied constraints => 2
0.82/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
0.82/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.82/0.45	c 12512 constraints processed.
1.12/0.54	c SATISFIABLE
1.12/0.54	c OPTIMIZING...
1.12/0.54	c Got one! Elapsed wall clock time (in seconds):0.428
1.12/0.55	o 557028891
1.42/0.62	c Got one! Elapsed wall clock time (in seconds):0.503
1.42/0.62	o 556494725
3.92/2.89	c Got one! Elapsed wall clock time (in seconds):2.775
3.92/2.89	o 379750931
4.81/3.63	c cleaning 2505 clauses out of 5010 with flag 2001/5010
7.14/5.97	c Got one! Elapsed wall clock time (in seconds):5.85
7.14/5.97	o 299346029
7.14/5.98	c Got one! Elapsed wall clock time (in seconds):5.861
7.14/5.98	o 283273157
7.14/5.99	c Got one! Elapsed wall clock time (in seconds):5.872
7.14/5.99	o 260516391
7.82/6.59	c cleaning 4069 clauses out of 8147 with flag 1002/10652
9.33/8.08	c cleaning 5032 clauses out of 10074 with flag 7000/16650
10.25/8.99	c Got one! Elapsed wall clock time (in seconds):8.878
10.25/8.99	o 259785559
10.56/9.28	c cleaning 5404 clauses out of 10817 with flag 1000/22425
14.17/12.32	c cleaning 5699 clauses out of 11414 with flag 7001/28426
16.75/14.56	c cleaning 6352 clauses out of 12715 with flag 14001/35426
20.87/18.64	c cleaning 7171 clauses out of 14364 with flag 22002/43427
24.07/21.84	c cleaning 8089 clauses out of 16191 with flag 31000/52425
26.68/24.44	c cleaning 9046 clauses out of 18102 with flag 41000/62425
30.39/28.19	c cleaning 10021 clauses out of 20057 with flag 52001/73426
31.21/28.95	c Got one! Elapsed wall clock time (in seconds):28.832
31.21/28.95	o 251174057
31.92/29.64	c Got one! Elapsed wall clock time (in seconds):29.519
31.92/29.64	o 192622899
33.02/30.71	c cleaning 7674 clauses out of 15351 with flag 2000/78741
33.14/30.85	c Got one! Elapsed wall clock time (in seconds):30.737
33.14/30.85	o 80957665
34.85/32.51	c cleaning 6425 clauses out of 12878 with flag 5002/83953
36.56/34.22	c cleaning 6224 clauses out of 12453 with flag 11003/89954
37.76/35.43	c cleaning 6604 clauses out of 13226 with flag 18000/96951
38.96/36.60	c cleaning 7309 clauses out of 14623 with flag 26002/104953
40.07/37.77	c cleaning 8156 clauses out of 16314 with flag 35002/113953
43.00/40.69	c cleaning 9058 clauses out of 18125 with flag 45001/123952
44.39/42.04	c Got one! Elapsed wall clock time (in seconds):41.925
44.39/42.04	o 39783647
44.69/42.39	c cleaning 7198 clauses out of 14418 with flag 2002/129306
46.40/44.06	c cleaning 6602 clauses out of 13216 with flag 8003/135307
49.61/47.26	c cleaning 6801 clauses out of 13609 with flag 15002/142306
51.31/48.95	c cleaning 7401 clauses out of 14807 with flag 23001/150305
53.03/50.68	c cleaning 8192 clauses out of 16402 with flag 32002/159306
54.43/52.07	c cleaning 9094 clauses out of 18209 with flag 42001/169305
55.47/53.03	c Got one! Elapsed wall clock time (in seconds):52.917
55.47/53.03	o 38032537
56.27/53.86	c Got one! Elapsed wall clock time (in seconds):53.748
56.27/53.86	o 35548713
56.48/54.07	c Got one! Elapsed wall clock time (in seconds):53.952
56.48/54.07	o 17152963
57.68/55.26	c cleaning 9831 clauses out of 19663 with flag 3001/180562
58.91/56.40	c cleaning 7897 clauses out of 15806 with flag 9001/186562
59.82/57.37	c cleaning 7448 clauses out of 14907 with flag 16000/193561
60.14/57.65	c Got one! Elapsed wall clock time (in seconds):57.529
60.14/57.65	o 12462789
60.24/57.73	c Got one! Elapsed wall clock time (in seconds):57.616
60.24/57.73	o 12462755
61.04/58.59	c cleaning 6737 clauses out of 13490 with flag 4000/199638
62.54/60.08	c cleaning 6371 clauses out of 12753 with flag 10000/205638
65.95/63.40	c cleaning 6684 clauses out of 13384 with flag 17002/212640
68.16/65.66	c cleaning 7342 clauses out of 14695 with flag 25001/220639
69.46/66.92	c cleaning 8167 clauses out of 16352 with flag 34000/229638
70.78/68.28	c cleaning 9087 clauses out of 18185 with flag 44001/239639
72.29/69.73	c cleaning 10040 clauses out of 20098 with flag 55001/250639
73.80/71.29	c cleaning 11021 clauses out of 22059 with flag 67002/262640
77.00/74.48	c Got one! Elapsed wall clock time (in seconds):74.367
77.00/74.48	o 12459873
77.24/74.63	c Got one! Elapsed wall clock time (in seconds):74.519
77.24/74.63	o 12450095
78.34/75.79	c cleaning 14468 clauses out of 28940 with flag 5000/280641
79.26/76.63	c cleaning 10230 clauses out of 20472 with flag 11000/286641
80.38/77.79	c cleaning 8613 clauses out of 17242 with flag 18001/293642
81.90/79.29	c cleaning 8308 clauses out of 16628 with flag 26000/301641
83.44/80.78	c cleaning 8654 clauses out of 17325 with flag 35005/310646
85.16/82.43	c cleaning 9324 clauses out of 18664 with flag 45001/320642
87.18/84.44	c cleaning 10167 clauses out of 20333 with flag 56001/331642
88.78/86.09	c cleaning 11071 clauses out of 22165 with flag 68000/343641
90.71/87.93	c cleaning 12037 clauses out of 24094 with flag 81000/356641
91.42/88.64	c Got one! Elapsed wall clock time (in seconds):88.522
91.42/88.64	o 10132601
91.72/88.92	c cleaning 8742 clauses out of 17495 with flag 1000/362129
92.53/89.72	c cleaning 7369 clauses out of 14753 with flag 7000/368129
93.43/90.64	c cleaning 7183 clauses out of 14385 with flag 14001/375130
94.53/91.73	c cleaning 7592 clauses out of 15201 with flag 22000/383129
95.73/92.97	c cleaning 8296 clauses out of 16610 with flag 31001/392130
97.14/94.36	c cleaning 9145 clauses out of 18314 with flag 41001/402130
99.54/96.78	c cleaning 10052 clauses out of 20133 with flag 52003/413132
102.44/99.61	c cleaning 11026 clauses out of 22062 with flag 64002/425131
104.15/101.31	c cleaning 12008 clauses out of 24032 with flag 77000/438129
106.46/103.66	c cleaning 13002 clauses out of 26023 with flag 91001/452130
109.06/106.26	c cleaning 13998 clauses out of 28010 with flag 106001/467130
111.17/108.36	c cleaning 14996 clauses out of 30008 with flag 122001/483130
113.57/110.75	c cleaning 15998 clauses out of 32011 with flag 139000/500129
116.48/113.69	c cleaning 16971 clauses out of 33969 with flag 157000/518129
119.49/116.63	c cleaning 17983 clauses out of 35999 with flag 176001/537130
122.50/119.67	c cleaning 18996 clauses out of 38014 with flag 196000/557129
125.72/122.86	c cleaning 19996 clauses out of 40018 with flag 217000/578129
129.14/126.22	c cleaning 20992 clauses out of 42022 with flag 239000/600129
132.16/129.26	c Got one! Elapsed wall clock time (in seconds):129.14
132.16/129.26	o 8948005
134.36/131.46	c cleaning 21947 clauses out of 43894 with flag 5000/623069
135.78/132.88	c cleaning 13957 clauses out of 27933 with flag 11001/629070
138.21/135.26	c cleaning 10477 clauses out of 20977 with flag 18002/636071
140.14/137.19	c cleaning 9233 clauses out of 18488 with flag 26000/644069
141.45/138.50	c cleaning 9117 clauses out of 18255 with flag 35000/653069
142.97/139.93	c cleaning 9561 clauses out of 19139 with flag 45001/663070
144.39/141.39	c cleaning 10283 clauses out of 20578 with flag 56001/674070
146.10/143.03	c cleaning 11137 clauses out of 22291 with flag 68001/686070
147.90/144.83	c cleaning 12071 clauses out of 24154 with flag 81001/699070
149.82/146.79	c cleaning 13032 clauses out of 26083 with flag 95001/713070
151.84/148.77	c cleaning 14014 clauses out of 28050 with flag 110000/728069
152.34/149.26	c Got one! Elapsed wall clock time (in seconds):149.141
152.34/149.26	o 7021151
152.64/149.53	c cleaning 9765 clauses out of 19545 with flag 2001/733579
153.45/150.31	c cleaning 7884 clauses out of 15779 with flag 8000/739578
154.35/151.24	c cleaning 7439 clauses out of 14896 with flag 15001/746579
155.47/152.37	c cleaning 7720 clauses out of 15448 with flag 23001/754579
156.91/153.75	c cleaning 8355 clauses out of 16727 with flag 32000/763578
158.41/155.21	c cleaning 9181 clauses out of 18373 with flag 42001/773579
160.03/156.80	c cleaning 10091 clauses out of 20193 with flag 53002/784580
161.83/158.60	c cleaning 11044 clauses out of 22100 with flag 65000/796578
163.64/160.49	c cleaning 12021 clauses out of 24056 with flag 78000/809578
165.74/162.58	c cleaning 12997 clauses out of 26014 with flag 92000/823578
168.04/164.81	c cleaning 14002 clauses out of 28018 with flag 107001/838579
170.37/167.19	c cleaning 14998 clauses out of 30015 with flag 123000/854578
173.08/169.80	c cleaning 16000 clauses out of 32017 with flag 140000/871578
175.92/172.70	c cleaning 17001 clauses out of 34017 with flag 158000/889578
179.12/175.82	c cleaning 18000 clauses out of 36016 with flag 177000/908578
182.24/178.94	c cleaning 18975 clauses out of 37949 with flag 197000/928578
186.75/183.42	c cleaning 19966 clauses out of 39951 with flag 218000/949578
190.45/187.19	c cleaning 20974 clauses out of 41962 with flag 240000/971578
194.86/191.53	c cleaning 21985 clauses out of 43984 with flag 263001/994579
198.48/195.15	c cleaning 22995 clauses out of 45994 with flag 287000/1018578
202.20/198.89	c cleaning 23994 clauses out of 47999 with flag 312000/1043578
206.60/203.26	c cleaning 24932 clauses out of 49893 with flag 338000/1069578
210.63/207.24	c cleaning 25967 clauses out of 51961 with flag 365000/1096578
214.75/211.35	c cleaning 26984 clauses out of 53989 with flag 393000/1124578
218.77/215.38	c cleaning 27993 clauses out of 56006 with flag 422001/1153579
223.17/219.72	c cleaning 28994 clauses out of 58012 with flag 452000/1183578
227.68/224.22	c cleaning 30003 clauses out of 60018 with flag 483000/1214578
232.29/228.86	c cleaning 30997 clauses out of 62016 with flag 515001/1246579
236.79/233.36	c cleaning 31999 clauses out of 64020 with flag 548002/1279580
241.70/238.23	c cleaning 33001 clauses out of 66019 with flag 582000/1313578
247.12/243.66	c cleaning 33994 clauses out of 68018 with flag 617000/1348578
252.23/248.74	c Got one! Elapsed wall clock time (in seconds):248.622
252.23/248.74	o 6887069
253.53/250.09	c cleaning 33840 clauses out of 67697 with flag 5001/1382253
254.49/250.95	c cleaning 19915 clauses out of 39856 with flag 11000/1388252
255.60/252.00	c cleaning 13458 clauses out of 26941 with flag 18000/1395252
256.71/253.12	c cleaning 10733 clauses out of 21483 with flag 26000/1403252
257.82/254.28	c cleaning 9864 clauses out of 19750 with flag 35000/1412252
259.24/255.62	c cleaning 9939 clauses out of 19887 with flag 45001/1422253
260.65/257.08	c cleaning 10469 clauses out of 20948 with flag 56001/1433253
262.35/258.72	c cleaning 11228 clauses out of 22478 with flag 68000/1445252
264.06/260.46	c cleaning 12116 clauses out of 24250 with flag 81000/1458252
265.98/262.37	c cleaning 13055 clauses out of 26134 with flag 95000/1472252
267.90/264.22	c cleaning 14031 clauses out of 28080 with flag 110001/1487253
274.60/270.96	c cleaning 15017 clauses out of 30053 with flag 126005/1503257
285.93/282.23	c cleaning 16010 clauses out of 32033 with flag 143002/1520254
297.91/294.11	c cleaning 17011 clauses out of 34031 with flag 161010/1538262
310.86/307.06	c cleaning 17995 clauses out of 36013 with flag 180003/1557255
315.30/311.43	c cleaning 18998 clauses out of 38015 with flag 200000/1577252
318.24/314.31	c cleaning 19996 clauses out of 40018 with flag 221001/1598253
321.35/317.42	c cleaning 21002 clauses out of 42021 with flag 243000/1620252
324.87/320.99	c cleaning 21997 clauses out of 44019 with flag 266000/1643252
328.58/324.66	c cleaning 23001 clauses out of 46023 with flag 290001/1667253
331.99/328.02	c cleaning 23999 clauses out of 48021 with flag 315000/1692252
335.50/331.57	c cleaning 24999 clauses out of 50022 with flag 341000/1718252
339.30/335.40	c cleaning 25998 clauses out of 52023 with flag 368000/1745252
343.42/339.40	c cleaning 27003 clauses out of 54025 with flag 396000/1773252
347.65/343.64	c cleaning 27998 clauses out of 56023 with flag 425001/1802253
351.68/347.60	c cleaning 29000 clauses out of 58025 with flag 455001/1832253
355.88/351.90	c cleaning 30001 clauses out of 60024 with flag 486000/1863252
360.70/356.63	c cleaning 30999 clauses out of 62024 with flag 518001/1895253
365.51/361.42	c cleaning 32004 clauses out of 64025 with flag 551001/1928253
370.63/366.53	c cleaning 33003 clauses out of 66021 with flag 585001/1962253
375.85/371.74	c cleaning 34000 clauses out of 68017 with flag 620000/1997252
381.46/377.31	c cleaning 35003 clauses out of 70017 with flag 656000/2033252
382.08/377.95	c Got one! Elapsed wall clock time (in seconds):377.837
382.08/377.95	o 6885251
382.68/378.53	c cleaning 20037 clauses out of 40085 with flag 1002/2038323
383.91/379.75	c cleaning 13001 clauses out of 26041 with flag 7000/2044321
384.94/380.72	c cleaning 10011 clauses out of 20040 with flag 14000/2051321
386.64/382.40	c cleaning 9001 clauses out of 18024 with flag 22001/2059322
388.47/384.20	c cleaning 8998 clauses out of 18023 with flag 31001/2068322
389.88/385.62	c cleaning 9506 clauses out of 19025 with flag 41001/2078322
391.39/387.18	c cleaning 10247 clauses out of 20518 with flag 52000/2089321
393.09/388.83	c cleaning 11125 clauses out of 22271 with flag 64000/2101321
394.89/390.60	c cleaning 12061 clauses out of 24146 with flag 77000/2114321
396.69/392.42	c cleaning 13031 clauses out of 26085 with flag 91000/2128321
398.60/394.32	c cleaning 14019 clauses out of 28055 with flag 106001/2143322
400.62/396.33	c cleaning 15008 clauses out of 30036 with flag 122001/2159322
402.83/398.60	c cleaning 16009 clauses out of 32021 with flag 139001/2176322
405.35/401.00	c cleaning 16997 clauses out of 34012 with flag 157001/2194322
407.75/403.49	c cleaning 17999 clauses out of 36016 with flag 176002/2213323
410.69/406.36	c cleaning 18994 clauses out of 38015 with flag 196000/2233321
413.51/409.16	c cleaning 19992 clauses out of 40021 with flag 217000/2254321
416.54/412.19	c cleaning 20998 clauses out of 42030 with flag 239001/2276322
419.84/415.40	c cleaning 21998 clauses out of 44031 with flag 262000/2299321
423.14/418.77	c cleaning 22996 clauses out of 46034 with flag 286001/2323322
427.76/423.40	c cleaning 24011 clauses out of 48038 with flag 311001/2348322
431.49/427.08	c cleaning 25002 clauses out of 50026 with flag 337000/2374321
435.53/431.02	c cleaning 26003 clauses out of 52024 with flag 364000/2401321
439.86/435.31	c cleaning 27005 clauses out of 54021 with flag 392000/2429321
444.16/439.69	c cleaning 27999 clauses out of 56016 with flag 421000/2458321
448.38/443.87	c cleaning 28997 clauses out of 58018 with flag 451001/2488322
452.59/448.09	c cleaning 29996 clauses out of 60021 with flag 482001/2519322
456.99/452.47	c cleaning 30999 clauses out of 62025 with flag 514001/2551322
461.59/457.01	c cleaning 31994 clauses out of 64026 with flag 547001/2584322
466.10/461.50	c cleaning 33001 clauses out of 66032 with flag 581001/2618322
471.10/466.57	c cleaning 34001 clauses out of 68030 with flag 616000/2653321
476.42/471.83	c cleaning 35005 clauses out of 70030 with flag 652001/2689322
490.24/485.66	c cleaning 35998 clauses out of 72026 with flag 689002/2726323
501.57/496.96	c cleaning 37006 clauses out of 74026 with flag 727000/2764321
513.80/509.11	c cleaning 37999 clauses out of 76020 with flag 766000/2803321
526.12/521.48	c cleaning 38999 clauses out of 78021 with flag 806000/2843321
537.52/532.87	c cleaning 40001 clauses out of 80024 with flag 847002/2884323
552.58/547.89	c cleaning 40997 clauses out of 82022 with flag 889001/2926322
566.79/562.06	c cleaning 41999 clauses out of 84025 with flag 932001/2969322
580.12/575.39	c cleaning 43003 clauses out of 86025 with flag 976000/3013321
589.64/584.88	c cleaning 43997 clauses out of 88022 with flag 1021000/3058321
596.05/591.29	c cleaning 45000 clauses out of 90025 with flag 1067000/3104321
602.66/597.81	c cleaning 46002 clauses out of 92025 with flag 1114000/3151321
609.59/604.70	c cleaning 46998 clauses out of 94023 with flag 1162000/3199321
616.31/611.46	c cleaning 48002 clauses out of 96025 with flag 1211000/3248321
623.53/618.62	c cleaning 48996 clauses out of 98024 with flag 1261001/3298322
630.47/625.51	c cleaning 50005 clauses out of 100027 with flag 1312000/3349321
638.41/633.47	c cleaning 50998 clauses out of 102023 with flag 1364001/3401322
646.35/641.39	c cleaning 52002 clauses out of 104024 with flag 1417000/3454321
654.09/649.01	c cleaning 53000 clauses out of 106023 with flag 1471001/3508322
661.90/656.85	c cleaning 53997 clauses out of 108022 with flag 1526000/3563321
670.43/665.35	c cleaning 55002 clauses out of 110025 with flag 1582000/3619321
679.26/674.11	c cleaning 55999 clauses out of 112023 with flag 1639000/3676321
687.18/682.04	c cleaning 56999 clauses out of 114025 with flag 1697001/3734322
695.81/690.68	c cleaning 57995 clauses out of 116025 with flag 1756000/3793321
705.43/700.22	c cleaning 58999 clauses out of 118030 with flag 1816000/3853321
715.07/709.89	c cleaning 60004 clauses out of 120031 with flag 1877000/3914321
724.78/719.55	c cleaning 61000 clauses out of 122027 with flag 1939000/3976321
734.12/728.87	c cleaning 62004 clauses out of 124027 with flag 2002000/4039321
742.95/737.63	c cleaning 63004 clauses out of 126024 with flag 2066001/4103322
752.46/747.11	c cleaning 64004 clauses out of 128019 with flag 2131000/4168321
763.10/757.76	c cleaning 64997 clauses out of 130015 with flag 2197000/4234321
774.02/768.66	c cleaning 65999 clauses out of 132018 with flag 2264000/4301321
785.57/780.13	c cleaning 66998 clauses out of 134019 with flag 2332000/4369321
797.31/791.83	c cleaning 68001 clauses out of 136021 with flag 2401000/4438321
808.82/803.34	c cleaning 69000 clauses out of 138020 with flag 2471000/4508321
821.22/815.76	c cleaning 69998 clauses out of 140020 with flag 2542000/4579321
831.86/826.33	c cleaning 70997 clauses out of 142023 with flag 2614001/4651322
844.98/839.49	c cleaning 71995 clauses out of 144025 with flag 2687000/4724321
856.23/850.68	c cleaning 72997 clauses out of 146031 with flag 2761001/4798322
859.18/853.55	c Got one! Elapsed wall clock time (in seconds):853.436
859.18/853.55	o 6881371
860.07/854.40	c cleaning 49151 clauses out of 98323 with flag 5000/4823611
860.89/855.23	c cleaning 27576 clauses out of 55173 with flag 11001/4829612
861.80/856.16	c cleaning 17289 clauses out of 34596 with flag 18000/4836611
862.92/857.23	c cleaning 12637 clauses out of 25308 with flag 26001/4844612
864.14/858.41	c cleaning 10819 clauses out of 21670 with flag 35000/4853611
865.46/859.73	c cleaning 10409 clauses out of 20852 with flag 45001/4863612
866.87/861.18	c cleaning 10709 clauses out of 21442 with flag 56000/4874611
868.57/862.81	c cleaning 11354 clauses out of 22733 with flag 68000/4886611
870.29/864.58	c cleaning 12178 clauses out of 24380 with flag 81001/4899612
872.18/866.47	c cleaning 13088 clauses out of 26202 with flag 95001/4913612
874.29/868.54	c cleaning 14052 clauses out of 28113 with flag 110000/4928611
876.50/870.75	c cleaning 15018 clauses out of 30061 with flag 126000/4944611
878.91/873.15	c cleaning 16009 clauses out of 32043 with flag 143000/4961611
881.82/876.09	c cleaning 17008 clauses out of 34034 with flag 161000/4979611
885.25/879.42	c cleaning 18006 clauses out of 36028 with flag 180002/4998613
888.77/882.91	c cleaning 18999 clauses out of 38020 with flag 200000/5018611
892.48/886.62	c cleaning 20006 clauses out of 40023 with flag 221002/5039613
896.31/890.48	c cleaning 20997 clauses out of 42016 with flag 243001/5061612
900.33/894.41	c cleaning 21996 clauses out of 44021 with flag 266003/5084614
904.44/898.58	c cleaning 23000 clauses out of 46024 with flag 290002/5108613
908.84/902.98	c cleaning 24002 clauses out of 48023 with flag 315001/5133612
913.36/907.48	c cleaning 24998 clauses out of 50021 with flag 341001/5159612
918.26/912.34	c cleaning 25996 clauses out of 52023 with flag 368001/5186612
921.97/916.01	c cleaning 27006 clauses out of 54026 with flag 396000/5214611
926.09/920.15	c cleaning 27998 clauses out of 56021 with flag 425001/5243612
930.22/924.28	c cleaning 29004 clauses out of 58022 with flag 455000/5273611
934.72/928.77	c cleaning 29999 clauses out of 60018 with flag 486000/5304611
939.34/933.37	c cleaning 31001 clauses out of 62020 with flag 518001/5336612
944.25/938.27	c cleaning 31995 clauses out of 64018 with flag 551000/5369611
948.96/942.95	c cleaning 33003 clauses out of 66023 with flag 585000/5403611
953.98/947.94	c cleaning 34001 clauses out of 68020 with flag 620000/5438611
959.18/953.11	c cleaning 35000 clauses out of 70021 with flag 656002/5474613
964.52/958.41	c cleaning 35995 clauses out of 72020 with flag 693001/5511612
972.23/966.10	c cleaning 37004 clauses out of 74024 with flag 731000/5549611
978.65/972.54	c cleaning 38001 clauses out of 76020 with flag 770000/5588611
984.87/978.71	c cleaning 39003 clauses out of 78020 with flag 810001/5628612
991.08/984.98	c cleaning 39995 clauses out of 80018 with flag 851002/5669613
997.59/991.49	c cleaning 41000 clauses out of 82021 with flag 893000/5711611
1004.50/998.31	c cleaning 42002 clauses out of 84021 with flag 936000/5754611
1011.51/1005.31	c cleaning 43005 clauses out of 86019 with flag 980000/5798611
1018.63/1012.43	c cleaning 43998 clauses out of 88015 with flag 1025001/5843612
1026.15/1019.98	c cleaning 45002 clauses out of 90017 with flag 1071001/5889612
1034.06/1027.88	c cleaning 45995 clauses out of 92015 with flag 1118001/5936612
1042.08/1035.84	c cleaning 47002 clauses out of 94019 with flag 1166000/5984611
1049.29/1043.06	c cleaning 48002 clauses out of 96018 with flag 1215001/6033612
1056.32/1050.04	c cleaning 49001 clauses out of 98015 with flag 1265000/6083611
1064.76/1058.40	c cleaning 50001 clauses out of 100015 with flag 1316001/6134612
1073.37/1067.08	c cleaning 50997 clauses out of 102014 with flag 1368001/6186612
1082.29/1075.91	c cleaning 52001 clauses out of 104016 with flag 1421000/6239611
1091.42/1085.03	c cleaning 53001 clauses out of 106015 with flag 1475000/6293611
1100.67/1094.29	c cleaning 53999 clauses out of 108014 with flag 1530000/6348611
1110.18/1103.73	c cleaning 54998 clauses out of 110016 with flag 1586001/6404612
1119.58/1113.12	c cleaning 55999 clauses out of 112018 with flag 1643001/6461612
1129.28/1122.82	c cleaning 56999 clauses out of 114018 with flag 1701000/6519611
1139.40/1132.93	c cleaning 58001 clauses out of 116019 with flag 1760000/6578611
1149.43/1142.98	c cleaning 58995 clauses out of 118020 with flag 1820002/6638613
1159.75/1153.28	c cleaning 60000 clauses out of 120023 with flag 1881000/6699611
1170.70/1164.17	c cleaning 61001 clauses out of 122023 with flag 1943000/6761611
1191.33/1184.77	c cleaning 62005 clauses out of 124026 with flag 2006004/6824615
1200.72/1194.04	c cleaning 62995 clauses out of 126017 with flag 2070000/6888611
1231.44/1224.73	c cleaning 64002 clauses out of 128024 with flag 2135002/6953613
1244.90/1238.19	c cleaning 64994 clauses out of 130020 with flag 2201000/7019611
1254.76/1247.90	c cleaning 65999 clauses out of 132026 with flag 2268000/7086611
1265.39/1258.56	c cleaning 67005 clauses out of 134027 with flag 2336000/7154611
1275.92/1269.01	c cleaning 67999 clauses out of 136023 with flag 2405001/7223612
1290.76/1283.86	c cleaning 69002 clauses out of 138023 with flag 2475000/7293611
1305.77/1298.83	c cleaning 69999 clauses out of 140022 with flag 2546001/7364612
1320.62/1313.64	c cleaning 71001 clauses out of 142022 with flag 2618000/7436611
1330.88/1323.89	c cleaning 71995 clauses out of 144022 with flag 2691001/7509612
1343.21/1336.14	c cleaning 72999 clauses out of 146026 with flag 2765000/7583611
1355.64/1348.51	c cleaning 74000 clauses out of 148027 with flag 2840000/7658611
1368.35/1361.21	c cleaning 75001 clauses out of 150028 with flag 2916001/7734612
1379.46/1372.36	c cleaning 76001 clauses out of 152026 with flag 2993000/7811611
1392.70/1385.52	c cleaning 76992 clauses out of 154025 with flag 3071000/7889611
1405.34/1398.19	c cleaning 78000 clauses out of 156034 with flag 3150001/7968612
1418.38/1411.16	c cleaning 78999 clauses out of 158033 with flag 3230000/8048611
1431.73/1424.45	c cleaning 80001 clauses out of 160035 with flag 3311001/8129612
1445.14/1437.85	c cleaning 80995 clauses out of 162033 with flag 3393000/8211611
1457.38/1450.03	c cleaning 82004 clauses out of 164038 with flag 3476000/8294611
1470.30/1462.97	c cleaning 83003 clauses out of 166034 with flag 3560000/8378611
1484.52/1477.13	c cleaning 83999 clauses out of 168031 with flag 3645000/8463611
1499.27/1491.81	c cleaning 85003 clauses out of 170033 with flag 3731001/8549612
1514.40/1507.00	c cleaning 86002 clauses out of 172030 with flag 3818001/8636612
1529.95/1522.49	c cleaning 86998 clauses out of 174027 with flag 3906000/8724611
1545.80/1538.25	c cleaning 88000 clauses out of 176029 with flag 3995000/8813611
1559.72/1552.14	c cleaning 89005 clauses out of 178030 with flag 4085001/8903612
1574.96/1567.31	c cleaning 90001 clauses out of 180024 with flag 4176000/8994611
1592.30/1584.63	c cleaning 91007 clauses out of 182024 with flag 4268001/9086612
1613.25/1605.59	c cleaning 92000 clauses out of 184016 with flag 4361000/9179611
1648.61/1640.87	c cleaning 92999 clauses out of 186017 with flag 4455001/9273612
1690.96/1682.97	c cleaning 94005 clauses out of 188018 with flag 4550001/9368612
1717.61/1709.54	c cleaning 94999 clauses out of 190013 with flag 4646001/9464612
1739.94/1731.85	c cleaning 95996 clauses out of 192013 with flag 4743000/9561611
1763.02/1754.82	c cleaning 97000 clauses out of 194017 with flag 4841000/9659611
1785.88/1777.65	c cleaning 97998 clauses out of 196019 with flag 4940002/9758613
1800.03/1791.71	c starts		: 324
1800.03/1791.71	c conflicts		: 9833505
1800.03/1791.71	c decisions		: 10729158
1800.03/1791.71	c propagations		: 211621903
1800.03/1791.71	c inspects		: 4672680008
1800.03/1791.71	c shortcuts		: 0
1800.03/1791.71	c learnt literals	: 352
1800.03/1791.71	c learnt binary clauses	: 292
1800.03/1791.71	c learnt ternary clauses	: 659
1800.03/1791.71	c learnt constraints	: 9833153
1800.03/1791.71	c ignored constraints	: 0
1800.03/1791.71	c root simplifications	: 676
1800.03/1791.71	c removed literals (reason simplification)	: 733083230
1800.03/1791.71	c reason swapping (by a shorter reason)	: 0
1800.03/1791.71	c Calls to reduceDB	: 300
1800.03/1791.71	c number of reductions to clauses (during analyze)	: 0
1800.03/1791.71	c number of learned constraints concerned by reduction	: 0
1800.03/1791.71	c number of learning phase by resolution	: 0
1800.03/1791.71	c number of learning phase by cutting planes	: 0
1800.03/1791.71	c speed (assignments/second)	: 118142.49378783337
1800.03/1791.71	c non guided choices	5651
1800.03/1791.74	c learnt constraints type 
1800.03/1791.74	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 205
1800.03/1791.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 172830
1800.03/1791.74	c constraints type 
1800.03/1791.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1800.03/1791.74	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.03/1791.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.03/1791.74	c ignored satisfied constraints => 2
1800.03/1791.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1800.03/1791.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376
1800.03/1791.74	c 12513 constraints processed.
1800.03/1791.74	s SATISFIABLE
1800.03/1791.75	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 x2001 x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 x2016 -x2017 x2018 -x2019 x2020 -x2021 -x2022 x2023 -x2024 -x2025 x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 x2045 -x2046 x2047 -x2048 x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 x2310 -x2311 x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 x2339 x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 -x2347 x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 x2461 -x2462 x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 x2474 x2475 -x2476 -x2477 -x2478 -x2479 x2480 x2481 -x2482 -x2483 x2484 -x2485 x2486 -x2487 x2488 -x2489 -x2490 x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -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.03/1791.75	c objective function=6881371
1800.03/1791.75	c Total wall clock time (in seconds): 1791.637

Verifier Data 

OK	6881371

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-3710379-1338253671/watcher-3710379-1338253671 -o /tmp/evaluation-result-3710379-1338253671/solver-3710379-1338253671 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710379-1338253671.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: 1.97 2.00 2.00 3/193 1628
/proc/meminfo: memFree=29270212/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/1628/stat : 1628 (java) R 1626 1628 31663 0 -1 4202496 563 0 0 0 0 0 0 0 20 0 1 0 291492528 23793664 289 33554432000 1073741824 1073778376 140736981974384 140736981963448 252253878835 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 5809 302 233 9 0 128 0

[startup+0.073732 s]
/proc/loadavg: 1.97 2.00 2.00 3/193 1628
/proc/meminfo: memFree=29270212/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/1628/stat : 1628 (java) S 1626 1628 31663 0 -1 4202496 3478 0 1 0 5 1 0 0 20 0 18 0 291492528 9787842560 4175 33554432000 1073741824 1073778376 140736981974384 140736981965520 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 2389610 4185 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.100255 s]
/proc/loadavg: 1.97 2.00 2.00 3/193 1628
/proc/meminfo: memFree=29270212/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/1628/stat : 1628 (java) S 1626 1628 31663 0 -1 4202496 4325 0 1 0 9 1 0 0 20 0 18 0 291492528 9787842560 5531 33554432000 1073741824 1073778376 140736981974384 140736981965520 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 2389610 5531 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300221 s]
/proc/loadavg: 1.97 2.00 2.00 3/193 1628
/proc/meminfo: memFree=29270212/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=9558440 CPUtime=0.51 cores=0,2,4,6
/proc/1628/stat : 1628 (java) S 1626 1628 31663 0 -1 4202496 6107 0 1 0 49 2 0 0 20 0 18 0 291492528 9787842560 9223 33554432000 1073741824 1073778376 140736981974384 140736981965520 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 2389610 9223 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558440

[startup+0.700235 s]
/proc/loadavg: 1.97 2.00 2.00 3/193 1628
/proc/meminfo: memFree=29270212/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=9625004 CPUtime=1.7 cores=0,2,4,6
/proc/1628/stat : 1628 (java) S 1626 1628 31663 0 -1 4202496 10869 0 1 0 166 4 0 0 20 0 19 0 291492528 9856004096 18309 33554432000 1073741824 1073778376 140736981974384 140736981965520 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 2406251 18309 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9625004

[startup+1.50065 s]
/proc/loadavg: 1.97 2.00 2.00 3/212 1648
/proc/meminfo: memFree=29206004/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=9625004 CPUtime=2.61 cores=0,2,4,6
/proc/1628/stat : 1628 (java) S 1626 1628 31663 0 -1 4202496 10892 0 1 0 257 4 0 0 20 0 19 0 291492528 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140736981965520 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 2406251 18843 2261 9 0 2396937 0
[pid=1628/tid=1630] ppid=1626 vsize=9625004 CPUtime=1.48 cores=0,2,4,6
/proc/1628/task/1630/stat : 1630 (java) R 1626 1628 31663 0 -1 4202560 2578 0 1 0 146 2 0 0 20 0 19 0 291492528 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140130017784248 140129957707072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129956514344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129955461544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129954408744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129953355944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129857125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129856072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129855019816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 31663 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129853967016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 31663 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291492530 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129841768936 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 31663 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129840715000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 31663 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129839662088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129838610576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 31663 0 -1 4202560 2493 0 0 0 58 0 0 0 20 0 19 0 291492533 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129837558712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 31663 0 -1 4202560 4619 0 0 0 50 0 0 0 20 0 19 0 291492533 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129836505912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129835453304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1647] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1647/stat : 1647 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129834400712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1648] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1648/stat : 1648 (java) S 1626 1628 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291492575 9856004096 18843 33554432000 1073741824 1073778376 140736981974384 140129833346216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 9625004

[startup+3.10071 s]
/proc/loadavg: 1.97 2.00 2.00 3/212 1648
/proc/meminfo: memFree=29200916/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=9625004 CPUtime=4.31 cores=0,2,4,6
/proc/1628/stat : 1628 (java) S 1626 1628 31663 0 -1 4202496 10916 0 1 0 427 4 0 0 20 0 19 0 291492528 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140736981965520 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 2406251 20910 2266 9 0 2396937 0
[pid=1628/tid=1630] ppid=1626 vsize=9625004 CPUtime=3.08 cores=0,2,4,6
/proc/1628/task/1630/stat : 1630 (java) R 1626 1628 31663 0 -1 4202560 2583 0 1 0 306 2 0 0 20 0 19 0 291492528 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140130017784456 140129958373376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129956514344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129955461544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129954408744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129953355944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129857125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129856072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129855019816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 31663 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129853967016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 31663 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291492530 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129841768936 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 31663 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129840715000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 31663 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129839662088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129838610576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 31663 0 -1 4202560 2504 0 0 0 64 0 0 0 20 0 19 0 291492533 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129837558712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 31663 0 -1 4202560 4626 0 0 0 55 0 0 0 20 0 19 0 291492533 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129836505912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129835453304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1647] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1647/stat : 1647 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129834400712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1648] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1648/stat : 1648 (java) S 1626 1628 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291492575 9856004096 20910 33554432000 1073741824 1073778376 140736981974384 140129833346216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 9625004

[startup+6.30062 s]
/proc/loadavg: 1.98 2.00 2.00 3/212 1648
/proc/meminfo: memFree=29177892/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=9625004 CPUtime=7.61 cores=0,2,4,6
/proc/1628/stat : 1628 (java) S 1626 1628 31663 0 -1 4202496 10997 0 1 0 757 4 0 0 20 0 19 0 291492528 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140736981965520 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 2406251 24938 2291 9 0 2396937 0
[pid=1628/tid=1630] ppid=1626 vsize=9625004 CPUtime=6.24 cores=0,2,4,6
/proc/1628/task/1630/stat : 1630 (java) R 1626 1628 31663 0 -1 4202560 2589 0 1 0 622 2 0 0 20 0 19 0 291492528 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140130017784552 140129958393846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 31663 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129956514344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129955461544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129954408744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 31663 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129953355944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 31663 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129857125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 31663 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129856072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129855019816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 31663 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291492529 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129853967016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 31663 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 291492530 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129841768936 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 31663 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129840715000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 31663 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129839662088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129838610576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 31663 0 -1 4202560 2510 0 0 0 68 0 0 0 20 0 19 0 291492533 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129837558712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 31663 0 -1 4202560 4645 0 0 0 61 0 0 0 20 0 19 0 291492533 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129836505912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129835453304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1647] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1647/stat : 1647 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129834400712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1648] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1648/stat : 1648 (java) S 1626 1628 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291492575 9856004096 24938 33554432000 1073741824 1073778376 140736981974384 140129833346216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=1628/tid=1643] ppid=1626 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 31663 0 -1 4202560 14976 0 0 0 142 3 0 0 20 0 19 0 291492533 9856004096 104516 33554432000 1073741824 1073778376 140736981974384 140129837558712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 31663 0 -1 4202560 5112 0 0 0 84 2 0 0 20 0 19 0 291492533 9856004096 104516 33554432000 1073741824 1073778376 140736981974384 140129836505912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 104516 33554432000 1073741824 1073778376 140736981974384 140129835453304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1647] ppid=1626 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/1628/task/1647/stat : 1647 (java) S 1626 1628 31663 0 -1 4202560 98 0 0 0 15 15 0 0 20 0 19 0 291492533 9856004096 104516 33554432000 1073741824 1073778376 140736981974384 140129834400712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1648] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1648/stat : 1648 (java) S 1626 1628 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291492575 9856004096 104516 33554432000 1073741824 1073778376 140736981974384 140129833346216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1730.44
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/212 1946
/proc/meminfo: memFree=28940892/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=9625004 CPUtime=1790.62 cores=0,2,4,6
/proc/1628/stat : 1628 (java) S 1626 1628 31663 0 -1 4202496 26751 0 1 0 179007 55 0 0 20 0 19 0 291492528 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140736981965520 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 2406251 104579 2292 9 0 2396937 0
[pid=1628/tid=1630] ppid=1626 vsize=9625004 CPUtime=1760.62 cores=0,2,4,6
/proc/1628/task/1630/stat : 1630 (java) R 1626 1628 31663 0 -1 4202560 2929 0 1 0 176032 30 0 0 20 0 19 0 291492528 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140130017784144 140129958332736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 31663 0 -1 4202560 179 0 0 0 101 3 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129956514344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 31663 0 -1 4202560 144 0 0 0 107 4 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129955461544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 31663 0 -1 4202560 404 0 0 0 105 3 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129954408744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 31663 0 -1 4202560 322 0 0 0 97 4 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129953355944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 31663 0 -1 4202560 366 0 0 0 103 5 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129857125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 31663 0 -1 4202560 435 0 0 0 106 5 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129856072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 31663 0 -1 4202560 151 0 0 0 113 4 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129855019816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 31663 0 -1 4202560 273 0 0 0 106 5 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129853967016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=9625004 CPUtime=14.36 cores=0,2,4,6
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 31663 0 -1 4202560 170 0 0 0 1433 3 0 0 20 0 19 0 291492530 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129841768936 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 31663 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129840715000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 31663 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129839662088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129838610576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 31663 0 -1 4202560 14976 0 0 0 142 3 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129837558712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 31663 0 -1 4202560 5112 0 0 0 84 2 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129836505912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129835453304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1647] ppid=1626 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/1628/task/1647/stat : 1647 (java) S 1626 1628 31663 0 -1 4202560 102 0 0 0 15 16 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129834400712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1648] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1648/stat : 1648 (java) S 1626 1628 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291492575 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129833346216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.7 s]
/proc/loadavg: 2.11 2.03 2.01 3/212 1946
/proc/meminfo: memFree=28938968/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/1628/stat : 1628 (java) S 1626 1628 31663 0 -1 4202496 26751 0 1 0 179948 55 0 0 20 0 19 0 291492528 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140736981965520 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 2406251 104579 2292 9 0 2396937 0
[pid=1628/tid=1630] ppid=1626 vsize=9625004 CPUtime=1770.01 cores=0,2,4,6
/proc/1628/task/1630/stat : 1630 (java) R 1626 1628 31663 0 -1 4202560 2929 0 1 0 176971 30 0 0 20 0 19 0 291492528 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140130017784144 140129958333274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 31663 0 -1 4202560 179 0 0 0 101 3 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129956514344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 31663 0 -1 4202560 144 0 0 0 107 4 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129955461544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 31663 0 -1 4202560 404 0 0 0 105 3 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129954408744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 31663 0 -1 4202560 322 0 0 0 97 4 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129953355944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 31663 0 -1 4202560 366 0 0 0 103 5 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129857125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 31663 0 -1 4202560 435 0 0 0 106 5 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129856072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 31663 0 -1 4202560 151 0 0 0 113 4 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129855019816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 31663 0 -1 4202560 273 0 0 0 106 5 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129853967016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=9625004 CPUtime=14.36 cores=0,2,4,6
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 31663 0 -1 4202560 170 0 0 0 1433 3 0 0 20 0 19 0 291492530 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129841768936 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 31663 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129840715000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 31663 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129839662088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129838610576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 31663 0 -1 4202560 14976 0 0 0 142 3 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129837558712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 31663 0 -1 4202560 5112 0 0 0 84 2 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129836505912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129835453304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1647] ppid=1626 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/1628/task/1647/stat : 1647 (java) S 1626 1628 31663 0 -1 4202560 102 0 0 0 15 17 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129834400712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1648] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1648/stat : 1648 (java) S 1626 1628 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291492575 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129833346216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1791.7 s]
/proc/loadavg: 2.11 2.03 2.01 3/212 1946
/proc/meminfo: memFree=28938968/32873852 swapFree=7624/7624
[pid=1628] ppid=1626 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/1628/stat : 1628 (java) S 1626 1628 31663 0 -1 4202496 26751 0 1 0 179948 55 0 0 20 0 19 0 291492528 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140736981965520 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1628/statm: 2406251 104579 2292 9 0 2396937 0
[pid=1628/tid=1630] ppid=1626 vsize=9625004 CPUtime=1770.01 cores=0,2,4,6
/proc/1628/task/1630/stat : 1630 (java) R 1626 1628 31663 0 -1 4202560 2929 0 1 0 176971 30 0 0 20 0 19 0 291492528 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140130017784144 140129958333274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1631] ppid=1626 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/1628/task/1631/stat : 1631 (java) S 1626 1628 31663 0 -1 4202560 179 0 0 0 101 3 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129956514344 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1632] ppid=1626 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/1628/task/1632/stat : 1632 (java) S 1626 1628 31663 0 -1 4202560 144 0 0 0 107 4 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129955461544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1633] ppid=1626 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/1628/task/1633/stat : 1633 (java) S 1626 1628 31663 0 -1 4202560 404 0 0 0 105 3 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129954408744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1634] ppid=1626 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/1628/task/1634/stat : 1634 (java) S 1626 1628 31663 0 -1 4202560 322 0 0 0 97 4 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129953355944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1635] ppid=1626 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/1628/task/1635/stat : 1635 (java) S 1626 1628 31663 0 -1 4202560 366 0 0 0 103 5 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129857125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1636] ppid=1626 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/1628/task/1636/stat : 1636 (java) S 1626 1628 31663 0 -1 4202560 435 0 0 0 106 5 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129856072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1637] ppid=1626 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/1628/task/1637/stat : 1637 (java) S 1626 1628 31663 0 -1 4202560 151 0 0 0 113 4 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129855019816 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1638] ppid=1626 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/1628/task/1638/stat : 1638 (java) S 1626 1628 31663 0 -1 4202560 273 0 0 0 106 5 0 0 20 0 19 0 291492529 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129853967016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1639] ppid=1626 vsize=9625004 CPUtime=14.36 cores=0,2,4,6
/proc/1628/task/1639/stat : 1639 (java) S 1626 1628 31663 0 -1 4202560 170 0 0 0 1433 3 0 0 20 0 19 0 291492530 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129841768936 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1640] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1640/stat : 1640 (java) S 1626 1628 31663 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129840715000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1641] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1641/stat : 1641 (java) S 1626 1628 31663 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291492531 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129839662088 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1642] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1642/stat : 1642 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129838610576 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1628/tid=1643] ppid=1626 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/1628/task/1643/stat : 1643 (java) S 1626 1628 31663 0 -1 4202560 14976 0 0 0 142 3 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129837558712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1628/tid=1644] ppid=1626 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/1628/task/1644/stat : 1644 (java) S 1626 1628 31663 0 -1 4202560 5112 0 0 0 84 2 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129836505912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1646] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1646/stat : 1646 (java) S 1626 1628 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129835453304 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1628/tid=1647] ppid=1626 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/1628/task/1647/stat : 1647 (java) S 1626 1628 31663 0 -1 4202560 102 0 0 0 15 17 0 0 20 0 19 0 291492533 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129834400712 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1628/tid=1648] ppid=1626 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1628/task/1648/stat : 1648 (java) S 1626 1628 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291492575 9856004096 104579 33554432000 1073741824 1073778376 140736981974384 140129833346216 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

Child status: 143

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

Real time (s): 1791.77
CPU time (s): 1800.03
CPU user time (s): 1799.48
CPU system time (s): 0.55
CPU usage (%): 100.461
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 1.02384
maximum resident set size= 418440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26784
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46177
involuntary context switches= 22355

runsolver used 5.30019 second user time and 14.4748 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-29 03:07:51
IDJOB=3710379
IDBENCH=92735
IDSOLVER=2289
FILE ID=node131/3710379-1338253671
RUNJOBID= node131-1338224871-31679
PBS_JOBID= 14624623
Free space on /tmp= 71728 MiB

SOLVER NAME= SAT4J PB specific settings 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-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710379-1338253671/watcher-3710379-1338253671 -o /tmp/evaluation-result-3710379-1338253671/solver-3710379-1338253671 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710379-1338253671.opb

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

MD5SUM BENCH= 20017986f9960b1d860bf846232b7a22
RANDOM SEED=780139075

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29270220 kB
Buffers:          521732 kB
Cached:          1975648 kB
SwapCached:         2324 kB
Active:           985108 kB
Inactive:        1749396 kB
Active(anon):     235548 kB
Inactive(anon):      996 kB
Active(file):     749560 kB
Inactive(file):  1748400 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099072 kB
Dirty:              3272 kB
Writeback:             0 kB
AnonPages:        261376 kB
Mapped:            22560 kB
Shmem:                 0 kB
Slab:             708060 kB
SReclaimable:     150320 kB
SUnreclaim:       557740 kB
KernelStack:        1592 kB
PageTables:         4580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     697952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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= 71728 MiB
End job on node131 at 2012-05-29 03:37:44