Trace number 2662288

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
SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)1751040 1800.29 922.831

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
MD5SUM3aa00837dd74901ce1879f04fea91920
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1751040
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1751040
Optimality of the best value was proved NO
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 550843571711
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 550843571711
Number of bits of the biggest sum of numbers40
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.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100531
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.24/0.23	c Pseudo Boolean Optimization
0.24/0.23	c ManyCore solver with 2 solvers running in parallel
0.24/0.23	c --- Begin Solver configuration ---
0.24/0.23	c Stops conflict analysis at the first Unique Implication Point
0.24/0.23	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.24/0.23	c Learn all clauses as in MiniSAT
0.24/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.23	c Expensive reason simplification
0.24/0.23	c Armin Biere (Picosat) restarts strategy
0.24/0.23	c Glucose learned constraints deletion strategy
0.24/0.23	c timeout=2147483s
0.24/0.23	c DB Simplification allowed=false
0.24/0.23	c --- End Solver configuration ---
0.24/0.23	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.24/0.23	c --- Begin Solver configuration ---
0.24/0.23	c Stops conflict analysis at the first Unique Implication Point
0.24/0.23	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.24/0.23	c Learn all clauses as in MiniSAT
0.24/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.23	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.24/0.23	c No reason simplification
0.24/0.23	c Armin Biere (Picosat) restarts strategy
0.24/0.23	c Glucose learned constraints deletion strategy
0.24/0.23	c timeout=2147483s
0.24/0.23	c DB Simplification allowed=false
0.24/0.23	c --- End Solver configuration ---
0.24/0.23	
0.24/0.23	c solving HOME/instance-2662288-1276520396.opb
0.24/0.23	c reading problem ... 
1.16/0.79	c ... done. Wall clock time 0.574s.
1.16/0.79	c #vars     3100
1.16/0.79	c #constraints  1822
1.16/0.79	c constraints type 
1.16/0.79	c org.sat4j.pb.constraints.pb.MaxWatchPb => 140
1.16/0.79	c constraints type 
1.16/0.79	c org.sat4j.pb.constraints.pb.MaxWatchPb => 140
4.35/2.37	c And the winner is Resolution
4.79/2.82	c SATISFIABLE
4.79/2.82	c OPTIMIZING...
4.79/2.82	c Got one! Elapsed wall clock time (in seconds):2.599
4.79/2.82	o 2033647
5.39/3.18	c And the winner is CuttingPlanes
5.52/3.89	c Got one! Elapsed wall clock time (in seconds):3.672
5.52/3.89	o 1856512
5.94/4.12	c And the winner is CuttingPlanes
5.98/4.93	c Got one! Elapsed wall clock time (in seconds):4.708
5.98/4.93	o 1851392
6.12/5.00	c And the winner is Resolution
6.13/5.99	c Got one! Elapsed wall clock time (in seconds):5.766
6.13/5.99	o 1817600
6.36/6.10	c And the winner is Resolution
6.84/7.06	c Got one! Elapsed wall clock time (in seconds):6.827
6.84/7.06	o 1765376
7.02/7.14	c And the winner is Resolution
7.11/8.07	c Got one! Elapsed wall clock time (in seconds):7.855
7.11/8.07	o 1751040
15.29/12.23	c cleaning 2496 clauses out of 5001 with flag 5001/5001
23.57/16.45	c cleaning 4246 clauses out of 8505 with flag 11001/11001
32.67/21.08	c cleaning 5628 clauses out of 11261 with flag 18003/18003
44.29/26.90	c cleaning 6810 clauses out of 13630 with flag 26000/26000
55.95/32.83	c cleaning 7905 clauses out of 15820 with flag 35000/35000
69.01/39.50	c cleaning 8953 clauses out of 17915 with flag 45000/45000
84.06/47.06	c cleaning 9477 clauses out of 18962 with flag 55000/55000
98.30/54.25	c cleaning 9730 clauses out of 19485 with flag 65000/65000
113.10/61.72	c cleaning 9874 clauses out of 19755 with flag 75000/75000
125.06/67.82	c cleaning 9927 clauses out of 19881 with flag 85000/85000
138.28/74.50	c cleaning 9974 clauses out of 19956 with flag 95002/95002
150.32/80.65	c cleaning 9972 clauses out of 19981 with flag 105001/105001
160.98/86.04	c cleaning 9998 clauses out of 20008 with flag 115000/115000
174.79/93.05	c cleaning 10005 clauses out of 20010 with flag 125000/125000
185.23/98.34	c cleaning 9987 clauses out of 20005 with flag 135000/135000
197.27/104.47	c cleaning 9996 clauses out of 20018 with flag 145000/145000
211.83/111.89	c cleaning 9999 clauses out of 20022 with flag 155000/155000
224.62/118.38	c cleaning 9997 clauses out of 20025 with flag 165002/165002
237.41/124.85	c cleaning 10005 clauses out of 20028 with flag 175002/175002
249.02/130.71	c cleaning 9998 clauses out of 20022 with flag 185001/185001
259.63/136.17	c cleaning 10004 clauses out of 20024 with flag 195001/195001
270.65/141.73	c cleaning 9994 clauses out of 20020 with flag 205001/205001
280.28/146.64	c cleaning 9996 clauses out of 20025 with flag 215000/215000
292.91/153.09	c cleaning 10008 clauses out of 20030 with flag 225001/225001
304.08/158.75	c cleaning 9994 clauses out of 20021 with flag 235000/235000
314.30/163.93	c cleaning 10001 clauses out of 20027 with flag 245000/245000
327.52/170.69	c cleaning 9999 clauses out of 20026 with flag 255000/255000
340.10/177.06	c cleaning 10003 clauses out of 20027 with flag 265000/265000
352.07/183.15	c cleaning 9997 clauses out of 20024 with flag 275000/275000
363.06/188.75	c cleaning 10001 clauses out of 20027 with flag 285000/285000
378.86/196.70	c cleaning 9991 clauses out of 20029 with flag 295003/295003
396.64/205.76	c cleaning 10012 clauses out of 20040 with flag 305005/305005
413.77/214.47	c cleaning 9997 clauses out of 20023 with flag 315000/315000
426.77/221.02	c cleaning 10002 clauses out of 20028 with flag 325002/325002
436.80/226.11	c cleaning 10001 clauses out of 20027 with flag 335003/335003
446.22/230.99	c cleaning 9986 clauses out of 20023 with flag 345000/345000
457.20/236.56	c cleaning 9997 clauses out of 20037 with flag 355000/355000
467.02/241.56	c cleaning 10005 clauses out of 20040 with flag 365000/365000
479.62/247.90	c cleaning 10003 clauses out of 20035 with flag 375000/375000
490.62/253.50	c cleaning 9999 clauses out of 20032 with flag 385000/385000
504.17/260.42	c cleaning 10011 clauses out of 20033 with flag 395000/395000
516.15/266.52	c cleaning 10003 clauses out of 20026 with flag 405004/405004
528.72/273.00	c cleaning 10004 clauses out of 20024 with flag 415005/415005
538.10/277.79	c cleaning 9993 clauses out of 20015 with flag 425000/425000
549.06/283.38	c cleaning 9993 clauses out of 20022 with flag 435000/435000
559.26/288.56	c cleaning 10005 clauses out of 20031 with flag 445002/445002
572.05/295.05	c cleaning 10002 clauses out of 20025 with flag 455001/455001
587.21/302.72	c cleaning 10003 clauses out of 20024 with flag 465002/465002
598.93/308.70	c cleaning 10000 clauses out of 20024 with flag 475005/475005
609.91/314.38	c cleaning 9992 clauses out of 20020 with flag 485001/485001
618.91/318.99	c cleaning 9998 clauses out of 20027 with flag 495000/495000
631.08/325.19	c cleaning 10004 clauses out of 20029 with flag 505000/505000
641.24/330.37	c cleaning 9991 clauses out of 20026 with flag 515001/515001
653.44/336.57	c cleaning 9999 clauses out of 20034 with flag 525000/525000
665.81/342.88	c cleaning 10001 clauses out of 20035 with flag 535000/535000
677.40/348.77	c cleaning 10006 clauses out of 20035 with flag 545001/545001
688.35/354.40	c cleaning 9997 clauses out of 20028 with flag 555000/555000
699.72/360.18	c cleaning 10006 clauses out of 20032 with flag 565001/565001
711.28/366.09	c cleaning 9997 clauses out of 20025 with flag 575000/575000
723.05/372.05	c cleaning 10006 clauses out of 20029 with flag 585001/585001
737.53/379.45	c cleaning 10003 clauses out of 20023 with flag 595001/595001
750.32/385.92	c cleaning 10003 clauses out of 20020 with flag 605001/605001
762.91/392.40	c cleaning 9991 clauses out of 20017 with flag 615001/615001
777.88/399.98	c cleaning 9995 clauses out of 20026 with flag 625001/625001
794.41/408.38	c cleaning 10002 clauses out of 20032 with flag 635002/635002
812.15/417.36	c cleaning 10000 clauses out of 20028 with flag 645000/645000
828.27/425.51	c cleaning 10003 clauses out of 20028 with flag 655000/655000
842.58/432.87	c cleaning 9997 clauses out of 20029 with flag 665004/665004
855.48/439.48	c cleaning 9997 clauses out of 20028 with flag 675000/675000
867.66/445.65	c cleaning 9979 clauses out of 20031 with flag 685000/685000
877.24/450.54	c cleaning 9989 clauses out of 20052 with flag 695000/695000
886.44/455.30	c cleaning 9993 clauses out of 20064 with flag 705001/705001
895.98/460.11	c cleaning 10001 clauses out of 20070 with flag 715000/715000
906.57/465.52	c cleaning 10019 clauses out of 20069 with flag 725000/725000
918.30/471.54	c cleaning 10012 clauses out of 20051 with flag 735001/735001
931.84/478.47	c cleaning 10012 clauses out of 20042 with flag 745004/745004
944.93/485.17	c cleaning 9998 clauses out of 20030 with flag 755004/755004
960.63/493.13	c cleaning 10007 clauses out of 20028 with flag 765000/765000
973.56/499.71	c cleaning 9994 clauses out of 20022 with flag 775001/775001
986.48/506.34	c cleaning 10003 clauses out of 20028 with flag 785001/785001
999.60/513.05	c cleaning 10008 clauses out of 20025 with flag 795001/795001
1010.58/518.63	c cleaning 9985 clauses out of 20016 with flag 805000/805000
1022.94/524.94	c cleaning 9995 clauses out of 20031 with flag 815000/815000
1033.67/530.44	c cleaning 9995 clauses out of 20038 with flag 825002/825002
1044.18/535.86	c cleaning 10000 clauses out of 20042 with flag 835001/835001
1053.55/540.68	c cleaning 9997 clauses out of 20041 with flag 845000/845000
1063.50/545.71	c cleaning 9991 clauses out of 20044 with flag 855000/855000
1072.28/550.29	c cleaning 10002 clauses out of 20053 with flag 865000/865000
1081.19/554.82	c cleaning 10002 clauses out of 20051 with flag 875000/875000
1091.38/560.07	c cleaning 10015 clauses out of 20053 with flag 885004/885004
1104.69/566.86	c cleaning 10006 clauses out of 20034 with flag 895000/895000
1117.03/573.13	c cleaning 9996 clauses out of 20028 with flag 905000/905000
1130.52/580.09	c cleaning 10009 clauses out of 20035 with flag 915003/915003
1144.46/587.18	c cleaning 10002 clauses out of 20025 with flag 925002/925002
1156.79/593.49	c cleaning 9982 clauses out of 20022 with flag 935001/935001
1171.50/600.96	c cleaning 10009 clauses out of 20041 with flag 945002/945002
1186.38/608.57	c cleaning 9995 clauses out of 20031 with flag 955001/955001
1201.31/616.12	c cleaning 9998 clauses out of 20035 with flag 965000/965000
1215.23/623.25	c cleaning 10012 clauses out of 20038 with flag 975001/975001
1226.17/628.82	c cleaning 10001 clauses out of 20025 with flag 985000/985000
1240.03/635.97	c cleaning 10006 clauses out of 20025 with flag 995001/995001
1250.98/641.58	c cleaning 9990 clauses out of 20018 with flag 1005000/1005000
1262.50/647.40	c cleaning 10003 clauses out of 20029 with flag 1015001/1015001
1278.21/655.43	c cleaning 9999 clauses out of 20026 with flag 1025001/1025001
1292.49/662.75	c cleaning 10008 clauses out of 20028 with flag 1035002/1035002
1308.81/671.02	c cleaning 9996 clauses out of 20019 with flag 1045001/1045001
1324.72/679.17	c cleaning 10003 clauses out of 20023 with flag 1055001/1055001
1341.03/687.47	c cleaning 9985 clauses out of 20019 with flag 1065000/1065000
1356.69/695.45	c cleaning 10001 clauses out of 20035 with flag 1075001/1075001
1375.11/704.86	c cleaning 10007 clauses out of 20034 with flag 1085001/1085001
1391.35/713.12	c cleaning 10004 clauses out of 20026 with flag 1095000/1095000
1412.38/723.86	c cleaning 9983 clauses out of 20022 with flag 1105000/1105000
1425.66/730.67	c cleaning 10000 clauses out of 20039 with flag 1115000/1115000
1438.98/737.45	c cleaning 9995 clauses out of 20040 with flag 1125001/1125001
1450.92/743.55	c cleaning 10003 clauses out of 20044 with flag 1135000/1135000
1463.65/750.00	c cleaning 10001 clauses out of 20042 with flag 1145001/1145001
1476.91/756.88	c cleaning 10007 clauses out of 20042 with flag 1155002/1155002
1491.44/764.21	c cleaning 9987 clauses out of 20033 with flag 1165000/1165000
1505.53/771.48	c cleaning 9985 clauses out of 20046 with flag 1175000/1175000
1520.01/778.89	c cleaning 10018 clauses out of 20061 with flag 1185000/1185000
1533.43/785.71	c cleaning 10011 clauses out of 20043 with flag 1195000/1195000
1544.33/791.37	c cleaning 10003 clauses out of 20034 with flag 1205002/1205002
1558.42/798.60	c cleaning 10004 clauses out of 20031 with flag 1215002/1215002
1572.90/805.95	c cleaning 9972 clauses out of 20026 with flag 1225001/1225001
1585.73/812.55	c cleaning 9990 clauses out of 20054 with flag 1235001/1235001
1598.45/819.03	c cleaning 10000 clauses out of 20064 with flag 1245001/1245001
1610.61/825.22	c cleaning 10010 clauses out of 20064 with flag 1255001/1255001
1628.08/834.19	c cleaning 10014 clauses out of 20056 with flag 1265003/1265003
1642.74/841.61	c cleaning 10009 clauses out of 20039 with flag 1275000/1275000
1656.62/848.78	c cleaning 10006 clauses out of 20030 with flag 1285000/1285000
1670.78/856.12	c cleaning 10005 clauses out of 20024 with flag 1295000/1295000
1683.67/862.90	c cleaning 9996 clauses out of 20019 with flag 1305000/1305000
1694.04/868.46	c cleaning 9983 clauses out of 20024 with flag 1315001/1315001
1704.93/874.05	c cleaning 10015 clauses out of 20042 with flag 1325002/1325002
1721.03/882.21	c cleaning 9997 clauses out of 20026 with flag 1335001/1335001
1733.73/888.71	c cleaning 10006 clauses out of 20031 with flag 1345003/1345003
1747.76/895.92	c cleaning 10001 clauses out of 20024 with flag 1355002/1355002
1762.63/903.53	c cleaning 10001 clauses out of 20021 with flag 1365000/1365000
1778.54/911.61	c cleaning 9990 clauses out of 20021 with flag 1375001/1375001
1795.17/920.14	c cleaning 10009 clauses out of 20030 with flag 1385000/1385000
1800.08/922.71	c starts		: 209
1800.08/922.71	c conflicts		: 1387648
1800.08/922.71	c decisions		: 2177734
1800.08/922.71	c propagations		: 92381153
1800.08/922.71	c inspects		: 426208781
1800.08/922.71	c learnt literals	: 0
1800.08/922.71	c learnt binary clauses	: 0
1800.08/922.71	c learnt ternary clauses	: 0
1800.08/922.71	c learnt clauses	: 1387648
1800.08/922.71	c ignored clauses	: 0
1800.08/922.71	c root simplifications	: 0
1800.08/922.71	c removed literals (reason simplification)	: 43623263
1800.08/922.71	c reason swapping (by a shorter reason)	: 0
1800.08/922.71	c Calls to reduceDB	: 140
1800.08/922.71	c number of reductions to clauses (during analyze)	: 0
1800.08/922.71	c number of learned constraints concerned by reduction	: 0
1800.08/922.71	c number of learning phase by resolution	: 0
1800.08/922.71	c number of learning phase by cutting planes	: 0
1800.08/922.71	c speed (assignments/second)	: 101006.4541382255
1800.08/922.71	c non guided choices	791
1800.08/922.75	c learnt constraints type 
1800.08/922.75	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 12741
1800.08/922.75	c constraints type 
1800.08/922.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 141
1800.08/922.75	c constraints type 
1800.08/922.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 141
1800.08/922.75	s SATISFIABLE
1800.08/922.78	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 
1800.08/922.79	c objective function=1751040
1800.08/922.79	c Total wall clock time (in seconds): 922.57

