Trace number 3732323

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)818 1800.81 917.153

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-apex4.a.opb
MD5SUM59d685b710ba34babb28c57a0abba1bc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark776
Best CPU time to get the best result obtained on this benchmark2.16067
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 776
Optimality of the best value was proved NO
Number of variables4316
Total number of constraints11912
Number of constraints which are clauses11912
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 constraint160
Number of terms in the objective function 4316
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 4316
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4316
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.2.0.v20100531
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		1349517296
0.06/0.09	c Max memory 		1356595200
0.06/0.09	c Total memory 		1356595200
0.06/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c Stops conflict analysis at the first Unique Implication Point
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c Stops conflict analysis at the first Unique Implication Point
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	
0.08/0.12	c solving HOME/instance-3732323-1338739671.opb
0.08/0.12	c reading problem ... 
0.77/0.47	c ... done. Wall clock time 0.349s.
0.77/0.47	c #vars     4316
0.77/0.47	c #constraints  8977
0.77/0.47	c constraints type 
0.77/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6964
0.77/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1814
0.77/0.47	c constraints type 
0.77/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1814
0.77/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6964
1.40/0.60	c And the winner is Resolution
1.57/1.48	c SATISFIABLE
1.57/1.48	c OPTIMIZING...
1.57/1.48	c Got one! Elapsed wall clock time (in seconds):1.363
1.57/1.48	o 848
1.62/1.54	c And the winner is Resolution
1.88/2.52	c Got one! Elapsed wall clock time (in seconds):2.398
1.88/2.52	o 844
2.52/2.72	c And the winner is Resolution
2.88/3.54	c Got one! Elapsed wall clock time (in seconds):3.419
2.88/3.54	o 838
3.11/3.65	c And the winner is Resolution
3.70/4.56	c Got one! Elapsed wall clock time (in seconds):4.437
3.70/4.56	o 837
4.30/4.81	c And the winner is Resolution
4.49/5.57	c Got one! Elapsed wall clock time (in seconds):5.448
4.49/5.57	o 831
5.15/5.93	c And the winner is Resolution
5.41/6.58	c Got one! Elapsed wall clock time (in seconds):6.459
5.41/6.58	o 829
6.05/6.95	c cleaning 2494 clauses out of 5000 with flag 5000/5000
9.59/8.61	c cleaning 4248 clauses out of 8506 with flag 11000/11000
14.20/10.92	c cleaning 5619 clauses out of 11258 with flag 18000/18000
19.04/13.39	c cleaning 6817 clauses out of 13641 with flag 26002/26002
24.34/15.93	c cleaning 7905 clauses out of 15823 with flag 35001/35001
30.43/18.95	c cleaning 8950 clauses out of 17917 with flag 45000/45000
37.44/22.50	c cleaning 9478 clauses out of 18967 with flag 55000/55000
43.08/25.24	c cleaning 9736 clauses out of 19489 with flag 65000/65000
49.10/28.21	c cleaning 9873 clauses out of 19754 with flag 75001/75001
56.67/32.07	c cleaning 9935 clauses out of 19880 with flag 85000/85000
62.70/35.09	c cleaning 9967 clauses out of 19946 with flag 95001/95001
67.73/37.53	c cleaning 9982 clauses out of 19978 with flag 105000/105000
72.30/39.80	c cleaning 9995 clauses out of 19997 with flag 115001/115001
77.29/42.32	c cleaning 9999 clauses out of 20001 with flag 125000/125000
81.88/44.67	c cleaning 9996 clauses out of 20002 with flag 135000/135000
86.27/46.83	c cleaning 9995 clauses out of 20006 with flag 145000/145000
90.67/49.08	c cleaning 10001 clauses out of 20011 with flag 155000/155000
95.66/51.53	c cleaning 9998 clauses out of 20011 with flag 165001/165001
100.47/53.91	c cleaning 9999 clauses out of 20013 with flag 175001/175001
106.63/57.02	c cleaning 10003 clauses out of 20013 with flag 185000/185000
112.37/59.95	c cleaning 9997 clauses out of 20010 with flag 195000/195000
117.18/62.33	c cleaning 10000 clauses out of 20014 with flag 205001/205001
121.82/64.66	c cleaning 10002 clauses out of 20014 with flag 215001/215001
126.20/66.88	c cleaning 10001 clauses out of 20012 with flag 225001/225001
130.56/69.09	c cleaning 9999 clauses out of 20010 with flag 235000/235000
135.73/71.63	c cleaning 10001 clauses out of 20011 with flag 245000/245000
140.53/74.01	c cleaning 9997 clauses out of 20010 with flag 255000/255000
145.16/76.33	c cleaning 10003 clauses out of 20014 with flag 265001/265001
150.77/79.19	c cleaning 9996 clauses out of 20010 with flag 275000/275000
156.38/81.92	c cleaning 10006 clauses out of 20014 with flag 285000/285000
160.77/84.11	c cleaning 9998 clauses out of 20008 with flag 295000/295000
165.17/86.38	c cleaning 10001 clauses out of 20011 with flag 305001/305001
170.12/88.88	c cleaning 9998 clauses out of 20010 with flag 315001/315001
175.51/91.59	c cleaning 10000 clauses out of 20011 with flag 325000/325000
181.11/94.39	c cleaning 9999 clauses out of 20011 with flag 335000/335000
186.70/97.18	c cleaning 9998 clauses out of 20013 with flag 345001/345001
191.28/99.49	c cleaning 10003 clauses out of 20014 with flag 355000/355000
195.89/101.72	c cleaning 9998 clauses out of 20011 with flag 365000/365000
200.26/103.97	c cleaning 9998 clauses out of 20013 with flag 375000/375000
204.84/106.20	c cleaning 9999 clauses out of 20015 with flag 385000/385000
209.21/108.48	c cleaning 10003 clauses out of 20017 with flag 395001/395001
214.78/111.21	c cleaning 10000 clauses out of 20013 with flag 405000/405000
222.56/115.11	c cleaning 10001 clauses out of 20013 with flag 415000/415000
227.56/117.62	c cleaning 10000 clauses out of 20012 with flag 425000/425000
231.96/119.85	c cleaning 10001 clauses out of 20012 with flag 435000/435000
236.52/122.19	c cleaning 10001 clauses out of 20011 with flag 445000/445000
241.50/124.64	c cleaning 9997 clauses out of 20010 with flag 455000/455000
246.30/127.02	c cleaning 10002 clauses out of 20013 with flag 465000/465000
251.07/129.41	c cleaning 9999 clauses out of 20011 with flag 475000/475000
255.68/131.72	c cleaning 10002 clauses out of 20013 with flag 485001/485001
260.08/133.92	c cleaning 10000 clauses out of 20011 with flag 495001/495001
264.66/136.21	c cleaning 10001 clauses out of 20011 with flag 505001/505001
269.26/138.56	c cleaning 9998 clauses out of 20010 with flag 515001/515001
274.23/141.09	c cleaning 10002 clauses out of 20012 with flag 525001/525001
279.83/143.86	c cleaning 9999 clauses out of 20010 with flag 535001/535001
285.42/146.65	c cleaning 9999 clauses out of 20011 with flag 545001/545001
291.00/149.45	c cleaning 9999 clauses out of 20012 with flag 555001/555001
296.58/152.23	c cleaning 10000 clauses out of 20013 with flag 565001/565001
302.21/155.03	c cleaning 10002 clauses out of 20013 with flag 575001/575001
307.77/157.80	c cleaning 9998 clauses out of 20011 with flag 585001/585001
312.53/160.29	c cleaning 10001 clauses out of 20012 with flag 595000/595000
317.94/162.94	c cleaning 9999 clauses out of 20012 with flag 605001/605001
324.55/166.21	c cleaning 10000 clauses out of 20012 with flag 615000/615000
329.54/168.75	c cleaning 9998 clauses out of 20012 with flag 625000/625000
335.49/171.76	c cleaning 10000 clauses out of 20014 with flag 635000/635000
342.07/175.02	c cleaning 10002 clauses out of 20014 with flag 645000/645000
350.26/179.16	c cleaning 9998 clauses out of 20012 with flag 655000/655000
358.48/183.27	c cleaning 9999 clauses out of 20014 with flag 665000/665000
367.03/187.51	c cleaning 10004 clauses out of 20015 with flag 675000/675000
372.42/190.26	c cleaning 9998 clauses out of 20011 with flag 685000/685000
377.39/192.75	c cleaning 9999 clauses out of 20013 with flag 695000/695000
382.39/195.22	c cleaning 9998 clauses out of 20014 with flag 705000/705000
387.15/197.65	c cleaning 10001 clauses out of 20016 with flag 715000/715000
391.75/199.90	c cleaning 10000 clauses out of 20015 with flag 725000/725000
396.13/202.12	c cleaning 10001 clauses out of 20015 with flag 735000/735000
400.52/204.32	c cleaning 9996 clauses out of 20014 with flag 745000/745000
404.88/206.58	c cleaning 9998 clauses out of 20018 with flag 755000/755000
409.44/208.83	c cleaning 9999 clauses out of 20020 with flag 765000/765000
414.03/211.15	c cleaning 10002 clauses out of 20021 with flag 775000/775000
418.61/213.49	c cleaning 10004 clauses out of 20019 with flag 785000/785000
423.72/216.08	c cleaning 10001 clauses out of 20016 with flag 795001/795001
428.68/218.50	c cleaning 10000 clauses out of 20015 with flag 805001/805001
433.47/220.98	c cleaning 10001 clauses out of 20015 with flag 815001/815001
438.28/223.36	c cleaning 10002 clauses out of 20014 with flag 825001/825001
443.20/225.83	c cleaning 9997 clauses out of 20011 with flag 835000/835000
448.19/228.34	c cleaning 9999 clauses out of 20014 with flag 845000/845000
452.94/230.74	c cleaning 9998 clauses out of 20015 with flag 855000/855000
457.74/233.14	c cleaning 9998 clauses out of 20017 with flag 865000/865000
462.30/235.48	c cleaning 10002 clauses out of 20019 with flag 875000/875000
467.08/237.84	c cleaning 10004 clauses out of 20018 with flag 885001/885001
472.06/240.34	c cleaning 10005 clauses out of 20017 with flag 895004/895004
478.66/243.62	c cleaning 9996 clauses out of 20008 with flag 905000/905000
484.41/246.57	c cleaning 10002 clauses out of 20013 with flag 915001/915001
489.61/249.17	c cleaning 9999 clauses out of 20010 with flag 925000/925000
494.56/251.69	c cleaning 9999 clauses out of 20011 with flag 935000/935000
499.56/254.13	c cleaning 10004 clauses out of 20013 with flag 945001/945001
504.06/256.46	c cleaning 9997 clauses out of 20009 with flag 955001/955001
508.63/258.77	c cleaning 9998 clauses out of 20012 with flag 965001/965001
513.44/261.18	c cleaning 10002 clauses out of 20013 with flag 975000/975000
518.41/263.67	c cleaning 10000 clauses out of 20011 with flag 985000/985000
523.56/266.24	c cleaning 9996 clauses out of 20011 with flag 995000/995000
528.55/268.76	c cleaning 10001 clauses out of 20016 with flag 1005001/1005001
533.75/271.39	c cleaning 9999 clauses out of 20014 with flag 1015000/1015000
540.15/274.50	c cleaning 9998 clauses out of 20015 with flag 1025000/1025000
546.91/277.94	c cleaning 10001 clauses out of 20018 with flag 1035001/1035001
553.07/281.07	c cleaning 9995 clauses out of 20016 with flag 1045000/1045000
559.03/284.05	c cleaning 10002 clauses out of 20022 with flag 1055001/1055001
566.01/287.51	c cleaning 10002 clauses out of 20020 with flag 1065001/1065001
571.54/290.38	c cleaning 10000 clauses out of 20018 with flag 1075001/1075001
577.52/293.38	c cleaning 10003 clauses out of 20018 with flag 1085001/1085001
583.08/296.19	c cleaning 9998 clauses out of 20014 with flag 1095000/1095000
589.12/299.20	c cleaning 10000 clauses out of 20016 with flag 1105000/1105000
596.05/302.65	c cleaning 10002 clauses out of 20017 with flag 1115001/1115001
603.43/306.38	c cleaning 9997 clauses out of 20015 with flag 1125001/1125001
609.21/309.27	c cleaning 9999 clauses out of 20017 with flag 1135000/1135000
615.16/312.25	c cleaning 10005 clauses out of 20019 with flag 1145001/1145001
620.08/314.73	c cleaning 9998 clauses out of 20014 with flag 1155001/1155001
625.07/317.25	c cleaning 10000 clauses out of 20016 with flag 1165001/1165001
630.21/319.85	c cleaning 9999 clauses out of 20015 with flag 1175000/1175000
634.99/322.23	c cleaning 9999 clauses out of 20016 with flag 1185000/1185000
639.71/324.67	c cleaning 10003 clauses out of 20018 with flag 1195001/1195001
644.48/327.06	c cleaning 10002 clauses out of 20015 with flag 1205001/1205001
649.44/329.52	c cleaning 10001 clauses out of 20012 with flag 1215000/1215000
654.23/331.95	c cleaning 9995 clauses out of 20011 with flag 1225000/1225000
659.17/334.40	c cleaning 9999 clauses out of 20017 with flag 1235001/1235001
664.17/336.93	c cleaning 10003 clauses out of 20018 with flag 1245001/1245001
668.73/339.28	c cleaning 9999 clauses out of 20014 with flag 1255000/1255000
673.48/341.69	c cleaning 9997 clauses out of 20015 with flag 1265000/1265000
678.45/344.10	c cleaning 9999 clauses out of 20019 with flag 1275001/1275001
683.22/346.57	c cleaning 10005 clauses out of 20020 with flag 1285001/1285001
687.98/348.97	c cleaning 10000 clauses out of 20014 with flag 1295000/1295000
692.98/351.40	c cleaning 9998 clauses out of 20014 with flag 1305000/1305000
697.70/353.84	c cleaning 10001 clauses out of 20017 with flag 1315001/1315001
702.44/356.21	c cleaning 10000 clauses out of 20016 with flag 1325001/1325001
707.63/358.84	c cleaning 10004 clauses out of 20016 with flag 1335001/1335001
713.84/361.91	c cleaning 9999 clauses out of 20011 with flag 1345000/1345000
718.57/364.30	c cleaning 9997 clauses out of 20012 with flag 1355000/1355000
723.14/366.69	c cleaning 10002 clauses out of 20016 with flag 1365001/1365001
728.94/369.59	c cleaning 10000 clauses out of 20014 with flag 1375001/1375001
734.91/372.53	c cleaning 10005 clauses out of 20014 with flag 1385001/1385001
740.62/375.45	c cleaning 9996 clauses out of 20008 with flag 1395000/1395000
746.62/378.46	c cleaning 9996 clauses out of 20012 with flag 1405000/1405000
752.39/381.31	c cleaning 10004 clauses out of 20017 with flag 1415001/1415001
757.74/384.08	c cleaning 10001 clauses out of 20013 with flag 1425001/1425001
763.33/386.87	c cleaning 9999 clauses out of 20012 with flag 1435001/1435001
768.50/389.45	c cleaning 10001 clauses out of 20013 with flag 1445001/1445001
773.45/391.94	c cleaning 9999 clauses out of 20012 with flag 1455001/1455001
778.40/394.43	c cleaning 10002 clauses out of 20012 with flag 1465000/1465000
783.75/397.12	c cleaning 9999 clauses out of 20010 with flag 1475000/1475000
788.92/399.79	c cleaning 10000 clauses out of 20011 with flag 1485000/1485000
794.25/402.47	c cleaning 10000 clauses out of 20011 with flag 1495000/1495000
799.81/405.24	c cleaning 10001 clauses out of 20012 with flag 1505001/1505001
805.73/408.26	c cleaning 9999 clauses out of 20010 with flag 1515000/1515000
811.70/411.26	c cleaning 10000 clauses out of 20012 with flag 1525001/1525001
819.45/415.18	c cleaning 9999 clauses out of 20012 with flag 1535001/1535001
825.24/418.06	c cleaning 10001 clauses out of 20013 with flag 1545001/1545001
830.95/420.93	c cleaning 9998 clauses out of 20012 with flag 1555001/1555001
836.71/423.84	c cleaning 10000 clauses out of 20014 with flag 1565001/1565001
842.91/426.93	c cleaning 10001 clauses out of 20014 with flag 1575001/1575001
848.85/429.95	c cleaning 9999 clauses out of 20013 with flag 1585001/1585001
854.76/432.90	c cleaning 10001 clauses out of 20014 with flag 1595001/1595001
860.30/435.78	c cleaning 9996 clauses out of 20013 with flag 1605001/1605001
866.53/438.81	c cleaning 10002 clauses out of 20017 with flag 1615001/1615001
871.68/441.42	c cleaning 10000 clauses out of 20015 with flag 1625001/1625001
876.61/443.98	c cleaning 10002 clauses out of 20015 with flag 1635001/1635001
881.79/446.54	c cleaning 10001 clauses out of 20013 with flag 1645001/1645001
886.56/448.97	c cleaning 9997 clauses out of 20012 with flag 1655001/1655001
891.28/451.34	c cleaning 10002 clauses out of 20015 with flag 1665001/1665001
895.95/453.78	c cleaning 9999 clauses out of 20013 with flag 1675001/1675001
900.68/456.16	c cleaning 9999 clauses out of 20014 with flag 1685001/1685001
905.39/458.50	c cleaning 10000 clauses out of 20015 with flag 1695001/1695001
909.91/460.85	c cleaning 10000 clauses out of 20015 with flag 1705001/1705001
914.55/463.27	c cleaning 10000 clauses out of 20015 with flag 1715001/1715001
919.25/465.66	c cleaning 10002 clauses out of 20015 with flag 1725001/1725001
923.76/468.00	c cleaning 9997 clauses out of 20013 with flag 1735001/1735001
928.48/470.34	c cleaning 10001 clauses out of 20016 with flag 1745001/1745001
933.12/472.77	c cleaning 9999 clauses out of 20015 with flag 1755001/1755001
937.85/475.18	c cleaning 10001 clauses out of 20016 with flag 1765001/1765001
942.37/477.49	c cleaning 10001 clauses out of 20015 with flag 1775001/1775001
946.87/479.71	c cleaning 10001 clauses out of 20014 with flag 1785001/1785001
951.30/482.05	c cleaning 10001 clauses out of 20013 with flag 1795001/1795001
955.81/484.31	c cleaning 10001 clauses out of 20012 with flag 1805001/1805001
960.10/486.58	c cleaning 9998 clauses out of 20011 with flag 1815001/1815001
964.59/488.81	c cleaning 10000 clauses out of 20013 with flag 1825001/1825001
969.02/491.14	c cleaning 10002 clauses out of 20013 with flag 1835001/1835001
973.32/493.38	c cleaning 10000 clauses out of 20011 with flag 1845001/1845001
977.61/495.59	c cleaning 9996 clauses out of 20011 with flag 1855001/1855001
982.12/497.81	c cleaning 10001 clauses out of 20015 with flag 1865001/1865001
986.54/500.10	c cleaning 10000 clauses out of 20014 with flag 1875001/1875001
990.82/502.34	c cleaning 10001 clauses out of 20014 with flag 1885001/1885001
995.11/504.58	c cleaning 9999 clauses out of 20013 with flag 1895001/1895001
999.59/506.82	c cleaning 10002 clauses out of 20014 with flag 1905001/1905001
1004.00/509.12	c cleaning 9999 clauses out of 20012 with flag 1915001/1915001
1008.28/511.40	c cleaning 10001 clauses out of 20013 with flag 1925001/1925001
1012.78/513.66	c cleaning 10000 clauses out of 20012 with flag 1935001/1935001
1017.07/515.89	c cleaning 9998 clauses out of 20012 with flag 1945001/1945001
1021.65/518.20	c cleaning 9999 clauses out of 20014 with flag 1955001/1955001
1025.93/520.43	c cleaning 9998 clauses out of 20015 with flag 1965001/1965001
1030.21/522.68	c cleaning 10002 clauses out of 20017 with flag 1975001/1975001
1034.70/524.92	c cleaning 10000 clauses out of 20015 with flag 1985001/1985001
1039.09/527.29	c cleaning 10001 clauses out of 20014 with flag 1995000/1995000
1043.97/529.76	c cleaning 10005 clauses out of 20016 with flag 2005003/2005003
1049.06/532.40	c cleaning 10001 clauses out of 20009 with flag 2015001/2015001
1052.94/534.35	c And the winner is CuttingPlanes
1053.36/534.56	c Got one! Elapsed wall clock time (in seconds):534.444
1053.36/534.56	o 828
1055.45/535.63	c cleaning 9997 clauses out of 20007 with flag 2025000/2025000
1060.43/538.22	c cleaning 9997 clauses out of 20010 with flag 2035000/2035000
1065.00/540.54	c cleaning 9999 clauses out of 20014 with flag 2045001/2045001
1069.35/542.78	c cleaning 9999 clauses out of 20014 with flag 2055000/2055000
1074.30/545.28	c cleaning 9999 clauses out of 20015 with flag 2065000/2065000
1079.17/547.80	c cleaning 10002 clauses out of 20016 with flag 2075000/2075000
1084.12/550.26	c cleaning 9999 clauses out of 20014 with flag 2085000/2085000
1088.84/552.68	c cleaning 10000 clauses out of 20015 with flag 2095000/2095000
1094.42/555.46	c cleaning 10000 clauses out of 20015 with flag 2105000/2105000
1099.84/558.28	c cleaning 10002 clauses out of 20015 with flag 2115000/2115000
1106.18/561.49	c cleaning 10002 clauses out of 20014 with flag 2125001/2125001
1112.75/564.73	c cleaning 10000 clauses out of 20011 with flag 2135000/2135000
1118.73/567.75	c cleaning 9999 clauses out of 20011 with flag 2145000/2145000
1123.77/570.30	c cleaning 10001 clauses out of 20013 with flag 2155001/2155001
1128.50/572.74	c cleaning 10000 clauses out of 20013 with flag 2165002/2165002
1133.46/575.20	c cleaning 9996 clauses out of 20012 with flag 2175001/2175001
1140.02/578.55	c cleaning 10000 clauses out of 20015 with flag 2185000/2185000
1148.11/582.60	c cleaning 10001 clauses out of 20015 with flag 2195000/2195000
1156.04/586.64	c cleaning 10002 clauses out of 20014 with flag 2205000/2205000
1163.83/590.60	c cleaning 9998 clauses out of 20012 with flag 2215000/2215000
1169.18/593.27	c cleaning 10001 clauses out of 20014 with flag 2225000/2225000
1174.66/596.05	c cleaning 10000 clauses out of 20013 with flag 2235000/2235000
1179.80/598.64	c cleaning 10000 clauses out of 20013 with flag 2245000/2245000
1184.95/601.22	c cleaning 9997 clauses out of 20013 with flag 2255000/2255000
1190.10/603.81	c cleaning 10003 clauses out of 20016 with flag 2265000/2265000
1195.14/606.49	c cleaning 9999 clauses out of 20013 with flag 2275000/2275000
1200.26/609.04	c cleaning 10000 clauses out of 20014 with flag 2285000/2285000
1206.45/612.18	c cleaning 10003 clauses out of 20015 with flag 2295001/2295001
1212.77/615.33	c cleaning 9998 clauses out of 20012 with flag 2305001/2305001
1218.45/618.29	c cleaning 9997 clauses out of 20014 with flag 2315001/2315001
1224.18/621.18	c cleaning 10001 clauses out of 20016 with flag 2325000/2325000
1229.92/624.00	c cleaning 10001 clauses out of 20015 with flag 2335000/2335000
1234.84/626.57	c cleaning 9997 clauses out of 20014 with flag 2345000/2345000
1239.89/629.16	c cleaning 10002 clauses out of 20017 with flag 2355000/2355000
1244.87/631.64	c cleaning 9999 clauses out of 20016 with flag 2365001/2365001
1249.79/634.20	c cleaning 9999 clauses out of 20016 with flag 2375000/2375000
1254.71/636.68	c cleaning 9997 clauses out of 20018 with flag 2385001/2385001
1259.55/639.19	c cleaning 10003 clauses out of 20020 with flag 2395000/2395000
1264.48/641.63	c cleaning 10001 clauses out of 20019 with flag 2405002/2405002
1269.23/644.07	c cleaning 10001 clauses out of 20017 with flag 2415001/2415001
1274.35/646.61	c cleaning 10003 clauses out of 20016 with flag 2425001/2425001
1280.22/649.65	c cleaning 10000 clauses out of 20013 with flag 2435001/2435001
1286.18/652.63	c cleaning 9998 clauses out of 20012 with flag 2445000/2445000
1291.92/655.51	c cleaning 9998 clauses out of 20014 with flag 2455000/2455000
1297.47/658.39	c cleaning 9998 clauses out of 20016 with flag 2465000/2465000
1303.47/661.40	c cleaning 10000 clauses out of 20019 with flag 2475001/2475001
1309.01/664.28	c cleaning 9999 clauses out of 20018 with flag 2485000/2485000
1314.97/667.22	c cleaning 10004 clauses out of 20019 with flag 2495000/2495000
1320.51/670.03	c cleaning 9999 clauses out of 20015 with flag 2505000/2505000
1326.15/672.92	c cleaning 9997 clauses out of 20016 with flag 2515000/2515000
1331.72/675.79	c cleaning 10006 clauses out of 20020 with flag 2525001/2525001
1337.27/678.57	c cleaning 9998 clauses out of 20013 with flag 2535000/2535000
1342.60/681.26	c cleaning 9996 clauses out of 20015 with flag 2545000/2545000
1347.85/683.99	c cleaning 9998 clauses out of 20020 with flag 2555001/2555001
1352.83/686.49	c cleaning 10003 clauses out of 20022 with flag 2565001/2565001
1357.78/688.97	c cleaning 9998 clauses out of 20019 with flag 2575001/2575001
1362.71/691.42	c cleaning 10000 clauses out of 20021 with flag 2585001/2585001
1367.56/693.97	c cleaning 9998 clauses out of 20021 with flag 2595001/2595001
1372.49/696.49	c cleaning 10006 clauses out of 20023 with flag 2605001/2605001
1377.38/698.91	c cleaning 10001 clauses out of 20017 with flag 2615001/2615001
1382.32/701.40	c cleaning 9999 clauses out of 20016 with flag 2625001/2625001
1387.16/703.95	c cleaning 9998 clauses out of 20017 with flag 2635001/2635001
1392.11/706.49	c cleaning 10000 clauses out of 20019 with flag 2645001/2645001
1396.85/708.88	c cleaning 10004 clauses out of 20018 with flag 2655000/2655000
1401.78/711.30	c cleaning 9999 clauses out of 20014 with flag 2665000/2665000
1406.59/713.81	c cleaning 10000 clauses out of 20016 with flag 2675001/2675001
1411.55/716.31	c cleaning 9999 clauses out of 20015 with flag 2685000/2685000
1416.41/718.82	c cleaning 10000 clauses out of 20017 with flag 2695001/2695001
1421.53/721.43	c cleaning 9999 clauses out of 20016 with flag 2705000/2705000
1426.74/724.14	c cleaning 10001 clauses out of 20017 with flag 2715000/2715000
1431.90/726.76	c cleaning 10002 clauses out of 20017 with flag 2725001/2725001
1436.84/729.24	c cleaning 10001 clauses out of 20015 with flag 2735001/2735001
1441.53/731.69	c cleaning 9999 clauses out of 20014 with flag 2745001/2745001
1446.38/734.18	c cleaning 10000 clauses out of 20015 with flag 2755001/2755001
1451.31/736.62	c cleaning 9998 clauses out of 20014 with flag 2765000/2765000
1456.06/739.07	c cleaning 10000 clauses out of 20016 with flag 2775000/2775000
1460.97/741.53	c cleaning 10002 clauses out of 20016 with flag 2785000/2785000
1465.81/744.06	c cleaning 10000 clauses out of 20014 with flag 2795000/2795000
1470.71/746.60	c cleaning 10000 clauses out of 20014 with flag 2805000/2805000
1475.61/749.08	c cleaning 10001 clauses out of 20014 with flag 2815000/2815000
1480.53/751.52	c cleaning 9998 clauses out of 20013 with flag 2825000/2825000
1485.14/753.97	c cleaning 10000 clauses out of 20015 with flag 2835000/2835000
1490.02/756.40	c cleaning 10002 clauses out of 20015 with flag 2845000/2845000
1494.94/758.93	c cleaning 10002 clauses out of 20013 with flag 2855000/2855000
1500.04/761.51	c cleaning 9997 clauses out of 20011 with flag 2865000/2865000
1505.04/764.16	c cleaning 9998 clauses out of 20014 with flag 2875000/2875000
1509.96/766.68	c cleaning 9999 clauses out of 20016 with flag 2885000/2885000
1514.86/769.14	c cleaning 9998 clauses out of 20017 with flag 2895000/2895000
1519.56/771.58	c cleaning 10001 clauses out of 20019 with flag 2905000/2905000
1524.59/774.15	c cleaning 10000 clauses out of 20018 with flag 2915000/2915000
1529.32/776.60	c cleaning 9998 clauses out of 20018 with flag 2925000/2925000
1534.23/779.09	c cleaning 9998 clauses out of 20020 with flag 2935000/2935000
1539.36/781.61	c cleaning 10003 clauses out of 20022 with flag 2945000/2945000
1544.16/784.14	c cleaning 10002 clauses out of 20019 with flag 2955000/2955000
1549.08/786.68	c cleaning 9999 clauses out of 20017 with flag 2965000/2965000
1554.00/789.20	c cleaning 10001 clauses out of 20019 with flag 2975001/2975001
1559.34/791.84	c cleaning 10002 clauses out of 20018 with flag 2985001/2985001
1565.11/794.82	c cleaning 10002 clauses out of 20015 with flag 2995000/2995000
1571.39/798.07	c cleaning 10004 clauses out of 20014 with flag 3005001/3005001
1575.87/800.39	c cleaning 10001 clauses out of 20010 with flag 3015001/3015001
1580.94/802.98	c cleaning 9999 clauses out of 20008 with flag 3025000/3025000
1586.48/805.90	c cleaning 9997 clauses out of 20009 with flag 3035000/3035000
1592.35/808.81	c cleaning 10000 clauses out of 20012 with flag 3045000/3045000
1599.82/812.60	c cleaning 9999 clauses out of 20012 with flag 3055000/3055000
1607.08/816.39	c cleaning 10001 clauses out of 20013 with flag 3065000/3065000
1612.81/819.32	c cleaning 9999 clauses out of 20013 with flag 3075001/3075001
1617.87/821.95	c cleaning 9999 clauses out of 20013 with flag 3085000/3085000
1622.93/824.53	c cleaning 10001 clauses out of 20014 with flag 3095000/3095000
1627.80/827.08	c cleaning 9999 clauses out of 20014 with flag 3105001/3105001
1633.15/829.85	c cleaning 10001 clauses out of 20014 with flag 3115000/3115000
1638.82/832.74	c cleaning 10001 clauses out of 20013 with flag 3125000/3125000
1644.44/835.69	c cleaning 10001 clauses out of 20012 with flag 3135000/3135000
1650.10/838.59	c cleaning 9998 clauses out of 20011 with flag 3145000/3145000
1656.01/841.60	c cleaning 9998 clauses out of 20013 with flag 3155000/3155000
1661.45/844.47	c cleaning 10001 clauses out of 20015 with flag 3165000/3165000
1667.12/847.37	c cleaning 10000 clauses out of 20014 with flag 3175000/3175000
1674.15/850.91	c cleaning 10001 clauses out of 20014 with flag 3185000/3185000
1681.49/854.75	c cleaning 9999 clauses out of 20013 with flag 3195000/3195000
1689.12/858.64	c cleaning 9998 clauses out of 20014 with flag 3205000/3205000
1695.76/862.02	c cleaning 10002 clauses out of 20016 with flag 3215000/3215000
1701.61/865.01	c cleaning 10002 clauses out of 20015 with flag 3225001/3225001
1707.51/868.14	c cleaning 9998 clauses out of 20013 with flag 3235001/3235001
1713.37/871.19	c cleaning 10002 clauses out of 20014 with flag 3245000/3245000
1719.38/874.20	c cleaning 9996 clauses out of 20012 with flag 3255000/3255000
1725.00/877.19	c cleaning 10001 clauses out of 20017 with flag 3265001/3265001
1730.86/880.27	c cleaning 10003 clauses out of 20015 with flag 3275000/3275000
1735.50/882.63	c cleaning 9997 clauses out of 20012 with flag 3285000/3285000
1739.90/884.97	c cleaning 10001 clauses out of 20015 with flag 3295000/3295000
1744.35/887.29	c cleaning 9998 clauses out of 20014 with flag 3305000/3305000
1749.02/889.78	c cleaning 10000 clauses out of 20016 with flag 3315000/3315000
1753.66/892.15	c cleaning 9999 clauses out of 20016 with flag 3325000/3325000
1758.07/894.49	c cleaning 9999 clauses out of 20017 with flag 3335000/3335000
1762.69/896.83	c cleaning 9997 clauses out of 20018 with flag 3345000/3345000
1767.38/899.30	c cleaning 10003 clauses out of 20021 with flag 3355000/3355000
1771.81/901.68	c cleaning 9998 clauses out of 20018 with flag 3365000/3365000
1776.66/904.11	c cleaning 10004 clauses out of 20020 with flag 3375000/3375000
1781.47/906.63	c cleaning 10005 clauses out of 20016 with flag 3385000/3385000
1786.33/909.23	c cleaning 10000 clauses out of 20011 with flag 3395000/3395000
1789.94/911.19	c And the winner is CuttingPlanes
1790.34/912.02	c Got one! Elapsed wall clock time (in seconds):911.903
1790.34/912.02	o 818
1791.08/912.50	c cleaning 10001 clauses out of 20012 with flag 3405001/3405001
1796.12/915.05	c cleaning 10000 clauses out of 20011 with flag 3415001/3415001
1800.16/917.11	c starts		: 18
1800.16/917.11	c conflicts		: 2503
1800.16/917.11	c decisions		: 68144
1800.16/917.11	c propagations		: 113271
1800.16/917.11	c inspects		: 11777806
1800.16/917.11	c learnt literals	: 0
1800.16/917.11	c learnt binary clauses	: 3
1800.16/917.11	c learnt ternary clauses	: 3
1800.16/917.11	c learnt clauses	: 2502
1800.16/917.11	c ignored clauses	: 0
1800.16/917.11	c root simplifications	: 0
1800.16/917.11	c removed literals (reason simplification)	: 0
1800.16/917.11	c reason swapping (by a shorter reason)	: 0
1800.16/917.11	c Calls to reduceDB	: 0
1800.16/917.11	c number of reductions to clauses (during analyze)	: 0
1800.16/917.11	c number of learned constraints concerned by reduction	: 0
1800.16/917.11	c number of learning phase by resolution	: 0
1800.16/917.11	c number of learning phase by cutting planes	: 0
1800.16/917.11	c speed (assignments/second)	: 22315.011820330972
1800.16/917.11	c non guided choices	0
1800.16/917.11	c learnt constraints type 
1800.16/917.11	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 53
1800.16/917.11	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 3
1800.16/917.11	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2446
1800.16/917.11	c constraints type 
1800.16/917.11	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6964
1800.16/917.11	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.16/917.11	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1814
1800.16/917.11	c constraints type 
1800.16/917.11	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1814
1800.16/917.11	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6964
1800.16/917.11	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.16/917.11	s SATISFIABLE
1800.16/917.12	v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 -x11 x12 -x13 -x14 x15 x16 -x17 x18 -x19 -x20 x21 -x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 x150 x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 x268 -x269 -x270 x271 x272 -x273 x274 -x275 -x276 x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 x294 -x295 -x296 x297 -x298 x299 -x300 -x301 -x302 x303 -x304 -x305 x306 -x307 x308 x309 -x310 -x311 x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 x324 x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 x347 x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 x481 x482 x483 x484 -x485 -x486 -x487 x488 -x489 x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 x720 x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 x729 -x730 -x731 x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 x761 -x762 x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 x788 -x789 -x790 x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 x824 -x825 -x826 -x827 -x828 x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 x889 -x890 x891 -x892 -x893 x894 x895 -x896 -x897 -x898 x899 -x900 -x901 x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 x946 x947 -x948 -x949 x950 x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 x1104 -x1105 x1106 -x1107 x1108 -x1109 x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 x1151 -x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 x1233 -x1234 x1235 x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 x1298 -x1299 x1300 -x1301 -x1302 -x1303 x1304 x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 x1322 -x1323 -x1324 x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 x1385 x1386 -x1387 x1388 -x1389 x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 x1453 -x1454 -x1455 -x1456 x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 x1472 x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 x1886 x1887 x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 x2056 -x2057 -x2058 x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 x2097 x2098 -x2099 x2100 -x2101 -x2102 x2103 x2104 x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 x2114 x2115 x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 x2267 x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 x2290 -x2291 -x2292 x2293 x2294 -x2295 x2296 x2297 x2298 x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 x2395 -x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 x2457 x2458 x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 x2483 -x2484 x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 x2554 x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 x2571 -x2572 x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 x2602 -x2603 -x2604 x2605 x2606 -x2607 -x2608 x2609 x2610 -x2611 -x2612 x2613 -x2614 -x2615 x2616 x2617 -x2618 x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 x2657 -x2658 x2659 -x2660 -x2661 x2662 -x2663 -x2664 x2665 x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 x2675 x2676 x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 x2730 -x2731 -x2732 x2733 -x2734 x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 x2829 -x2830 -x2831 x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 x2842 -x2843 -x2844 -x2845 -x2846 x2847 x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 x2901 -x2902 -x2903 x2904 -x2905 x2906 x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 x2936 -x2937 x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 x2965 x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 x2978 -x2979 -x2980 -x2981 x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 x3001 -x3002 -x3003 x3004 x3005 -x3006 -x3007 x3008 -x3009 -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 x3057 -x3058 -x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 x3082 -x3083 x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 x3136 -x3137 x3138 -x3139 x3140 -x3141 x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 x3149 -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 x3210 -x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 -x3229 -x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 x3242 -x3243 -x3244 -x3245 x3246 x3247 x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 x3265 -x3266 -x3267 -x3268 x3269 -x3270 x3271 -x3272 -x3273 x3274 -x3275 x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 x3284 x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 x3302 -x3303 x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 x3320 x3321 x3322 -x3323 x3324 -x3325 x3326 -x3327 -x3328 x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 x3345 x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3352 x3353 -x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 x3382 -x3383 -x3384 -x3385 -x3386 x3387 x3388 x3389 -x3390 -x3391 x3392 -x3393 -x3394 -x3395 x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 x3412 -x3413 -x3414 x3415 -x3416 -x3417 x3418 x3419 -x3420 -x3421 x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 -x3458 x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 x3470 -x3471 x3472 x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 x3484 -x3485 -x3486 -x3487 x3488 -x3489 x3490 -x3491 -x3492 x3493 -x3494 x3495 -x3496 -x3497 -x3498 x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 x3507 -x3508 x3509 -x3510 -x3511 x3512 -x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 x3525 -x3526 -x3527 -x3528 -x3529 x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 x3538 x3539 x3540 x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 x3552 x3553 x3554 -x3555 x3556 x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 x3579 -x3580 -x3581 x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x3590 x3591 x3592 x3593 -x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 x3614 x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 x3631 x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 x3642 x3643 -x3644 -x3645 x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665 x3666 x3667 x3668 -x3669 x3670 x3671 x3672 x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 x3681 x3682 x3683 -x3684 x3685 -x3686 -x3687 x3688 -x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 x3723 -x3724 x3725 x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 -x3741 -x3742 -x3743 x3744 -x3745 x3746 x3747 -x3748 -x3749 -x3750 -x3751 x3752 -x3753 x3754 x3755 -x3756 -x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 x3766 -x3767 -x3768 x3769 -x3770 x3771 -x3772 x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780 -x3781 -x3782 x3783 x3784 x3785 x3786 x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795 x3796 x3797 x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 x3815 x3816 -x3817 x3818 -x3819 -x3820 -x3821 -x3822 -x3823 x3824 -x3825 x3826 -x3827 x3828 -x3829 -x3830 -x3831 -x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 x3849 x3850 -x3851 x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 -x3865 -x3866 -x3867 -x3868 x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 x3876 x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 x3893 -x3894 -x3895 x3896 x3897 x3898 x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 x3907 x3908 -x3909 -x3910 x3911 x3912 -x3913 x3914 x3915 x3916 -x3917 x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 x3933 x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 x3944 x3945 -x3946 x3947 x3948 -x3949 x3950 x3951 x3952 x3953 -x3954 -x3955 x3956 x3957 -x3958 -x3959 -x3960 x3961 -x3962 x3963 -x3964 x3965 -x3966 x3967 -x3968 x3969 -x3970 x3971 -x3972 x3973 x3974 x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 x3984 x3985 -x3986 -x3987 x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 x4009 -x4010 x4011 -x4012 x4013 -x4014 -x4015 x4016 x4017 -x4018 -x4019 x4020 -x4021 x4022 -x4023 x4024 x4025 x4026 x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x4040 x4041 -x4042 -x4043 x4044 -x4045 -x4046 x4047 x4048 x4049 x4050 x4051 x4052 x4053 x4054 -x4055 x4056 -x4057 -x4058 x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 x4076 x4077 x4078 -x4079 x4080 x4081 -x4082 -x4083 x4084 x4085 x4086 -x4087 x4088 x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 x4105 -x4106 -x4107 x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 x4122 -x4123 -x4124 x4125 -x4126 -x4127 x4128 -x4129 x4130 -x4131 -x4132 x4133 -x4134 -x4135 -x4136 -x4137 x4138 x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 x4150 x4151 -x4152 -x4153 x4154 x4155 -x4156 -x4157 -x4158 x4159 x4160 -x4161 -x4162 -x4163 x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x4170 -x4171 x4172 x4173 x4174 -x4175 -x4176 -x4177 x4178 -x4179 x4180 -x4181 x4182 x4183 -x4184 -x4185 x4186 x4187 x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 -x4195 x4196 -x4197 -x4198 x4199 x4200 x4201 -x4202 x4203 -x4204 -x4205 -x4206 -x4207 x4208 -x4209 x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 x4217 x4218 -x4219 -x4220 -x4221 x4222 -x4223 -x4224 x4225 -x4226 -x4227 x4228 -x4229 x4230 -x4231 -x4232 -x4233 x4234 x4235 -x4236 x4237 -x4238 x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 x4269 -x4270 x4271 -x4272 x4273 x4274 x4275 x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 -x4283 x4284 x4285 -x4286 x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 x4312 -x4313 -x4314 x4315 -x4316 
1800.16/917.13	c objective function=818
1800.16/917.13	c Total wall clock time (in seconds): 917.011

