Trace number 3736012

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 NameAnswerobjective functionCPU timeWall clock time
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)22 1800.18 938.946

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUMd25f6086317f033c233c4700493f03d1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark97.9001
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
Number of bits of the biggest sum of numbers10
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.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.2.0.v20100531
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		1349517296
0.03/0.09	c Max memory 		1356595200
0.03/0.09	c Total memory 		1356595200
0.03/0.09	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization
0.07/0.12	c ManyCore solver with 2 solvers running in parallel
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c Expensive reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	
0.07/0.12	c solving HOME/instance-3736012-1338750600.opb
0.07/0.12	c reading problem ... 
1.02/0.50	c ... done. Wall clock time 0.374s.
1.02/0.50	c #vars     6027
1.02/0.50	c #constraints  21278
1.02/0.50	c constraints type 
1.02/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373
1.02/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1.02/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899
1.02/0.50	c constraints type 
1.02/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899
1.02/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373
1.02/0.50	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.02/0.57	c And the winner is Resolution
1.44/1.51	c SATISFIABLE
1.44/1.51	c OPTIMIZING...
1.44/1.51	c Got one! Elapsed wall clock time (in seconds):1.383
1.44/1.51	o 28
1.44/1.54	c And the winner is Resolution
1.72/2.51	c Got one! Elapsed wall clock time (in seconds):2.39
1.72/2.51	o 27
1.72/2.59	c And the winner is Resolution
2.25/3.52	c Got one! Elapsed wall clock time (in seconds):3.396
2.25/3.52	o 26
2.88/3.76	c And the winner is Resolution
3.12/4.52	c Got one! Elapsed wall clock time (in seconds):4.4
3.12/4.52	o 25
3.93/4.95	c And the winner is Resolution
4.06/5.53	c Got one! Elapsed wall clock time (in seconds):5.404
4.06/5.53	o 24
4.48/5.76	c cleaning 2497 clauses out of 5001 with flag 5001/5001
6.95/6.83	c cleaning 4244 clauses out of 8504 with flag 11001/11001
9.13/7.90	c cleaning 5620 clauses out of 11259 with flag 18000/18000
11.72/9.27	c cleaning 6807 clauses out of 13641 with flag 26002/26002
15.34/11.05	c cleaning 7899 clauses out of 15832 with flag 35000/35000
18.90/12.87	c cleaning 8951 clauses out of 17933 with flag 45000/45000
23.30/15.06	c cleaning 9973 clauses out of 19982 with flag 56000/56000
27.72/17.29	c cleaning 10987 clauses out of 22009 with flag 68000/68000
31.69/19.22	c cleaning 11996 clauses out of 24025 with flag 81003/81003
36.27/21.53	c cleaning 12996 clauses out of 26026 with flag 95000/95000
41.03/23.99	c cleaning 14002 clauses out of 28030 with flag 110000/110000
46.81/26.85	c cleaning 15000 clauses out of 30030 with flag 126002/126002
53.96/30.41	c cleaning 16000 clauses out of 32028 with flag 143000/143000
60.58/33.74	c cleaning 17004 clauses out of 34029 with flag 161001/161001
69.12/37.86	c cleaning 17995 clauses out of 36024 with flag 180000/180000
78.07/42.34	c cleaning 18999 clauses out of 38029 with flag 200000/200000
85.00/45.88	c cleaning 20000 clauses out of 40030 with flag 221000/221000
92.75/49.72	c cleaning 20999 clauses out of 42030 with flag 243000/243000
100.09/53.41	c cleaning 21501 clauses out of 43032 with flag 265001/265001
109.69/58.27	c cleaning 21737 clauses out of 43530 with flag 287000/287000
119.20/63.02	c cleaning 21872 clauses out of 43794 with flag 309001/309001
127.20/67.05	c cleaning 21941 clauses out of 43921 with flag 331000/331000
135.16/71.00	c cleaning 21970 clauses out of 43980 with flag 353000/353000
144.31/75.63	c cleaning 21988 clauses out of 44011 with flag 375001/375001
152.97/80.02	c cleaning 21998 clauses out of 44025 with flag 397003/397003
161.14/84.15	c cleaning 21996 clauses out of 44024 with flag 419000/419000
170.90/89.02	c cleaning 21981 clauses out of 44028 with flag 441000/441000
179.44/93.35	c cleaning 21999 clauses out of 44048 with flag 463001/463001
189.70/98.50	c cleaning 22001 clauses out of 44048 with flag 485000/485000
200.24/103.85	c cleaning 21998 clauses out of 44047 with flag 507000/507000
209.57/108.58	c cleaning 22005 clauses out of 44050 with flag 529001/529001
220.92/114.22	c cleaning 22005 clauses out of 44045 with flag 551001/551001
233.57/120.66	c cleaning 22001 clauses out of 44039 with flag 573000/573000
243.08/125.44	c And the winner is Resolution
242.93/125.85	c Got one! Elapsed wall clock time (in seconds):125.731
242.93/125.85	o 23
245.24/127.03	c cleaning 21993 clauses out of 44039 with flag 595001/595001
255.19/132.02	c cleaning 22004 clauses out of 44045 with flag 617000/617000
263.69/136.36	c cleaning 21999 clauses out of 44041 with flag 639000/639000
272.43/140.86	c cleaning 22010 clauses out of 44044 with flag 661002/661002
280.69/145.01	c cleaning 21996 clauses out of 44032 with flag 683000/683000
290.16/149.83	c cleaning 21981 clauses out of 44036 with flag 705000/705000
298.23/153.93	c And the winner is CuttingPlanes
298.17/154.05	c Got one! Elapsed wall clock time (in seconds):153.921
298.17/154.05	o 22
298.89/154.44	c cleaning 22022 clauses out of 44055 with flag 727000/727000
309.48/159.83	c cleaning 22001 clauses out of 44035 with flag 749002/749002
320.77/165.53	c cleaning 22007 clauses out of 44035 with flag 771003/771003
333.28/171.84	c cleaning 21992 clauses out of 44026 with flag 793001/793001
347.36/178.95	c cleaning 22000 clauses out of 44033 with flag 815000/815000
357.69/184.26	c cleaning 21978 clauses out of 44035 with flag 837002/837002
368.27/189.63	c cleaning 21994 clauses out of 44057 with flag 859002/859002
377.31/194.28	c cleaning 22009 clauses out of 44062 with flag 881001/881001
386.32/198.89	c cleaning 22011 clauses out of 44052 with flag 903000/903000
396.02/203.86	c cleaning 22003 clauses out of 44044 with flag 925003/925003
410.06/210.97	c cleaning 21998 clauses out of 44038 with flag 947000/947000
419.68/215.85	c cleaning 21991 clauses out of 44040 with flag 969000/969000
431.33/221.76	c cleaning 22005 clauses out of 44050 with flag 991001/991001
442.98/227.74	c cleaning 21998 clauses out of 44046 with flag 1013002/1013002
452.58/232.66	c cleaning 21999 clauses out of 44046 with flag 1035000/1035000
462.41/237.65	c cleaning 21992 clauses out of 44048 with flag 1057001/1057001
473.44/243.29	c cleaning 21994 clauses out of 44055 with flag 1079000/1079000
483.50/248.40	c cleaning 22007 clauses out of 44063 with flag 1101002/1101002
492.52/253.02	c cleaning 22012 clauses out of 44055 with flag 1123001/1123001
501.32/257.53	c cleaning 21997 clauses out of 44044 with flag 1145002/1145002
510.72/262.32	c cleaning 22002 clauses out of 44046 with flag 1167001/1167001
522.14/268.22	c cleaning 22003 clauses out of 44048 with flag 1189005/1189005
532.97/273.75	c cleaning 21999 clauses out of 44040 with flag 1211000/1211000
544.20/279.43	c cleaning 21998 clauses out of 44042 with flag 1233001/1233001
556.55/285.77	c cleaning 22002 clauses out of 44043 with flag 1255000/1255000
567.78/291.55	c cleaning 22001 clauses out of 44041 with flag 1277000/1277000
576.15/295.83	c cleaning 22006 clauses out of 44041 with flag 1299001/1299001
584.93/300.33	c cleaning 22001 clauses out of 44036 with flag 1321002/1321002
595.12/305.59	c cleaning 22003 clauses out of 44033 with flag 1343000/1343000
606.92/311.62	c cleaning 21992 clauses out of 44031 with flag 1365001/1365001
617.15/316.85	c cleaning 22005 clauses out of 44039 with flag 1387001/1387001
624.87/320.86	c cleaning 21987 clauses out of 44034 with flag 1409001/1409001
632.56/324.82	c cleaning 22005 clauses out of 44046 with flag 1431000/1431000
642.08/329.80	c cleaning 22008 clauses out of 44045 with flag 1453004/1453004
651.63/334.75	c cleaning 21992 clauses out of 44033 with flag 1475000/1475000
663.19/340.68	c cleaning 21993 clauses out of 44042 with flag 1497001/1497001
675.56/346.93	c cleaning 22002 clauses out of 44050 with flag 1519002/1519002
687.01/352.97	c cleaning 22002 clauses out of 44046 with flag 1541000/1541000
698.73/358.92	c cleaning 22005 clauses out of 44045 with flag 1563001/1563001
711.34/365.31	c cleaning 21985 clauses out of 44039 with flag 1585000/1585000
724.48/372.01	c cleaning 22000 clauses out of 44054 with flag 1607000/1607000
736.76/378.43	c cleaning 22007 clauses out of 44055 with flag 1629001/1629001
747.63/384.00	c cleaning 21994 clauses out of 44047 with flag 1651000/1651000
757.89/389.40	c cleaning 22002 clauses out of 44053 with flag 1673000/1673000
769.39/395.26	c cleaning 21993 clauses out of 44052 with flag 1695001/1695001
779.59/400.63	c cleaning 22010 clauses out of 44058 with flag 1717000/1717000
790.24/406.12	c cleaning 22002 clauses out of 44052 with flag 1739004/1739004
800.77/411.50	c cleaning 22005 clauses out of 44047 with flag 1761001/1761001
810.85/416.77	c cleaning 22000 clauses out of 44041 with flag 1783000/1783000
820.62/421.98	c cleaning 21998 clauses out of 44041 with flag 1805000/1805000
830.69/427.16	c cleaning 21997 clauses out of 44044 with flag 1827001/1827001
841.36/432.68	c cleaning 21997 clauses out of 44047 with flag 1849001/1849001
852.26/438.21	c cleaning 22005 clauses out of 44053 with flag 1871004/1871004
862.42/443.64	c cleaning 22002 clauses out of 44044 with flag 1893000/1893000
872.82/449.03	c cleaning 21998 clauses out of 44043 with flag 1915001/1915001
881.88/453.71	c cleaning 21995 clauses out of 44044 with flag 1937000/1937000
891.66/458.82	c cleaning 21995 clauses out of 44051 with flag 1959002/1959002
900.76/463.76	c cleaning 22004 clauses out of 44054 with flag 1981000/1981000
909.39/468.23	c cleaning 21999 clauses out of 44051 with flag 2003001/2003001
916.98/472.27	c cleaning 22011 clauses out of 44052 with flag 2025001/2025001
927.02/477.48	c cleaning 21997 clauses out of 44040 with flag 2047000/2047000
936.96/482.80	c cleaning 21996 clauses out of 44043 with flag 2069000/2069000
945.75/487.39	c cleaning 22001 clauses out of 44047 with flag 2091000/2091000
954.50/491.95	c cleaning 22000 clauses out of 44048 with flag 2113002/2113002
963.15/496.43	c cleaning 21998 clauses out of 44047 with flag 2135001/2135001
972.54/501.60	c cleaning 21993 clauses out of 44049 with flag 2157001/2157001
982.96/506.97	c cleaning 22002 clauses out of 44056 with flag 2179001/2179001
993.28/512.24	c cleaning 22003 clauses out of 44054 with flag 2201001/2201001
1002.94/517.29	c cleaning 21994 clauses out of 44050 with flag 2223000/2223000
1016.02/524.12	c cleaning 22007 clauses out of 44056 with flag 2245000/2245000
1031.03/531.83	c cleaning 22004 clauses out of 44049 with flag 2267000/2267000
1044.97/538.94	c cleaning 21998 clauses out of 44045 with flag 2289000/2289000
1057.61/545.46	c cleaning 22002 clauses out of 44047 with flag 2311000/2311000
1071.01/552.56	c cleaning 21994 clauses out of 44045 with flag 2333000/2333000
1084.22/559.39	c cleaning 21996 clauses out of 44051 with flag 2355000/2355000
1085.06/560.05	c cleaning 0 clauses out of 5002 with flag 0/5002
1098.12/566.69	c cleaning 21998 clauses out of 44056 with flag 2377001/2377001
1110.07/572.93	c cleaning 21998 clauses out of 44058 with flag 2399001/2399001
1121.29/578.73	c cleaning 22001 clauses out of 44059 with flag 2421000/2421000
1132.72/584.60	c cleaning 22006 clauses out of 44058 with flag 2443000/2443000
1143.41/590.29	c cleaning 22002 clauses out of 44060 with flag 2465008/2465008
1153.21/595.51	c cleaning 22000 clauses out of 44052 with flag 2487002/2487002
1163.21/600.79	c cleaning 21994 clauses out of 44050 with flag 2509000/2509000
1172.98/605.87	c cleaning 22000 clauses out of 44057 with flag 2531001/2531001
1182.72/610.92	c cleaning 22008 clauses out of 44060 with flag 2553004/2553004
1192.96/616.50	c cleaning 21998 clauses out of 44050 with flag 2575002/2575002
1202.29/621.48	c cleaning 22013 clauses out of 44051 with flag 2597001/2597001
1212.70/626.96	c cleaning 22000 clauses out of 44037 with flag 2619000/2619000
1222.75/632.28	c cleaning 21997 clauses out of 44038 with flag 2641001/2641001
1233.46/638.06	c cleaning 22000 clauses out of 44041 with flag 2663001/2663001
1243.56/643.39	c cleaning 22002 clauses out of 44041 with flag 2685001/2685001
1254.46/649.04	c cleaning 21991 clauses out of 44038 with flag 2707000/2707000
1265.96/655.02	c cleaning 22005 clauses out of 44047 with flag 2729000/2729000
1277.07/661.06	c cleaning 22001 clauses out of 44042 with flag 2751000/2751000
1287.76/666.66	c cleaning 22008 clauses out of 44041 with flag 2773000/2773000
1299.21/672.69	c cleaning 22006 clauses out of 44035 with flag 2795002/2795002
1310.12/678.32	c cleaning 21983 clauses out of 44028 with flag 2817001/2817001
1321.12/684.39	c cleaning 22001 clauses out of 44044 with flag 2839000/2839000
1332.04/690.02	c cleaning 21993 clauses out of 44043 with flag 2861000/2861000
1342.50/695.58	c cleaning 21995 clauses out of 44051 with flag 2883001/2883001
1353.20/701.15	c cleaning 22005 clauses out of 44056 with flag 2905001/2905001
1364.81/707.42	c cleaning 22002 clauses out of 44051 with flag 2927001/2927001
1376.34/713.49	c cleaning 21995 clauses out of 44052 with flag 2949004/2949004
1388.31/719.67	c cleaning 22004 clauses out of 44053 with flag 2971000/2971000
1399.52/725.50	c cleaning 21998 clauses out of 44049 with flag 2993000/2993000
1409.38/730.92	c cleaning 22004 clauses out of 44052 with flag 3015001/3015001
1422.50/737.78	c cleaning 22007 clauses out of 44047 with flag 3037000/3037000
1435.41/744.44	c cleaning 22002 clauses out of 44041 with flag 3059001/3059001
1446.58/750.27	c cleaning 21999 clauses out of 44040 with flag 3081002/3081002
1457.73/756.30	c cleaning 22010 clauses out of 44040 with flag 3103001/3103001
1469.43/762.43	c cleaning 22000 clauses out of 44029 with flag 3125000/3125000
1479.29/767.65	c cleaning 21996 clauses out of 44029 with flag 3147000/3147000
1489.71/773.11	c cleaning 22006 clauses out of 44033 with flag 3169000/3169000
1501.49/779.68	c cleaning 21997 clauses out of 44027 with flag 3191000/3191000
1512.13/785.22	c cleaning 22000 clauses out of 44030 with flag 3213000/3213000
1522.52/790.79	c cleaning 21993 clauses out of 44030 with flag 3235000/3235000
1535.18/797.37	c cleaning 21988 clauses out of 44038 with flag 3257001/3257001
1547.53/804.05	c cleaning 22000 clauses out of 44049 with flag 3279000/3279000
1558.69/809.98	c cleaning 21999 clauses out of 44049 with flag 3301000/3301000
1569.90/815.88	c cleaning 21999 clauses out of 44051 with flag 3323001/3323001
1581.75/822.05	c cleaning 22004 clauses out of 44052 with flag 3345001/3345001
1593.62/828.56	c cleaning 21994 clauses out of 44047 with flag 3367000/3367000
1605.95/835.07	c cleaning 22013 clauses out of 44053 with flag 3389000/3389000
1618.77/841.77	c cleaning 22002 clauses out of 44040 with flag 3411000/3411000
1631.01/848.17	c cleaning 22006 clauses out of 44039 with flag 3433001/3433001
1644.07/855.26	c cleaning 21998 clauses out of 44032 with flag 3455000/3455000
1657.70/862.34	c cleaning 21999 clauses out of 44035 with flag 3477001/3477001
1670.28/868.91	c cleaning 21994 clauses out of 44035 with flag 3499000/3499000
1681.88/875.09	c cleaning 22000 clauses out of 44041 with flag 3521000/3521000
1695.04/882.27	c cleaning 22006 clauses out of 44042 with flag 3543001/3543001
1706.60/888.38	c cleaning 22003 clauses out of 44037 with flag 3565002/3565002
1717.70/894.29	c cleaning 22008 clauses out of 44036 with flag 3587004/3587004
1727.32/899.44	c cleaning 21981 clauses out of 44024 with flag 3609000/3609000
1738.17/905.58	c cleaning 21992 clauses out of 44044 with flag 3631001/3631001
1747.20/910.49	c cleaning 22006 clauses out of 44053 with flag 3653002/3653002
1758.19/916.31	c cleaning 21999 clauses out of 44048 with flag 3675003/3675003
1768.42/921.81	c cleaning 22001 clauses out of 44046 with flag 3697000/3697000
1779.65/928.17	c cleaning 21997 clauses out of 44046 with flag 3719001/3719001
1790.64/934.02	c cleaning 22003 clauses out of 44048 with flag 3741000/3741000
1799.77/938.91	c starts		: 29
1799.77/938.91	c conflicts		: 6893
1799.77/938.91	c decisions		: 74004
1799.77/938.91	c propagations		: 1368822
1799.77/938.91	c inspects		: 173759472
1799.77/938.91	c learnt literals	: 0
1799.77/938.91	c learnt binary clauses	: 0
1799.77/938.91	c learnt ternary clauses	: 0
1799.77/938.91	c learnt clauses	: 6892
1799.77/938.91	c ignored clauses	: 0
1799.77/938.91	c root simplifications	: 0
1799.77/938.91	c removed literals (reason simplification)	: 0
1799.77/938.91	c reason swapping (by a shorter reason)	: 0
1799.77/938.91	c Calls to reduceDB	: 1
1799.77/938.91	c number of reductions to clauses (during analyze)	: 0
1799.77/938.91	c number of learned constraints concerned by reduction	: 0
1799.77/938.91	c number of learning phase by resolution	: 0
1799.77/938.91	c number of learning phase by cutting planes	: 0
1799.77/938.91	c speed (assignments/second)	: 1744.0288866068177
1799.77/938.91	c non guided choices	0
1799.77/938.91	c learnt constraints type 
1799.77/938.91	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 91
1799.77/938.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 86
1799.77/938.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6715
1799.77/938.91	c constraints type 
1799.77/938.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373
1799.77/938.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
1799.77/938.91	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899
1799.77/938.91	c constraints type 
1799.77/938.91	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899
1799.77/938.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373
1799.77/938.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1799.77/938.91	s SATISFIABLE
1799.77/938.92	v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 x1522 -x1523 -x1524 x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 x1606 -x1607 -x1608 x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 x1620 -x1621 x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 -x2221 x2222 -x2223 x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 x2325 x2326 x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 x3155 -x3156 -x3157 -x3158 x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 x4085 -x4086 -x4087 -x4088 x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 -x4251 -x4252 -x4253 -x4254 x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 x4499 -x4500 x4501 x4502 x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 x4530 -x4531 x4532 -x4533 -x4534 x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 x4587 -x4588 -x4589 -x4590 -x4591 x4592 -x4593 -x4594 x4595 -x4596 x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 -x4618 -x4619 x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 x4679 -x4680 -x4681 x4682 -x4683 -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 -x4931 -x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 x5235 -x5236 -x5237 x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 x5327 x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5496 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 x5831 -x5832 -x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 x5893 -x5894 x5895 -x5896 x5897 -x5898 -x5899 x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 x5907 -x5908 x5909 -x5910 -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 x5935 -x5936 -x5937 x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 x6026 -x6027 
1799.77/938.93	c objective function=22
1799.77/938.93	c Total wall clock time (in seconds): 938.808

