Trace number 3735707

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)27 1800.19 978.447

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_024_area_delay.opb
MD5SUM58f3055ef9bb388e237f57f2627386e0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1.39579
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables3392
Total number of constraints9001
Number of constraints which are clauses9001
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1642
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 1642
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1642
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.11	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3735707-1338696413.opb
0.07/0.13	c reading problem ... 
0.73/0.41	c ... done. Wall clock time 0.278s.
0.73/0.41	c #vars     3392
0.73/0.41	c #constraints  9001
0.73/0.41	c constraints type 
0.73/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1758
0.73/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7143
0.73/0.41	c constraints type 
0.73/0.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7143
0.73/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1758
1.11/0.51	c  And the winner is Resolution
1.21/0.92	c SATISFIABLE
1.21/0.92	c OPTIMIZING...
1.21/0.92	c Got one! Elapsed wall clock time (in seconds):0.786
1.21/0.92	o 35
1.21/0.94	c  And the winner is CuttingPlanes
1.44/1.43	c Got one! Elapsed wall clock time (in seconds):1.297
1.44/1.43	o 33
1.44/1.46	c  And the winner is Resolution
1.55/1.95	c Got one! Elapsed wall clock time (in seconds):1.815
1.55/1.95	o 32
1.74/2.07	c  And the winner is Resolution
2.13/2.46	c Got one! Elapsed wall clock time (in seconds):2.322
2.13/2.46	o 31
2.13/2.49	c  And the winner is Resolution
2.25/2.96	c Got one! Elapsed wall clock time (in seconds):2.828
2.25/2.96	o 29
2.32/3.01	c  And the winner is Resolution
2.37/3.47	c Got one! Elapsed wall clock time (in seconds):3.332
2.37/3.47	o 27
4.98/4.57	c cleaning 2849 clauses out of 5700 with flag 5000/5700
7.69/5.82	c cleaning 4422 clauses out of 8851 with flag 11000/11700
10.26/7.19	c cleaning 5712 clauses out of 11429 with flag 18000/18700
13.68/8.82	c cleaning 6855 clauses out of 13717 with flag 26000/26700
17.26/10.68	c cleaning 7925 clauses out of 15862 with flag 35000/35700
21.23/12.66	c cleaning 8960 clauses out of 17937 with flag 45000/45700
24.99/14.57	c cleaning 9485 clauses out of 18977 with flag 55000/55700
28.75/16.50	c cleaning 9743 clauses out of 19494 with flag 65002/65702
32.88/18.51	c cleaning 9870 clauses out of 19749 with flag 75000/75700
36.64/20.44	c cleaning 9935 clauses out of 19879 with flag 85000/85700
40.38/22.31	c cleaning 9966 clauses out of 19945 with flag 95001/95701
44.32/24.32	c cleaning 9976 clauses out of 19978 with flag 105000/105700
48.61/26.50	c cleaning 9989 clauses out of 20002 with flag 115000/115700
52.56/28.56	c cleaning 10002 clauses out of 20016 with flag 125003/125703
56.49/30.58	c cleaning 9998 clauses out of 20011 with flag 135000/135700
60.62/32.63	c cleaning 10002 clauses out of 20014 with flag 145001/145701
64.51/34.69	c cleaning 10001 clauses out of 20011 with flag 155000/155700
68.63/36.76	c cleaning 9998 clauses out of 20010 with flag 165000/165700
72.56/38.73	c cleaning 10000 clauses out of 20014 with flag 175002/175702
76.67/40.85	c cleaning 10001 clauses out of 20014 with flag 185002/185702
80.75/42.97	c cleaning 9996 clauses out of 20011 with flag 195000/195700
85.04/45.15	c cleaning 10004 clauses out of 20017 with flag 205002/205702
89.15/47.22	c cleaning 10000 clauses out of 20011 with flag 215000/215700
93.04/49.26	c cleaning 9998 clauses out of 20012 with flag 225001/225701
97.28/51.43	c cleaning 9997 clauses out of 20014 with flag 235001/235701
101.58/53.66	c cleaning 10001 clauses out of 20016 with flag 245000/245700
105.49/55.69	c cleaning 9991 clauses out of 20015 with flag 255000/255700
109.17/57.58	c cleaning 10006 clauses out of 20027 with flag 265003/265703
113.20/59.64	c cleaning 9997 clauses out of 20018 with flag 275000/275700
117.11/61.68	c cleaning 10006 clauses out of 20022 with flag 285001/285701
120.80/63.55	c cleaning 10003 clauses out of 20015 with flag 295000/295700
124.50/65.41	c cleaning 10000 clauses out of 20013 with flag 305001/305701
128.49/67.51	c cleaning 9998 clauses out of 20014 with flag 315002/315702
132.18/69.43	c cleaning 9996 clauses out of 20014 with flag 325000/325700
135.84/71.37	c cleaning 9990 clauses out of 20018 with flag 335000/335700
139.52/73.28	c cleaning 10001 clauses out of 20028 with flag 345000/345700
143.72/75.42	c cleaning 10004 clauses out of 20027 with flag 355000/355700
148.00/77.66	c cleaning 10002 clauses out of 20024 with flag 365001/365701
152.08/79.74	c cleaning 10005 clauses out of 20021 with flag 375000/375700
156.16/81.83	c cleaning 9999 clauses out of 20016 with flag 385000/385700
160.15/83.96	c cleaning 10004 clauses out of 20017 with flag 395000/395700
164.22/86.04	c cleaning 10002 clauses out of 20015 with flag 405002/405702
168.48/88.26	c cleaning 10001 clauses out of 20011 with flag 415000/415700
172.76/90.43	c cleaning 10001 clauses out of 20011 with flag 425001/425701
176.95/92.62	c cleaning 9999 clauses out of 20010 with flag 435001/435701
180.83/94.69	c cleaning 9997 clauses out of 20010 with flag 445000/445700
184.88/96.79	c cleaning 9996 clauses out of 20015 with flag 455002/455702
188.95/98.87	c cleaning 9995 clauses out of 20017 with flag 465000/465700
193.33/101.12	c cleaning 9999 clauses out of 20022 with flag 475000/475700
197.17/103.17	c cleaning 9998 clauses out of 20023 with flag 485000/485700
201.28/105.27	c cleaning 10001 clauses out of 20026 with flag 495001/495701
205.33/107.38	c cleaning 10004 clauses out of 20024 with flag 505000/505700
209.68/109.61	c cleaning 9996 clauses out of 20020 with flag 515000/515700
213.76/111.78	c cleaning 10005 clauses out of 20024 with flag 525000/525700
218.00/113.91	c cleaning 10002 clauses out of 20019 with flag 535000/535700
222.04/116.06	c cleaning 9999 clauses out of 20017 with flag 545000/545700
226.19/118.29	c cleaning 9999 clauses out of 20018 with flag 555000/555700
230.43/120.43	c cleaning 9991 clauses out of 20019 with flag 565000/565700
234.66/122.67	c cleaning 10005 clauses out of 20029 with flag 575001/575701
238.90/124.88	c cleaning 10000 clauses out of 20023 with flag 585000/585700
243.25/127.16	c cleaning 10007 clauses out of 20024 with flag 595001/595701
247.87/129.53	c cleaning 10003 clauses out of 20017 with flag 605001/605701
252.11/131.70	c cleaning 9995 clauses out of 20013 with flag 615000/615700
256.75/134.17	c cleaning 9999 clauses out of 20018 with flag 625000/625700
260.67/136.30	c cleaning 10001 clauses out of 20019 with flag 635000/635700
264.69/138.34	c cleaning 10009 clauses out of 20020 with flag 645002/645702
268.74/140.40	c cleaning 9997 clauses out of 20009 with flag 655000/655700
272.56/142.49	c cleaning 10001 clauses out of 20013 with flag 665001/665701
276.69/144.64	c cleaning 9994 clauses out of 20011 with flag 675000/675700
280.92/146.83	c cleaning 9999 clauses out of 20017 with flag 685000/685700
284.74/148.88	c cleaning 10001 clauses out of 20019 with flag 695001/695701
288.79/150.93	c cleaning 9995 clauses out of 20017 with flag 705000/705700
292.92/153.15	c cleaning 10001 clauses out of 20023 with flag 715001/715701
296.75/155.11	c cleaning 10004 clauses out of 20021 with flag 725000/725700
300.35/157.08	c cleaning 9999 clauses out of 20018 with flag 735001/735701
304.16/159.06	c cleaning 9999 clauses out of 20018 with flag 745000/745700
308.28/161.22	c cleaning 10002 clauses out of 20019 with flag 755000/755700
312.30/163.33	c cleaning 10002 clauses out of 20018 with flag 765001/765701
316.11/165.39	c cleaning 9999 clauses out of 20015 with flag 775000/775700
319.92/167.39	c cleaning 10005 clauses out of 20016 with flag 785000/785700
324.02/169.57	c cleaning 9998 clauses out of 20011 with flag 795000/795700
328.24/171.70	c cleaning 9994 clauses out of 20013 with flag 805000/805700
332.06/173.73	c cleaning 9995 clauses out of 20019 with flag 815000/815700
336.06/175.88	c cleaning 10002 clauses out of 20025 with flag 825001/825701
340.37/178.16	c cleaning 9997 clauses out of 20022 with flag 835000/835700
344.37/180.28	c cleaning 9999 clauses out of 20025 with flag 845000/845700
348.38/182.30	c cleaning 10002 clauses out of 20026 with flag 855000/855700
352.41/184.41	c cleaning 10003 clauses out of 20026 with flag 865002/865702
356.69/186.79	c cleaning 9999 clauses out of 20021 with flag 875000/875700
361.12/189.01	c cleaning 10009 clauses out of 20024 with flag 885002/885702
365.53/191.31	c cleaning 10000 clauses out of 20013 with flag 895000/895700
369.73/193.56	c cleaning 9999 clauses out of 20014 with flag 905001/905701
373.60/195.69	c cleaning 10002 clauses out of 20015 with flag 915001/915701
377.60/197.79	c cleaning 10001 clauses out of 20012 with flag 925000/925700
382.01/200.01	c cleaning 10001 clauses out of 20012 with flag 935001/935701
386.41/202.39	c cleaning 10000 clauses out of 20011 with flag 945001/945701
391.28/204.99	c cleaning 10000 clauses out of 20011 with flag 955001/955701
395.91/207.35	c cleaning 9991 clauses out of 20010 with flag 965000/965700
400.31/209.64	c cleaning 10001 clauses out of 20020 with flag 975001/975701
404.50/211.82	c cleaning 9994 clauses out of 20018 with flag 985000/985700
408.76/214.18	c cleaning 10005 clauses out of 20025 with flag 995001/995701
413.36/216.52	c cleaning 10004 clauses out of 20022 with flag 1005003/1005703
417.77/218.87	c cleaning 10002 clauses out of 20017 with flag 1015002/1015702
421.97/221.03	c cleaning 9996 clauses out of 20013 with flag 1025000/1025700
426.23/223.36	c cleaning 9998 clauses out of 20017 with flag 1035000/1035700
430.60/225.66	c cleaning 10000 clauses out of 20019 with flag 1045000/1045700
434.98/227.90	c cleaning 9999 clauses out of 20019 with flag 1055000/1055700
439.38/230.22	c cleaning 9999 clauses out of 20021 with flag 1065001/1065701
443.84/232.62	c cleaning 10004 clauses out of 20021 with flag 1075000/1075700
448.22/234.94	c cleaning 10003 clauses out of 20017 with flag 1085000/1085700
452.61/237.29	c cleaning 9999 clauses out of 20014 with flag 1095000/1095700
457.19/239.66	c cleaning 9993 clauses out of 20015 with flag 1105000/1105700
462.03/242.20	c cleaning 10002 clauses out of 20022 with flag 1115000/1115700
466.60/244.65	c cleaning 10005 clauses out of 20020 with flag 1125000/1125700
471.18/247.04	c cleaning 10002 clauses out of 20016 with flag 1135001/1135701
475.75/249.40	c cleaning 10001 clauses out of 20013 with flag 1145000/1145700
480.39/251.99	c cleaning 9998 clauses out of 20013 with flag 1155001/1155701
485.14/254.44	c cleaning 9997 clauses out of 20014 with flag 1165000/1165700
489.73/256.81	c cleaning 10003 clauses out of 20018 with flag 1175001/1175701
493.73/258.97	c cleaning 9997 clauses out of 20014 with flag 1185000/1185700
498.15/261.32	c cleaning 9998 clauses out of 20017 with flag 1195000/1195700
502.30/263.52	c cleaning 10003 clauses out of 20019 with flag 1205000/1205700
506.47/265.79	c cleaning 10001 clauses out of 20017 with flag 1215001/1215701
510.83/268.00	c cleaning 9998 clauses out of 20016 with flag 1225001/1225701
515.03/270.35	c cleaning 10000 clauses out of 20017 with flag 1235000/1235700
519.19/272.54	c cleaning 9996 clauses out of 20017 with flag 1245000/1245700
523.35/274.78	c cleaning 9999 clauses out of 20021 with flag 1255000/1255700
527.71/277.05	c cleaning 10002 clauses out of 20024 with flag 1265002/1265702
532.12/279.46	c cleaning 10002 clauses out of 20022 with flag 1275002/1275702
536.47/281.77	c cleaning 10003 clauses out of 20020 with flag 1285002/1285702
540.63/283.95	c cleaning 10000 clauses out of 20016 with flag 1295001/1295701
545.38/286.41	c cleaning 10000 clauses out of 20015 with flag 1305000/1305700
549.99/288.95	c cleaning 9996 clauses out of 20015 with flag 1315000/1315700
554.54/291.33	c cleaning 9998 clauses out of 20019 with flag 1325000/1325700
558.49/293.45	c cleaning 10004 clauses out of 20021 with flag 1335000/1335700
562.44/295.51	c cleaning 10002 clauses out of 20019 with flag 1345002/1345702
566.63/297.86	c cleaning 10002 clauses out of 20015 with flag 1355000/1355700
571.18/300.29	c cleaning 10002 clauses out of 20015 with flag 1365002/1365702
575.09/302.40	c cleaning 10000 clauses out of 20011 with flag 1375000/1375700
579.23/304.57	c cleaning 10000 clauses out of 20013 with flag 1385002/1385702
584.22/307.22	c cleaning 9997 clauses out of 20011 with flag 1395000/1395700
589.35/309.90	c cleaning 10000 clauses out of 20014 with flag 1405000/1405700
594.11/312.42	c cleaning 9998 clauses out of 20014 with flag 1415000/1415700
598.25/314.64	c cleaning 9998 clauses out of 20016 with flag 1425000/1425700
602.80/317.10	c cleaning 9997 clauses out of 20018 with flag 1435000/1435700
606.94/319.32	c cleaning 10003 clauses out of 20021 with flag 1445000/1445700
611.07/321.52	c cleaning 9999 clauses out of 20018 with flag 1455000/1455700
615.59/323.93	c cleaning 9997 clauses out of 20019 with flag 1465000/1465700
620.56/326.67	c cleaning 10006 clauses out of 20023 with flag 1475001/1475701
625.29/329.10	c cleaning 10000 clauses out of 20018 with flag 1485002/1485702
629.81/331.57	c cleaning 10005 clauses out of 20019 with flag 1495003/1495703
635.15/334.34	c cleaning 9992 clauses out of 20011 with flag 1505000/1505700
640.28/337.13	c cleaning 9996 clauses out of 20019 with flag 1515000/1515700
644.62/339.40	c cleaning 10004 clauses out of 20024 with flag 1525001/1525701
648.54/341.56	c cleaning 9994 clauses out of 20019 with flag 1535000/1535700
652.66/343.75	c cleaning 10006 clauses out of 20025 with flag 1545000/1545700
657.41/346.33	c cleaning 9996 clauses out of 20019 with flag 1555000/1555700
661.75/348.65	c cleaning 10000 clauses out of 20023 with flag 1565000/1565700
665.87/350.90	c cleaning 10001 clauses out of 20023 with flag 1575000/1575700
670.17/353.12	c cleaning 9998 clauses out of 20022 with flag 1585000/1585700
674.50/355.59	c cleaning 9999 clauses out of 20024 with flag 1595000/1595700
678.81/357.85	c cleaning 10001 clauses out of 20025 with flag 1605000/1605700
682.92/360.06	c cleaning 10000 clauses out of 20024 with flag 1615000/1615700
687.42/362.41	c cleaning 10009 clauses out of 20026 with flag 1625002/1625702
692.36/365.13	c cleaning 10002 clauses out of 20015 with flag 1635000/1635700
697.07/367.67	c cleaning 9997 clauses out of 20013 with flag 1645000/1645700
701.78/370.13	c cleaning 9992 clauses out of 20016 with flag 1655000/1655700
706.28/372.57	c cleaning 10009 clauses out of 20026 with flag 1665002/1665702
711.19/375.21	c cleaning 10000 clauses out of 20015 with flag 1675000/1675700
715.69/377.63	c cleaning 9994 clauses out of 20015 with flag 1685000/1685700
720.20/380.08	c cleaning 10005 clauses out of 20022 with flag 1695001/1695701
724.91/382.54	c cleaning 10000 clauses out of 20016 with flag 1705000/1705700
729.61/385.19	c cleaning 9996 clauses out of 20016 with flag 1715000/1715700
734.51/387.70	c cleaning 10001 clauses out of 20021 with flag 1725001/1725701
739.19/390.22	c cleaning 9996 clauses out of 20019 with flag 1735000/1735700
743.70/392.68	c cleaning 10002 clauses out of 20023 with flag 1745000/1745700
748.57/395.30	c cleaning 10000 clauses out of 20021 with flag 1755000/1755700
753.06/397.73	c cleaning 10000 clauses out of 20022 with flag 1765001/1765701
757.54/400.13	c cleaning 10004 clauses out of 20021 with flag 1775000/1775700
762.22/402.63	c cleaning 10005 clauses out of 20018 with flag 1785001/1785701
767.29/405.41	c cleaning 10002 clauses out of 20013 with flag 1795001/1795701
771.95/407.99	c cleaning 9999 clauses out of 20011 with flag 1805001/1805701
776.63/410.46	c cleaning 9999 clauses out of 20011 with flag 1815000/1815700
781.09/412.88	c cleaning 10000 clauses out of 20013 with flag 1825001/1825701
785.76/415.49	c cleaning 9996 clauses out of 20012 with flag 1835000/1835700
790.44/418.00	c cleaning 9998 clauses out of 20016 with flag 1845000/1845700
795.12/420.48	c cleaning 9998 clauses out of 20018 with flag 1855000/1855700
799.78/422.98	c cleaning 10005 clauses out of 20020 with flag 1865000/1865700
805.03/425.82	c cleaning 9996 clauses out of 20016 with flag 1875001/1875701
809.51/428.29	c cleaning 9989 clauses out of 20019 with flag 1885000/1885700
814.18/430.80	c cleaning 10005 clauses out of 20030 with flag 1895000/1895700
819.05/433.35	c cleaning 9998 clauses out of 20025 with flag 1905000/1905700
823.89/436.03	c cleaning 10004 clauses out of 20027 with flag 1915000/1915700
828.54/438.57	c cleaning 10002 clauses out of 20023 with flag 1925000/1925700
833.20/441.06	c cleaning 10001 clauses out of 20022 with flag 1935001/1935701
837.85/443.54	c cleaning 9999 clauses out of 20020 with flag 1945000/1945700
842.50/446.15	c cleaning 9995 clauses out of 20021 with flag 1955000/1955700
847.15/448.69	c cleaning 9998 clauses out of 20026 with flag 1965000/1965700
852.00/451.23	c cleaning 10004 clauses out of 20029 with flag 1975001/1975701
856.84/453.80	c cleaning 10003 clauses out of 20025 with flag 1985001/1985701
861.27/456.40	c cleaning 10005 clauses out of 20021 with flag 1995000/1995700
865.71/458.71	c cleaning 10003 clauses out of 20017 with flag 2005001/2005701
869.76/460.96	c cleaning 10001 clauses out of 20013 with flag 2015000/2015700
873.98/463.25	c cleaning 10001 clauses out of 20013 with flag 2025001/2025701
878.60/465.86	c cleaning 9991 clauses out of 20011 with flag 2035000/2035700
883.24/468.31	c cleaning 10000 clauses out of 20021 with flag 2045001/2045701
887.47/470.63	c cleaning 10006 clauses out of 20021 with flag 2055001/2055701
891.73/472.98	c cleaning 9997 clauses out of 20014 with flag 2065000/2065700
896.53/475.63	c cleaning 10002 clauses out of 20019 with flag 2075002/2075702
900.98/478.02	c cleaning 9998 clauses out of 20015 with flag 2085000/2085700
905.61/480.54	c cleaning 10001 clauses out of 20018 with flag 2095001/2095701
910.04/482.97	c cleaning 9999 clauses out of 20017 with flag 2105001/2105701
914.82/485.62	c cleaning 9999 clauses out of 20017 with flag 2115000/2115700
919.24/488.05	c cleaning 10006 clauses out of 20019 with flag 2125001/2125701
923.67/490.45	c cleaning 10001 clauses out of 20013 with flag 2135001/2135701
928.29/492.93	c cleaning 9998 clauses out of 20013 with flag 2145002/2145702
933.09/495.64	c cleaning 9998 clauses out of 20014 with flag 2155001/2155701
937.73/498.13	c cleaning 10000 clauses out of 20016 with flag 2165001/2165701
942.17/500.52	c cleaning 9997 clauses out of 20016 with flag 2175001/2175701
946.58/502.95	c cleaning 10002 clauses out of 20019 with flag 2185001/2185701
950.96/505.46	c cleaning 10004 clauses out of 20020 with flag 2195004/2195704
954.99/507.66	c cleaning 9996 clauses out of 20012 with flag 2205000/2205700
959.03/509.88	c cleaning 9997 clauses out of 20016 with flag 2215000/2215700
963.06/512.08	c cleaning 10002 clauses out of 20019 with flag 2225000/2225700
967.45/514.56	c cleaning 9998 clauses out of 20017 with flag 2235000/2235700
971.66/516.90	c cleaning 10000 clauses out of 20019 with flag 2245000/2245700
975.89/519.17	c cleaning 10000 clauses out of 20019 with flag 2255000/2255700
980.11/521.48	c cleaning 10001 clauses out of 20019 with flag 2265000/2265700
984.68/524.05	c cleaning 10000 clauses out of 20018 with flag 2275000/2275700
988.89/526.38	c cleaning 9989 clauses out of 20018 with flag 2285000/2285700
993.51/528.81	c cleaning 10009 clauses out of 20029 with flag 2295000/2295700
997.72/531.17	c cleaning 10002 clauses out of 20021 with flag 2305001/2305701
1002.29/533.75	c cleaning 9996 clauses out of 20018 with flag 2315000/2315700
1006.91/536.23	c cleaning 10003 clauses out of 20023 with flag 2325001/2325701
1011.33/538.67	c cleaning 10001 clauses out of 20019 with flag 2335000/2335700
1016.16/541.26	c cleaning 10002 clauses out of 20019 with flag 2345001/2345701
1021.10/544.04	c cleaning 10006 clauses out of 20017 with flag 2355001/2355701
1025.70/546.60	c cleaning 9997 clauses out of 20010 with flag 2365000/2365700
1030.52/549.12	c cleaning 10001 clauses out of 20014 with flag 2375001/2375701
1035.12/551.61	c cleaning 9998 clauses out of 20012 with flag 2385000/2385700
1039.88/554.36	c cleaning 10001 clauses out of 20014 with flag 2395000/2395700
1044.48/556.82	c cleaning 9997 clauses out of 20013 with flag 2405000/2405700
1048.89/559.28	c cleaning 10002 clauses out of 20016 with flag 2415000/2415700
1053.71/561.88	c cleaning 9997 clauses out of 20015 with flag 2425001/2425701
1058.45/564.51	c cleaning 10004 clauses out of 20018 with flag 2435001/2435701
1062.25/566.65	c cleaning 10001 clauses out of 20013 with flag 2445000/2445700
1066.06/568.79	c cleaning 10000 clauses out of 20013 with flag 2455001/2455701
1070.26/571.02	c cleaning 9994 clauses out of 20012 with flag 2465000/2465700
1074.62/573.54	c cleaning 10000 clauses out of 20019 with flag 2475001/2475701
1078.62/575.75	c cleaning 10000 clauses out of 20018 with flag 2485000/2485700
1082.61/577.99	c cleaning 10003 clauses out of 20018 with flag 2495000/2495700
1086.61/580.19	c cleaning 9999 clauses out of 20016 with flag 2505001/2505701
1090.97/582.64	c cleaning 10003 clauses out of 20017 with flag 2515001/2515701
1094.95/584.84	c cleaning 9998 clauses out of 20013 with flag 2525000/2525700
1099.15/587.11	c cleaning 10001 clauses out of 20016 with flag 2535001/2535701
1103.34/589.48	c cleaning 9998 clauses out of 20014 with flag 2545000/2545700
1107.89/592.02	c cleaning 9999 clauses out of 20016 with flag 2555000/2555700
1111.90/594.28	c cleaning 9996 clauses out of 20018 with flag 2565001/2565701
1116.11/596.59	c cleaning 10006 clauses out of 20021 with flag 2575000/2575700
1120.31/598.80	c cleaning 9999 clauses out of 20018 with flag 2585003/2585703
1124.47/601.29	c cleaning 9995 clauses out of 20016 with flag 2595000/2595700
1128.48/603.43	c cleaning 10003 clauses out of 20021 with flag 2605000/2605700
1132.48/605.67	c cleaning 10000 clauses out of 20018 with flag 2615000/2615700
1136.47/607.88	c cleaning 10001 clauses out of 20020 with flag 2625002/2625702
1141.23/610.51	c cleaning 9998 clauses out of 20017 with flag 2635000/2635700
1145.24/612.80	c cleaning 9997 clauses out of 20019 with flag 2645000/2645700
1149.42/615.06	c cleaning 10005 clauses out of 20022 with flag 2655000/2655700
1154.21/617.62	c cleaning 10001 clauses out of 20017 with flag 2665000/2665700
1159.17/620.41	c cleaning 10001 clauses out of 20016 with flag 2675000/2675700
1163.75/622.98	c cleaning 9999 clauses out of 20015 with flag 2685000/2685700
1168.74/625.63	c cleaning 10002 clauses out of 20016 with flag 2695000/2695700
1173.36/628.11	c cleaning 9999 clauses out of 20015 with flag 2705001/2705701
1178.09/630.81	c cleaning 9998 clauses out of 20015 with flag 2715000/2715700
1182.69/633.38	c cleaning 10005 clauses out of 20018 with flag 2725001/2725701
1187.10/635.79	c cleaning 9995 clauses out of 20012 with flag 2735000/2735700
1191.49/638.19	c cleaning 9991 clauses out of 20017 with flag 2745000/2745700
1196.42/640.99	c cleaning 10007 clauses out of 20027 with flag 2755001/2755701
1201.03/643.47	c cleaning 10004 clauses out of 20019 with flag 2765000/2765700
1205.81/646.01	c cleaning 9997 clauses out of 20015 with flag 2775000/2775700
1210.39/648.57	c cleaning 9995 clauses out of 20018 with flag 2785000/2785700
1215.31/651.31	c cleaning 10002 clauses out of 20023 with flag 2795000/2795700
1219.69/653.79	c cleaning 9997 clauses out of 20021 with flag 2805000/2805700
1224.29/656.23	c cleaning 10006 clauses out of 20024 with flag 2815000/2815700
1228.69/658.60	c cleaning 9999 clauses out of 20018 with flag 2825000/2825700
1233.62/661.44	c cleaning 10002 clauses out of 20019 with flag 2835000/2835700
1238.20/663.98	c cleaning 9997 clauses out of 20017 with flag 2845000/2845700
1243.00/666.56	c cleaning 10000 clauses out of 20020 with flag 2855000/2855700
1247.36/668.92	c cleaning 9994 clauses out of 20022 with flag 2865002/2865702
1252.28/671.71	c cleaning 10003 clauses out of 20026 with flag 2875000/2875700
1256.66/674.15	c cleaning 9999 clauses out of 20023 with flag 2885000/2885700
1261.26/676.65	c cleaning 9993 clauses out of 20024 with flag 2895000/2895700
1265.85/679.14	c cleaning 10001 clauses out of 20031 with flag 2905000/2905700
1270.56/681.84	c cleaning 10005 clauses out of 20030 with flag 2915000/2915700
1274.95/684.27	c cleaning 10002 clauses out of 20025 with flag 2925000/2925700
1279.51/686.74	c cleaning 10003 clauses out of 20023 with flag 2935000/2935700
1283.89/689.11	c cleaning 9999 clauses out of 20020 with flag 2945000/2945700
1288.83/691.93	c cleaning 9998 clauses out of 20021 with flag 2955000/2955700
1293.59/694.55	c cleaning 10001 clauses out of 20023 with flag 2965000/2965700
1297.98/696.95	c cleaning 10001 clauses out of 20022 with flag 2975000/2975700
1302.56/699.50	c cleaning 10003 clauses out of 20021 with flag 2985000/2985700
1307.26/702.20	c cleaning 9999 clauses out of 20018 with flag 2995000/2995700
1312.03/704.78	c cleaning 10003 clauses out of 20019 with flag 3005000/3005700
1316.40/707.19	c cleaning 9998 clauses out of 20016 with flag 3015000/3015700
1321.36/709.80	c cleaning 10003 clauses out of 20018 with flag 3025000/3025700
1326.06/712.50	c cleaning 10002 clauses out of 20015 with flag 3035000/3035700
1330.22/714.88	c cleaning 10003 clauses out of 20015 with flag 3045002/3045702
1334.82/717.39	c cleaning 9996 clauses out of 20010 with flag 3055000/3055700
1339.62/719.94	c cleaning 10003 clauses out of 20015 with flag 3065001/3065701
1344.52/722.78	c cleaning 9999 clauses out of 20011 with flag 3075000/3075700
1348.89/725.11	c cleaning 9998 clauses out of 20012 with flag 3085000/3085700
1353.05/727.43	c cleaning 9997 clauses out of 20014 with flag 3095000/3095700
1357.43/729.80	c cleaning 9994 clauses out of 20017 with flag 3105000/3105700
1361.72/732.38	c cleaning 10004 clauses out of 20023 with flag 3115000/3115700
1365.90/734.64	c cleaning 10004 clauses out of 20022 with flag 3125003/3125703
1370.28/737.06	c cleaning 10001 clauses out of 20016 with flag 3135001/3135701
1374.82/739.50	c cleaning 10003 clauses out of 20015 with flag 3145001/3145701
1379.31/742.18	c cleaning 9996 clauses out of 20012 with flag 3155001/3155701
1383.88/744.61	c cleaning 10000 clauses out of 20015 with flag 3165000/3165700
1388.25/747.08	c cleaning 10001 clauses out of 20015 with flag 3175000/3175700
1392.61/749.44	c cleaning 10003 clauses out of 20014 with flag 3185000/3185700
1397.70/752.32	c cleaning 9988 clauses out of 20012 with flag 3195001/3195701
1402.26/754.87	c cleaning 10009 clauses out of 20024 with flag 3205001/3205701
1407.22/757.50	c cleaning 9997 clauses out of 20014 with flag 3215000/3215700
1411.99/760.19	c cleaning 9992 clauses out of 20017 with flag 3225000/3225700
1417.26/763.15	c cleaning 10003 clauses out of 20025 with flag 3235000/3235700
1422.21/765.82	c cleaning 10005 clauses out of 20023 with flag 3245001/3245701
1427.15/768.52	c cleaning 10003 clauses out of 20018 with flag 3255001/3255701
1431.72/771.09	c cleaning 9993 clauses out of 20014 with flag 3265000/3265700
1436.76/773.93	c cleaning 10000 clauses out of 20022 with flag 3275001/3275701
1441.31/776.43	c cleaning 10002 clauses out of 20022 with flag 3285001/3285701
1445.47/778.74	c cleaning 10006 clauses out of 20020 with flag 3295001/3295701
1449.43/780.97	c cleaning 9997 clauses out of 20013 with flag 3305000/3305700
1454.06/783.62	c cleaning 10003 clauses out of 20016 with flag 3315000/3315700
1458.21/785.96	c cleaning 10001 clauses out of 20013 with flag 3325000/3325700
1462.55/788.37	c cleaning 9996 clauses out of 20013 with flag 3335001/3335701
1466.88/790.71	c cleaning 9997 clauses out of 20017 with flag 3345001/3345701
1471.31/793.33	c cleaning 10002 clauses out of 20020 with flag 3355001/3355701
1475.25/795.59	c cleaning 9996 clauses out of 20017 with flag 3365000/3365700
1479.40/797.89	c cleaning 10002 clauses out of 20022 with flag 3375001/3375701
1483.76/800.29	c cleaning 10001 clauses out of 20019 with flag 3385000/3385700
1488.39/802.94	c cleaning 10004 clauses out of 20018 with flag 3395000/3395700
1492.72/805.33	c cleaning 9998 clauses out of 20014 with flag 3405000/3405700
1497.04/807.70	c cleaning 10001 clauses out of 20017 with flag 3415001/3415701
1501.18/810.06	c cleaning 10004 clauses out of 20015 with flag 3425000/3425700
1505.84/812.78	c cleaning 9995 clauses out of 20011 with flag 3435000/3435700
1510.58/815.31	c cleaning 9998 clauses out of 20016 with flag 3445000/3445700
1515.31/817.96	c cleaning 9999 clauses out of 20019 with flag 3455001/3455701
1520.05/820.59	c cleaning 10002 clauses out of 20019 with flag 3465000/3465700
1525.03/823.49	c cleaning 10002 clauses out of 20020 with flag 3475003/3475703
1529.55/825.93	c cleaning 10001 clauses out of 20015 with flag 3485000/3485700
1534.06/828.41	c cleaning 9995 clauses out of 20014 with flag 3495000/3495700
1538.38/830.89	c cleaning 9999 clauses out of 20019 with flag 3505000/3505700
1543.40/833.74	c cleaning 9998 clauses out of 20023 with flag 3515003/3515703
1548.09/836.36	c cleaning 10004 clauses out of 20023 with flag 3525001/3525701
1552.60/838.85	c cleaning 9999 clauses out of 20018 with flag 3535000/3535700
1557.32/841.43	c cleaning 10001 clauses out of 20020 with flag 3545001/3545701
1562.10/844.27	c cleaning 10003 clauses out of 20019 with flag 3555001/3555701
1566.82/846.87	c cleaning 9996 clauses out of 20015 with flag 3565000/3565700
1571.76/849.57	c cleaning 9996 clauses out of 20019 with flag 3575000/3575700
1576.45/852.12	c cleaning 10004 clauses out of 20026 with flag 3585003/3585703
1581.44/855.07	c cleaning 9998 clauses out of 20020 with flag 3595001/3595701
1586.35/857.74	c cleaning 9998 clauses out of 20021 with flag 3605000/3605700
1591.07/860.32	c cleaning 9993 clauses out of 20023 with flag 3615000/3615700
1595.78/862.92	c cleaning 10005 clauses out of 20031 with flag 3625001/3625701
1600.80/865.85	c cleaning 9995 clauses out of 20025 with flag 3635000/3635700
1605.50/868.41	c cleaning 10006 clauses out of 20030 with flag 3645000/3645700
1610.21/871.04	c cleaning 10006 clauses out of 20024 with flag 3655000/3655700
1614.53/873.47	c cleaning 10001 clauses out of 20019 with flag 3665001/3665701
1619.28/876.24	c cleaning 9996 clauses out of 20020 with flag 3675003/3675703
1623.80/878.75	c cleaning 10003 clauses out of 20021 with flag 3685000/3685700
1628.30/881.27	c cleaning 9999 clauses out of 20018 with flag 3695000/3695700
1632.80/883.77	c cleaning 10002 clauses out of 20021 with flag 3705002/3705702
1637.60/886.57	c cleaning 9999 clauses out of 20017 with flag 3715000/3715700
1642.08/889.04	c cleaning 9997 clauses out of 20018 with flag 3725000/3725700
1646.58/891.55	c cleaning 10000 clauses out of 20021 with flag 3735000/3735700
1651.07/894.01	c cleaning 9999 clauses out of 20022 with flag 3745001/3745701
1655.88/896.80	c cleaning 9993 clauses out of 20022 with flag 3755000/3755700
1660.37/899.30	c cleaning 10009 clauses out of 20031 with flag 3765002/3765702
1664.66/901.73	c cleaning 10003 clauses out of 20020 with flag 3775000/3775700
1669.15/904.22	c cleaning 10000 clauses out of 20017 with flag 3785000/3785700
1673.68/906.95	c cleaning 9992 clauses out of 20017 with flag 3795000/3795700
1677.95/909.33	c cleaning 10005 clauses out of 20026 with flag 3805001/3805701
1682.84/912.02	c cleaning 10002 clauses out of 20021 with flag 3815001/3815701
1687.73/914.77	c cleaning 9999 clauses out of 20018 with flag 3825000/3825700
1693.08/917.84	c cleaning 9998 clauses out of 20019 with flag 3835000/3835700
1697.76/920.46	c cleaning 10000 clauses out of 20021 with flag 3845000/3845700
1702.42/923.08	c cleaning 9999 clauses out of 20021 with flag 3855000/3855700
1707.11/925.64	c cleaning 10002 clauses out of 20022 with flag 3865000/3865700
1712.02/928.54	c cleaning 10000 clauses out of 20020 with flag 3875000/3875700
1716.48/931.04	c cleaning 10002 clauses out of 20020 with flag 3885000/3885700
1721.15/933.63	c cleaning 9997 clauses out of 20018 with flag 3895000/3895700
1726.03/936.35	c cleaning 9997 clauses out of 20022 with flag 3905001/3905701
1730.94/939.25	c cleaning 10003 clauses out of 20025 with flag 3915001/3915701
1735.61/941.83	c cleaning 9994 clauses out of 20022 with flag 3925001/3925701
1740.29/944.41	c cleaning 9999 clauses out of 20027 with flag 3935000/3935700
1744.75/946.98	c cleaning 10005 clauses out of 20028 with flag 3945000/3945700
1750.06/950.01	c cleaning 10006 clauses out of 20024 with flag 3955001/3955701
1755.11/952.82	c cleaning 9999 clauses out of 20017 with flag 3965000/3965700
1760.17/955.60	c cleaning 10004 clauses out of 20019 with flag 3975001/3975701
1765.05/958.37	c cleaning 9995 clauses out of 20014 with flag 3985000/3985700
1770.16/961.33	c cleaning 10000 clauses out of 20019 with flag 3995000/3995700
1774.79/963.98	c cleaning 10002 clauses out of 20019 with flag 4005000/4005700
1779.44/966.55	c cleaning 10002 clauses out of 20018 with flag 4015001/4015701
1784.11/969.12	c cleaning 9997 clauses out of 20015 with flag 4025000/4025700
1789.00/972.09	c cleaning 10006 clauses out of 20019 with flag 4035001/4035701
1793.66/974.67	c cleaning 9999 clauses out of 20012 with flag 4045000/4045700
1798.31/977.24	c cleaning 9999 clauses out of 20014 with flag 4055001/4055701
1800.19/978.41	c starts		: 259
1800.19/978.41	c conflicts		: 4058659
1800.19/978.41	c decisions		: 14153233
1800.19/978.41	c propagations		: 3268759307
1800.19/978.41	c inspects		: 3822984938
1800.19/978.41	c shortcuts		: 0
1800.19/978.41	c learnt literals	: 0
1800.19/978.41	c learnt binary clauses	: 0
1800.19/978.41	c learnt ternary clauses	: 3
1800.19/978.41	c learnt constraints	: 4058660
1800.19/978.41	c ignored constraints	: 0
1800.19/978.41	c root simplifications	: 0
1800.19/978.41	c removed literals (reason simplification)	: 7582270
1800.19/978.41	c reason swapping (by a shorter reason)	: 0
1800.19/978.41	c Calls to reduceDB	: 407
1800.19/978.41	c number of reductions to clauses (during analyze)	: 0
1800.19/978.41	c number of learned constraints concerned by reduction	: 0
1800.19/978.41	c number of learning phase by resolution	: 0
1800.19/978.41	c number of learning phase by cutting planes	: 0
1800.19/978.41	c speed (assignments/second)	: 3352774.554794029
1800.19/978.41	c non guided choices	13128
1800.19/978.42	c learnt constraints type 
1800.19/978.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13010
1800.19/978.42	c constraints type 
1800.19/978.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1758
1800.19/978.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.19/978.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7143
1800.19/978.42	c constraints type 
1800.19/978.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7143
1800.19/978.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1758
1800.19/978.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.19/978.42	s SATISFIABLE
1800.19/978.43	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 
1800.19/978.43	c objective function=27
1800.19/978.43	c Total wall clock time (in seconds): 978.296

