Trace number 3718205

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 2012-05-28OPTIMUM 923.32 918.215

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
MD5SUM114c0408840a95cae960ebc399875ecb
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark15.4337
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4960
Total number of constraints16157
Number of soft constraints5468
Number of constraints which are clauses15841
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints316
Minimum length of a constraint1
Maximum length of a constraint30
Top cost 278200
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 278199
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 201
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120528
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3718205-1338252109.wbo
0.10/0.11	c reading problem ... 
1.37/0.60	c ... done. Wall clock time 0.496s.
1.37/0.60	c declared #vars     4960
1.37/0.60	c internal #vars     10428
1.37/0.60	c #constraints  15306
1.37/0.60	c constraints type 
1.37/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6268
1.37/0.60	c ignored satisfied constraints => 852
1.37/0.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8423
1.37/0.60	c org.sat4j.minisat.constraints.cnf.UnitClause => 299
1.37/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 316
1.37/0.60	c 16158 constraints processed.
1.37/0.60	c objective function length is 5468 literals
1.96/0.80	c SATISFIABLE
1.96/0.80	c OPTIMIZING...
1.96/0.80	c Got one! Elapsed wall clock time (in seconds):0.697
1.96/0.80	o 1739
1.96/0.86	c Got one! Elapsed wall clock time (in seconds):0.751
1.96/0.86	o 1372
2.24/0.90	c Got one! Elapsed wall clock time (in seconds):0.791
2.24/0.90	o 1095
3.79/2.44	c Got one! Elapsed wall clock time (in seconds):2.333
3.79/2.44	o 1093
3.92/2.59	c Got one! Elapsed wall clock time (in seconds):2.482
3.92/2.59	o 1092
4.56/3.17	c cleaning 3223 clauses out of 6450 with flag 13280/6450
6.05/4.59	c Got one! Elapsed wall clock time (in seconds):4.479
6.05/4.59	o 1089
7.15/5.65	c Got one! Elapsed wall clock time (in seconds):5.539
7.15/5.65	o 1088
7.35/5.84	c Got one! Elapsed wall clock time (in seconds):5.734
7.35/5.84	o 889
7.55/6.03	c cleaning 7096 clauses out of 14214 with flag 12569/17437
7.88/6.34	c Got one! Elapsed wall clock time (in seconds):6.23
7.88/6.34	o 880
9.21/7.61	c cleaning 6526 clauses out of 13076 with flag 64620/23395
11.65/10.05	c cleaning 6267 clauses out of 12553 with flag 158115/29398
13.56/11.94	c Got one! Elapsed wall clock time (in seconds):11.831
13.56/11.94	o 877
13.96/12.33	c Got one! Elapsed wall clock time (in seconds):12.221
13.96/12.33	o 876
14.36/12.74	c Got one! Elapsed wall clock time (in seconds):12.632
14.36/12.74	o 869
15.36/13.70	c cleaning 8547 clauses out of 17111 with flag 46540/40223
17.37/15.75	c Got one! Elapsed wall clock time (in seconds):15.642
17.37/15.75	o 868
18.77/17.14	c cleaning 6791 clauses out of 13608 with flag 19646/45267
22.19/20.54	c Got one! Elapsed wall clock time (in seconds):20.436
22.19/20.54	o 867
24.99/23.38	c cleaning 8439 clauses out of 16924 with flag 51138/55374
27.10/25.42	c Got one! Elapsed wall clock time (in seconds):25.309
27.10/25.42	o 864
28.00/26.39	c cleaning 9379 clauses out of 18764 with flag 90314/65653
31.61/29.96	c cleaning 7679 clauses out of 15384 with flag 142341/71652
34.95/33.27	c cleaning 7332 clauses out of 14706 with flag 220766/78653
35.87/34.18	c Got one! Elapsed wall clock time (in seconds):34.068
35.87/34.18	o 863
36.06/34.36	c Got one! Elapsed wall clock time (in seconds):34.255
36.06/34.36	o 859
36.46/34.74	c cleaning 6607 clauses out of 13232 with flag 37600/84511
39.57/37.81	c cleaning 6286 clauses out of 12624 with flag 123376/90510
40.68/38.98	c Got one! Elapsed wall clock time (in seconds):38.869
40.68/38.98	o 856
41.29/39.55	c cleaning 5733 clauses out of 11504 with flag 62692/95676
42.31/40.59	c Got one! Elapsed wall clock time (in seconds):40.479
42.31/40.59	o 851
43.41/41.66	c cleaning 7907 clauses out of 15831 with flag 102654/105736
44.62/42.90	c cleaning 6949 clauses out of 13927 with flag 224473/111739
45.12/43.30	c Got one! Elapsed wall clock time (in seconds):43.196
45.12/43.30	o 837
46.52/44.74	c cleaning 6442 clauses out of 12900 with flag 57057/117661
47.74/45.91	c Got one! Elapsed wall clock time (in seconds):45.807
47.74/45.91	o 834
47.95/46.11	c cleaning 5760 clauses out of 11532 with flag 22474/122735
48.55/46.78	c Got one! Elapsed wall clock time (in seconds):46.673
48.55/46.78	o 832
49.25/47.42	c cleaning 5694 clauses out of 11417 with flag 67180/128380
49.66/47.88	c Got one! Elapsed wall clock time (in seconds):47.777
49.66/47.88	o 666
50.27/48.47	c cleaning 5533 clauses out of 11097 with flag 63987/133754
51.66/49.81	c cleaning 5773 clauses out of 11561 with flag 190125/139751
51.97/50.19	c Got one! Elapsed wall clock time (in seconds):50.085
51.97/50.19	o 665
52.77/50.94	c cleaning 5510 clauses out of 11040 with flag 89125/145003
54.10/52.24	c cleaning 5748 clauses out of 11530 with flag 229736/151003
58.22/56.30	c cleaning 6371 clauses out of 12782 with flag 313282/158003
63.94/62.07	c cleaning 7197 clauses out of 14412 with flag 434110/166004
68.44/66.50	c Got one! Elapsed wall clock time (in seconds):66.389
68.44/66.50	o 663
69.04/67.18	c Got one! Elapsed wall clock time (in seconds):67.069
69.04/67.18	o 662
69.44/67.56	c Got one! Elapsed wall clock time (in seconds):67.455
69.44/67.56	o 652
69.84/67.91	c Got one! Elapsed wall clock time (in seconds):67.803
69.84/67.91	o 648
70.04/68.18	c Got one! Elapsed wall clock time (in seconds):68.073
70.04/68.18	o 642
70.84/68.98	c cleaning 10493 clauses out of 20995 with flag 62838/179784
74.56/72.65	c cleaning 8236 clauses out of 16502 with flag 138474/185784
77.97/76.00	c cleaning 7603 clauses out of 15266 with flag 270712/192784
81.77/79.83	c cleaning 7814 clauses out of 15664 with flag 422342/200785
83.28/81.33	c Got one! Elapsed wall clock time (in seconds):81.22
83.28/81.33	o 636
83.68/81.72	c cleaning 6677 clauses out of 13372 with flag 44932/206307
85.61/83.64	c Got one! Elapsed wall clock time (in seconds):83.535
85.61/83.64	o 635
86.80/84.80	c cleaning 8800 clauses out of 17615 with flag 114057/217227
88.02/86.07	c cleaning 7384 clauses out of 14812 with flag 253897/223224
89.62/87.61	c cleaning 7211 clauses out of 14430 with flag 399303/230226
95.03/93.02	c cleaning 7593 clauses out of 15217 with flag 519871/238224
101.26/99.21	c cleaning 8288 clauses out of 16624 with flag 670779/247224
108.27/106.26	c cleaning 9148 clauses out of 18336 with flag 841281/257224
113.28/111.23	c cleaning 10081 clauses out of 20188 with flag 1029868/268224
117.28/115.27	c cleaning 11028 clauses out of 22107 with flag 1271349/280224
121.90/119.87	c cleaning 12008 clauses out of 24080 with flag 1557981/293225
127.00/124.92	c cleaning 13025 clauses out of 26073 with flag 1899141/307226
128.13/126.02	c Got one! Elapsed wall clock time (in seconds):125.913
128.13/126.02	o 634
128.53/126.45	c cleaning 9071 clauses out of 18148 with flag 50276/312326
129.78/127.61	c Got one! Elapsed wall clock time (in seconds):127.498
129.78/127.61	o 624
130.97/128.84	c cleaning 9614 clauses out of 19255 with flag 130926/322504
132.29/130.11	c cleaning 7808 clauses out of 15643 with flag 280455/328506
133.69/131.56	c cleaning 7409 clauses out of 14833 with flag 444438/335504
135.39/133.24	c cleaning 7706 clauses out of 15425 with flag 631055/343505
136.10/133.95	c Got one! Elapsed wall clock time (in seconds):133.845
136.10/133.95	o 623
136.50/134.36	c cleaning 6466 clauses out of 12968 with flag 51228/348754
137.70/135.50	c cleaning 6229 clauses out of 12500 with flag 189538/354752
139.10/136.98	c cleaning 6602 clauses out of 13270 with flag 367650/361751
140.81/138.65	c cleaning 7322 clauses out of 14668 with flag 568326/369751
142.80/140.61	c cleaning 8157 clauses out of 16346 with flag 805731/378751
145.02/142.86	c cleaning 9083 clauses out of 18189 with flag 1049768/388751
149.24/147.06	c cleaning 10048 clauses out of 20106 with flag 1273087/399751
153.77/151.53	c cleaning 11004 clauses out of 22060 with flag 1571084/411753
155.88/153.63	c Got one! Elapsed wall clock time (in seconds):153.527
155.88/153.63	o 619
157.08/154.80	c cleaning 11033 clauses out of 22095 with flag 144137/422792
158.49/156.25	c cleaning 8517 clauses out of 17061 with flag 325344/428791
163.40/161.12	c cleaning 7743 clauses out of 15545 with flag 468731/435792
163.70/161.40	c Got one! Elapsed wall clock time (in seconds):161.293
163.70/161.40	o 617
164.70/162.41	c cleaning 6656 clauses out of 13360 with flag 133574/441350
165.92/163.67	c cleaning 6333 clauses out of 12704 with flag 300838/447350
168.12/165.80	c Got one! Elapsed wall clock time (in seconds):165.69
168.12/165.80	o 608
168.22/165.99	c cleaning 5708 clauses out of 11442 with flag 23608/452421
169.43/167.19	c cleaning 5851 clauses out of 11735 with flag 161708/458422
170.93/168.61	c cleaning 6427 clauses out of 12885 with flag 327781/465423
172.74/170.43	c cleaning 7220 clauses out of 14456 with flag 554591/473421
176.94/174.64	c cleaning 8114 clauses out of 16237 with flag 741057/482422
179.65/177.34	c Got one! Elapsed wall clock time (in seconds):177.229
179.65/177.34	o 607
179.85/177.53	c cleaning 6757 clauses out of 13529 with flag 27498/487828
181.05/178.77	c cleaning 6364 clauses out of 12771 with flag 173305/493827
182.57/180.22	c cleaning 6687 clauses out of 13407 with flag 343318/500827
184.16/181.88	c cleaning 7344 clauses out of 14720 with flag 539968/508827
186.18/183.82	c cleaning 8172 clauses out of 16377 with flag 760957/517828
189.21/186.88	c Got one! Elapsed wall clock time (in seconds):186.774
189.21/186.88	o 598
190.42/188.09	c cleaning 10238 clauses out of 20498 with flag 137547/530121
191.91/189.56	c cleaning 8120 clauses out of 16259 with flag 320910/536120
193.54/191.14	c cleaning 7562 clauses out of 15139 with flag 522991/543120
195.45/193.00	c cleaning 7782 clauses out of 15579 with flag 757458/551122
197.47/195.02	c cleaning 8385 clauses out of 16795 with flag 1013454/560120
199.67/197.23	c cleaning 9196 clauses out of 18411 with flag 1276951/570121
202.17/199.72	c cleaning 10097 clauses out of 20215 with flag 1582470/581121
203.49/201.09	c Got one! Elapsed wall clock time (in seconds):200.981
203.49/201.09	o 588
204.19/201.75	c Got one! Elapsed wall clock time (in seconds):201.642
204.19/201.75	o 587
206.39/203.95	c cleaning 11041 clauses out of 22095 with flag 65976/593098
208.89/206.40	c cleaning 8498 clauses out of 17054 with flag 194610/599098
211.21/208.76	c cleaning 7746 clauses out of 15556 with flag 362894/606098
213.81/211.34	c cleaning 7879 clauses out of 15811 with flag 544535/614099
216.64/214.10	c cleaning 8452 clauses out of 16931 with flag 759152/623098
219.36/216.81	c Got one! Elapsed wall clock time (in seconds):216.706
219.36/216.81	o 586
220.56/218.00	c cleaning 10728 clauses out of 21465 with flag 139923/636084
221.87/219.34	c cleaning 8355 clauses out of 16737 with flag 316230/642084
225.18/222.62	c cleaning 7673 clauses out of 15382 with flag 469426/649084
225.18/222.66	c Got one! Elapsed wall clock time (in seconds):222.556
225.18/222.66	o 584
226.19/223.65	c cleaning 6343 clauses out of 12736 with flag 134994/654111
227.49/224.97	c cleaning 6185 clauses out of 12394 with flag 283851/660112
228.99/226.42	c cleaning 6577 clauses out of 13210 with flag 464441/667113
230.79/228.28	c cleaning 7305 clauses out of 14635 with flag 660568/675115
237.00/234.44	c cleaning 8132 clauses out of 16328 with flag 798492/684113
244.23/241.62	c cleaning 9081 clauses out of 18194 with flag 980107/694111
252.05/249.45	c cleaning 10035 clauses out of 20113 with flag 1195723/705111
260.56/257.94	c cleaning 11014 clauses out of 22078 with flag 1423902/717111
267.17/264.51	c cleaning 12024 clauses out of 24064 with flag 1693916/730111
273.10/270.43	c cleaning 12996 clauses out of 26043 with flag 2020957/744114
280.81/278.19	c cleaning 14011 clauses out of 28044 with flag 2405699/759111
289.01/286.34	c cleaning 15003 clauses out of 30034 with flag 2891459/775112
297.44/294.77	c cleaning 15996 clauses out of 32031 with flag 3381397/792112
305.54/302.89	c Got one! Elapsed wall clock time (in seconds):302.785
305.54/302.89	o 580
306.74/304.08	c cleaning 19265 clauses out of 38554 with flag 140249/814631
308.26/305.58	c cleaning 12639 clauses out of 25289 with flag 315368/820631
309.88/307.12	c cleaning 9803 clauses out of 19650 with flag 506294/827631
311.69/308.97	c cleaning 8906 clauses out of 17848 with flag 746242/835632
313.79/311.05	c cleaning 8948 clauses out of 17941 with flag 1012345/844631
316.20/313.40	c cleaning 9480 clauses out of 18993 with flag 1330523/854631
318.59/315.89	c cleaning 10245 clauses out of 20513 with flag 1668303/865631
321.51/318.70	c cleaning 11119 clauses out of 22270 with flag 2031338/877633
322.71/319.91	c Got one! Elapsed wall clock time (in seconds):319.807
322.71/319.91	o 505
322.82/320.02	c Got one! Elapsed wall clock time (in seconds):319.911
322.82/320.02	o 504
322.92/320.13	c Got one! Elapsed wall clock time (in seconds):320.018
322.92/320.13	o 500
323.21/320.42	c Got one! Elapsed wall clock time (in seconds):320.31
323.21/320.42	o 495
326.22/323.44	c cleaning 11297 clauses out of 22627 with flag 67059/889109
327.23/324.49	c Got one! Elapsed wall clock time (in seconds):324.386
327.23/324.49	o 478
328.52/325.70	c cleaning 8571 clauses out of 17164 with flag 95854/894943
332.62/329.85	c cleaning 7281 clauses out of 14589 with flag 164997/900939
336.85/334.03	c cleaning 7106 clauses out of 14308 with flag 263479/907939
337.95/335.17	c Got one! Elapsed wall clock time (in seconds):335.067
337.95/335.17	o 474
338.55/335.78	c cleaning 6532 clauses out of 13089 with flag 69277/913826
339.77/336.95	c cleaning 6262 clauses out of 12556 with flag 203770/919825
341.87/339.07	c Got one! Elapsed wall clock time (in seconds):338.964
341.87/339.07	o 473
342.07/339.26	c cleaning 5789 clauses out of 11610 with flag 22204/925141
343.27/340.44	c cleaning 5900 clauses out of 11821 with flag 148077/931141
344.79/341.91	c cleaning 6453 clauses out of 12920 with flag 297555/938140
349.19/346.30	c cleaning 7220 clauses out of 14468 with flag 400233/946141
355.39/352.54	c cleaning 8110 clauses out of 16248 with flag 484855/955141
361.20/358.34	c Got one! Elapsed wall clock time (in seconds):358.231
361.20/358.34	o 468
362.10/359.28	c cleaning 10814 clauses out of 21645 with flag 103021/968648
365.60/362.70	c cleaning 8401 clauses out of 16829 with flag 199775/974646
370.50/367.60	c cleaning 7697 clauses out of 15428 with flag 314422/981646
376.01/373.18	c cleaning 7856 clauses out of 15733 with flag 426348/989648
382.61/379.72	c cleaning 8425 clauses out of 16875 with flag 558519/998646
389.72/386.85	c cleaning 9187 clauses out of 18450 with flag 719960/1008646
396.23/393.35	c cleaning 10114 clauses out of 20269 with flag 899683/1019652
401.04/398.17	c cleaning 11058 clauses out of 22148 with flag 1130160/1031645
404.24/401.37	c Got one! Elapsed wall clock time (in seconds):401.261
404.24/401.37	o 467
405.34/402.42	c cleaning 11680 clauses out of 23383 with flag 104650/1043938
406.65/403.71	c cleaning 8837 clauses out of 17705 with flag 232875/1049940
408.15/405.20	c cleaning 7924 clauses out of 15867 with flag 390744/1056939
409.86/406.95	c cleaning 7964 clauses out of 15943 with flag 561265/1064939
411.88/408.98	c cleaning 8474 clauses out of 16978 with flag 749887/1073938
415.48/412.58	c Got one! Elapsed wall clock time (in seconds):412.476
415.48/412.58	o 463
416.68/413.72	c cleaning 11339 clauses out of 22700 with flag 119193/1088134
417.99/415.07	c cleaning 8656 clauses out of 17360 with flag 260713/1094133
419.52/416.58	c cleaning 7836 clauses out of 15705 with flag 424220/1101134
421.22/418.27	c cleaning 7923 clauses out of 15871 with flag 585847/1109136
423.33/420.38	c cleaning 8457 clauses out of 16947 with flag 802034/1118135
425.53/422.56	c cleaning 9230 clauses out of 18488 with flag 1029049/1128133
428.05/425.04	c cleaning 10113 clauses out of 20261 with flag 1301008/1139136
430.88/427.86	c cleaning 11064 clauses out of 22147 with flag 1612503/1151135
433.97/430.95	c cleaning 12032 clauses out of 24084 with flag 1951578/1164136
437.49/434.42	c cleaning 13020 clauses out of 26049 with flag 2355613/1178133
437.68/434.64	c Got one! Elapsed wall clock time (in seconds):434.533
437.68/434.64	o 457
438.78/435.74	c cleaning 9135 clauses out of 18320 with flag 137986/1183424
440.10/437.01	c cleaning 7571 clauses out of 15184 with flag 282245/1189423
441.60/438.51	c cleaning 7288 clauses out of 14615 with flag 451105/1196425
443.21/440.16	c cleaning 7647 clauses out of 15328 with flag 616081/1204426
445.22/442.16	c cleaning 8323 clauses out of 16678 with flag 827947/1213423
447.61/444.55	c cleaning 9163 clauses out of 18355 with flag 1085711/1223423
450.22/447.19	c cleaning 10093 clauses out of 20196 with flag 1360181/1234427
453.23/450.10	c cleaning 11038 clauses out of 22099 with flag 1680017/1246423
456.13/453.10	c cleaning 12020 clauses out of 24061 with flag 2003408/1259423
459.56/456.43	c cleaning 13010 clauses out of 26041 with flag 2401895/1273423
463.47/460.34	c cleaning 14009 clauses out of 28034 with flag 2881414/1288426
467.48/464.30	c cleaning 15002 clauses out of 30022 with flag 3347435/1304423
472.18/469.04	c cleaning 15991 clauses out of 32021 with flag 3896063/1321424
479.29/476.11	c cleaning 16993 clauses out of 34029 with flag 4289528/1339423
487.32/484.11	c cleaning 18009 clauses out of 36036 with flag 4719325/1358423
491.26/488.01	c Got one! Elapsed wall clock time (in seconds):487.904
491.26/488.01	o 456
492.56/489.36	c cleaning 16639 clauses out of 33306 with flag 151011/1373702
494.16/490.99	c cleaning 11312 clauses out of 22666 with flag 344638/1379701
495.27/492.01	c Got one! Elapsed wall clock time (in seconds):491.906
495.27/492.01	o 438
495.57/492.31	c cleaning 8356 clauses out of 16732 with flag 26223/1385079
496.90/493.64	c cleaning 7164 clauses out of 14376 with flag 173537/1391079
498.40/495.18	c cleaning 7081 clauses out of 14212 with flag 339883/1398079
500.20/496.91	c cleaning 7563 clauses out of 15132 with flag 521332/1406080
503.10/499.80	c cleaning 8275 clauses out of 16568 with flag 734016/1415079
509.53/506.28	c cleaning 9125 clauses out of 18293 with flag 918379/1425079
517.33/514.03	c cleaning 10071 clauses out of 20169 with flag 1118566/1436080
525.55/522.24	c cleaning 11032 clauses out of 22097 with flag 1358286/1448079
534.67/531.35	c cleaning 12010 clauses out of 24065 with flag 1627147/1461079
535.27/531.98	c Got one! Elapsed wall clock time (in seconds):531.87
535.27/531.98	o 436
536.37/533.00	c cleaning 9009 clauses out of 18050 with flag 113392/1467074
537.67/534.32	c cleaning 7509 clauses out of 15043 with flag 250476/1473076
539.08/535.79	c cleaning 7238 clauses out of 14532 with flag 411055/1480074
540.88/537.50	c cleaning 7641 clauses out of 15294 with flag 584320/1488074
542.88/539.57	c cleaning 8313 clauses out of 16655 with flag 808223/1497076
545.29/541.94	c cleaning 9167 clauses out of 18343 with flag 1077115/1507077
547.90/544.58	c cleaning 10062 clauses out of 20174 with flag 1372883/1518075
549.10/545.73	c Got one! Elapsed wall clock time (in seconds):545.623
549.10/545.73	o 435
549.30/545.97	c cleaning 7903 clauses out of 15850 with flag 23109/1523813
550.50/547.15	c cleaning 6957 clauses out of 13947 with flag 150584/1529813
551.91/548.54	c cleaning 6981 clauses out of 13991 with flag 291879/1536814
553.51/550.13	c cleaning 7495 clauses out of 15010 with flag 449568/1544814
555.31/551.98	c cleaning 8240 clauses out of 16517 with flag 658384/1553816
557.51/554.11	c cleaning 9118 clauses out of 18274 with flag 882908/1563813
559.92/556.58	c cleaning 10058 clauses out of 20158 with flag 1136359/1574815
562.93/559.53	c cleaning 11040 clauses out of 22099 with flag 1456615/1586814
566.05/562.70	c cleaning 12019 clauses out of 24058 with flag 1805186/1599813
569.45/566.06	c cleaning 13013 clauses out of 26039 with flag 2191099/1613813
573.56/570.10	c Got one! Elapsed wall clock time (in seconds):569.989
573.56/570.10	o 434
574.86/571.48	c cleaning 14404 clauses out of 28836 with flag 151455/1629623
576.38/572.94	c cleaning 10183 clauses out of 20434 with flag 322588/1635625
578.00/574.52	c cleaning 8604 clauses out of 17249 with flag 504603/1642623
579.80/576.34	c cleaning 8306 clauses out of 16646 with flag 696134/1650624
581.80/578.39	c cleaning 8658 clauses out of 17340 with flag 920906/1659624
584.21/580.80	c cleaning 9325 clauses out of 18685 with flag 1182648/1669627
586.71/583.26	c cleaning 10155 clauses out of 20356 with flag 1458368/1680623
589.61/586.14	c cleaning 11092 clauses out of 22201 with flag 1768388/1692623
592.62/589.17	c cleaning 12039 clauses out of 24109 with flag 2137173/1705623
596.24/592.76	c cleaning 13030 clauses out of 26070 with flag 2545150/1719623
600.06/596.50	c cleaning 14007 clauses out of 28042 with flag 3002441/1734625
604.26/600.70	c cleaning 15003 clauses out of 30033 with flag 3505907/1750623
608.47/604.98	c cleaning 16001 clauses out of 32030 with flag 4045504/1767623
621.07/617.50	c cleaning 16995 clauses out of 34030 with flag 4373472/1785624
621.68/618.17	c Got one! Elapsed wall clock time (in seconds):618.06
621.68/618.17	o 433
622.78/619.27	c cleaning 11425 clauses out of 22872 with flag 137482/1791461
624.30/620.76	c cleaning 8702 clauses out of 17447 with flag 302693/1797461
625.90/622.34	c cleaning 7853 clauses out of 15745 with flag 480695/1804461
627.70/624.11	c cleaning 7929 clauses out of 15892 with flag 663946/1812461
629.70/626.14	c cleaning 8464 clauses out of 16963 with flag 879285/1821461
632.00/628.49	c cleaning 9233 clauses out of 18499 with flag 1146902/1831461
634.61/631.01	c cleaning 10128 clauses out of 20267 with flag 1424241/1842462
637.71/634.10	c cleaning 11055 clauses out of 22138 with flag 1767158/1854461
640.82/637.30	c cleaning 12030 clauses out of 24084 with flag 2122823/1867462
644.92/641.39	c cleaning 13006 clauses out of 26053 with flag 2532003/1881461
648.92/645.32	c cleaning 14007 clauses out of 28047 with flag 2963281/1896461
653.24/649.62	c cleaning 15002 clauses out of 30040 with flag 3494523/1912461
657.75/654.13	c cleaning 16003 clauses out of 32038 with flag 4030679/1929461
662.98/659.39	c cleaning 17004 clauses out of 34036 with flag 4652846/1947462
668.49/664.83	c cleaning 18005 clauses out of 36031 with flag 5306349/1966461
674.29/670.68	c cleaning 18997 clauses out of 38027 with flag 6006139/1986462
678.01/674.38	c Got one! Elapsed wall clock time (in seconds):674.273
678.01/674.38	o 431
681.21/677.55	c cleaning 17548 clauses out of 35108 with flag 88737/2002540
681.43/677.70	c Got one! Elapsed wall clock time (in seconds):677.589
681.43/677.70	o 428
682.63/679.00	c cleaning 11495 clauses out of 23003 with flag 156007/2007983
686.78/683.09	c cleaning 8728 clauses out of 17508 with flag 227477/2013983
690.49/686.75	c cleaning 7869 clauses out of 15783 with flag 343049/2020986
694.59/690.84	c cleaning 7924 clauses out of 15911 with flag 470717/2028983
700.31/696.53	c cleaning 8484 clauses out of 16988 with flag 591386/2037984
706.01/702.22	c cleaning 9231 clauses out of 18505 with flag 732479/2047985
707.01/703.21	c Got one! Elapsed wall clock time (in seconds):703.102
707.01/703.21	o 420
707.82/704.03	c cleaning 7584 clauses out of 15183 with flag 88655/2053894
709.12/705.36	c cleaning 6795 clauses out of 13599 with flag 217516/2059894
710.62/706.85	c cleaning 6884 clauses out of 13805 with flag 365573/2066895
712.43/708.63	c cleaning 7447 clauses out of 14920 with flag 540117/2074894
717.22/713.43	c cleaning 8229 clauses out of 16472 with flag 666517/2083893
721.93/718.11	c Got one! Elapsed wall clock time (in seconds):718.004
721.93/718.11	o 419
722.93/719.10	c cleaning 9894 clauses out of 19825 with flag 103438/2095475
724.34/720.55	c cleaning 7954 clauses out of 15933 with flag 238448/2101477
725.85/722.05	c cleaning 7473 clauses out of 14978 with flag 393890/2108476
727.65/723.83	c cleaning 7739 clauses out of 15504 with flag 562145/2116475
729.05/725.29	c Got one! Elapsed wall clock time (in seconds):725.182
729.05/725.29	o 413
730.35/726.52	c cleaning 9326 clauses out of 18671 with flag 116238/2127381
731.76/727.91	c cleaning 7656 clauses out of 15345 with flag 260566/2133381
733.36/729.59	c cleaning 7330 clauses out of 14687 with flag 434989/2140379
735.18/731.40	c cleaning 7656 clauses out of 15359 with flag 623127/2148381
737.28/733.42	c cleaning 8336 clauses out of 16701 with flag 818415/2157379
739.49/735.65	c cleaning 9169 clauses out of 18366 with flag 1047649/2167380
742.09/738.29	c cleaning 10084 clauses out of 20196 with flag 1314305/2178379
744.49/740.66	c Got one! Elapsed wall clock time (in seconds):740.549
744.49/740.66	o 403
745.99/742.12	c cleaning 12247 clauses out of 24507 with flag 118073/2192774
747.51/743.62	c cleaning 9114 clauses out of 18260 with flag 285342/2198774
749.01/745.16	c cleaning 8064 clauses out of 16147 with flag 455342/2205775
750.72/746.88	c cleaning 8029 clauses out of 16083 with flag 625384/2213775
752.82/748.92	c cleaning 8514 clauses out of 17054 with flag 842866/2222775
755.04/751.16	c cleaning 9258 clauses out of 18540 with flag 1088216/2232775
757.74/753.83	c cleaning 10124 clauses out of 20281 with flag 1360773/2243774
760.45/756.55	c cleaning 11058 clauses out of 22157 with flag 1649429/2255774
763.65/759.76	c cleaning 12041 clauses out of 24101 with flag 1987522/2268776
767.06/763.12	c cleaning 13007 clauses out of 26058 with flag 2371829/2282774
767.87/763.90	c Got one! Elapsed wall clock time (in seconds):763.791
767.87/763.90	o 402
768.37/764.46	c cleaning 9220 clauses out of 18459 with flag 51152/2288182
769.68/765.77	c cleaning 7612 clauses out of 15238 with flag 194819/2294181
771.18/767.20	c cleaning 7303 clauses out of 14626 with flag 347092/2301181
772.88/768.96	c cleaning 7657 clauses out of 15324 with flag 519776/2309182
774.88/770.99	c cleaning 8315 clauses out of 16667 with flag 727223/2318182
777.18/773.30	c cleaning 9164 clauses out of 18352 with flag 963197/2328182
779.78/775.80	c cleaning 10074 clauses out of 20187 with flag 1232129/2339181
782.69/778.73	c cleaning 11040 clauses out of 22113 with flag 1542637/2351181
785.69/781.77	c cleaning 12017 clauses out of 24074 with flag 1871063/2364182
789.30/785.40	c cleaning 13020 clauses out of 26056 with flag 2259169/2378181
793.29/789.32	c cleaning 14004 clauses out of 28037 with flag 2679012/2393182
797.50/793.59	c cleaning 14998 clauses out of 30032 with flag 3149395/2409181
802.20/798.20	c cleaning 16005 clauses out of 32036 with flag 3659592/2426183
803.51/799.59	c Got one! Elapsed wall clock time (in seconds):799.483
803.51/799.59	o 401
806.21/802.28	c cleaning 13240 clauses out of 26510 with flag 92682/2436662
810.52/806.55	c cleaning 9612 clauses out of 19271 with flag 159912/2442663
815.63/811.66	c cleaning 8293 clauses out of 16658 with flag 241178/2449662
820.83/816.84	c Got one! Elapsed wall clock time (in seconds):816.733
820.83/816.84	o 397
821.83/817.81	c cleaning 10178 clauses out of 20389 with flag 110162/2461686
823.14/819.15	c cleaning 8078 clauses out of 16213 with flag 246214/2467688
824.55/820.53	c cleaning 7537 clauses out of 15136 with flag 385623/2474689
824.86/820.88	c Got one! Elapsed wall clock time (in seconds):820.773
824.86/820.88	o 396
825.66/821.67	c cleaning 6720 clauses out of 13475 with flag 86400/2480565
826.98/822.93	c cleaning 6363 clauses out of 12754 with flag 208462/2486564
828.38/824.38	c cleaning 6675 clauses out of 13391 with flag 360892/2493564
830.10/826.08	c cleaning 7349 clauses out of 14716 with flag 519703/2501564
832.22/828.19	c cleaning 8168 clauses out of 16367 with flag 720932/2510564
834.72/830.61	c cleaning 9088 clauses out of 18200 with flag 964638/2520565
837.22/833.13	c cleaning 10050 clauses out of 20111 with flag 1232057/2531564
839.94/835.89	c cleaning 11015 clauses out of 22061 with flag 1504674/2543564
843.26/839.11	c cleaning 12017 clauses out of 24047 with flag 1829969/2556565
846.89/842.78	c cleaning 13006 clauses out of 26030 with flag 2204444/2570565
850.69/846.59	c cleaning 13995 clauses out of 28024 with flag 2613426/2585565
854.90/850.79	c cleaning 14996 clauses out of 30028 with flag 3056054/2601564
859.50/855.36	c cleaning 16007 clauses out of 32032 with flag 3554530/2618564
864.50/860.38	c cleaning 17006 clauses out of 34026 with flag 4110989/2636565
870.00/865.82	c cleaning 18003 clauses out of 36020 with flag 4705181/2655565
870.00/865.89	c Got one! Elapsed wall clock time (in seconds):865.786
870.00/865.89	o 392
871.51/867.30	c cleaning 11534 clauses out of 23114 with flag 154773/2660662
873.01/868.80	c cleaning 8753 clauses out of 17579 with flag 325787/2666661
874.52/870.33	c cleaning 7894 clauses out of 15827 with flag 498976/2673662
876.22/872.03	c cleaning 7949 clauses out of 15933 with flag 669677/2681662
878.13/873.99	c cleaning 8481 clauses out of 16987 with flag 865067/2690665
880.43/876.27	c cleaning 9248 clauses out of 18502 with flag 1090971/2700661
883.04/878.90	c cleaning 10115 clauses out of 20256 with flag 1364737/2711663
885.94/881.70	c cleaning 11050 clauses out of 22140 with flag 1661710/2723662
889.24/885.09	c cleaning 12030 clauses out of 24091 with flag 2008807/2736663
892.74/888.59	c cleaning 13014 clauses out of 26060 with flag 2404909/2750662
896.64/892.46	c cleaning 14014 clauses out of 28045 with flag 2838897/2765661
897.86/893.61	c Got one! Elapsed wall clock time (in seconds):893.504
897.86/893.61	o 11
898.06/893.84	c cleaning 9743 clauses out of 19508 with flag 26931/2771138
899.37/895.14	c cleaning 7862 clauses out of 15764 with flag 195430/2777137
900.78/896.56	c cleaning 7438 clauses out of 14903 with flag 376947/2784138
902.38/898.17	c cleaning 7724 clauses out of 15466 with flag 550374/2792139
904.38/900.13	c cleaning 8351 clauses out of 16740 with flag 769984/2801137
906.49/902.22	c cleaning 9181 clauses out of 18389 with flag 1004926/2811137
908.69/904.49	c cleaning 10088 clauses out of 20208 with flag 1270744/2822137
909.50/905.22	c Got one! Elapsed wall clock time (in seconds):905.113
909.50/905.22	o 3
909.89/905.63	c cleaning 7797 clauses out of 15624 with flag 48876/2827641
911.00/906.75	c cleaning 6906 clauses out of 13829 with flag 173804/2833643
912.43/908.13	c cleaning 6946 clauses out of 13922 with flag 309711/2840642
913.80/909.23	c Got one! Elapsed wall clock time (in seconds):909.12
913.80/909.23	o 2
914.84/910.28	c cleaning 8891 clauses out of 17796 with flag 100488/2851462
916.54/911.52	c cleaning 7440 clauses out of 14906 with flag 223903/2857463
917.95/912.97	c cleaning 7212 clauses out of 14465 with flag 364404/2864462
919.65/914.63	c cleaning 7607 clauses out of 15255 with flag 516091/2872464
921.55/916.58	c cleaning 8312 clauses out of 16645 with flag 689228/2881462
923.15/918.18	c starts		: 306
923.15/918.18	c conflicts		: 2888707
923.15/918.18	c decisions		: 4567844
923.15/918.18	c propagations		: 1926875036
923.15/918.18	c inspects		: 6037801406
923.15/918.18	c shortcuts		: 0
923.15/918.18	c learnt literals	: 6
923.15/918.18	c learnt binary clauses	: 11
923.15/918.18	c learnt ternary clauses	: 72
923.15/918.18	c learnt constraints	: 2888700
923.15/918.18	c ignored constraints	: 0
923.15/918.18	c root simplifications	: 0
923.15/918.18	c removed literals (reason simplification)	: 0
923.15/918.18	c reason swapping (by a shorter reason)	: 0
923.15/918.18	c Calls to reduceDB	: 303
923.15/918.18	c Number of update (reduction) of LBD	: 1342187
923.15/918.18	c number of reductions to clauses (during analyze)	: 0
923.15/918.18	c number of learned constraints concerned by reduction	: 0
923.15/918.18	c number of learning phase by resolution	: 0
923.15/918.18	c number of learning phase by cutting planes	: 0
923.15/918.18	c speed (assignments/second)	: 2100058.4566893433
923.15/918.18	c non guided choices	20297
923.15/918.18	c learnt constraints type 
923.15/918.18	c constraints type 
923.15/918.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6268
923.15/918.18	c ignored satisfied constraints => 852
923.15/918.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8423
923.15/918.18	c org.sat4j.minisat.constraints.cnf.UnitClause => 299
923.15/918.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 316
923.15/918.18	c 16158 constraints processed.
923.15/918.18	s OPTIMUM FOUND
923.15/918.19	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 
923.15/918.20	c objective function=2
923.15/918.20	c Total wall clock time (in seconds): 918.09