Verifier Data

OK	818

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

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

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


[startup+0 s]
/proc/loadavg: 3.90 3.81 3.65 4/199 19805
/proc/meminfo: memFree=28043556/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/19805/stat : 19805 (java) R 19803 19805 11290 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 340091847 278528 33 33554432000 1073741824 1073778376 140734213907728 140733246375192 215134334247 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 68 33 25 9 0 25 0

[startup+0.089581 s]
/proc/loadavg: 3.90 3.81 3.65 4/199 19805
/proc/meminfo: memFree=28043556/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 3897 0 1 0 5 1 0 0 20 0 18 0 340091847 2764726272 5616 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 674982 5616 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928

[startup+0.100249 s]
/proc/loadavg: 3.90 3.81 3.65 4/199 19805
/proc/meminfo: memFree=28043556/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 4292 0 1 0 7 1 0 0 20 0 18 0 340091847 2764726272 6009 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 674982 6013 2001 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928

[startup+0.30017 s]
/proc/loadavg: 3.90 3.81 3.65 4/199 19805
/proc/meminfo: memFree=28043556/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=2699928 CPUtime=0.54 cores=0,2,4,6
/proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 7845 0 1 0 52 2 0 0 20 0 18 0 340091847 2764726272 10808 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 674982 10808 2215 9 0 665676 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2699928