Verifier Data 

OK	27

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-3735707-1338696413/watcher-3735707-1338696413 -o /tmp/evaluation-result-3735707-1338696413/solver-3735707-1338696413 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735707-1338696413.opb 

running on 4 cores: 1,3,5,7

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.91 3.95 3.88 4/197 11926
/proc/meminfo: memFree=24665684/32873844 swapFree=7632/7632
[pid=11926] ppid=11924 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/11926/stat : 11926 (java) D 11924 11926 5561 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 335765644 2560000 46 33554432000 1073741824 1073778376 140736708568240 140736708565368 209874677031 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/11926/statm: 625 46 37 9 0 29 0

[startup+0.078518 s]
/proc/loadavg: 3.91 3.95 3.88 4/197 11926
/proc/meminfo: memFree=24665684/32873844 swapFree=7632/7632
[pid=11926] ppid=11924 vsize=11253516 CPUtime=0.05 cores=1,3,5,7
/proc/11926/stat : 11926 (java) S 11924 11926 5561 0 -1 4202496 4309 0 1 0 3 2 0 0 20 0 13 0 335765644 11523600384 12160 33554432000 1073741824 1073778376 140734865474704 140734865465840 209887199293 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11926/statm: 2813379 12160 1709 9 0 2804080 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11253516