Verifier Data 

OK	2

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

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.09 2.06 4/193 17922
/proc/meminfo: memFree=31927408/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (java) R 17920 17922 13427 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 291339361 23793664 714 33554432000 1073741824 1073778376 140737125033152 140737125022216 270109023522 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 5809 715 529 9 0 128 0

[startup+0.013741 s]
/proc/loadavg: 2.04 2.09 2.06 4/193 17922
/proc/meminfo: memFree=31927408/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=9014776 CPUtime=0 cores=0,2,4,6
/proc/17922/stat : 17922 (java) S 17920 17922 13427 0 -1 4202496 2094 0 1 0 0 0 0 0 20 0 10 0 291339361 9231130624 2286 33554432000 1073741824 1073778376 140737125033152 140737125024288 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2253694 2286 975 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.10029 s]
/proc/loadavg: 2.04 2.09 2.06 4/193 17922
/proc/meminfo: memFree=31927408/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/17922/stat : 17922 (java) S 17920 17922 13427 0 -1 4202496 4381 0 1 0 9 1 0 0 20 0 18 0 291339361 9787817984 5580 33554432000 1073741824 1073778376 140737125033152 140737125024288 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2389604 5580 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300229 s]
/proc/loadavg: 2.04 2.09 2.06 4/193 17922
/proc/meminfo: memFree=31927408/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=9558416 CPUtime=0.5 cores=0,2,4,6
/proc/17922/stat : 17922 (java) S 17920 17922 13427 0 -1 4202496 5998 0 1 0 49 1 0 0 20 0 18 0 291339361 9787817984 8371 33554432000 1073741824 1073778376 140737125033152 140737125024288 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2389604 8371 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558416