Verifier Data 

OK	22

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-3736012-1338750600/watcher-3736012-1338750600 -o /tmp/evaluation-result-3736012-1338750600/solver-3736012-1338750600 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736012-1338750600.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.37 3.58 3.71 4/197 14757
/proc/meminfo: memFree=25867376/32873844 swapFree=7628/7628
[pid=14757] ppid=14755 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14757/stat : 14757 (java6) D 14755 14757 11909 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 341184370 9515008 183 33554432000 1073741824 1073778376 140733917360880 140733917351912 254750310069 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/14757/statm: 2323 183 140 9 0 71 0

[startup+0.062702 s]
/proc/loadavg: 3.37 3.58 3.71 4/197 14757
/proc/meminfo: memFree=25867376/32873844 swapFree=7628/7628
[pid=14757] ppid=14755 vsize=2367080 CPUtime=0.03 cores=0,2,4,6
/proc/14757/stat : 14757 (java) S 14755 14757 11909 0 -1 4202496 3741 0 1 0 3 0 0 0 20 0 13 0 341184370 2423889920 4948 33554432000 1073741824 1073778376 140736826372192 140736826363328 254753669181 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14757/statm: 591770 4948 1708 9 0 582471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080

[startup+0.100225 s]
/proc/loadavg: 3.37 3.58 3.71 4/197 14757
/proc/meminfo: memFree=25867376/32873844 swapFree=7628/7628
[pid=14757] ppid=14755 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/14757/stat : 14757 (java) S 14755 14757 11909 0 -1 4202496 4119 0 1 0 6 1 0 0 20 0 18 0 341184370 2764726272 5837 33554432000 1073741824 1073778376 140736826372192 140736826363328 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14757/statm: 674982 5840 1932 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928