[startup+0.100312 s]
/proc/loadavg: 3.91 3.95 3.88 4/197 11926
/proc/meminfo: memFree=24665684/32873844 swapFree=7632/7632
[pid=11926] ppid=11924 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/11926/stat : 11926 (java) S 11924 11926 5561 0 -1 4202496 4472 0 1 0 5 2 0 0 20 0 18 0 335765644 11864465408 12834 33554432000 1073741824 1073778376 140734865474704 140734865465840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11926/statm: 2896598 12834 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300247 s]
/proc/loadavg: 3.91 3.95 3.88 4/197 11926
/proc/meminfo: memFree=24665684/32873844 swapFree=7632/7632
[pid=11926] ppid=11924 vsize=11586392 CPUtime=0.46 cores=1,3,5,7
/proc/11926/stat : 11926 (java) S 11924 11926 5561 0 -1 4202496 6543 0 1 0 44 2 0 0 20 0 18 0 335765644 11864465408 16441 33554432000 1073741824 1073778376 140734865474704 140734865465840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11926/statm: 2896598 16441 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 11586392

[startup+0.700251 s]
/proc/loadavg: 3.91 3.95 3.88 4/197 11926
/proc/meminfo: memFree=24665684/32873844 swapFree=7632/7632
[pid=11926] ppid=11924 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/11926/stat : 11926 (java) S 11924 11926 5561 0 -1 4202496 11466 0 1 0 116 5 0 0 20 0 19 0 335765644 12137111552 23990 33554432000 1073741824 1073778376 140734865474704 140734865465840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11926/statm: 2963162 23990 2258 9 0 2953849 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 11852648