[startup+0.700302 s]
/proc/loadavg: 3.90 3.81 3.65 4/199 19805
/proc/meminfo: memFree=28043556/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=2966184 CPUtime=1.57 cores=0,2,4,6
/proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 11891 0 1 0 152 5 0 0 20 0 20 0 340091847 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 741546 24969 2257 9 0 732240 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 2966184

[startup+1.50064 s]
/proc/loadavg: 3.90 3.81 3.65 3/219 19827
/proc/meminfo: memFree=27953664/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=2966184 CPUtime=1.62 cores=0,2,4,6
/proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 11891 0 1 0 157 5 0 0 20 0 20 0 340091847 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 741546 24969 2257 9 0 732240 0
[pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.46 cores=0,2,4,6
/proc/19805/task/19807/stat : 19807 (java) R 19803 19805 11290 0 -1 4202560 2817 0 1 0 44 2 0 0 20 0 20 0 340091848 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647979005080 140647982289872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=0.45 cores=0,2,4,6
/proc/19805/task/19820/stat : 19820 (java) R 19803 19805 11290 0 -1 4202560 4811 0 0 0 45 0 0 0 20 0 20 0 340091854 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647351671608 140647982850103 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/19805/task/19821/stat : 19821 (java) R 19803 19805 11290 0 -1 4202560 2963 0 0 0 40 0 0 0 20 0 20 0 340091854 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647350618944 140647985171252 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091904 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 340091904 3037372416 24969 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 2966184

[startup+3.10072 s]
/proc/loadavg: 3.91 3.81 3.65 3/219 19829
/proc/meminfo: memFree=27937824/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=2966184 CPUtime=2.88 cores=0,2,4,6
/proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 19493 0 1 0 278 10 0 0 20 0 20 0 340091847 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 741546 34617 2259 9 0 732240 0
[pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.5 cores=0,2,4,6
/proc/19805/task/19807/stat : 19807 (java) S 19803 19805 11290 0 -1 4202560 2818 0 1 0 48 2 0 0 20 0 20 0 340091848 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647979005080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=0.88 cores=0,2,4,6
/proc/19805/task/19820/stat : 19820 (java) S 19803 19805 11290 0 -1 4202560 10290 0 0 0 86 2 0 0 20 0 20 0 340091854 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647351671608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=0.65 cores=0,2,4,6
/proc/19805/task/19821/stat : 19821 (java) S 19803 19805 11290 0 -1 4202560 5053 0 0 0 65 0 0 0 20 0 20 0 340091854 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647350619064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091904 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 340091904 3037372416 34617 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 2966184

[startup+6.30072 s]
/proc/loadavg: 3.91 3.81 3.65 3/219 19835
/proc/meminfo: memFree=27868960/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=2966184 CPUtime=5.41 cores=0,2,4,6
/proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 25127 0 1 0 524 17 0 0 20 0 20 0 340091847 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 741546 50138 2263 9 0 732240 0
[pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.54 cores=0,2,4,6
/proc/19805/task/19807/stat : 19807 (java) S 19803 19805 11290 0 -1 4202560 2821 0 1 0 52 2 0 0 20 0 20 0 340091848 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647979005096 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340091850 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091851 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=1.29 cores=0,2,4,6
/proc/19805/task/19820/stat : 19820 (java) S 19803 19805 11290 0 -1 4202560 14242 0 0 0 127 2 0 0 20 0 20 0 340091854 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647351671608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=0.89 cores=0,2,4,6
/proc/19805/task/19821/stat : 19821 (java) S 19803 19805 11290 0 -1 4202560 6682 0 0 0 87 2 0 0 20 0 20 0 340091854 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647350619064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340091854 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340091904 3037372416 50138 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 185289 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19924] ppid=19803 vsize=2966184 CPUtime=263.5 cores=0,2,4,6
/proc/19805/task/19924/stat : 19924 (java) R 19803 19805 11290 0 -1 4202560 176 0 0 0 26344 6 0 0 20 0 22 0 340145305 3037372416 185289 33554432000 1073741824 1073778376 140734213907728 140647347458368 140647848645153 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19925] ppid=19803 vsize=2966184 CPUtime=263.53 cores=0,2,4,6
/proc/19805/task/19925/stat : 19925 (java) R 19803 19805 11290 0 -1 4202560 192 0 0 0 26349 4 0 0 20 0 22 0 340145305 3037372416 185289 33554432000 1073741824 1073778376 140734213907728 140647346403792 140647848688346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1618.54
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 3.46 3.49 3.55 4/221 19932
/proc/meminfo: memFree=27226888/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=2966184 CPUtime=1734.9 cores=0,2,4,6
/proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 28424 0 1 0 173329 161 0 0 20 0 22 0 340091847 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 741546 185339 2287 9 0 732240 0
[pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.58 cores=0,2,4,6
/proc/19805/task/19807/stat : 19807 (java) S 19803 19805 11290 0 -1 4202560 2851 0 1 0 55 3 0 0 20 0 22 0 340091848 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647979005080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=5.24 cores=0,2,4,6
/proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 233 0 0 0 516 8 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=5.14 cores=0,2,4,6
/proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 253 0 0 0 507 7 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=5.05 cores=0,2,4,6
/proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 231 0 0 0 499 6 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=5.25 cores=0,2,4,6
/proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 251 0 0 0 516 9 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=5.41 cores=0,2,4,6
/proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 294 0 0 0 532 9 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=5.2 cores=0,2,4,6
/proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 270 0 0 0 513 7 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=5.07 cores=0,2,4,6
/proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 211 0 0 0 502 5 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=5.11 cores=0,2,4,6
/proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 216 0 0 0 502 9 0 0 20 0 22 0 340091850 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=38.65 cores=0,2,4,6
/proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 121 0 0 0 3821 44 0 0 20 0 22 0 340091851 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=1.78 cores=0,2,4,6
/proc/19805/task/19820/stat : 19820 (java) S 19803 19805 11290 0 -1 4202560 14258 0 0 0 176 2 0 0 20 0 22 0 340091854 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647351671608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=1.01 cores=0,2,4,6
/proc/19805/task/19821/stat : 19821 (java) S 19803 19805 11290 0 -1 4202560 6686 0 0 0 99 2 0 0 20 0 22 0 340091854 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647350619064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 51 0 0 0 14 15 0 0 20 0 22 0 340091854 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19924] ppid=19803 vsize=2966184 CPUtime=318.8 cores=0,2,4,6
/proc/19805/task/19924/stat : 19924 (java) R 19803 19805 11290 0 -1 4202560 191 0 0 0 31874 6 0 0 20 0 22 0 340145305 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647347458368 140647848624304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19925] ppid=19803 vsize=2966184 CPUtime=318.84 cores=0,2,4,6
/proc/19805/task/19925/stat : 19925 (java) R 19803 19805 11290 0 -1 4202560 195 0 0 0 31880 4 0 0 20 0 22 0 340145305 3037372416 185339 33554432000 1073741824 1073778376 140734213907728 140647346403792 140647848688608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1734.9
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+917.101 s]
/proc/loadavg: 3.16 3.42 3.52 5/221 19934
/proc/meminfo: memFree=27209328/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=2966184 CPUtime=1800.16 cores=0,2,4,6
/proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 28486 0 1 0 179842 174 0 0 20 0 22 0 340091847 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 741546 186908 2287 9 0 732240 0
[pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.6 cores=0,2,4,6
/proc/19805/task/19807/stat : 19807 (java) S 19803 19805 11290 0 -1 4202560 2855 0 1 0 57 3 0 0 20 0 22 0 340091848 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647979005080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=5.39 cores=0,2,4,6
/proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 233 0 0 0 531 8 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=5.27 cores=0,2,4,6
/proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 253 0 0 0 520 7 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=5.19 cores=0,2,4,6
/proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 236 0 0 0 513 6 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=5.39 cores=0,2,4,6
/proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 259 0 0 0 530 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=5.57 cores=0,2,4,6
/proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 304 0 0 0 548 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=5.32 cores=0,2,4,6
/proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 270 0 0 0 524 8 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=5.23 cores=0,2,4,6
/proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 215 0 0 0 518 5 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=5.26 cores=0,2,4,6
/proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 222 0 0 0 517 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=42.06 cores=0,2,4,6
/proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 126 0 0 0 4162 44 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=1.78 cores=0,2,4,6
/proc/19805/task/19820/stat : 19820 (java) S 19803 19805 11290 0 -1 4202560 14259 0 0 0 176 2 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647351671608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=1.01 cores=0,2,4,6
/proc/19805/task/19821/stat : 19821 (java) S 19803 19805 11290 0 -1 4202560 6686 0 0 0 99 2 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647350619064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0.32 cores=0,2,4,6
/proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 53 0 0 0 15 17 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19933] ppid=19803 vsize=2966184 CPUtime=4.56 cores=0,2,4,6
/proc/19805/task/19933/stat : 19933 (java) R 19803 19805 11290 0 -1 4202560 4 0 0 0 456 0 0 0 20 0 22 0 340183051 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647347458112 140647848624332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19934] ppid=19803 vsize=2966184 CPUtime=4.56 cores=0,2,4,6
/proc/19805/task/19934/stat : 19934 (java) R 19803 19805 11290 0 -1 4202560 4 0 0 0 456 0 0 0 20 0 22 0 340183051 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647346403536 140647848688283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2966184

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

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