[startup+0.700182 s]
/proc/loadavg: 2.04 2.09 2.06 4/193 17922
/proc/meminfo: memFree=31927408/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=9624980 CPUtime=1.66 cores=0,2,4,6
/proc/17922/stat : 17922 (java) S 17920 17922 13427 0 -1 4202496 16498 0 1 0 163 3 0 0 20 0 19 0 291339361 9855979520 22983 33554432000 1073741824 1073778376 140737125033152 140737125024288 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2406245 22983 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 9624980

[startup+1.50068 s]
/proc/loadavg: 2.04 2.09 2.06 3/212 17998
/proc/meminfo: memFree=31839232/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=9624980 CPUtime=2.88 cores=0,2,4,6
/proc/17922/stat : 17922 (java) S 17920 17922 13427 0 -1 4202496 16636 0 1 0 285 3 0 0 20 0 19 0 291339361 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 140737125024288 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2406245 24892 2261 9 0 2396937 0
[pid=17922/tid=17924] ppid=17920 vsize=9624980 CPUtime=1.48 cores=0,2,4,6
/proc/17922/task/17924/stat : 17924 (java) R 17920 17922 13427 0 -1 4202560 2481 0 1 0 146 2 0 0 20 0 19 0 291339361 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855855858072 139855695476808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17925] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17925/stat : 17925 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855817349928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17926] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17926/stat : 17926 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855816297128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17927] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17927/stat : 17927 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855815244840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17928] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17928/stat : 17928 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855814192040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17929] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17929/stat : 17929 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855694653736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17930] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17930/stat : 17930 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855693600936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17931] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17931/stat : 17931 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855692548648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17932] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17932/stat : 17932 (java) S 17920 17922 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855691495848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17933] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17933/stat : 17933 (java) S 17920 17922 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291339363 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855679298280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17934] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17934/stat : 17934 (java) S 17920 17922 13427 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855073895928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17935] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17935/stat : 17935 (java) S 17920 17922 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855072843528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17936] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17936/stat : 17936 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855071792016 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17937] ppid=17920 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/17922/task/17937/stat : 17937 (java) S 17920 17922 13427 0 -1 4202560 5013 0 0 0 68 0 0 0 20 0 19 0 291339366 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855070738616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17938] ppid=17920 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/17922/task/17938/stat : 17938 (java) S 17920 17922 13427 0 -1 4202560 7943 0 0 0 67 2 0 0 20 0 19 0 291339366 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855069685816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17939] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17939/stat : 17939 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855068633720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17940] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17940/stat : 17940 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855067581128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17950] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17950/stat : 17950 (java) S 17920 17922 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291339426 9855979520 24892 33554432000 1073741824 1073778376 140737125033152 139855066527144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 9624980