Verifier Data 

OK	1751040

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662288-1276520396/watcher-2662288-1276520396 -o /tmp/evaluation-result-2662288-1276520396/solver-2662288-1276520396 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662288-1276520396.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.01 1.00 3/106 30792
/proc/meminfo: memFree=1865860/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=444 CPUtime=0
/proc/30792/stat : 30792 (java6) R 30790 30792 30240 0 -1 4194304 130 0 0 0 0 0 0 0 19 0 1 0 27641215 454656 48 1992294400 134512640 134550932 4293853520 18446744073709551615 2323028 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30792/statm: 111 48 38 10 0 25 0

[startup+0.103984 s]
/proc/loadavg: 1.06 1.01 1.00 3/106 30792
/proc/meminfo: memFree=1865860/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1524180 CPUtime=0.08
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 3967 0 1 0 6 2 0 0 15 0 12 0 27641215 1560760320 3405 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 381045 3405 1077 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524180

[startup+0.210566 s]
/proc/loadavg: 1.06 1.01 1.00 3/106 30792
/proc/meminfo: memFree=1865860/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1526440 CPUtime=0.24
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 5113 0 1 0 21 3 0 0 15 0 12 0 27641215 1563074560 4549 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 381610 4549 1346 10 0 378913 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 1526440

[startup+0.401522 s]
/proc/loadavg: 1.06 1.01 1.00 3/106 30792
/proc/meminfo: memFree=1865860/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1527628 CPUtime=0.57
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 5911 0 1 0 54 3 0 0 15 0 12 0 27641215 1564291072 5347 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 381907 5347 1381 10 0 379210 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 1527628