[startup+917.101 s]
/proc/loadavg: 3.16 3.42 3.52 5/221 19934
/proc/meminfo: memFree=27209328/32873844 swapFree=7380/7380
[pid=19805] ppid=19803 vsize=2966184 CPUtime=1800.16 cores=0,2,4,6
/proc/19805/stat : 19805 (java) S 19803 19805 11290 0 -1 4202496 28486 0 1 0 179842 174 0 0 20 0 22 0 340091847 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140734213898864 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19805/statm: 741546 186908 2287 9 0 732240 0
[pid=19805/tid=19807] ppid=19803 vsize=2966184 CPUtime=0.6 cores=0,2,4,6
/proc/19805/task/19807/stat : 19807 (java) S 19803 19805 11290 0 -1 4202560 2855 0 1 0 57 3 0 0 20 0 22 0 340091848 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647979005080 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19808] ppid=19803 vsize=2966184 CPUtime=5.39 cores=0,2,4,6
/proc/19805/task/19808/stat : 19808 (java) S 19803 19805 11290 0 -1 4202560 233 0 0 0 531 8 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647845841320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19809] ppid=19803 vsize=2966184 CPUtime=5.27 cores=0,2,4,6
/proc/19805/task/19809/stat : 19809 (java) S 19803 19805 11290 0 -1 4202560 253 0 0 0 520 7 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647844788776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19810] ppid=19803 vsize=2966184 CPUtime=5.19 cores=0,2,4,6
/proc/19805/task/19810/stat : 19810 (java) S 19803 19805 11290 0 -1 4202560 236 0 0 0 513 6 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647843735720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19811] ppid=19803 vsize=2966184 CPUtime=5.39 cores=0,2,4,6
/proc/19805/task/19811/stat : 19811 (java) S 19803 19805 11290 0 -1 4202560 259 0 0 0 530 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647842683176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19812] ppid=19803 vsize=2966184 CPUtime=5.57 cores=0,2,4,6
/proc/19805/task/19812/stat : 19812 (java) S 19803 19805 11290 0 -1 4202560 304 0 0 0 548 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647841631144 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19813] ppid=19803 vsize=2966184 CPUtime=5.32 cores=0,2,4,6
/proc/19805/task/19813/stat : 19813 (java) S 19803 19805 11290 0 -1 4202560 270 0 0 0 524 8 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647840578600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19814] ppid=19803 vsize=2966184 CPUtime=5.23 cores=0,2,4,6
/proc/19805/task/19814/stat : 19814 (java) S 19803 19805 11290 0 -1 4202560 215 0 0 0 518 5 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647839525544 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19815] ppid=19803 vsize=2966184 CPUtime=5.26 cores=0,2,4,6
/proc/19805/task/19815/stat : 19815 (java) S 19803 19805 11290 0 -1 4202560 222 0 0 0 517 9 0 0 20 0 22 0 340091850 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647838473000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19816] ppid=19803 vsize=2966184 CPUtime=42.06 cores=0,2,4,6
/proc/19805/task/19816/stat : 19816 (java) S 19803 19805 11290 0 -1 4202560 126 0 0 0 4162 44 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647355881832 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19817] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19817/stat : 19817 (java) S 19803 19805 11290 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647354828152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19818] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19818/stat : 19818 (java) S 19803 19805 11290 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340091851 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647353774984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19819] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19819/stat : 19819 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647352723728 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19805/tid=19820] ppid=19803 vsize=2966184 CPUtime=1.78 cores=0,2,4,6
/proc/19805/task/19820/stat : 19820 (java) S 19803 19805 11290 0 -1 4202560 14259 0 0 0 176 2 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647351671608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19821] ppid=19803 vsize=2966184 CPUtime=1.01 cores=0,2,4,6
/proc/19805/task/19821/stat : 19821 (java) S 19803 19805 11290 0 -1 4202560 6686 0 0 0 99 2 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647350619064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19822] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19822/stat : 19822 (java) S 19803 19805 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647349566200 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19805/tid=19823] ppid=19803 vsize=2966184 CPUtime=0.32 cores=0,2,4,6
/proc/19805/task/19823/stat : 19823 (java) S 19803 19805 11290 0 -1 4202560 53 0 0 0 15 17 0 0 20 0 22 0 340091854 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647348513864 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19805/tid=19826] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19826/stat : 19826 (java) S 19803 19805 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647345353512 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19827] ppid=19803 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19827/stat : 19827 (java) S 19803 19805 11290 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340091904 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647344300968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19933] ppid=19803 vsize=2966184 CPUtime=4.56 cores=0,2,4,6
/proc/19805/task/19933/stat : 19933 (java) R 19803 19805 11290 0 -1 4202560 4 0 0 0 456 0 0 0 20 0 22 0 340183051 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647347458112 140647848624332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19805/tid=19934] ppid=19803 vsize=2966184 CPUtime=4.56 cores=0,2,4,6
/proc/19805/task/19934/stat : 19934 (java) R 19803 19805 11290 0 -1 4202560 4 0 0 0 456 0 0 0 20 0 22 0 340183051 3037372416 186908 33554432000 1073741824 1073778376 140734213907728 140647346403536 140647848688283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2966184