[startup+3.10068 s]
/proc/loadavg: 2.04 2.09 2.06 4/213 17999
/proc/meminfo: memFree=31747836/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=9624980 CPUtime=4.56 cores=0,2,4,6
/proc/17922/stat : 17922 (java) S 17920 17922 13427 0 -1 4202496 16903 0 1 0 452 4 0 0 20 0 19 0 291339361 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 140737125024288 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2406245 26429 2261 9 0 2396937 0
[pid=17922/tid=17924] ppid=17920 vsize=9624980 CPUtime=3.08 cores=0,2,4,6
/proc/17922/task/17924/stat : 17924 (java) R 17920 17922 13427 0 -1 4202560 2485 0 1 0 306 2 0 0 20 0 19 0 291339361 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855855858040 139855695557831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17925] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17925/stat : 17925 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855817349928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17926] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17926/stat : 17926 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855816297128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17927] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17927/stat : 17927 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855815244840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17928] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17928/stat : 17928 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855814192040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17929] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17929/stat : 17929 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855694653736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17930] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17930/stat : 17930 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855693600936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17931] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17931/stat : 17931 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855692548648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17932] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17932/stat : 17932 (java) S 17920 17922 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855691495848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17933] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17933/stat : 17933 (java) S 17920 17922 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291339363 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855679298280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17934] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17934/stat : 17934 (java) S 17920 17922 13427 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855073895928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17935] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17935/stat : 17935 (java) S 17920 17922 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855072843528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17936] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17936/stat : 17936 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855071792016 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17937] ppid=17920 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/17922/task/17937/stat : 17937 (java) S 17920 17922 13427 0 -1 4202560 5275 0 0 0 73 0 0 0 20 0 19 0 291339366 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855070738616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17938] ppid=17920 vsize=9624980 CPUtime=0.72 cores=0,2,4,6
/proc/17922/task/17938/stat : 17938 (java) S 17920 17922 13427 0 -1 4202560 7943 0 0 0 70 2 0 0 20 0 19 0 291339366 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855069685816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17939] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17939/stat : 17939 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855068633720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17940] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17940/stat : 17940 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855067581128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17950] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17950/stat : 17950 (java) S 17920 17922 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291339426 9855979520 26429 33554432000 1073741824 1073778376 140737125033152 139855066527144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 9624980