[startup+1.50064 s]
/proc/loadavg: 3.91 3.95 3.88 4/216 11951
/proc/meminfo: memFree=24570528/32873844 swapFree=7632/7632
[pid=11926] ppid=11924 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/11926/stat : 11926 (java) S 11924 11926 5561 0 -1 4202496 13765 0 1 0 146 9 0 0 20 0 19 0 335765644 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140734865465840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11926/statm: 2963162 26176 2261 9 0 2953849 0
[pid=11926/tid=11928] ppid=11924 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/11926/task/11928/stat : 11928 (java) S 11924 11926 5561 0 -1 4202560 3393 0 1 0 38 2 0 0 20 0 19 0 335765645 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352539440280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11929] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11929/stat : 11929 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352494192936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11930] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11930/stat : 11930 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352493140136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11931] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11931/stat : 11931 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352492087848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11932] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11932/stat : 11932 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352491035048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11933] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11933/stat : 11933 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352489982760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11934] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11934/stat : 11934 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352488929960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11935] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11935/stat : 11935 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352487877672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11936] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11936/stat : 11936 (java) S 11924 11926 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352486824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11937] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11937/stat : 11937 (java) S 11924 11926 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335765650 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352355997928 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11938] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11938/stat : 11938 (java) S 11924 11926 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335765650 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352354943992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11939] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11939/stat : 11939 (java) S 11924 11926 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335765650 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352353891592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11940] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11940/stat : 11940 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765653 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352352840080 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11941] ppid=11924 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/11926/task/11941/stat : 11941 (java) S 11924 11926 5561 0 -1 4202560 3121 0 0 0 40 0 0 0 20 0 19 0 335765653 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140352351787704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11942] ppid=11924 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/11926/task/11942/stat : 11942 (java) S 11924 11926 5561 0 -1 4202560 5937 0 0 0 45 0 0 0 20 0 19 0 335765653 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140351478164024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11943] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11943/stat : 11943 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765653 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140351477111928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11944] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11944/stat : 11944 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765653 12137111552 26176 33554432000 1073741824 1073778376 140734865474704 140351476059336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 11852648