[startup+0.700527 s]
/proc/loadavg: 1.06 1.01 1.00 3/106 30792
/proc/meminfo: memFree=1865860/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1530404 CPUtime=1.16
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 8684 0 1 0 112 4 0 0 15 0 12 0 27641215 1567133696 7742 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 382601 7742 1404 10 0 379904 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 1530404

[startup+1.50154 s]
/proc/loadavg: 1.06 1.01 1.00 7/120 30806
/proc/meminfo: memFree=1830284/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1540864 CPUtime=2.75
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 14081 0 1 0 269 6 0 0 15 0 16 0 27641215 1577844736 12522 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 385216 12522 1426 10 0 382519 0
[pid=30792/tid=30794] ppid=30790 vsize=1540864 CPUtime=0.76
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30240 0 -1 4202560 6444 0 1 0 73 3 0 0 19 0 16 0 27641216 1577844736 12523 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=1540864 CPUtime=0
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30240 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 16 0 27641218 1577844736 12524 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=1540864 CPUtime=0
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 16 0 27641218 1577844736 12524 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=1540864 CPUtime=0
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 27641219 1577844736 12525 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=1540864 CPUtime=0
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30240 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 27641220 1577844736 12525 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=1540864 CPUtime=0
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30240 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 27641220 1577844736 12525 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=1540864 CPUtime=0
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30240 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 27641224 1577844736 12526 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=1540864 CPUtime=0.3
/proc/30792/task/30801/stat : 30801 (java) R 30790 30792 30240 0 -1 4202560 1981 0 0 0 30 0 0 0 18 0 16 0 27641224 1577844736 12527 1992294400 134512640 134550932 4287375168 18446744073709551615 104140406 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=1540864 CPUtime=1.1
/proc/30792/task/30802/stat : 30802 (java) R 30790 30792 30240 0 -1 4202560 2826 0 0 0 110 0 0 0 18 0 16 0 27641224 1577844736 12529 1992294400 134512640 134550932 4287375168 18446744073709551615 104161253 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=1540864 CPUtime=0
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27641224 1577844736 12529 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=1540864 CPUtime=0
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 27641224 1577844736 12530 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30805] ppid=30790 vsize=1540864 CPUtime=0.35
/proc/30792/task/30805/stat : 30805 (java) R 30790 30792 30240 0 -1 4202560 914 0 0 0 35 0 0 0 19 0 16 0 27641295 1577844736 12531 1992294400 134512640 134550932 4287375168 18446744073709551615 4108993560 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30792/tid=30806] ppid=30790 vsize=1540864 CPUtime=0.18
/proc/30792/task/30806/stat : 30806 (java) R 30790 30792 30240 0 -1 4202560 849 0 0 0 18 0 0 0 21 0 16 0 27641295 1577844736 12531 1992294400 134512640 134550932 4287375168 18446744073709551615 4109010907 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 1540864