[startup+6.30068 s]
/proc/loadavg: 2.12 2.10 2.07 5/212 18112
/proc/meminfo: memFree=31800700/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=9624980 CPUtime=7.88 cores=0,2,4,6
/proc/17922/stat : 17922 (java) S 17920 17922 13427 0 -1 4202496 17010 0 1 0 782 6 0 0 20 0 19 0 291339361 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 140737125024288 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2406245 33081 2286 9 0 2396937 0
[pid=17922/tid=17924] ppid=17920 vsize=9624980 CPUtime=6.21 cores=0,2,4,6
/proc/17922/task/17924/stat : 17924 (java) R 17920 17922 13427 0 -1 4202560 2488 0 1 0 619 2 0 0 20 0 19 0 291339361 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855855857952 139855695550207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17925] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17925/stat : 17925 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855817349928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17926] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17926/stat : 17926 (java) S 17920 17922 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855816297128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17927] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17927/stat : 17927 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855815244840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17928] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17928/stat : 17928 (java) S 17920 17922 13427 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855814192040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17929] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17929/stat : 17929 (java) S 17920 17922 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855694653736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17930] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17930/stat : 17930 (java) S 17920 17922 13427 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855693600936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17931] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17931/stat : 17931 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855692548648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17932] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17932/stat : 17932 (java) S 17920 17922 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291339362 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855691495848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17933] ppid=17920 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/17922/task/17933/stat : 17933 (java) S 17920 17922 13427 0 -1 4202560 43 0 0 0 3 0 0 0 20 0 19 0 291339363 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855679298280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17934] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17934/stat : 17934 (java) S 17920 17922 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855073895928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17935] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17935/stat : 17935 (java) S 17920 17922 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855072843528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17936] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17936/stat : 17936 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855071792016 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17937] ppid=17920 vsize=9624980 CPUtime=0.77 cores=0,2,4,6
/proc/17922/task/17937/stat : 17937 (java) S 17920 17922 13427 0 -1 4202560 5281 0 0 0 77 0 0 0 20 0 19 0 291339366 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855070738616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17938] ppid=17920 vsize=9624980 CPUtime=0.76 cores=0,2,4,6
/proc/17922/task/17938/stat : 17938 (java) S 17920 17922 13427 0 -1 4202560 7948 0 0 0 74 2 0 0 20 0 19 0 291339366 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855069685816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17939] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17939/stat : 17939 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855068633720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17940] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17940/stat : 17940 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855067581128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17950] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17950/stat : 17950 (java) S 17920 17922 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291339426 9855979520 33081 33554432000 1073741824 1073778376 140737125033152 139855066527144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