[startup+0.30022 s]
/proc/loadavg: 3.37 3.58 3.71 4/197 14757
/proc/meminfo: memFree=25867376/32873844 swapFree=7628/7628
[pid=14757] ppid=14755 vsize=2699928 CPUtime=0.45 cores=0,2,4,6
/proc/14757/stat : 14757 (java) S 14755 14757 11909 0 -1 4202496 5879 0 1 0 44 1 0 0 20 0 18 0 341184370 2764726272 8669 33554432000 1073741824 1073778376 140736826372192 140736826363328 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14757/statm: 674982 8669 2215 9 0 665676 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2699928

[startup+0.70029 s]
/proc/loadavg: 3.37 3.58 3.71 4/197 14757
/proc/meminfo: memFree=25867376/32873844 swapFree=7628/7628
[pid=14757] ppid=14755 vsize=2966184 CPUtime=1.44 cores=0,2,4,6
/proc/14757/stat : 14757 (java) S 14755 14757 11909 0 -1 4202496 11482 0 1 0 139 5 0 0 20 0 20 0 341184370 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140736826363328 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14757/statm: 741546 25098 2250 9 0 732240 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 2966184

[startup+1.50075 s]
/proc/loadavg: 3.37 3.58 3.71 3/217 14779
/proc/meminfo: memFree=25775352/32873844 swapFree=7628/7628
[pid=14757] ppid=14755 vsize=2966184 CPUtime=1.44 cores=0,2,4,6
/proc/14757/stat : 14757 (java) S 14755 14757 11909 0 -1 4202496 11482 0 1 0 139 5 0 0 20 0 20 0 341184370 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140736826363328 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14757/statm: 741546 25098 2250 9 0 732240 0
[pid=14757/tid=14759] ppid=14755 vsize=2966184 CPUtime=0.46 cores=0,2,4,6
/proc/14757/task/14759/stat : 14759 (java) S 14755 14757 11909 0 -1 4202560 2816 0 1 0 44 2 0 0 20 0 20 0 341184371 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140395585717400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14760] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14760/stat : 14760 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140395569998248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14761] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14761/stat : 14761 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140395451247144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14762] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14762/stat : 14762 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140395450194088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14763] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14763/stat : 14763 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140395449141544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14764] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14764/stat : 14764 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140395448089512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14765] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14765/stat : 14765 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140395447036968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14766] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14766/stat : 14766 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140395445983912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14767] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14767/stat : 14767 (java) S 14755 14757 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140395444931368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14768] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14768/stat : 14768 (java) S 14755 14757 11909 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 341184373 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140394962602344 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14769] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14769/stat : 14769 (java) S 14755 14757 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341184374 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140394961548664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14770] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14770/stat : 14770 (java) S 14755 14757 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341184374 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140394960495496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14771] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14771/stat : 14771 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184377 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140394959444240 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14772] ppid=14755 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/14757/task/14772/stat : 14772 (java) S 14755 14757 11909 0 -1 4202560 3602 0 0 0 37 0 0 0 20 0 20 0 341184377 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140394958392120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14773] ppid=14755 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/14757/task/14773/stat : 14773 (java) S 14755 14757 11909 0 -1 4202560 3767 0 0 0 40 0 0 0 20 0 20 0 341184377 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140394957339576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14774] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14774/stat : 14774 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184377 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140394956286712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14775] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14775/stat : 14775 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184377 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140394955234376 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14778] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14778/stat : 14778 (java) S 14755 14757 11909 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 341184423 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140394952074024 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14779] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14779/stat : 14779 (java) S 14755 14757 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341184423 3037372416 25098 33554432000 1073741824 1073778376 140736826372192 140394951021480 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 2966184