[startup+3.10072 s]
/proc/loadavg: 3.91 3.95 3.88 5/216 11957
/proc/meminfo: memFree=24562876/32873844 swapFree=7632/7632
[pid=11926] ppid=11924 vsize=11852648 CPUtime=2.37 cores=1,3,5,7
/proc/11926/stat : 11926 (java) S 11924 11926 5561 0 -1 4202496 14279 0 1 0 222 15 0 0 20 0 19 0 335765644 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140734865465840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11926/statm: 2963162 29767 2266 9 0 2953849 0
[pid=11926/tid=11928] ppid=11924 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/11926/task/11928/stat : 11928 (java) S 11924 11926 5561 0 -1 4202560 3395 0 1 0 40 3 0 0 20 0 19 0 335765645 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352539440280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11929] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11929/stat : 11929 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352494192936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11930] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11930/stat : 11930 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352493140136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11931] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11931/stat : 11931 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352492087848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11932] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11932/stat : 11932 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352491035048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11933] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11933/stat : 11933 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352489982760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11934] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11934/stat : 11934 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352488929960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11935] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11935/stat : 11935 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352487877672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11936] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11936/stat : 11936 (java) S 11924 11926 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335765648 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352486824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11937] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11937/stat : 11937 (java) S 11924 11926 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335765650 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352355997928 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11938] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11938/stat : 11938 (java) S 11924 11926 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335765650 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352354943992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11939] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11939/stat : 11939 (java) S 11924 11926 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335765650 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352353891592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11940] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11940/stat : 11940 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765653 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352352840080 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11941] ppid=11924 vsize=11852648 CPUtime=0.59 cores=1,3,5,7
/proc/11926/task/11941/stat : 11941 (java) S 11924 11926 5561 0 -1 4202560 3122 0 0 0 59 0 0 0 20 0 19 0 335765653 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140352351787704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11942] ppid=11924 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/11926/task/11942/stat : 11942 (java) S 11924 11926 5561 0 -1 4202560 6422 0 0 0 62 0 0 0 20 0 19 0 335765653 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140351478164024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11943] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11943/stat : 11943 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765653 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140351477111928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11944] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11944/stat : 11944 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335765653 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140351476059336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11954] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11954/stat : 11954 (java) S 11924 11926 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335765789 12137111552 29767 33554432000 1073741824 1073778376 140734865474704 140351471846184 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 11852648
heavy processes:

[startup+6.30081 s]
/proc/loadavg: 3.92 3.95 3.88 5/219 11966
/proc/meminfo: memFree=23816480/32873844 swapFree=7632/7632
[pid=11926] ppid=11924 vsize=11852648 CPUtime=8.66 cores=1,3,5,7
/proc/11926/stat : 11926 (java) S 11924 11926 5561 0 -1 4202496 19358 0 1 0 834 32 0 0 20 0 22 0 335765644 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140734865465840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11926/statm: 2963162 277419 2291 9 0 2953849 0
[pid=11926/tid=11928] ppid=11924 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/11926/task/11928/stat : 11928 (java) S 11924 11926 5561 0 -1 4202560 3396 0 1 0 40 3 0 0 20 0 22 0 335765645 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352539440280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11929] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11929/stat : 11929 (java) S 11924 11926 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335765648 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352494192936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11930] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11930/stat : 11930 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765648 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352493140136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11931] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11931/stat : 11931 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765648 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352492087848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11932] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11932/stat : 11932 (java) S 11924 11926 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335765648 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352491035048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11933] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11933/stat : 11933 (java) S 11924 11926 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335765648 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352489982760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11934] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11934/stat : 11934 (java) S 11924 11926 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 335765648 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352488929960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11935] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11935/stat : 11935 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765648 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352487877672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11936] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11936/stat : 11936 (java) S 11924 11926 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335765648 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352486824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11937] ppid=11924 vsize=11852648 CPUtime=0.05 cores=1,3,5,7
/proc/11926/task/11937/stat : 11937 (java) S 11924 11926 5561 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 22 0 335765650 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352355997928 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11938] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11938/stat : 11938 (java) S 11924 11926 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335765650 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352354943992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11939] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11939/stat : 11939 (java) S 11924 11926 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335765650 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352353891592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11940] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11940/stat : 11940 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765653 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352352840080 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11941] ppid=11924 vsize=11852648 CPUtime=0.93 cores=1,3,5,7
/proc/11926/task/11941/stat : 11941 (java) S 11924 11926 5561 0 -1 4202560 6236 0 0 0 92 1 0 0 20 0 22 0 335765653 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140352351787704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11942] ppid=11924 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/11926/task/11942/stat : 11942 (java) S 11924 11926 5561 0 -1 4202560 7826 0 0 0 96 2 0 0 20 0 22 0 335765653 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140351478164024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11943] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11943/stat : 11943 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765653 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140351477111928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11944] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11944/stat : 11944 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765653 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140351476059336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11954] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11954/stat : 11954 (java) S 11924 11926 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335765789 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140351471846184 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11964] ppid=11924 vsize=11852648 CPUtime=2.72 cores=1,3,5,7
/proc/11926/task/11964/stat : 11964 (java) R 11924 11926 5561 0 -1 4202560 11 0 0 0 272 0 0 0 20 0 22 0 335765991 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140351472898384 140352368134209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11965] ppid=11924 vsize=11852648 CPUtime=2.7 cores=1,3,5,7
/proc/11926/task/11965/stat : 11965 (java) R 11924 11926 5561 0 -1 4202560 475 0 0 0 256 14 0 0 20 0 22 0 335765991 12137111552 277419 33554432000 1073741824 1073778376 140734865474704 140351473951056 140352368424516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11966] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7

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