/proc/17922/task/17931/stat : 17931 (java) S 17920 17922 13427 0 -1 4202560 28 0 0 0 48 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855692548648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17932] ppid=17920 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/17922/task/17932/stat : 17932 (java) S 17920 17922 13427 0 -1 4202560 28 0 0 0 49 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855691495848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17933] ppid=17920 vsize=9624980 CPUtime=7.38 cores=0,2,4,6
/proc/17922/task/17933/stat : 17933 (java) S 17920 17922 13427 0 -1 4202560 121 0 0 0 736 2 0 0 20 0 19 0 291339363 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855679298280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17934] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17934/stat : 17934 (java) S 17920 17922 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855073895928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17935] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17935/stat : 17935 (java) S 17920 17922 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855072843528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17936] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17936/stat : 17936 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855071792016 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17937] ppid=17920 vsize=9624980 CPUtime=1.2 cores=0,2,4,6
/proc/17922/task/17937/stat : 17937 (java) S 17920 17922 13427 0 -1 4202560 8674 0 0 0 118 2 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855070738616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17938] ppid=17920 vsize=9624980 CPUtime=1.16 cores=0,2,4,6
/proc/17922/task/17938/stat : 17938 (java) S 17920 17922 13427 0 -1 4202560 7975 0 0 0 114 2 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855069685816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17939] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17939/stat : 17939 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855068633720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17940] ppid=17920 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/17922/task/17940/stat : 17940 (java) S 17920 17922 13427 0 -1 4202560 53 0 0 0 8 9 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855067581128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17950] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17950/stat : 17950 (java) S 17920 17922 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291339426 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855066527144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 922.55
Current children cumulated vsize (KiB) 9624980