[startup+3.10073 s]
/proc/loadavg: 3.37 3.58 3.71 3/218 14784
/proc/meminfo: memFree=25767960/32873844 swapFree=7628/7628
[pid=14757] ppid=14755 vsize=2966184 CPUtime=2.25 cores=0,2,4,6
/proc/14757/stat : 14757 (java) S 14755 14757 11909 0 -1 4202496 16189 0 1 0 216 9 0 0 20 0 20 0 341184370 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140736826363328 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14757/statm: 741546 32406 2258 9 0 732240 0
[pid=14757/tid=14759] ppid=14755 vsize=2966184 CPUtime=0.48 cores=0,2,4,6
/proc/14757/task/14759/stat : 14759 (java) S 14755 14757 11909 0 -1 4202560 2817 0 1 0 46 2 0 0 20 0 20 0 341184371 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140395585717400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14760] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14760/stat : 14760 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140395569998248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14761] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14761/stat : 14761 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140395451247144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14762] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14762/stat : 14762 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140395450194088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14763] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14763/stat : 14763 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140395449141544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14764] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14764/stat : 14764 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140395448089512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14765] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14765/stat : 14765 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140395447036968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14766] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14766/stat : 14766 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140395445983912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14767] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14767/stat : 14767 (java) S 14755 14757 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341184372 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140395444931368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14768] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14768/stat : 14768 (java) S 14755 14757 11909 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 341184373 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140394962602344 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14769] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14769/stat : 14769 (java) S 14755 14757 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341184374 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140394961548664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14770] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14770/stat : 14770 (java) S 14755 14757 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341184374 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140394960495496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14771] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14771/stat : 14771 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184377 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140394959444240 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14772] ppid=14755 vsize=2966184 CPUtime=0.54 cores=0,2,4,6
/proc/14757/task/14772/stat : 14772 (java) S 14755 14757 11909 0 -1 4202560 3611 0 0 0 54 0 0 0 20 0 20 0 341184377 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140394958392120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14773] ppid=14755 vsize=2966184 CPUtime=0.78 cores=0,2,4,6
/proc/14757/task/14773/stat : 14773 (java) S 14755 14757 11909 0 -1 4202560 8424 0 0 0 77 1 0 0 20 0 20 0 341184377 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140394957339576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14774] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14774/stat : 14774 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184377 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140394956286712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14775] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14775/stat : 14775 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341184377 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140394955234376 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14778] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14778/stat : 14778 (java) S 14755 14757 11909 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 341184423 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140394952074024 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14779] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14779/stat : 14779 (java) S 14755 14757 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341184423 3037372416 32406 33554432000 1073741824 1073778376 140736826372192 140394951021480 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 2966184
heavy processes:

[startup+6.30079 s]
/proc/loadavg: 3.34 3.57 3.70 2/218 14790
/proc/meminfo: memFree=25497868/32873844 swapFree=7628/7628
[pid=14757] ppid=14755 vsize=2966184 CPUtime=5.86 cores=0,2,4,6
/proc/14757/stat : 14757 (java) S 14755 14757 11909 0 -1 4202496 19589 0 1 0 567 19 0 0 20 0 22 0 341184370 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140736826363328 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14757/statm: 741546 106387 2286 9 0 732240 0
[pid=14757/tid=14759] ppid=14755 vsize=2966184 CPUtime=0.49 cores=0,2,4,6
/proc/14757/task/14759/stat : 14759 (java) S 14755 14757 11909 0 -1 4202560 2819 0 1 0 47 2 0 0 20 0 22 0 341184371 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140395585717416 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14760] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14760/stat : 14760 (java) S 14755 14757 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341184372 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140395569998248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14761] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14761/stat : 14761 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184372 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140395451247144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14762] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14762/stat : 14762 (java) S 14755 14757 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341184372 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140395450194088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14763] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14763/stat : 14763 (java) S 14755 14757 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341184372 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140395449141544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14764] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14764/stat : 14764 (java) S 14755 14757 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341184372 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140395448089512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14765] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14765/stat : 14765 (java) S 14755 14757 11909 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341184372 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140395447036968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14766] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14766/stat : 14766 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184372 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140395445983912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14767] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14767/stat : 14767 (java) S 14755 14757 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341184372 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140395444931368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14768] ppid=14755 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/14757/task/14768/stat : 14768 (java) S 14755 14757 11909 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 22 0 341184373 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140394962602344 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14769] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14769/stat : 14769 (java) S 14755 14757 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341184374 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140394961548664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14770] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14770/stat : 14770 (java) S 14755 14757 11909 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341184374 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140394960495496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14771] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14771/stat : 14771 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184377 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140394959444240 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14772] ppid=14755 vsize=2966184 CPUtime=0.94 cores=0,2,4,6
/proc/14757/task/14772/stat : 14772 (java) S 14755 14757 11909 0 -1 4202560 6771 0 0 0 94 0 0 0 20 0 22 0 341184377 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140394958392120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14773] ppid=14755 vsize=2966184 CPUtime=1.09 cores=0,2,4,6
/proc/14757/task/14773/stat : 14773 (java) S 14755 14757 11909 0 -1 4202560 8433 0 0 0 107 2 0 0 20 0 22 0 341184377 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140394957339576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14774] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14774/stat : 14774 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184377 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140394956286712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14775] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14775/stat : 14775 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184377 3037372416 106387 33554432000 1073741824 1073778376 140736826372192 140394955234376 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14778] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6

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