[startup+3.11557 s]
/proc/loadavg: 1.38 1.08 1.02 7/122 30808
/proc/meminfo: memFree=1813280/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1541632 CPUtime=5.39
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 22394 0 1 0 530 9 0 0 15 0 16 0 27641215 1578631168 18694 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 385408 18694 1433 10 0 382711 0
[pid=30792/tid=30794] ppid=30790 vsize=1541632 CPUtime=0.79
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30240 0 -1 4202560 6846 0 1 0 76 3 0 0 19 0 16 0 27641216 1578631168 18694 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=1541632 CPUtime=0
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30240 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 16 0 27641218 1578631168 18694 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=1541632 CPUtime=0
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 16 0 27641218 1578631168 18694 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=1541632 CPUtime=0
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30240 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 16 0 27641219 1578631168 18695 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=1541632 CPUtime=0
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30240 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 27641220 1578631168 18696 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=1541632 CPUtime=0
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30240 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 27641220 1578631168 18696 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=1541632 CPUtime=0
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30240 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 27641224 1578631168 18696 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=1541632 CPUtime=1.22
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30240 0 -1 4202560 3316 0 0 0 121 1 0 0 15 0 16 0 27641224 1578631168 18696 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=1541632 CPUtime=1.72
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30240 0 -1 4202560 4209 0 0 0 171 1 0 0 15 0 16 0 27641224 1578631168 18696 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=1541632 CPUtime=0
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27641224 1578631168 18696 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=1541632 CPUtime=0
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 27641224 1578631168 18696 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=1541632 CPUtime=0
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30240 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 27641343 1578631168 18696 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=1541632 CPUtime=0
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30240 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 27641349 1578631168 18696 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 1541632