[startup+917.901 s]
/proc/loadavg: 1.99 2.03 2.01 3/213 18462
/proc/meminfo: memFree=30258180/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=9624980 CPUtime=922.95 cores=0,2,4,6
/proc/17922/stat : 17922 (java) S 17920 17922 13427 0 -1 4202496 21052 0 1 0 92270 25 0 0 20 0 19 0 291339361 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 140737125024288 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2406245 41443 2287 9 0 2396937 0
[pid=17922/tid=17924] ppid=17920 vsize=9624980 CPUtime=906.75 cores=0,2,4,6
/proc/17922/task/17924/stat : 17924 (java) R 17920 17922 13427 0 -1 4202560 2787 0 1 0 90660 15 0 0 20 0 19 0 291339361 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855855858016 139855695540928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17925] ppid=17920 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/17922/task/17925/stat : 17925 (java) S 17920 17922 13427 0 -1 4202560 23 0 0 0 46 0 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855817349928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17926] ppid=17920 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/17922/task/17926/stat : 17926 (java) S 17920 17922 13427 0 -1 4202560 43 0 0 0 50 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855816297128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17927] ppid=17920 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/17922/task/17927/stat : 17927 (java) S 17920 17922 13427 0 -1 4202560 22 0 0 0 47 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855815244840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17928] ppid=17920 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/17922/task/17928/stat : 17928 (java) S 17920 17922 13427 0 -1 4202560 44 0 0 0 49 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855814192040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17929] ppid=17920 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/17922/task/17929/stat : 17929 (java) S 17920 17922 13427 0 -1 4202560 39 0 0 0 49 1 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855694653736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17930] ppid=17920 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/17922/task/17930/stat : 17930 (java) S 17920 17922 13427 0 -1 4202560 30 0 0 0 50 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855693600936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17931] ppid=17920 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/17922/task/17931/stat : 17931 (java) S 17920 17922 13427 0 -1 4202560 28 0 0 0 48 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855692548648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17932] ppid=17920 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/17922/task/17932/stat : 17932 (java) S 17920 17922 13427 0 -1 4202560 28 0 0 0 49 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855691495848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17933] ppid=17920 vsize=9624980 CPUtime=7.38 cores=0,2,4,6
/proc/17922/task/17933/stat : 17933 (java) S 17920 17922 13427 0 -1 4202560 121 0 0 0 736 2 0 0 20 0 19 0 291339363 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855679298280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17934] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17934/stat : 17934 (java) S 17920 17922 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855073895928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17935] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17935/stat : 17935 (java) S 17920 17922 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855072843528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17936] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17936/stat : 17936 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855071792016 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17937] ppid=17920 vsize=9624980 CPUtime=1.2 cores=0,2,4,6
/proc/17922/task/17937/stat : 17937 (java) S 17920 17922 13427 0 -1 4202560 8674 0 0 0 118 2 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855070738616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17938] ppid=17920 vsize=9624980 CPUtime=1.16 cores=0,2,4,6
/proc/17922/task/17938/stat : 17938 (java) S 17920 17922 13427 0 -1 4202560 7975 0 0 0 114 2 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855069685816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17939] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17939/stat : 17939 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855068633720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17940] ppid=17920 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/17922/task/17940/stat : 17940 (java) S 17920 17922 13427 0 -1 4202560 53 0 0 0 8 9 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855067581128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17950] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17950/stat : 17950 (java) S 17920 17922 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291339426 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855066527144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 922.95
Current children cumulated vsize (KiB) 9624980

[startup+918.101 s]
/proc/loadavg: 1.99 2.03 2.01 3/213 18462
/proc/meminfo: memFree=30258180/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=9624980 CPUtime=923.15 cores=0,2,4,6
/proc/17922/stat : 17922 (java) S 17920 17922 13427 0 -1 4202496 21052 0 1 0 92290 25 0 0 20 0 19 0 291339361 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 140737125024288 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2406245 41443 2287 9 0 2396937 0
[pid=17922/tid=17924] ppid=17920 vsize=9624980 CPUtime=906.94 cores=0,2,4,6
/proc/17922/task/17924/stat : 17924 (java) R 17920 17922 13427 0 -1 4202560 2787 0 1 0 90679 15 0 0 20 0 19 0 291339361 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855855858016 139855695485349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17925] ppid=17920 vsize=9624980 CPUtime=0.46 cores=0,2,4,6
/proc/17922/task/17925/stat : 17925 (java) S 17920 17922 13427 0 -1 4202560 23 0 0 0 46 0 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855817349928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17926] ppid=17920 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/17922/task/17926/stat : 17926 (java) S 17920 17922 13427 0 -1 4202560 43 0 0 0 50 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855816297128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17927] ppid=17920 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/17922/task/17927/stat : 17927 (java) S 17920 17922 13427 0 -1 4202560 22 0 0 0 47 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855815244840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17928] ppid=17920 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/17922/task/17928/stat : 17928 (java) S 17920 17922 13427 0 -1 4202560 44 0 0 0 49 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855814192040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17929] ppid=17920 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/17922/task/17929/stat : 17929 (java) S 17920 17922 13427 0 -1 4202560 39 0 0 0 49 1 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855694653736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17930] ppid=17920 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/17922/task/17930/stat : 17930 (java) S 17920 17922 13427 0 -1 4202560 30 0 0 0 50 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855693600936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17931] ppid=17920 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/17922/task/17931/stat : 17931 (java) S 17920 17922 13427 0 -1 4202560 28 0 0 0 48 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855692548648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17932] ppid=17920 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/17922/task/17932/stat : 17932 (java) S 17920 17922 13427 0 -1 4202560 28 0 0 0 49 2 0 0 20 0 19 0 291339362 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855691495848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17933] ppid=17920 vsize=9624980 CPUtime=7.38 cores=0,2,4,6
/proc/17922/task/17933/stat : 17933 (java) S 17920 17922 13427 0 -1 4202560 121 0 0 0 736 2 0 0 20 0 19 0 291339363 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855679298280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17934] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17934/stat : 17934 (java) S 17920 17922 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855073895928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17935] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17935/stat : 17935 (java) S 17920 17922 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291339364 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855072843528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17936] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17936/stat : 17936 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855071792016 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17937] ppid=17920 vsize=9624980 CPUtime=1.2 cores=0,2,4,6
/proc/17922/task/17937/stat : 17937 (java) S 17920 17922 13427 0 -1 4202560 8674 0 0 0 118 2 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855070738616 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17938] ppid=17920 vsize=9624980 CPUtime=1.16 cores=0,2,4,6
/proc/17922/task/17938/stat : 17938 (java) S 17920 17922 13427 0 -1 4202560 7975 0 0 0 114 2 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855069685816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17939] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17939/stat : 17939 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855068633720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17940] ppid=17920 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/17922/task/17940/stat : 17940 (java) S 17920 17922 13427 0 -1 4202560 53 0 0 0 8 9 0 0 20 0 19 0 291339366 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855067581128 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17950] ppid=17920 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17950/stat : 17950 (java) S 17920 17922 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291339426 9855979520 41443 33554432000 1073741824 1073778376 140737125033152 139855066527144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 923.15
Current children cumulated vsize (KiB) 9624980