[pid=14757/tid=14763] ppid=14755 vsize=2966184 CPUtime=6.9 cores=0,2,4,6
/proc/14757/task/14763/stat : 14763 (java) R 14755 14757 11909 0 -1 4202560 343 0 0 0 683 7 0 0 20 0 22 0 341184372 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140395449141720 140395592225193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14764] ppid=14755 vsize=2966184 CPUtime=7.04 cores=0,2,4,6
/proc/14757/task/14764/stat : 14764 (java) R 14755 14757 11909 0 -1 4202560 324 0 0 0 696 8 0 0 20 0 22 0 341184372 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140395448089640 254750264455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14765] ppid=14755 vsize=2966184 CPUtime=7.27 cores=0,2,4,6
/proc/14757/task/14765/stat : 14765 (java) R 14755 14757 11909 0 -1 4202560 367 0 0 0 718 9 0 0 20 0 22 0 341184372 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140395447037144 140395592225196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14766] ppid=14755 vsize=2966184 CPUtime=6.78 cores=0,2,4,6
/proc/14757/task/14766/stat : 14766 (java) R 14755 14757 11909 0 -1 4202560 305 0 0 0 670 8 0 0 20 0 22 0 341184372 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140395445984088 140395592225184 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14767] ppid=14755 vsize=2966184 CPUtime=7.34 cores=0,2,4,6
/proc/14757/task/14767/stat : 14767 (java) R 14755 14757 11909 0 -1 4202560 313 0 0 0 724 10 0 0 20 0 22 0 341184372 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140395444931496 254750264455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14768] ppid=14755 vsize=2966184 CPUtime=86.66 cores=0,2,4,6
/proc/14757/task/14768/stat : 14768 (java) S 14755 14757 11909 0 -1 4202560 138 0 0 0 8630 36 0 0 20 0 22 0 341184373 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394962601320 254753682492 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14769] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14769/stat : 14769 (java) S 14755 14757 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341184374 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394961548664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14770] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14770/stat : 14770 (java) S 14755 14757 11909 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341184374 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394960495496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14771] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14771/stat : 14771 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184377 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394959444240 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14772] ppid=14755 vsize=2966184 CPUtime=1.81 cores=0,2,4,6
/proc/14757/task/14772/stat : 14772 (java) S 14755 14757 11909 0 -1 4202560 12116 0 0 0 179 2 0 0 20 0 22 0 341184377 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394958392120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14773] ppid=14755 vsize=2966184 CPUtime=1.34 cores=0,2,4,6
/proc/14757/task/14773/stat : 14773 (java) S 14755 14757 11909 0 -1 4202560 8444 0 0 0 132 2 0 0 20 0 22 0 341184377 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394957339576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14774] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14774/stat : 14774 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184377 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394956286712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14775] ppid=14755 vsize=2966184 CPUtime=0.34 cores=0,2,4,6
/proc/14757/task/14775/stat : 14775 (java) S 14755 14757 11909 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 341184377 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394955234376 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14778] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14778/stat : 14778 (java) S 14755 14757 11909 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341184423 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394952074024 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14779] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14779/stat : 14779 (java) S 14755 14757 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341184423 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394951021480 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14795] ppid=14755 vsize=2966184 CPUtime=630.83 cores=0,2,4,6
/proc/14757/task/14795/stat : 14795 (java) S 14755 14757 11909 0 -1 4202560 287 0 0 0 63072 11 0 0 20 0 22 0 341199775 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394954178696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14796] ppid=14755 vsize=2966184 CPUtime=630.93 cores=0,2,4,6
/proc/14757/task/14796/stat : 14796 (java) S 14755 14757 11909 0 -1 4202560 226 0 0 0 63082 11 0 0 20 0 22 0 341199775 3037372416 291505 33554432000 1073741824 1073778376 140736826372192 140394953124264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1695.27
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+938.901 s]
/proc/loadavg: 3.89 3.83 3.74 5/219 15002
/proc/meminfo: memFree=24748852/32873844 swapFree=7628/7628
[pid=14757] ppid=14755 vsize=2966184 CPUtime=1799.77 cores=0,2,4,6
/proc/14757/stat : 14757 (java) S 14755 14757 11909 0 -1 4202496 28682 0 1 0 179818 159 0 0 20 0 22 0 341184370 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140736826363328 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14757/statm: 741546 292163 2288 9 0 732240 0
[pid=14757/tid=14759] ppid=14755 vsize=2966184 CPUtime=0.53 cores=0,2,4,6
/proc/14757/task/14759/stat : 14759 (java) S 14755 14757 11909 0 -1 4202560 2883 0 1 0 50 3 0 0 20 0 22 0 341184371 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395585717400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14760] ppid=14755 vsize=2966184 CPUtime=7.22 cores=0,2,4,6
/proc/14757/task/14760/stat : 14760 (java) S 14755 14757 11909 0 -1 4202560 370 0 0 0 711 11 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395569998248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14761] ppid=14755 vsize=2966184 CPUtime=7.59 cores=0,2,4,6
/proc/14757/task/14761/stat : 14761 (java) S 14755 14757 11909 0 -1 4202560 377 0 0 0 748 11 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395451247144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14762] ppid=14755 vsize=2966184 CPUtime=7.45 cores=0,2,4,6
/proc/14757/task/14762/stat : 14762 (java) S 14755 14757 11909 0 -1 4202560 325 0 0 0 737 8 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395450194088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14763] ppid=14755 vsize=2966184 CPUtime=7.33 cores=0,2,4,6
/proc/14757/task/14763/stat : 14763 (java) S 14755 14757 11909 0 -1 4202560 363 0 0 0 725 8 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395449141544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14764] ppid=14755 vsize=2966184 CPUtime=7.53 cores=0,2,4,6
/proc/14757/task/14764/stat : 14764 (java) S 14755 14757 11909 0 -1 4202560 342 0 0 0 745 8 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395448089512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14765] ppid=14755 vsize=2966184 CPUtime=7.74 cores=0,2,4,6
/proc/14757/task/14765/stat : 14765 (java) S 14755 14757 11909 0 -1 4202560 367 0 0 0 765 9 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395447036968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14766] ppid=14755 vsize=2966184 CPUtime=7.17 cores=0,2,4,6
/proc/14757/task/14766/stat : 14766 (java) S 14755 14757 11909 0 -1 4202560 331 0 0 0 709 8 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395445983912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14767] ppid=14755 vsize=2966184 CPUtime=7.74 cores=0,2,4,6
/proc/14757/task/14767/stat : 14767 (java) S 14755 14757 11909 0 -1 4202560 348 0 0 0 764 10 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395444931368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14768] ppid=14755 vsize=2966184 CPUtime=96.96 cores=0,2,4,6
/proc/14757/task/14768/stat : 14768 (java) S 14755 14757 11909 0 -1 4202560 143 0 0 0 9659 37 0 0 20 0 22 0 341184373 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394962602344 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14769] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14769/stat : 14769 (java) S 14755 14757 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341184374 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394961548664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14770] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14770/stat : 14770 (java) S 14755 14757 11909 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341184374 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394960495496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14771] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14771/stat : 14771 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184377 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394959444240 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14772] ppid=14755 vsize=2966184 CPUtime=1.81 cores=0,2,4,6
/proc/14757/task/14772/stat : 14772 (java) S 14755 14757 11909 0 -1 4202560 12116 0 0 0 179 2 0 0 20 0 22 0 341184377 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394958392120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14773] ppid=14755 vsize=2966184 CPUtime=1.34 cores=0,2,4,6
/proc/14757/task/14773/stat : 14773 (java) S 14755 14757 11909 0 -1 4202560 8444 0 0 0 132 2 0 0 20 0 22 0 341184377 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394957339576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14774] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14774/stat : 14774 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184377 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394956286712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14775] ppid=14755 vsize=2966184 CPUtime=0.36 cores=0,2,4,6
/proc/14757/task/14775/stat : 14775 (java) S 14755 14757 11909 0 -1 4202560 55 0 0 0 19 17 0 0 20 0 22 0 341184377 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394955234376 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14778] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14778/stat : 14778 (java) S 14755 14757 11909 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341184423 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394952074024 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14779] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14779/stat : 14779 (java) S 14755 14757 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341184423 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394951021480 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14795] ppid=14755 vsize=2966184 CPUtime=676.05 cores=0,2,4,6
/proc/14757/task/14795/stat : 14795 (java) R 14755 14757 11909 0 -1 4202560 296 0 0 0 67593 12 0 0 20 0 22 0 341199775 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394954177168 140395451988693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14796] ppid=14755 vsize=2966184 CPUtime=676.15 cores=0,2,4,6
/proc/14757/task/14796/stat : 14796 (java) R 14755 14757 11909 0 -1 4202560 236 0 0 0 67602 13 0 0 20 0 22 0 341199775 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394953125160 140395451853486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.77
Current children cumulated vsize (KiB) 2966184

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

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