[startup+6.30162 s]
/proc/loadavg: 1.38 1.08 1.02 1/120 30814
/proc/meminfo: memFree=1769400/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1539680 CPUtime=6.73
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 34234 0 1 0 659 14 0 0 15 0 15 0 27641215 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 384920 29702 1433 10 0 382223 0
[pid=30792/tid=30794] ppid=30790 vsize=1539680 CPUtime=0.87
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30240 0 -1 4202560 8035 0 1 0 84 3 0 0 19 0 15 0 27641216 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=1539680 CPUtime=0
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30240 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 15 0 27641218 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=1539680 CPUtime=0
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 15 0 27641218 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=1539680 CPUtime=0
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30240 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 15 0 27641219 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=1539680 CPUtime=0
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30240 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 15 0 27641220 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=1539680 CPUtime=0
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30240 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 15 0 27641220 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=1539680 CPUtime=0
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30240 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 15 0 27641224 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=1539680 CPUtime=1.38
/proc/30792/task/30801/stat : 30801 (java) R 30790 30792 30240 0 -1 4202560 3323 0 0 0 137 1 0 0 15 0 15 0 27641224 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 106248796 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=1539680 CPUtime=2.05
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30240 0 -1 4202560 4568 0 0 0 204 1 0 0 16 0 15 0 27641224 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=1539680 CPUtime=0
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 15 0 27641224 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=1539680 CPUtime=0
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 15 0 27641224 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=1539680 CPUtime=0
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30240 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 15 0 27641343 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=1539680 CPUtime=0
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30240 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 15 0 27641349 1576632320 29702 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 1539680