[startup+918.203 s]
/proc/loadavg: 1.99 2.03 2.01 3/213 18462
/proc/meminfo: memFree=30258180/32873844 swapFree=6872/6872
[pid=17922] ppid=17920 vsize=9691544 CPUtime=923.32 cores=0,2,4,6
/proc/17922/stat : 17922 (java) S 17920 17922 13427 0 -1 4202496 21064 0 1 0 92303 29 0 0 20 0 18 0 291339361 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 140737125024288 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17922/statm: 2422886 41452 2289 9 0 2413578 0
[pid=17922/tid=17924] ppid=17920 vsize=9691544 CPUtime=907.03 cores=0,2,4,6
/proc/17922/task/17924/stat : 17924 (java) S 17920 17922 13427 0 -1 4202560 2789 0 1 0 90688 15 0 0 20 0 18 0 291339361 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855855858680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17925] ppid=17920 vsize=9691544 CPUtime=0.46 cores=0,2,4,6
/proc/17922/task/17925/stat : 17925 (java) S 17920 17922 13427 0 -1 4202560 23 0 0 0 46 0 0 0 20 0 18 0 291339362 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855817349928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17926] ppid=17920 vsize=9691544 CPUtime=0.52 cores=0,2,4,6
/proc/17922/task/17926/stat : 17926 (java) S 17920 17922 13427 0 -1 4202560 43 0 0 0 50 2 0 0 20 0 18 0 291339362 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855816297128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17927] ppid=17920 vsize=9691544 CPUtime=0.49 cores=0,2,4,6
/proc/17922/task/17927/stat : 17927 (java) S 17920 17922 13427 0 -1 4202560 22 0 0 0 47 2 0 0 20 0 18 0 291339362 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855815244840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17928] ppid=17920 vsize=9691544 CPUtime=0.51 cores=0,2,4,6
/proc/17922/task/17928/stat : 17928 (java) S 17920 17922 13427 0 -1 4202560 44 0 0 0 49 2 0 0 20 0 18 0 291339362 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855814192040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17929] ppid=17920 vsize=9691544 CPUtime=0.5 cores=0,2,4,6
/proc/17922/task/17929/stat : 17929 (java) S 17920 17922 13427 0 -1 4202560 39 0 0 0 49 1 0 0 20 0 18 0 291339362 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855694653736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17922/tid=17930] ppid=17920 vsize=9691544 CPUtime=0.52 cores=0,2,4,6
/proc/17922/task/17930/stat : 17930 (java) S 17920 17922 13427 0 -1 4202560 30 0 0 0 50 2 0 0 20 0 18 0 291339362 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855693600936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17931] ppid=17920 vsize=9691544 CPUtime=0.5 cores=0,2,4,6
/proc/17922/task/17931/stat : 17931 (java) S 17920 17922 13427 0 -1 4202560 28 0 0 0 48 2 0 0 20 0 18 0 291339362 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855692548648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17932] ppid=17920 vsize=9691544 CPUtime=0.51 cores=0,2,4,6
/proc/17922/task/17932/stat : 17932 (java) S 17920 17922 13427 0 -1 4202560 28 0 0 0 49 2 0 0 20 0 18 0 291339362 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855691495848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17933] ppid=17920 vsize=9691544 CPUtime=7.38 cores=0,2,4,6
/proc/17922/task/17933/stat : 17933 (java) S 17920 17922 13427 0 -1 4202560 121 0 0 0 736 2 0 0 20 0 18 0 291339363 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855679297832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17934] ppid=17920 vsize=9691544 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17934/stat : 17934 (java) S 17920 17922 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 291339364 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855073895928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17935] ppid=17920 vsize=9691544 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17935/stat : 17935 (java) S 17920 17922 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 291339364 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855072843528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17936] ppid=17920 vsize=9691544 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17936/stat : 17936 (java) S 17920 17922 13427 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 291339366 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855071791048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17922/tid=17937] ppid=17920 vsize=9691544 CPUtime=1.22 cores=0,2,4,6
/proc/17922/task/17937/stat : 17937 (java) S 17920 17922 13427 0 -1 4202560 8674 0 0 0 120 2 0 0 20 0 18 0 291339366 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855070724856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17938] ppid=17920 vsize=9691544 CPUtime=1.17 cores=0,2,4,6
/proc/17922/task/17938/stat : 17938 (java) S 17920 17922 13427 0 -1 4202560 7976 0 0 0 115 2 0 0 20 0 18 0 291339366 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855069685816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17922/tid=17939] ppid=17920 vsize=9691544 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17939/stat : 17939 (java) S 17920 17922 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291339366 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855068633720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17922/tid=17950] ppid=17920 vsize=9691544 CPUtime=0 cores=0,2,4,6
/proc/17922/task/17950/stat : 17950 (java) S 17920 17922 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 291339426 9924141056 41452 33554432000 1073741824 1073778376 140737125033152 139855066527144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 923.32
Current children cumulated vsize (KiB) 9691544

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17922 and gives
#  childrusage.ru_utime.tv_sec=920
#  childrusage.ru_utime.tv_usec=682035
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=571913
# CPU time returned by wait4() is 921.254
# while last known CPU time is 923.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 918.215
CPU time (s): 923.32
CPU user time (s): 923.03
CPU system time (s): 0.29
CPU usage (%): 100.556
Max. virtual memory (cumulated for all children) (KiB): 9691544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 920.682
system time used= 0.571913
maximum resident set size= 169404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21064
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27589
involuntary context switches= 14759

runsolver used 2.09768 second user time and 5.03123 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-29 02:41:49
IDJOB=3718205
IDBENCH=79065
IDSOLVER=2301
FILE ID=node106/3718205-1338252109
RUNJOBID= node106-1338247868-15527
PBS_JOBID= 14624657
Free space on /tmp= 71332 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-66-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718205-1338252109/watcher-3718205-1338252109 -o /tmp/evaluation-result-3718205-1338252109/solver-3718205-1338252109 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718205-1338252109.wbo

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

MD5SUM BENCH= 114c0408840a95cae960ebc399875ecb
RANDOM SEED=1589979273

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31929612 kB
Buffers:           72172 kB
Cached:            52636 kB
SwapCached:         1836 kB
Active:           112692 kB
Inactive:          36400 kB
Active(anon):      23276 kB
Inactive(anon):     3012 kB
Active(file):      89416 kB
Inactive(file):    33388 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100488 kB
Dirty:              1592 kB
Writeback:             0 kB
AnonPages:         20344 kB
Mapped:            15428 kB
Shmem:                 0 kB
Slab:             652656 kB
SReclaimable:      93584 kB
SUnreclaim:       559072 kB
KernelStack:        1752 kB
PageTables:         4428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71316 MiB
End job on node106 at 2012-05-29 02:57:07