/proc/11926/statm: 2963162 524721 2293 9 0 2953849 0
[pid=11926/tid=11928] ppid=11924 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/11926/task/11928/stat : 11928 (java) S 11924 11926 5561 0 -1 4202560 3648 0 1 0 42 5 0 0 20 0 22 0 335765645 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352539440280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11929] ppid=11924 vsize=11852648 CPUtime=1.87 cores=1,3,5,7
/proc/11926/task/11929/stat : 11929 (java) S 11924 11926 5561 0 -1 4202560 79 0 0 0 185 2 0 0 20 0 22 0 335765648 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352494192936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11930] ppid=11924 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/11926/task/11930/stat : 11930 (java) S 11924 11926 5561 0 -1 4202560 54 0 0 0 179 2 0 0 20 0 22 0 335765648 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352493140136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11931] ppid=11924 vsize=11852648 CPUtime=1.86 cores=1,3,5,7
/proc/11926/task/11931/stat : 11931 (java) S 11924 11926 5561 0 -1 4202560 61 0 0 0 184 2 0 0 20 0 22 0 335765648 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352492087848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11932] ppid=11924 vsize=11852648 CPUtime=1.93 cores=1,3,5,7
/proc/11926/task/11932/stat : 11932 (java) S 11924 11926 5561 0 -1 4202560 75 0 0 0 190 3 0 0 20 0 22 0 335765648 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352491035048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11933] ppid=11924 vsize=11852648 CPUtime=1.92 cores=1,3,5,7
/proc/11926/task/11933/stat : 11933 (java) S 11924 11926 5561 0 -1 4202560 71 0 0 0 190 2 0 0 20 0 22 0 335765648 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352489982760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11934] ppid=11924 vsize=11852648 CPUtime=2.01 cores=1,3,5,7
/proc/11926/task/11934/stat : 11934 (java) S 11924 11926 5561 0 -1 4202560 79 0 0 0 199 2 0 0 20 0 22 0 335765648 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352488929960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11935] ppid=11924 vsize=11852648 CPUtime=1.89 cores=1,3,5,7
/proc/11926/task/11935/stat : 11935 (java) S 11924 11926 5561 0 -1 4202560 67 0 0 0 187 2 0 0 20 0 22 0 335765648 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352487877672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11936] ppid=11924 vsize=11852648 CPUtime=1.86 cores=1,3,5,7
/proc/11926/task/11936/stat : 11936 (java) S 11924 11926 5561 0 -1 4202560 58 0 0 0 184 2 0 0 20 0 22 0 335765648 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352486824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11937] ppid=11924 vsize=11852648 CPUtime=136.69 cores=1,3,5,7
/proc/11926/task/11937/stat : 11937 (java) S 11924 11926 5561 0 -1 4202560 275 0 0 0 13653 16 0 0 20 0 22 0 335765650 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352355997928 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11938] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11938/stat : 11938 (java) S 11924 11926 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335765650 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352354943992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11939] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11939/stat : 11939 (java) S 11924 11926 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335765650 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352353891592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11940] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11940/stat : 11940 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765653 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352352840080 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11941] ppid=11924 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/11926/task/11941/stat : 11941 (java) S 11924 11926 5561 0 -1 4202560 6280 0 0 0 113 2 0 0 20 0 22 0 335765653 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140352351787704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11942] ppid=11924 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/11926/task/11942/stat : 11942 (java) S 11924 11926 5561 0 -1 4202560 7830 0 0 0 106 2 0 0 20 0 22 0 335765653 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140351478164024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11943] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11943/stat : 11943 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765653 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140351477111928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11944] ppid=11924 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/11926/task/11944/stat : 11944 (java) S 11924 11926 5561 0 -1 4202560 51 0 0 0 19 19 0 0 20 0 22 0 335765653 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140351476059336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11954] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11954/stat : 11954 (java) S 11924 11926 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335765789 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140351471846184 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11964] ppid=11924 vsize=11852648 CPUtime=735.22 cores=1,3,5,7
/proc/11926/task/11964/stat : 11964 (java) R 11924 11926 5561 0 -1 4202560 114 0 0 0 73509 13 0 0 20 0 22 0 335765991 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140351472898384 140352367903912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11965] ppid=11924 vsize=11852648 CPUtime=735.08 cores=1,3,5,7
/proc/11926/task/11965/stat : 11965 (java) R 11924 11926 5561 0 -1 4202560 785 0 0 0 73471 37 0 0 20 0 22 0 335765991 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140351473949600 140352368490775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11966] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11966/stat : 11966 (java) S 11924 11926 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335765991 12137111552 524721 33554432000 1073741824 1073778376 140734865474704 140351475004712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1630
Current children cumulated vsize (KiB) 11852648