[startup+12.7017 s]
/proc/loadavg: 1.32 1.08 1.02 4/122 30820
/proc/meminfo: memFree=1682336/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1538240 CPUtime=16.22
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 52695 0 1 0 1599 23 0 0 15 0 16 0 27641215 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 384560 47301 1451 10 0 381863 0
[pid=30792/tid=30794] ppid=30790 vsize=1538240 CPUtime=0.91
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30240 0 -1 4202560 8437 0 1 0 87 4 0 0 18 0 16 0 27641216 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=1538240 CPUtime=0.14
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30240 0 -1 4202560 4447 0 0 0 12 2 0 0 15 0 16 0 27641218 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=1538240 CPUtime=0.14
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30240 0 -1 4202560 3819 0 0 0 13 1 0 0 16 0 16 0 27641218 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=1538240 CPUtime=0.08
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30240 0 -1 4202560 139 0 0 0 7 1 0 0 15 0 16 0 27641219 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30240 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 27641220 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30240 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27641220 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30240 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 27641224 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=1538240 CPUtime=2.08
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30240 0 -1 4202560 3368 0 0 0 207 1 0 0 15 0 16 0 27641224 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=1538240 CPUtime=2.16
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30240 0 -1 4202560 4571 0 0 0 215 1 0 0 15 0 16 0 27641224 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27641224 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 27641224 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30240 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 27641343 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30240 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 27641349 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30819] ppid=30790 vsize=1538240 CPUtime=3.83
/proc/30792/task/30819/stat : 30819 (java) R 30790 30792 30240 0 -1 4202560 401 0 0 0 383 0 0 0 20 0 16 0 27642026 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4109900404 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30792/tid=30820] ppid=30790 vsize=1538240 CPUtime=4.24
/proc/30792/task/30820/stat : 30820 (java) R 30790 30792 30240 0 -1 4202560 5189 0 0 0 423 1 0 0 25 0 16 0 27642026 1575157760 47301 1992294400 134512640 134550932 4287375168 18446744073709551615 4109956907 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 16.22
Current children cumulated vsize (KiB) 1538240

[startup+25.5094 s]

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

/proc/30792/statm: 384560 72718 1451 10 0 381863 0
[pid=30792/tid=30794] ppid=30790 vsize=1538240 CPUtime=0.91
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30240 0 -1 4202560 8445 0 1 0 87 4 0 0 15 0 16 0 27641216 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=1538240 CPUtime=7.32
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30240 0 -1 4202560 18591 0 0 0 703 29 0 0 15 0 16 0 27641218 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=1538240 CPUtime=7.34
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30240 0 -1 4202560 19346 0 0 0 709 25 0 0 16 0 16 0 27641218 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=1538240 CPUtime=16.67
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30240 0 -1 4202560 190 0 0 0 1651 16 0 0 15 0 16 0 27641219 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30240 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 27641220 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30240 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27641220 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30240 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=1538240 CPUtime=2.14
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30240 0 -1 4202560 3368 0 0 0 213 1 0 0 16 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=1538240 CPUtime=2.4
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30240 0 -1 4202560 4583 0 0 0 239 1 0 0 15 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=1538240 CPUtime=0.01
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30240 0 -1 4202560 42 0 0 0 1 0 0 0 15 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30240 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 27641343 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30240 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 27641349 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30819] ppid=30790 vsize=1538240 CPUtime=725.17
/proc/30792/task/30819/stat : 30819 (java) R 30790 30792 30240 0 -1 4202560 1071 0 0 0 72497 20 0 0 25 0 16 0 27642026 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4109828194 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30792/tid=30820] ppid=30790 vsize=1538240 CPUtime=723.04
/proc/30792/task/30820/stat : 30820 (java) R 30790 30792 30240 0 -1 4202560 6152 0 0 0 72287 17 0 0 25 0 16 0 27642026 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4109355225 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1487.67
Current children cumulated vsize (KiB) 1538240