[startup+938.901 s]
/proc/loadavg: 3.89 3.83 3.74 5/219 15002
/proc/meminfo: memFree=24748852/32873844 swapFree=7628/7628
[pid=14757] ppid=14755 vsize=2966184 CPUtime=1799.77 cores=0,2,4,6
/proc/14757/stat : 14757 (java) S 14755 14757 11909 0 -1 4202496 28682 0 1 0 179818 159 0 0 20 0 22 0 341184370 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140736826363328 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14757/statm: 741546 292163 2288 9 0 732240 0
[pid=14757/tid=14759] ppid=14755 vsize=2966184 CPUtime=0.53 cores=0,2,4,6
/proc/14757/task/14759/stat : 14759 (java) S 14755 14757 11909 0 -1 4202560 2883 0 1 0 50 3 0 0 20 0 22 0 341184371 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395585717400 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14760] ppid=14755 vsize=2966184 CPUtime=7.22 cores=0,2,4,6
/proc/14757/task/14760/stat : 14760 (java) S 14755 14757 11909 0 -1 4202560 370 0 0 0 711 11 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395569998248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14761] ppid=14755 vsize=2966184 CPUtime=7.59 cores=0,2,4,6
/proc/14757/task/14761/stat : 14761 (java) S 14755 14757 11909 0 -1 4202560 377 0 0 0 748 11 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395451247144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14762] ppid=14755 vsize=2966184 CPUtime=7.45 cores=0,2,4,6
/proc/14757/task/14762/stat : 14762 (java) S 14755 14757 11909 0 -1 4202560 325 0 0 0 737 8 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395450194088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14763] ppid=14755 vsize=2966184 CPUtime=7.33 cores=0,2,4,6
/proc/14757/task/14763/stat : 14763 (java) S 14755 14757 11909 0 -1 4202560 363 0 0 0 725 8 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395449141544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14764] ppid=14755 vsize=2966184 CPUtime=7.53 cores=0,2,4,6
/proc/14757/task/14764/stat : 14764 (java) S 14755 14757 11909 0 -1 4202560 342 0 0 0 745 8 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395448089512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14765] ppid=14755 vsize=2966184 CPUtime=7.74 cores=0,2,4,6
/proc/14757/task/14765/stat : 14765 (java) S 14755 14757 11909 0 -1 4202560 367 0 0 0 765 9 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395447036968 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14766] ppid=14755 vsize=2966184 CPUtime=7.17 cores=0,2,4,6
/proc/14757/task/14766/stat : 14766 (java) S 14755 14757 11909 0 -1 4202560 331 0 0 0 709 8 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395445983912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14767] ppid=14755 vsize=2966184 CPUtime=7.74 cores=0,2,4,6
/proc/14757/task/14767/stat : 14767 (java) S 14755 14757 11909 0 -1 4202560 348 0 0 0 764 10 0 0 20 0 22 0 341184372 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140395444931368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14768] ppid=14755 vsize=2966184 CPUtime=96.96 cores=0,2,4,6
/proc/14757/task/14768/stat : 14768 (java) S 14755 14757 11909 0 -1 4202560 143 0 0 0 9659 37 0 0 20 0 22 0 341184373 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394962602344 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14769] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14769/stat : 14769 (java) S 14755 14757 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341184374 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394961548664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14770] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14770/stat : 14770 (java) S 14755 14757 11909 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341184374 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394960495496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14771] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14771/stat : 14771 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184377 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394959444240 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14757/tid=14772] ppid=14755 vsize=2966184 CPUtime=1.81 cores=0,2,4,6
/proc/14757/task/14772/stat : 14772 (java) S 14755 14757 11909 0 -1 4202560 12116 0 0 0 179 2 0 0 20 0 22 0 341184377 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394958392120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14773] ppid=14755 vsize=2966184 CPUtime=1.34 cores=0,2,4,6
/proc/14757/task/14773/stat : 14773 (java) S 14755 14757 11909 0 -1 4202560 8444 0 0 0 132 2 0 0 20 0 22 0 341184377 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394957339576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14774] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14774/stat : 14774 (java) S 14755 14757 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341184377 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394956286712 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14757/tid=14775] ppid=14755 vsize=2966184 CPUtime=0.36 cores=0,2,4,6
/proc/14757/task/14775/stat : 14775 (java) S 14755 14757 11909 0 -1 4202560 55 0 0 0 19 17 0 0 20 0 22 0 341184377 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394955234376 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14778] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14778/stat : 14778 (java) S 14755 14757 11909 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341184423 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394952074024 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14757/tid=14779] ppid=14755 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/14757/task/14779/stat : 14779 (java) S 14755 14757 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341184423 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394951021480 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14795] ppid=14755 vsize=2966184 CPUtime=676.05 cores=0,2,4,6
/proc/14757/task/14795/stat : 14795 (java) R 14755 14757 11909 0 -1 4202560 296 0 0 0 67593 12 0 0 20 0 22 0 341199775 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394954177168 140395451988693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14757/tid=14796] ppid=14755 vsize=2966184 CPUtime=676.15 cores=0,2,4,6
/proc/14757/task/14796/stat : 14796 (java) R 14755 14757 11909 0 -1 4202560 236 0 0 0 67602 13 0 0 20 0 22 0 341199775 3037372416 292163 33554432000 1073741824 1073778376 140736826372192 140394953125160 140395451853486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.77
Current children cumulated vsize (KiB) 2966184