[startup+942.301 s]
/proc/loadavg: 3.90 3.81 3.82 5/219 12061
/proc/meminfo: memFree=22517760/32873844 swapFree=7632/7632
[pid=11926] ppid=11924 vsize=11852648 CPUtime=1736.21 cores=1,3,5,7
/proc/11926/stat : 11926 (java) S 11924 11926 5561 0 -1 4202496 20929 0 1 0 173526 95 0 0 20 0 22 0 335765644 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140734865465840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11926/statm: 2963162 530385 2293 9 0 2953849 0
[pid=11926/tid=11928] ppid=11924 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/11926/task/11928/stat : 11928 (java) S 11924 11926 5561 0 -1 4202560 3669 0 1 0 42 5 0 0 20 0 22 0 335765645 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352539440280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11929] ppid=11924 vsize=11852648 CPUtime=2.1 cores=1,3,5,7
/proc/11926/task/11929/stat : 11929 (java) S 11924 11926 5561 0 -1 4202560 79 0 0 0 208 2 0 0 20 0 22 0 335765648 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352494192936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11930] ppid=11924 vsize=11852648 CPUtime=2.04 cores=1,3,5,7
/proc/11926/task/11930/stat : 11930 (java) S 11924 11926 5561 0 -1 4202560 55 0 0 0 202 2 0 0 20 0 22 0 335765648 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352493140136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11931] ppid=11924 vsize=11852648 CPUtime=2.05 cores=1,3,5,7
/proc/11926/task/11931/stat : 11931 (java) S 11924 11926 5561 0 -1 4202560 62 0 0 0 203 2 0 0 20 0 22 0 335765648 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352492087848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11932] ppid=11924 vsize=11852648 CPUtime=2.14 cores=1,3,5,7
/proc/11926/task/11932/stat : 11932 (java) S 11924 11926 5561 0 -1 4202560 81 0 0 0 211 3 0 0 20 0 22 0 335765648 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352491035048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11933] ppid=11924 vsize=11852648 CPUtime=2.12 cores=1,3,5,7
/proc/11926/task/11933/stat : 11933 (java) S 11924 11926 5561 0 -1 4202560 75 0 0 0 210 2 0 0 20 0 22 0 335765648 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352489982760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11934] ppid=11924 vsize=11852648 CPUtime=2.17 cores=1,3,5,7
/proc/11926/task/11934/stat : 11934 (java) S 11924 11926 5561 0 -1 4202560 93 0 0 0 214 3 0 0 20 0 22 0 335765648 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352488929960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11935] ppid=11924 vsize=11852648 CPUtime=2.07 cores=1,3,5,7
/proc/11926/task/11935/stat : 11935 (java) S 11924 11926 5561 0 -1 4202560 68 0 0 0 204 3 0 0 20 0 22 0 335765648 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352487877672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11936] ppid=11924 vsize=11852648 CPUtime=2.06 cores=1,3,5,7
/proc/11926/task/11936/stat : 11936 (java) S 11924 11926 5561 0 -1 4202560 62 0 0 0 204 2 0 0 20 0 22 0 335765648 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352486824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11937] ppid=11924 vsize=11852648 CPUtime=151.16 cores=1,3,5,7
/proc/11926/task/11937/stat : 11937 (java) R 11924 11926 5561 0 -1 4202560 291 0 0 0 15100 16 0 0 20 0 22 0 335765650 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352355996784 140352543600800 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11938] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11938/stat : 11938 (java) S 11924 11926 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335765650 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352354943992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11939] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11939/stat : 11939 (java) S 11924 11926 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335765650 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352353891592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11940] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11940/stat : 11940 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765653 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352352840080 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11941] ppid=11924 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/11926/task/11941/stat : 11941 (java) S 11924 11926 5561 0 -1 4202560 6280 0 0 0 113 2 0 0 20 0 22 0 335765653 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140352351787704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11942] ppid=11924 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/11926/task/11942/stat : 11942 (java) S 11924 11926 5561 0 -1 4202560 7830 0 0 0 106 2 0 0 20 0 22 0 335765653 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140351478164024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11943] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11943/stat : 11943 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765653 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140351477111928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11944] ppid=11924 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/11926/task/11944/stat : 11944 (java) S 11924 11926 5561 0 -1 4202560 55 0 0 0 20 21 0 0 20 0 22 0 335765653 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140351476059336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11954] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11954/stat : 11954 (java) S 11924 11926 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335765789 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140351471846184 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11964] ppid=11924 vsize=11852648 CPUtime=780.15 cores=1,3,5,7
/proc/11926/task/11964/stat : 11964 (java) S 11924 11926 5561 0 -1 4202560 115 0 0 0 78002 13 0 0 20 0 22 0 335765991 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140351472898504 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11965] ppid=11924 vsize=11852648 CPUtime=780.01 cores=1,3,5,7
/proc/11926/task/11965/stat : 11965 (java) S 11924 11926 5561 0 -1 4202560 785 0 0 0 77964 37 0 0 20 0 22 0 335765991 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140351473949256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11966] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11966/stat : 11966 (java) S 11924 11926 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335765991 12137111552 530385 33554432000 1073741824 1073778376 140734865474704 140351475004712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1736.21
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+978.401 s]
/proc/loadavg: 3.81 3.80 3.81 5/219 12061
/proc/meminfo: memFree=22491012/32873844 swapFree=7632/7632
[pid=11926] ppid=11924 vsize=11852648 CPUtime=1800.19 cores=1,3,5,7
/proc/11926/stat : 11926 (java) S 11924 11926 5561 0 -1 4202496 20969 0 1 0 179922 97 0 0 20 0 22 0 335765644 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140734865465840 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11926/statm: 2963162 532451 2293 9 0 2953849 0
[pid=11926/tid=11928] ppid=11924 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/11926/task/11928/stat : 11928 (java) S 11924 11926 5561 0 -1 4202560 3683 0 1 0 43 5 0 0 20 0 22 0 335765645 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352539440280 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11929] ppid=11924 vsize=11852648 CPUtime=2.19 cores=1,3,5,7
/proc/11926/task/11929/stat : 11929 (java) S 11924 11926 5561 0 -1 4202560 79 0 0 0 217 2 0 0 20 0 22 0 335765648 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352494192936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11930] ppid=11924 vsize=11852648 CPUtime=2.14 cores=1,3,5,7
/proc/11926/task/11930/stat : 11930 (java) S 11924 11926 5561 0 -1 4202560 58 0 0 0 212 2 0 0 20 0 22 0 335765648 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352493140136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11931] ppid=11924 vsize=11852648 CPUtime=2.14 cores=1,3,5,7
/proc/11926/task/11931/stat : 11931 (java) S 11924 11926 5561 0 -1 4202560 65 0 0 0 212 2 0 0 20 0 22 0 335765648 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352492087848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11932] ppid=11924 vsize=11852648 CPUtime=2.24 cores=1,3,5,7
/proc/11926/task/11932/stat : 11932 (java) S 11924 11926 5561 0 -1 4202560 81 0 0 0 221 3 0 0 20 0 22 0 335765648 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352491035048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11933] ppid=11924 vsize=11852648 CPUtime=2.23 cores=1,3,5,7
/proc/11926/task/11933/stat : 11933 (java) S 11924 11926 5561 0 -1 4202560 78 0 0 0 221 2 0 0 20 0 22 0 335765648 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352489982760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11934] ppid=11924 vsize=11852648 CPUtime=2.28 cores=1,3,5,7
/proc/11926/task/11934/stat : 11934 (java) S 11924 11926 5561 0 -1 4202560 93 0 0 0 225 3 0 0 20 0 22 0 335765648 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352488929960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11935] ppid=11924 vsize=11852648 CPUtime=2.21 cores=1,3,5,7
/proc/11926/task/11935/stat : 11935 (java) S 11924 11926 5561 0 -1 4202560 75 0 0 0 218 3 0 0 20 0 22 0 335765648 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352487877672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11936] ppid=11924 vsize=11852648 CPUtime=2.2 cores=1,3,5,7
/proc/11926/task/11936/stat : 11936 (java) S 11924 11926 5561 0 -1 4202560 64 0 0 0 218 2 0 0 20 0 22 0 335765648 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352486824872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11937] ppid=11924 vsize=11852648 CPUtime=159.77 cores=1,3,5,7
/proc/11926/task/11937/stat : 11937 (java) S 11924 11926 5561 0 -1 4202560 297 0 0 0 15961 16 0 0 20 0 22 0 335765650 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352355997928 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11938] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11938/stat : 11938 (java) S 11924 11926 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335765650 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352354943992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11939] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11939/stat : 11939 (java) S 11924 11926 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335765650 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352353891592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11940] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11940/stat : 11940 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765653 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352352840080 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11941] ppid=11924 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/11926/task/11941/stat : 11941 (java) S 11924 11926 5561 0 -1 4202560 6280 0 0 0 113 2 0 0 20 0 22 0 335765653 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140352351787704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11942] ppid=11924 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/11926/task/11942/stat : 11942 (java) S 11924 11926 5561 0 -1 4202560 7830 0 0 0 106 2 0 0 20 0 22 0 335765653 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140351478164024 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11943] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11943/stat : 11943 (java) S 11924 11926 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335765653 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140351477111928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11944] ppid=11924 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/11926/task/11944/stat : 11944 (java) S 11924 11926 5561 0 -1 4202560 57 0 0 0 22 21 0 0 20 0 22 0 335765653 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140351476059336 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11926/tid=11954] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11954/stat : 11954 (java) S 11924 11926 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335765789 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140351471846184 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11926/tid=11964] ppid=11924 vsize=11852648 CPUtime=807.3 cores=1,3,5,7
/proc/11926/task/11964/stat : 11964 (java) R 11924 11926 5561 0 -1 4202560 115 0 0 0 80716 14 0 0 20 0 22 0 335765991 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140351472898384 140352368283505 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11926/tid=11965] ppid=11924 vsize=11852648 CPUtime=807.17 cores=1,3,5,7
/proc/11926/task/11965/stat : 11965 (java) R 11924 11926 5561 0 -1 4202560 785 0 0 0 80679 38 0 0 20 0 22 0 335765991 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140351473949248 140352368479726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11926/tid=11966] ppid=11924 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/11926/task/11966/stat : 11966 (java) S 11924 11926 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335765991 12137111552 532451 33554432000 1073741824 1073778376 140734865474704 140351475004712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 11852648

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

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

Child status: 143

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

Real time (s): 978.447
CPU time (s): 1800.19
CPU user time (s): 1799.22
CPU system time (s): 0.97
CPU usage (%): 183.984
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 1.44078
maximum resident set size= 2129920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21000
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34940
involuntary context switches= 44117

runsolver used 4.13037 second user time and 8.91464 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-03 06:06:53
IDJOB=3735707
IDBENCH=24987
IDSOLVER=2328
FILE ID=node141/3735707-1338696413
RUNJOBID= node141-1338678623-5581
PBS_JOBID= 14636672
Free space on /tmp= 70716 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735707-1338696413/watcher-3735707-1338696413 -o /tmp/evaluation-result-3735707-1338696413/solver-3735707-1338696413 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735707-1338696413.opb

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

MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0
RANDOM SEED=1235868917

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24665956 kB
Buffers:          401892 kB
Cached:          3152736 kB
SwapCached:          216 kB
Active:          4983436 kB
Inactive:        2334812 kB
Active(anon):    3754464 kB
Inactive(anon):    11288 kB
Active(file):    1228972 kB
Inactive(file):  2323524 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:               484 kB
Writeback:             0 kB
AnonPages:       3770740 kB
Mapped:            18964 kB
Shmem:               172 kB
Slab:             739972 kB
SReclaimable:     182096 kB
SUnreclaim:       557876 kB
KernelStack:        1632 kB
PageTables:        11628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10462124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3708928 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= 70720 MiB
End job on node141 at 2012-06-03 06:23:14