[startup+822.302 s]
/proc/loadavg: 2.02 1.99 1.61 3/122 30851
/proc/meminfo: memFree=1577372/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1538240 CPUtime=1604.82
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 84221 0 1 0 160347 135 0 0 15 0 16 0 27641215 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 384560 72718 1451 10 0 381863 0
[pid=30792/tid=30794] ppid=30790 vsize=1538240 CPUtime=0.91
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30240 0 -1 4202560 8448 0 1 0 87 4 0 0 15 0 16 0 27641216 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=1538240 CPUtime=7.85
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30240 0 -1 4202560 18591 0 0 0 754 31 0 0 15 0 16 0 27641218 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=1538240 CPUtime=7.86
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30240 0 -1 4202560 19346 0 0 0 760 26 0 0 16 0 16 0 27641218 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=1538240 CPUtime=18.54
/proc/30792/task/30797/stat : 30797 (java) R 30790 30792 30240 0 -1 4202560 194 0 0 0 1837 17 0 0 16 0 16 0 27641219 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30240 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 27641220 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30240 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27641220 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30240 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=1538240 CPUtime=2.14
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30240 0 -1 4202560 3368 0 0 0 213 1 0 0 16 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=1538240 CPUtime=2.4
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30240 0 -1 4202560 4583 0 0 0 239 1 0 0 15 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=1538240 CPUtime=0.01
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30240 0 -1 4202560 46 0 0 0 1 0 0 0 15 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30240 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 27641343 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30240 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 27641349 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30819] ppid=30790 vsize=1538240 CPUtime=782.1
/proc/30792/task/30819/stat : 30819 (java) R 30790 30792 30240 0 -1 4202560 1113 0 0 0 78187 23 0 0 25 0 16 0 27642026 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30792/tid=30820] ppid=30790 vsize=1538240 CPUtime=780.35
/proc/30792/task/30820/stat : 30820 (java) S 30790 30792 30240 0 -1 4202560 6208 0 0 0 78017 18 0 0 25 0 16 0 27642026 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1604.82
Current children cumulated vsize (KiB) 1538240

[startup+882.302 s]
/proc/loadavg: 2.29 2.07 1.66 2/122 30854
/proc/meminfo: memFree=1576136/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1538240 CPUtime=1721.16
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 84345 0 1 0 171973 143 0 0 15 0 16 0 27641215 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 384560 72718 1451 10 0 381863 0
[pid=30792/tid=30794] ppid=30790 vsize=1538240 CPUtime=0.92
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30240 0 -1 4202560 8448 0 1 0 88 4 0 0 15 0 16 0 27641216 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=1538240 CPUtime=8.49
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30240 0 -1 4202560 18591 0 0 0 816 33 0 0 16 0 16 0 27641218 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=1538240 CPUtime=8.49
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30240 0 -1 4202560 19346 0 0 0 821 28 0 0 15 0 16 0 27641218 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=1538240 CPUtime=20.42
/proc/30792/task/30797/stat : 30797 (java) R 30790 30792 30240 0 -1 4202560 199 0 0 0 2024 18 0 0 15 0 16 0 27641219 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 105696735 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30240 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 27641220 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30240 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27641220 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30240 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=1538240 CPUtime=2.14
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30240 0 -1 4202560 3368 0 0 0 213 1 0 0 16 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=1538240 CPUtime=2.4
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30240 0 -1 4202560 4583 0 0 0 239 1 0 0 15 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=1538240 CPUtime=0.01
/proc/30792/task/30804/stat : 30804 (java) R 30790 30792 30240 0 -1 4202560 50 0 0 0 1 0 0 0 15 0 16 0 27641224 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30240 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 27641343 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30240 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 27641349 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30819] ppid=30790 vsize=1538240 CPUtime=839.41
/proc/30792/task/30819/stat : 30819 (java) S 30790 30792 30240 0 -1 4202560 1175 0 0 0 83917 24 0 0 25 0 16 0 27642026 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30820] ppid=30790 vsize=1538240 CPUtime=836.23
/proc/30792/task/30820/stat : 30820 (java) S 30790 30792 30240 0 -1 4202560 6261 0 0 0 83602 21 0 0 25 0 16 0 27642026 1575157760 72718 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1721.16
Current children cumulated vsize (KiB) 1538240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+922.701 s]
/proc/loadavg: 2.15 2.06 1.67 3/122 30856
/proc/meminfo: memFree=1576136/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=1538240 CPUtime=1800.08
/proc/30792/stat : 30792 (java) S 30790 30792 30240 0 -1 4202496 84415 0 1 0 179859 149 0 0 15 0 16 0 27641215 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 384560 72720 1451 10 0 381863 0
[pid=30792/tid=30794] ppid=30790 vsize=1538240 CPUtime=0.92
/proc/30792/task/30794/stat : 30794 (java) S 30790 30792 30240 0 -1 4202560 8449 0 1 0 88 4 0 0 15 0 16 0 27641216 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30795] ppid=30790 vsize=1538240 CPUtime=8.91
/proc/30792/task/30795/stat : 30795 (java) S 30790 30792 30240 0 -1 4202560 18591 0 0 0 857 34 0 0 16 0 16 0 27641218 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30796] ppid=30790 vsize=1538240 CPUtime=8.92
/proc/30792/task/30796/stat : 30796 (java) S 30790 30792 30240 0 -1 4202560 19346 0 0 0 863 29 0 0 16 0 16 0 27641218 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30797] ppid=30790 vsize=1538240 CPUtime=21.67
/proc/30792/task/30797/stat : 30797 (java) S 30790 30792 30240 0 -1 4202560 201 0 0 0 2149 18 0 0 15 0 16 0 27641219 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 0 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30798] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30798/stat : 30798 (java) S 30790 30792 30240 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 27641220 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30799] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30799/stat : 30799 (java) S 30790 30792 30240 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27641220 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30800] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30800/stat : 30800 (java) S 30790 30792 30240 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 27641224 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30801] ppid=30790 vsize=1538240 CPUtime=2.14
/proc/30792/task/30801/stat : 30801 (java) S 30790 30792 30240 0 -1 4202560 3368 0 0 0 213 1 0 0 16 0 16 0 27641224 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30802] ppid=30790 vsize=1538240 CPUtime=2.44
/proc/30792/task/30802/stat : 30802 (java) S 30790 30792 30240 0 -1 4202560 4585 0 0 0 243 1 0 0 15 0 16 0 27641224 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30803] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30803/stat : 30803 (java) S 30790 30792 30240 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27641224 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 0 0 0 0
[pid=30792/tid=30804] ppid=30790 vsize=1538240 CPUtime=0.01
/proc/30792/task/30804/stat : 30804 (java) S 30790 30792 30240 0 -1 4202560 52 0 0 0 1 0 0 0 15 0 16 0 27641224 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30807] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30807/stat : 30807 (java) S 30790 30792 30240 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 27641343 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30808] ppid=30790 vsize=1538240 CPUtime=0
/proc/30792/task/30808/stat : 30808 (java) S 30790 30792 30240 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 27641349 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4294960144 0 4 0 16800975 18446604437851703168 0 0 -1 1 0 0 0
[pid=30792/tid=30819] ppid=30790 vsize=1538240 CPUtime=877.74
/proc/30792/task/30819/stat : 30819 (java) R 30790 30792 30240 0 -1 4202560 1208 0 0 0 87749 25 0 0 25 0 16 0 27642026 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4109596220 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30792/tid=30820] ppid=30790 vsize=1538240 CPUtime=874.66
/proc/30792/task/30820/stat : 30820 (java) R 30790 30792 30240 0 -1 4202560 6291 0 0 0 87444 22 0 0 25 0 16 0 27642026 1575157760 72720 1992294400 134512640 134550932 4287375168 18446744073709551615 4109756240 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1538240

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

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