Child status: 143

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


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.410034
#  lost CPU user time (s): 0.460022
#  lost CPU system time (s): -0.05

Real time (s): 938.946
CPU time (s): 1800.18
CPU user time (s): 1798.64
CPU system time (s): 1.54
CPU usage (%): 191.724
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 1.9727
maximum resident set size= 1168772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28714
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43683
involuntary context switches= 118128

runsolver used 3.09153 second user time and 8.58469 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-03 21:10:00
IDJOB=3736012
IDBENCH=25015
IDSOLVER=2324
FILE ID=node145/3736012-1338750600
RUNJOBID= node145-1338737268-11925
PBS_JOBID= 14636762
Free space on /tmp= 70924 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736012-1338750600/watcher-3736012-1338750600 -o /tmp/evaluation-result-3736012-1338750600/solver-3736012-1338750600 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736012-1338750600.opb

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

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=932684736

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25867252 kB
Buffers:          447692 kB
Cached:          4815544 kB
SwapCached:            0 kB
Active:          2537480 kB
Inactive:        3599652 kB
Active(anon):     864968 kB
Inactive(anon):    10916 kB
Active(file):    1672512 kB
Inactive(file):  3588736 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:        882828 kB
Mapped:            22324 kB
Shmem:               200 kB
Slab:             725640 kB
SReclaimable:     167040 kB
SUnreclaim:       558600 kB
KernelStack:        1624 kB
PageTables:         5956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1573188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    827392 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= 70920 MiB
End job on node145 at 2012-06-03 21:25:41