Child status: 143
Real time (s): 917.153
CPU time (s): 1800.81
CPU user time (s): 1798.85
CPU system time (s): 1.9617
CPU usage (%): 196.348
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.9617
maximum resident set size= 749792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28516
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51594
involuntary context switches= 90120

runsolver used 3.43248 second user time and 8.32273 second system time

The end

Launcher Data

Begin job on node133 at 2012-06-03 18:07:51
IDJOB=3732323
IDBENCH=2047
IDSOLVER=2324
FILE ID=node133/3732323-1338739671
RUNJOBID= node133-1338736630-19082
PBS_JOBID= 14636724
Free space on /tmp= 70484 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-apex4.a.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732323-1338739671/watcher-3732323-1338739671 -o /tmp/evaluation-result-3732323-1338739671/solver-3732323-1338739671 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732323-1338739671.opb

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

MD5SUM BENCH= 59d685b710ba34babb28c57a0abba1bc
RANDOM SEED=1636425007

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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:        28043828 kB
Buffers:          483420 kB
Cached:          2814924 kB
SwapCached:          676 kB
Active:          2116288 kB
Inactive:        1812468 kB
Active(anon):     622100 kB
Inactive(anon):    10220 kB
Active(file):    1494188 kB
Inactive(file):  1802248 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:        646376 kB
Mapped:            18616 kB
Shmem:                 0 kB
Slab:             759496 kB
SReclaimable:     201168 kB
SUnreclaim:       558328 kB
KernelStack:        1808 kB
PageTables:         5048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1572028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    591872 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= 70484 MiB
End job on node133 at 2012-06-03 18:23:10