[startup+922.815 s]
/proc/loadavg: 2.15 2.06 1.67 3/122 30856
/proc/meminfo: memFree=1576136/2059040 swapFree=4140220/4192956
[pid=30792] ppid=30790 vsize=0 CPUtime=1800.26
/proc/30792/stat : 30792 (java) Z 30790 30792 30240 0 -1 4203548 84438 0 1 0 179876 150 0 0 15 0 2 0 27641215 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30792/statm: 0 0 0 0 0 0 0
[pid=30792/tid=30819] ppid=30790 vsize=0 CPUtime=877.84
/proc/30792/task/30819/stat : 30819 (java) R 30790 30792 30240 0 -1 4203588 1208 0 0 0 87757 27 0 0 25 0 2 0 27642026 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 922.831
CPU time (s): 1800.29
CPU user time (s): 1798.77
CPU system time (s): 1.52477
CPU usage (%): 195.084
Max. virtual memory (cumulated for all children) (KiB): 1543392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.52477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84438
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39014
involuntary context switches= 58211

runsolver used 4.10038 second user time and 8.20775 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-14 14:59:56
IDJOB=2662288
IDBENCH=2291
IDSOLVER=1166
FILE ID=node010/2662288-1276520396
PBS_JOBID= 11173430
Free space on /tmp= 62500 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662288-1276520396/watcher-2662288-1276520396 -o /tmp/evaluation-result-2662288-1276520396/solver-2662288-1276520396 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662288-1276520396.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 3aa00837dd74901ce1879f04fea91920
RANDOM SEED=551155891

node010.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1866132 kB
Buffers:         23024 kB
Cached:          91376 kB
SwapCached:       5716 kB
Active:          34172 kB
Inactive:        92548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1866132 kB
SwapTotal:     4192956 kB
SwapFree:      4140220 kB
Dirty:             404 kB
Writeback:           0 kB
AnonPages:       10844 kB
Mapped:          12784 kB
Slab:            44076 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62500 MiB
End job on node010 at 2010-06-14 15:15:21