Trace number 3735817

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO)27 1800.56 977.549

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.07/0.33	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.33	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.33	c See www.sat4j.org for details.
0.07/0.33	c version 2.3.1.v20110525
0.07/0.33	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.33	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.33	c java.vm.version	19.1-b02
0.07/0.33	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.33	c sun.arch.data.model	64
0.07/0.33	c java.version		1.6.0_24
0.07/0.34	c os.name		Linux
0.07/0.34	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.34	c os.arch		amd64
0.07/0.34	c Free memory 		9996466904
0.07/0.34	c Max memory 		10048897024
0.07/0.34	c Total memory 		10048897024
0.07/0.34	c Number of processors 	8
0.07/0.37	c Pseudo Boolean Optimization
0.07/0.37	c ManyCore solver with 2 solvers running in parallel
0.07/0.37	c --- Begin Solver configuration ---
0.07/0.37	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.07/0.37	c Learn all clauses as in MiniSAT
0.07/0.37	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.37	c Expensive reason simplification
0.07/0.37	c Armin Biere (Picosat) restarts strategy
0.07/0.37	c Glucose learned constraints deletion strategy
0.07/0.37	c timeout=2147483s
0.07/0.37	c DB Simplification allowed=false
0.07/0.37	c --- End Solver configuration ---
0.07/0.37	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.37	c --- Begin Solver configuration ---
0.07/0.37	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.07/0.37	c Learn all clauses as in MiniSAT
0.07/0.37	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.37	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.37	c No reason simplification
0.07/0.37	c Armin Biere (Picosat) restarts strategy
0.07/0.37	c Glucose learned constraints deletion strategy
0.07/0.37	c timeout=2147483s
0.07/0.37	c DB Simplification allowed=false
0.07/0.37	c --- End Solver configuration ---
0.07/0.37	c solving HOME/instance-3735817-1338712999.opb
0.07/0.37	c reading problem ... 
0.61/0.66	c ... done. Wall clock time 0.292s.
0.61/0.66	c #vars     3187
0.61/0.66	c #constraints  8922
0.61/0.66	c constraints type 
0.61/0.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668
0.61/0.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161
0.61/0.67	c constraints type 
0.61/0.67	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7161
0.61/0.67	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1668
0.93/0.73	c  And the winner is Resolution
1.09/1.17	c SATISFIABLE
1.09/1.17	c OPTIMIZING...
1.09/1.17	c Got one! Elapsed wall clock time (in seconds):0.802
1.09/1.18	o 35
1.16/1.20	c  And the winner is Resolution
1.26/1.69	c Got one! Elapsed wall clock time (in seconds):1.314
1.26/1.69	o 34
1.68/1.80	c  And the winner is Resolution
1.97/2.20	c Got one! Elapsed wall clock time (in seconds):1.832
1.97/2.20	o 32
2.27/2.34	c  And the winner is Resolution
2.42/2.71	c Got one! Elapsed wall clock time (in seconds):2.339
2.42/2.71	o 30
4.23/3.57	c  And the winner is Resolution
4.41/3.72	c Got one! Elapsed wall clock time (in seconds):3.345
4.41/3.72	o 29
4.81/3.90	c cleaning 3105 clauses out of 6216 with flag 1000/6216
7.09/5.09	c cleaning 4552 clauses out of 9111 with flag 7000/12216
10.11/6.57	c cleaning 5775 clauses out of 11559 with flag 14000/19216
13.30/8.15	c cleaning 6886 clauses out of 13784 with flag 22000/27216
16.72/9.85	c cleaning 7946 clauses out of 15899 with flag 31001/36217
20.48/11.72	c cleaning 8971 clauses out of 17953 with flag 41001/46217
24.28/13.62	c  And the winner is CuttingPlanes
24.28/13.63	c cleaning 9486 clauses out of 18981 with flag 51000/56216
24.46/13.72	c Got one! Elapsed wall clock time (in seconds):13.351
24.46/13.72	o 28
26.24/14.62	c cleaning 7242 clauses out of 14495 with flag 5000/61216
28.58/15.81	c cleaning 6624 clauses out of 13253 with flag 11000/67216
31.14/17.13	c cleaning 6812 clauses out of 13629 with flag 18000/74216
34.10/18.66	c cleaning 7405 clauses out of 14817 with flag 26000/82216
37.63/20.40	c cleaning 8204 clauses out of 16414 with flag 35002/91218
41.36/22.39	c cleaning 9098 clauses out of 18208 with flag 45000/101216
45.29/24.34	c cleaning 9546 clauses out of 19110 with flag 55000/111216
49.24/26.34	c cleaning 9774 clauses out of 19564 with flag 65000/121216
53.19/28.31	c cleaning 9892 clauses out of 19790 with flag 75000/131216
56.90/30.24	c cleaning 9944 clauses out of 19900 with flag 85002/141218
60.84/32.22	c cleaning 9971 clauses out of 19954 with flag 95000/151216
64.99/34.32	c cleaning 9988 clauses out of 19983 with flag 105000/161216
69.11/36.43	c cleaning 9992 clauses out of 19995 with flag 115000/171216
72.80/38.38	c cleaning 9994 clauses out of 20003 with flag 125000/181216
76.91/40.43	c cleaning 9998 clauses out of 20009 with flag 135000/191216
80.82/42.47	c cleaning 10001 clauses out of 20011 with flag 145000/201216
84.74/44.45	c cleaning 9999 clauses out of 20010 with flag 155000/211216
88.81/46.58	c cleaning 10002 clauses out of 20011 with flag 165000/221216
92.71/48.57	c cleaning 9999 clauses out of 20009 with flag 175000/231216
96.63/50.51	c cleaning 9999 clauses out of 20010 with flag 185000/241216
100.32/52.48	c cleaning 10000 clauses out of 20011 with flag 195000/251216
104.18/54.46	c cleaning 9999 clauses out of 20011 with flag 205000/261216
108.08/56.45	c cleaning 9999 clauses out of 20012 with flag 215000/271216
112.18/58.53	c cleaning 10001 clauses out of 20014 with flag 225001/281217
116.09/60.58	c cleaning 10001 clauses out of 20015 with flag 235003/291219
120.11/62.68	c cleaning 9998 clauses out of 20012 with flag 245001/301217
124.18/64.72	c cleaning 9999 clauses out of 20014 with flag 255001/311217
128.07/66.70	c cleaning 10001 clauses out of 20014 with flag 265000/321216
131.95/68.72	c cleaning 9996 clauses out of 20015 with flag 275002/331218
137.07/71.39	c cleaning 10008 clauses out of 20018 with flag 285001/341217
140.95/73.39	c cleaning 9995 clauses out of 20011 with flag 295002/351218
145.41/75.69	c cleaning 10003 clauses out of 20015 with flag 305001/361217
150.31/78.10	c cleaning 9998 clauses out of 20011 with flag 315000/371216
154.71/80.46	c cleaning 10001 clauses out of 20016 with flag 325003/381219
159.18/82.77	c cleaning 9996 clauses out of 20012 with flag 335000/391216
163.67/85.07	c cleaning 9998 clauses out of 20016 with flag 345000/401216
167.75/87.14	c cleaning 10003 clauses out of 20019 with flag 355001/411217
171.75/89.24	c cleaning 10001 clauses out of 20015 with flag 365000/421216
175.83/91.39	c cleaning 10000 clauses out of 20015 with flag 375001/431217
179.90/93.49	c cleaning 10001 clauses out of 20014 with flag 385000/441216
184.17/95.61	c cleaning 9999 clauses out of 20013 with flag 395000/451216
188.35/97.84	c cleaning 9999 clauses out of 20014 with flag 405000/461216
192.20/99.88	c cleaning 9998 clauses out of 20015 with flag 415000/471216
196.25/101.98	c cleaning 10001 clauses out of 20017 with flag 425000/481216
200.49/104.12	c cleaning 9997 clauses out of 20016 with flag 435000/491216
204.85/106.40	c cleaning 10001 clauses out of 20019 with flag 445000/501216
208.70/108.48	c cleaning 10004 clauses out of 20021 with flag 455003/511219
212.74/110.56	c cleaning 9997 clauses out of 20014 with flag 465000/521216
216.78/112.65	c cleaning 9998 clauses out of 20017 with flag 475000/531216
221.12/114.92	c cleaning 10002 clauses out of 20020 with flag 485001/541217
225.16/117.04	c cleaning 9999 clauses out of 20017 with flag 495000/551216
229.20/119.15	c cleaning 10001 clauses out of 20018 with flag 505000/561216
233.45/121.30	c cleaning 10001 clauses out of 20017 with flag 515000/571216
237.39/123.49	c cleaning 10004 clauses out of 20016 with flag 525000/581216
241.63/125.66	c cleaning 9994 clauses out of 20012 with flag 535000/591216
245.46/127.68	c cleaning 10001 clauses out of 20019 with flag 545001/601217
249.28/129.68	c cleaning 9994 clauses out of 20017 with flag 555000/611216
253.42/131.81	c cleaning 10001 clauses out of 20023 with flag 565000/621216
257.24/133.83	c cleaning 10000 clauses out of 20022 with flag 575000/631216
260.86/135.77	c cleaning 10003 clauses out of 20023 with flag 585001/641217
264.70/137.73	c cleaning 9994 clauses out of 20019 with flag 595000/651216
268.62/139.83	c cleaning 10006 clauses out of 20025 with flag 605000/661216
272.66/141.95	c cleaning 9999 clauses out of 20019 with flag 615000/671216
276.46/143.98	c cleaning 10003 clauses out of 20020 with flag 625000/681216
280.49/146.09	c cleaning 10003 clauses out of 20017 with flag 635000/691216
284.82/148.31	c cleaning 10003 clauses out of 20015 with flag 645001/701217
288.63/150.30	c cleaning 10000 clauses out of 20014 with flag 655003/711219
292.26/152.29	c cleaning 9999 clauses out of 20011 with flag 665000/721216
296.47/154.42	c cleaning 10001 clauses out of 20013 with flag 675001/731217
300.79/156.72	c cleaning 9996 clauses out of 20012 with flag 685001/741217
305.20/159.03	c cleaning 9998 clauses out of 20015 with flag 695000/751216
309.41/161.27	c cleaning 9999 clauses out of 20017 with flag 705000/761216
314.03/163.65	c cleaning 10007 clauses out of 20019 with flag 715001/771217
318.13/165.81	c cleaning 10001 clauses out of 20011 with flag 725000/781216
322.16/167.91	c cleaning 9997 clauses out of 20010 with flag 735000/791216
326.17/170.02	c cleaning 10002 clauses out of 20013 with flag 745000/801216
330.17/172.12	c cleaning 9997 clauses out of 20011 with flag 755000/811216
334.30/174.33	c cleaning 9999 clauses out of 20014 with flag 765000/821216
338.11/176.39	c cleaning 9991 clauses out of 20015 with flag 775000/831216
342.32/178.51	c cleaning 10003 clauses out of 20024 with flag 785000/841216
346.32/180.67	c cleaning 10003 clauses out of 20021 with flag 795000/851216
351.05/183.14	c cleaning 10003 clauses out of 20018 with flag 805000/861216
355.66/185.59	c cleaning 10000 clauses out of 20017 with flag 815002/871218
360.28/187.92	c cleaning 10001 clauses out of 20015 with flag 825000/881216
364.50/190.18	c cleaning 10002 clauses out of 20017 with flag 835003/891219
369.20/192.66	c cleaning 9999 clauses out of 20012 with flag 845000/901216
373.82/195.00	c cleaning 10000 clauses out of 20013 with flag 855000/911216
378.25/197.32	c cleaning 9998 clauses out of 20013 with flag 865000/921216
382.67/199.61	c cleaning 9995 clauses out of 20015 with flag 875000/931216
387.17/202.02	c cleaning 10002 clauses out of 20020 with flag 885000/941216
391.40/204.25	c cleaning 10002 clauses out of 20018 with flag 895000/951216
396.01/206.66	c cleaning 9999 clauses out of 20018 with flag 905002/961218
397.21/207.31	c  And the winner is CuttingPlanes
397.31/207.45	c Got one! Elapsed wall clock time (in seconds):207.082
397.31/207.45	o 27
398.39/208.01	c cleaning 7625 clauses out of 15257 with flag 3000/966456
400.89/209.46	c cleaning 6802 clauses out of 13632 with flag 9000/972456
403.71/210.96	c cleaning 6908 clauses out of 13830 with flag 16000/979456
407.13/212.74	c cleaning 7455 clauses out of 14922 with flag 24000/987456
410.57/214.53	c cleaning 8230 clauses out of 16468 with flag 33001/996457
414.46/216.61	c cleaning 9114 clauses out of 18239 with flag 43002/1006458
418.27/218.63	c cleaning 9558 clauses out of 19123 with flag 53000/1016456
422.05/220.69	c cleaning 9776 clauses out of 19565 with flag 63000/1026456
426.06/222.71	c cleaning 9880 clauses out of 19789 with flag 73000/1036456
430.15/224.90	c cleaning 9949 clauses out of 19909 with flag 83000/1046456
433.95/226.97	c cleaning 9972 clauses out of 19960 with flag 93000/1056456
438.15/229.18	c cleaning 9986 clauses out of 19988 with flag 103000/1066456
442.14/231.23	c cleaning 9995 clauses out of 20003 with flag 113001/1076457
446.43/233.54	c cleaning 10000 clauses out of 20007 with flag 123000/1086456
450.64/235.79	c cleaning 10000 clauses out of 20008 with flag 133001/1096457
455.05/238.07	c cleaning 9992 clauses out of 20007 with flag 143000/1106456
459.26/240.26	c cleaning 10005 clauses out of 20015 with flag 153000/1116456
463.14/242.39	c cleaning 9999 clauses out of 20011 with flag 163001/1126457
467.14/244.43	c cleaning 9999 clauses out of 20011 with flag 173000/1136456
471.32/246.63	c cleaning 10000 clauses out of 20012 with flag 183000/1146456
475.32/248.78	c cleaning 9997 clauses out of 20012 with flag 193000/1156456
479.45/250.96	c cleaning 10001 clauses out of 20015 with flag 203000/1166456
483.45/253.05	c cleaning 9997 clauses out of 20015 with flag 213001/1176457
487.22/255.09	c cleaning 10001 clauses out of 20018 with flag 223001/1186457
491.21/257.10	c cleaning 10002 clauses out of 20016 with flag 233000/1196456
495.25/259.30	c cleaning 10002 clauses out of 20015 with flag 243001/1206457
499.04/261.36	c cleaning 9999 clauses out of 20013 with flag 253001/1216457
503.03/263.42	c cleaning 9996 clauses out of 20013 with flag 263000/1226456
507.03/265.58	c cleaning 10004 clauses out of 20017 with flag 273000/1236456
511.50/267.98	c cleaning 9993 clauses out of 20013 with flag 283000/1246456
515.69/270.18	c cleaning 10005 clauses out of 20021 with flag 293001/1256457
519.67/272.27	c cleaning 10005 clauses out of 20016 with flag 303001/1266457
523.44/274.26	c cleaning 9993 clauses out of 20010 with flag 313000/1276456
527.71/276.51	c cleaning 10001 clauses out of 20018 with flag 323001/1286457
532.08/278.81	c cleaning 9997 clauses out of 20016 with flag 333000/1296456
536.26/281.07	c cleaning 10004 clauses out of 20019 with flag 343000/1306456
540.24/283.17	c cleaning 9999 clauses out of 20015 with flag 353000/1316456
544.68/285.52	c cleaning 9999 clauses out of 20016 with flag 363000/1326456
548.64/287.69	c cleaning 10000 clauses out of 20017 with flag 373000/1336456
553.20/290.02	c cleaning 9999 clauses out of 20017 with flag 383000/1346456
557.57/292.33	c cleaning 10003 clauses out of 20018 with flag 393000/1356456
562.22/294.89	c cleaning 10003 clauses out of 20016 with flag 403001/1366457
566.59/297.10	c cleaning 9993 clauses out of 20012 with flag 413000/1376456
570.77/299.38	c cleaning 10002 clauses out of 20021 with flag 423002/1386458
574.94/301.52	c cleaning 10000 clauses out of 20018 with flag 433001/1396457
579.16/303.84	c cleaning 9997 clauses out of 20017 with flag 443000/1406456
583.34/306.08	c cleaning 9998 clauses out of 20020 with flag 453000/1416456
587.70/308.32	c cleaning 10004 clauses out of 20022 with flag 463000/1426456
591.87/310.55	c cleaning 9999 clauses out of 20018 with flag 473000/1436456
596.31/312.90	c cleaning 10005 clauses out of 20019 with flag 483000/1446456
600.27/315.07	c cleaning 9995 clauses out of 20015 with flag 493001/1456457
604.64/317.40	c cleaning 10002 clauses out of 20019 with flag 503000/1466456
609.20/319.72	c cleaning 10002 clauses out of 20018 with flag 513001/1476457
613.63/322.20	c cleaning 10001 clauses out of 20016 with flag 523001/1486457
617.79/324.40	c cleaning 10000 clauses out of 20014 with flag 533000/1496456
621.94/326.57	c cleaning 10004 clauses out of 20016 with flag 543002/1506458
625.91/328.63	c cleaning 9997 clauses out of 20010 with flag 553000/1516456
629.93/330.82	c cleaning 10002 clauses out of 20013 with flag 563000/1526456
633.89/332.95	c cleaning 9996 clauses out of 20011 with flag 573000/1536456
638.04/335.16	c cleaning 9997 clauses out of 20015 with flag 583000/1546456
641.97/337.25	c cleaning 10003 clauses out of 20020 with flag 593002/1556458
645.98/339.47	c cleaning 10004 clauses out of 20015 with flag 603000/1566456
650.33/341.74	c cleaning 10004 clauses out of 20011 with flag 613000/1576456
654.49/343.90	c cleaning 9996 clauses out of 20007 with flag 623000/1586456
658.84/346.23	c cleaning 10000 clauses out of 20011 with flag 633000/1596456
663.02/348.60	c cleaning 9994 clauses out of 20011 with flag 643000/1606456
666.97/350.63	c cleaning 9998 clauses out of 20017 with flag 653000/1616456
670.89/352.79	c cleaning 9998 clauses out of 20019 with flag 663000/1626456
675.03/354.91	c cleaning 10004 clauses out of 20022 with flag 673001/1636457
678.80/357.06	c cleaning 10003 clauses out of 20018 with flag 683001/1646457
682.31/358.96	c cleaning 9999 clauses out of 20015 with flag 693001/1656457
685.85/360.85	c cleaning 9999 clauses out of 20015 with flag 703000/1666456
689.58/362.81	c cleaning 9997 clauses out of 20016 with flag 713000/1676456
693.53/365.06	c cleaning 10005 clauses out of 20020 with flag 723001/1686457
697.64/367.26	c cleaning 10000 clauses out of 20014 with flag 733000/1696456
701.95/369.57	c cleaning 10002 clauses out of 20014 with flag 743000/1706456
706.28/371.89	c cleaning 9996 clauses out of 20012 with flag 753000/1716456
710.80/374.37	c cleaning 10005 clauses out of 20019 with flag 763003/1726459
714.91/376.58	c cleaning 9995 clauses out of 20012 with flag 773001/1736457
719.24/378.84	c cleaning 10004 clauses out of 20017 with flag 783001/1746457
723.56/381.16	c cleaning 9996 clauses out of 20012 with flag 793000/1756456
728.53/383.87	c cleaning 9998 clauses out of 20016 with flag 803000/1766456
733.23/386.33	c cleaning 9998 clauses out of 20018 with flag 813000/1776456
737.75/388.71	c cleaning 9999 clauses out of 20020 with flag 823000/1786456
742.27/391.13	c cleaning 10006 clauses out of 20021 with flag 833000/1796456
747.02/393.74	c cleaning 10001 clauses out of 20016 with flag 843001/1806457
751.50/396.16	c cleaning 9999 clauses out of 20014 with flag 853000/1816456
756.01/398.58	c cleaning 10000 clauses out of 20017 with flag 863002/1826458
760.92/401.15	c cleaning 10000 clauses out of 20015 with flag 873000/1836456
765.86/403.81	c cleaning 10006 clauses out of 20017 with flag 883002/1846458
769.97/406.08	c cleaning 9997 clauses out of 20010 with flag 893001/1856457
774.29/408.31	c cleaning 10002 clauses out of 20013 with flag 903001/1866457
778.37/410.52	c cleaning 9995 clauses out of 20010 with flag 913000/1876456
782.68/412.98	c cleaning 10003 clauses out of 20016 with flag 923001/1886457
786.56/415.10	c cleaning 10001 clauses out of 20013 with flag 933001/1896457
790.65/417.23	c cleaning 9997 clauses out of 20013 with flag 943002/1906458
794.94/419.58	c cleaning 10002 clauses out of 20014 with flag 953000/1916456
799.46/422.03	c cleaning 10001 clauses out of 20013 with flag 963001/1926457
803.56/424.22	c cleaning 9997 clauses out of 20011 with flag 973000/1936456
807.45/426.32	c cleaning 10003 clauses out of 20014 with flag 983000/1946456
811.34/428.46	c cleaning 9999 clauses out of 20011 with flag 993000/1956456
815.44/430.79	c cleaning 10001 clauses out of 20014 with flag 1003002/1966458
819.51/432.90	c cleaning 9997 clauses out of 20011 with flag 1013000/1976456
823.79/435.30	c cleaning 9993 clauses out of 20014 with flag 1023000/1986456
828.71/437.83	c cleaning 9999 clauses out of 20022 with flag 1033001/1996457
833.78/440.69	c cleaning 10011 clauses out of 20025 with flag 1043003/2006459
838.89/443.35	c cleaning 10003 clauses out of 20015 with flag 1053004/2016460
843.57/445.89	c cleaning 9995 clauses out of 20008 with flag 1063000/2026456
848.25/448.34	c cleaning 10000 clauses out of 20013 with flag 1073000/2036456
852.71/450.85	c cleaning 9999 clauses out of 20013 with flag 1083000/2046456
856.39/452.90	c cleaning 10000 clauses out of 20014 with flag 1093000/2056456
860.49/455.06	c cleaning 10002 clauses out of 20015 with flag 1103001/2066457
864.55/457.29	c cleaning 9999 clauses out of 20012 with flag 1113000/2076456
869.07/459.76	c cleaning 9995 clauses out of 20014 with flag 1123001/2086457
872.94/461.86	c cleaning 10001 clauses out of 20018 with flag 1133000/2096456
877.02/464.00	c cleaning 10001 clauses out of 20018 with flag 1143001/2106457
880.89/466.12	c cleaning 9996 clauses out of 20016 with flag 1153000/2116456
885.19/468.51	c cleaning 9998 clauses out of 20020 with flag 1163000/2126456
889.06/470.64	c cleaning 10004 clauses out of 20025 with flag 1173003/2136459
893.13/472.84	c cleaning 9998 clauses out of 20018 with flag 1183000/2146456
897.43/475.17	c cleaning 10001 clauses out of 20021 with flag 1193001/2156457
901.86/477.68	c cleaning 10001 clauses out of 20019 with flag 1203000/2166456
906.33/480.00	c cleaning 9999 clauses out of 20018 with flag 1213000/2176456
910.60/482.33	c cleaning 10000 clauses out of 20020 with flag 1223001/2186457
914.87/484.64	c cleaning 10007 clauses out of 20021 with flag 1233002/2196458
919.34/487.17	c cleaning 9997 clauses out of 20012 with flag 1243000/2206456
923.60/489.49	c cleaning 10001 clauses out of 20015 with flag 1253000/2216456
928.28/491.96	c cleaning 10002 clauses out of 20014 with flag 1263000/2226456
932.95/494.41	c cleaning 10003 clauses out of 20013 with flag 1273001/2236457
937.58/497.09	c cleaning 10000 clauses out of 20009 with flag 1283000/2246456
942.25/499.57	c cleaning 9995 clauses out of 20009 with flag 1293000/2256456
946.91/502.00	c cleaning 10003 clauses out of 20015 with flag 1303001/2266457
951.38/504.45	c cleaning 9999 clauses out of 20011 with flag 1313000/2276456
956.25/507.11	c cleaning 10002 clauses out of 20015 with flag 1323003/2286459
960.53/509.40	c cleaning 10000 clauses out of 20012 with flag 1333002/2296458
964.58/511.62	c cleaning 10003 clauses out of 20010 with flag 1343000/2306456
968.25/513.69	c cleaning 9995 clauses out of 20007 with flag 1353000/2316456
972.51/516.08	c cleaning 10003 clauses out of 20013 with flag 1363001/2326457
976.58/518.22	c cleaning 9999 clauses out of 20009 with flag 1373000/2336456
980.45/520.33	c cleaning 10000 clauses out of 20011 with flag 1383001/2346457
984.53/522.57	c cleaning 9995 clauses out of 20010 with flag 1393000/2356456
988.77/524.95	c cleaning 10002 clauses out of 20015 with flag 1403000/2366456
993.03/527.22	c cleaning 9998 clauses out of 20013 with flag 1413000/2376456
997.29/529.58	c cleaning 10002 clauses out of 20015 with flag 1423000/2386456
1001.92/532.08	c cleaning 10001 clauses out of 20015 with flag 1433002/2396458
1006.99/534.85	c cleaning 10003 clauses out of 20012 with flag 1443000/2406456
1011.64/537.32	c cleaning 9998 clauses out of 20010 with flag 1453001/2416457
1015.71/539.58	c cleaning 10000 clauses out of 20012 with flag 1463001/2426457
1019.95/541.82	c cleaning 9996 clauses out of 20012 with flag 1473001/2436457
1024.19/544.24	c cleaning 9990 clauses out of 20015 with flag 1483000/2446456
1028.24/546.42	c cleaning 10008 clauses out of 20026 with flag 1493001/2456457
1032.09/548.59	c cleaning 10002 clauses out of 20017 with flag 1503000/2466456
1036.35/550.84	c cleaning 10002 clauses out of 20016 with flag 1513001/2476457
1040.59/553.29	c cleaning 10006 clauses out of 20017 with flag 1523004/2486460
1045.43/555.80	c cleaning 9998 clauses out of 20007 with flag 1533000/2496456
1049.66/558.15	c cleaning 9999 clauses out of 20009 with flag 1543000/2506456
1054.11/560.58	c cleaning 9991 clauses out of 20011 with flag 1553001/2516457
1058.95/563.24	c cleaning 10006 clauses out of 20019 with flag 1563000/2526456
1063.56/565.76	c cleaning 10005 clauses out of 20013 with flag 1573000/2536456
1068.19/568.25	c cleaning 9999 clauses out of 20008 with flag 1583000/2546456
1072.82/570.78	c cleaning 9996 clauses out of 20010 with flag 1593001/2556457
1077.82/573.51	c cleaning 9998 clauses out of 20014 with flag 1603001/2566457
1082.45/576.04	c cleaning 9995 clauses out of 20015 with flag 1613000/2576456
1087.08/578.58	c cleaning 10002 clauses out of 20022 with flag 1623002/2586458
1091.67/581.04	c cleaning 9995 clauses out of 20018 with flag 1633000/2596456
1096.27/583.62	c cleaning 10002 clauses out of 20023 with flag 1643000/2606456
1100.49/585.90	c cleaning 9998 clauses out of 20022 with flag 1653001/2616457
1104.72/588.25	c cleaning 10000 clauses out of 20024 with flag 1663001/2626457
1109.76/590.92	c cleaning 10001 clauses out of 20024 with flag 1673001/2636457
1114.35/593.52	c cleaning 10004 clauses out of 20023 with flag 1683001/2646457
1118.97/596.06	c cleaning 10003 clauses out of 20019 with flag 1693001/2656457
1123.78/598.64	c cleaning 9998 clauses out of 20015 with flag 1703000/2666456
1128.57/601.25	c cleaning 9997 clauses out of 20020 with flag 1713003/2676459
1133.55/604.01	c cleaning 9999 clauses out of 20021 with flag 1723001/2686457
1138.18/606.54	c cleaning 9999 clauses out of 20022 with flag 1733001/2696457
1142.59/608.99	c cleaning 10001 clauses out of 20023 with flag 1743001/2706457
1147.62/611.62	c cleaning 9994 clauses out of 20021 with flag 1753000/2716456
1152.58/614.42	c cleaning 10008 clauses out of 20029 with flag 1763002/2726458
1157.41/617.00	c cleaning 10009 clauses out of 20020 with flag 1773001/2736457
1161.41/619.29	c cleaning 9997 clauses out of 20010 with flag 1783000/2746456
1165.80/621.66	c cleaning 10001 clauses out of 20013 with flag 1793000/2756456
1170.37/624.28	c cleaning 9998 clauses out of 20012 with flag 1803000/2766456
1174.75/626.66	c cleaning 9992 clauses out of 20014 with flag 1813000/2776456
1178.96/628.93	c cleaning 9996 clauses out of 20024 with flag 1823002/2786458
1183.16/631.25	c cleaning 10002 clauses out of 20027 with flag 1833001/2796457
1187.68/633.84	c cleaning 10004 clauses out of 20024 with flag 1843000/2806456
1192.06/636.29	c cleaning 10006 clauses out of 20021 with flag 1853001/2816457
1196.86/638.84	c cleaning 10002 clauses out of 20015 with flag 1863001/2826457
1201.48/641.33	c cleaning 10000 clauses out of 20013 with flag 1873001/2836457
1206.21/644.05	c cleaning 10002 clauses out of 20012 with flag 1883000/2846456
1210.61/646.42	c cleaning 10000 clauses out of 20010 with flag 1893000/2856456
1215.00/648.81	c cleaning 9998 clauses out of 20010 with flag 1903000/2866456
1219.19/651.15	c cleaning 10001 clauses out of 20013 with flag 1913001/2876457
1223.93/653.87	c cleaning 9993 clauses out of 20011 with flag 1923000/2886456
1228.53/656.37	c cleaning 10006 clauses out of 20019 with flag 1933001/2896457
1232.93/658.80	c cleaning 9999 clauses out of 20012 with flag 1943000/2906456
1237.33/661.19	c cleaning 9996 clauses out of 20013 with flag 1953000/2916456
1242.25/663.95	c cleaning 10000 clauses out of 20017 with flag 1963000/2926456
1246.85/666.45	c cleaning 10000 clauses out of 20018 with flag 1973001/2936457
1251.60/669.09	c cleaning 10000 clauses out of 20017 with flag 1983000/2946456
1256.55/671.77	c cleaning 10005 clauses out of 20018 with flag 1993001/2956457
1260.97/674.20	c cleaning 9999 clauses out of 20013 with flag 2003001/2966457
1264.93/676.43	c cleaning 10000 clauses out of 20013 with flag 2013000/2976456
1269.09/678.71	c cleaning 9990 clauses out of 20013 with flag 2023000/2986456
1273.25/681.05	c cleaning 10008 clauses out of 20026 with flag 2033003/2996459
1277.62/683.57	c cleaning 10002 clauses out of 20017 with flag 2043002/3006458
1281.79/685.84	c cleaning 10003 clauses out of 20013 with flag 2053000/3016456
1286.15/688.26	c cleaning 9999 clauses out of 20010 with flag 2063000/3026456
1290.53/690.68	c cleaning 9995 clauses out of 20011 with flag 2073000/3036456
1295.27/693.39	c cleaning 9996 clauses out of 20017 with flag 2083001/3046457
1299.84/695.81	c cleaning 9996 clauses out of 20020 with flag 2093000/3056456
1304.21/698.22	c cleaning 10005 clauses out of 20024 with flag 2103000/3066456
1308.59/700.70	c cleaning 10002 clauses out of 20019 with flag 2113000/3076456
1313.69/703.55	c cleaning 10005 clauses out of 20017 with flag 2123000/3086456
1317.84/705.83	c cleaning 10002 clauses out of 20012 with flag 2133000/3096456
1322.00/708.14	c cleaning 9989 clauses out of 20010 with flag 2143000/3106456
1326.18/710.48	c cleaning 10004 clauses out of 20021 with flag 2153000/3116456
1330.85/713.12	c cleaning 10000 clauses out of 20017 with flag 2163000/3126456
1335.01/715.42	c cleaning 10000 clauses out of 20018 with flag 2173001/3136457
1339.18/717.78	c cleaning 9999 clauses out of 20017 with flag 2183000/3146456
1343.49/720.17	c cleaning 9998 clauses out of 20018 with flag 2193000/3156456
1348.19/722.84	c cleaning 10002 clauses out of 20021 with flag 2203001/3166457
1352.54/725.20	c cleaning 9995 clauses out of 20018 with flag 2213000/3176456
1356.88/727.61	c cleaning 10004 clauses out of 20025 with flag 2223002/3186458
1361.02/729.92	c cleaning 10002 clauses out of 20019 with flag 2233000/3196456
1365.67/732.66	c cleaning 10002 clauses out of 20017 with flag 2243000/3206456
1370.22/735.10	c cleaning 9995 clauses out of 20015 with flag 2253000/3216456
1374.59/737.54	c cleaning 10005 clauses out of 20021 with flag 2263001/3226457
1378.93/739.93	c cleaning 9992 clauses out of 20015 with flag 2273000/3236456
1383.64/742.63	c cleaning 10000 clauses out of 20023 with flag 2283000/3246456
1387.78/744.95	c cleaning 10004 clauses out of 20023 with flag 2293000/3256456
1391.92/747.28	c cleaning 10006 clauses out of 20021 with flag 2303002/3266458
1396.23/749.69	c cleaning 9996 clauses out of 20014 with flag 2313001/3276457
1400.92/752.35	c cleaning 10000 clauses out of 20017 with flag 2323000/3286456
1405.05/754.69	c cleaning 9999 clauses out of 20017 with flag 2333000/3296456
1409.37/757.04	c cleaning 9986 clauses out of 20018 with flag 2343000/3306456
1413.71/759.40	c cleaning 9997 clauses out of 20032 with flag 2353000/3316456
1418.17/762.04	c cleaning 10010 clauses out of 20035 with flag 2363000/3326456
1422.28/764.36	c cleaning 10002 clauses out of 20025 with flag 2373000/3336456
1426.64/766.71	c cleaning 10006 clauses out of 20024 with flag 2383001/3346457
1430.76/769.07	c cleaning 10004 clauses out of 20017 with flag 2393000/3356456
1435.39/771.72	c cleaning 9997 clauses out of 20013 with flag 2403000/3366456
1439.51/774.04	c cleaning 9998 clauses out of 20017 with flag 2413001/3376457
1443.62/776.33	c cleaning 9998 clauses out of 20018 with flag 2423000/3386456
1447.74/778.64	c cleaning 10000 clauses out of 20020 with flag 2433000/3396456
1452.57/781.40	c cleaning 10004 clauses out of 20020 with flag 2443000/3406456
1457.11/783.99	c cleaning 9991 clauses out of 20016 with flag 2453000/3416456
1461.83/786.56	c cleaning 10004 clauses out of 20025 with flag 2463000/3426456
1466.35/789.03	c cleaning 9995 clauses out of 20021 with flag 2473000/3436456
1471.16/791.82	c cleaning 10002 clauses out of 20028 with flag 2483002/3446458
1475.68/794.30	c cleaning 10003 clauses out of 20025 with flag 2493001/3456457
1480.18/796.84	c cleaning 9996 clauses out of 20021 with flag 2503000/3466456
1484.71/799.35	c cleaning 10007 clauses out of 20028 with flag 2513003/3476459
1489.51/802.18	c cleaning 9990 clauses out of 20018 with flag 2523000/3486456
1494.01/804.64	c cleaning 10000 clauses out of 20028 with flag 2533000/3496456
1498.52/807.19	c cleaning 10005 clauses out of 20028 with flag 2543000/3506456
1503.21/809.77	c cleaning 9998 clauses out of 20023 with flag 2553000/3516456
1508.21/812.60	c cleaning 10002 clauses out of 20025 with flag 2563000/3526456
1512.53/815.06	c cleaning 10002 clauses out of 20024 with flag 2573001/3536457
1517.01/817.53	c cleaning 9995 clauses out of 20022 with flag 2583001/3546457
1521.51/820.04	c cleaning 10003 clauses out of 20026 with flag 2593000/3556456
1526.10/822.80	c cleaning 10001 clauses out of 20023 with flag 2603000/3566456
1530.75/825.36	c cleaning 10005 clauses out of 20023 with flag 2613001/3576457
1535.26/827.88	c cleaning 10001 clauses out of 20017 with flag 2623000/3586456
1539.74/830.35	c cleaning 9994 clauses out of 20016 with flag 2633000/3596456
1544.51/833.13	c cleaning 9998 clauses out of 20022 with flag 2643000/3606456
1549.01/835.63	c cleaning 10004 clauses out of 20025 with flag 2653001/3616457
1553.52/838.18	c cleaning 10004 clauses out of 20022 with flag 2663002/3626458
1558.36/840.81	c cleaning 9997 clauses out of 20016 with flag 2673000/3636456
1563.35/843.78	c cleaning 10003 clauses out of 20019 with flag 2683000/3646456
1568.01/846.38	c cleaning 9998 clauses out of 20016 with flag 2693000/3656456
1572.66/848.99	c cleaning 10002 clauses out of 20019 with flag 2703001/3666457
1577.53/851.62	c cleaning 9990 clauses out of 20016 with flag 2713000/3676456
1582.45/854.50	c cleaning 10007 clauses out of 20027 with flag 2723001/3686457
1586.90/857.04	c cleaning 10003 clauses out of 20021 with flag 2733002/3696458
1591.55/859.65	c cleaning 9999 clauses out of 20016 with flag 2743000/3706456
1596.19/862.22	c cleaning 9998 clauses out of 20019 with flag 2753002/3716458
1601.30/865.26	c cleaning 9999 clauses out of 20019 with flag 2763000/3726456
1605.97/867.89	c cleaning 9998 clauses out of 20020 with flag 2773000/3736456
1610.82/870.59	c cleaning 10004 clauses out of 20023 with flag 2783001/3746457
1615.87/873.33	c cleaning 9996 clauses out of 20018 with flag 2793000/3756456
1621.02/876.38	c cleaning 9996 clauses out of 20022 with flag 2803000/3766456
1625.88/879.05	c cleaning 10002 clauses out of 20026 with flag 2813000/3776456
1630.76/881.74	c cleaning 10001 clauses out of 20024 with flag 2823000/3786456
1635.84/884.51	c cleaning 10003 clauses out of 20024 with flag 2833001/3796457
1640.81/887.45	c cleaning 10002 clauses out of 20022 with flag 2843002/3806458
1645.70/890.12	c cleaning 10004 clauses out of 20019 with flag 2853001/3816457
1650.38/892.70	c cleaning 9992 clauses out of 20014 with flag 2863000/3826456
1655.02/895.36	c cleaning 10001 clauses out of 20022 with flag 2873000/3836456
1660.17/898.34	c cleaning 9996 clauses out of 20022 with flag 2883001/3846457
1665.01/901.05	c cleaning 10005 clauses out of 20027 with flag 2893002/3856458
1670.08/903.88	c cleaning 9997 clauses out of 20020 with flag 2903000/3866456
1674.98/906.59	c cleaning 9998 clauses out of 20023 with flag 2913000/3876456
1680.32/909.70	c cleaning 10005 clauses out of 20025 with flag 2923000/3886456
1685.37/912.43	c cleaning 10000 clauses out of 20020 with flag 2933000/3896456
1690.25/915.20	c cleaning 10000 clauses out of 20021 with flag 2943001/3906457
1695.51/918.09	c cleaning 9999 clauses out of 20020 with flag 2953000/3916456
1701.20/921.32	c cleaning 9997 clauses out of 20021 with flag 2963000/3926456
1706.26/924.14	c cleaning 10007 clauses out of 20025 with flag 2973001/3936457
1711.16/926.87	c cleaning 9994 clauses out of 20017 with flag 2983000/3946456
1715.84/929.47	c cleaning 10009 clauses out of 20023 with flag 2993000/3956456
1720.72/932.39	c cleaning 10002 clauses out of 20014 with flag 3003000/3966456
1725.41/934.94	c cleaning 10002 clauses out of 20012 with flag 3013000/3976456
1729.70/937.36	c cleaning 10001 clauses out of 20011 with flag 3023001/3986457
1734.19/939.86	c cleaning 10000 clauses out of 20009 with flag 3033000/3996456
1738.94/942.70	c cleaning 9996 clauses out of 20010 with flag 3043001/4006457
1743.40/945.16	c cleaning 10000 clauses out of 20014 with flag 3053001/4016457
1747.67/947.58	c cleaning 10003 clauses out of 20015 with flag 3063002/4026458
1752.13/950.04	c cleaning 10001 clauses out of 20010 with flag 3073000/4036456
1756.85/952.84	c cleaning 9995 clauses out of 20009 with flag 3083000/4046456
1761.52/955.41	c cleaning 10002 clauses out of 20014 with flag 3093000/4056456
1765.99/957.94	c cleaning 9997 clauses out of 20012 with flag 3103000/4066456
1770.62/960.55	c cleaning 9995 clauses out of 20017 with flag 3113002/4076458
1775.13/963.29	c cleaning 10006 clauses out of 20020 with flag 3123000/4086456
1779.60/965.71	c cleaning 10002 clauses out of 20015 with flag 3133001/4096457
1783.85/968.10	c cleaning 9999 clauses out of 20013 with flag 3143001/4106457
1788.07/970.52	c cleaning 9998 clauses out of 20013 with flag 3153000/4116456
1792.59/973.28	c cleaning 10000 clauses out of 20015 with flag 3163000/4126456
1797.07/975.72	c cleaning 9999 clauses out of 20017 with flag 3173002/4136458
1800.12/977.51	c starts		: 27
1800.12/977.51	c conflicts		: 4010
1800.12/977.51	c decisions		: 125161
1800.12/977.51	c propagations		: 945682
1800.12/977.51	c inspects		: 61760238
1800.12/977.51	c shortcuts		: 0
1800.12/977.51	c learnt literals	: 0
1800.12/977.51	c learnt binary clauses	: 0
1800.12/977.51	c learnt ternary clauses	: 0
1800.12/977.51	c learnt constraints	: 4008
1800.12/977.51	c ignored constraints	: 0
1800.12/977.51	c root simplifications	: 0
1800.12/977.51	c removed literals (reason simplification)	: 0
1800.12/977.51	c reason swapping (by a shorter reason)	: 0
1800.12/977.51	c Calls to reduceDB	: 0
1800.12/977.51	c number of reductions to clauses (during analyze)	: 0
1800.12/977.51	c number of learned constraints concerned by reduction	: 0
1800.12/977.51	c number of learning phase by resolution	: 0
1800.12/977.51	c number of learning phase by cutting planes	: 0
1800.12/977.51	c speed (assignments/second)	: 1228.0739117956816
1800.12/977.51	c non guided choices	0
1800.12/977.51	c learnt constraints type 
1800.12/977.51	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 54
1800.12/977.51	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 145
1800.12/977.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3809
1800.12/977.51	c constraints type 
1800.12/977.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668
1800.12/977.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.12/977.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161
1800.12/977.51	c constraints type 
1800.12/977.51	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7161
1800.12/977.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1668
1800.12/977.51	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.12/977.51	s SATISFIABLE
1800.12/977.52	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 
1800.12/977.52	c objective function=27
1800.12/977.52	c Total wall clock time (in seconds): 977.152

Verifier Data 

OK	27

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735817-1338712999/watcher-3735817-1338712999 -o /tmp/evaluation-result-3735817-1338712999/solver-3735817-1338712999 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735817-1338712999.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: 1.35 1.80 1.92 3/176 1323
/proc/meminfo: memFree=31415520/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/1323/stat : 1323 (java) R 1321 1323 1279 0 -1 4202496 284 0 0 0 0 0 0 0 20 0 1 0 337426893 278528 33 33554432000 1073741824 1073778376 140734925919760 140735238924680 233402625319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1323/statm: 68 33 25 9 0 25 0

[startup+0.0576529 s]
/proc/loadavg: 1.35 1.80 1.92 3/176 1323
/proc/meminfo: memFree=31415520/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/1323/stat : 1323 (java) D 1321 1323 1279 0 -1 4202496 1022 0 8 0 0 0 0 0 20 0 1 0 337426893 23793664 758 33554432000 1073741824 1073778376 140734925919760 140734925909752 140703150095168 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 4 0 0
/proc/1323/statm: 5809 758 556 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.1003 s]
/proc/loadavg: 1.35 1.80 1.92 3/176 1323
/proc/meminfo: memFree=31415520/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=94112 CPUtime=0 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1321 1323 1279 0 -1 4202496 1198 0 18 0 0 0 0 0 20 0 2 0 337426893 96370688 927 33554432000 1073741824 1073778376 140734925919760 140734925910896 233415147581 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/1323/statm: 23528 931 705 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 94112

[startup+0.300239 s]
/proc/loadavg: 1.35 1.80 1.92 3/176 1323
/proc/meminfo: memFree=31415520/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=11586364 CPUtime=0.07 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1321 1323 1279 0 -1 4202496 4385 0 23 0 5 2 0 0 20 0 18 0 337426893 11864436736 12770 33554432000 1073741824 1073778376 140734925919760 140734925910896 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/1323/statm: 2896591 12770 1757 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586364

[startup+0.700528 s]
/proc/loadavg: 1.35 1.80 1.92 3/176 1323
/proc/meminfo: memFree=31415520/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=11721576 CPUtime=0.93 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1321 1323 1279 0 -1 4202496 10571 0 23 0 89 4 0 0 20 0 22 0 337426893 12002893824 23610 33554432000 1073741824 1073778376 140734925919760 140734925910896 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/1323/statm: 2930394 23610 2247 9 0 2921081 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 11721576

[startup+1.50074 s]
/proc/loadavg: 1.56 1.83 1.93 1/213 1371
/proc/meminfo: memFree=31193968/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1321 1323 1279 0 -1 4202496 10672 0 23 0 118 8 0 0 20 0 19 0 337426893 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140734925910896 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/1323/statm: 2963162 24696 2259 9 0 2953849 0
[pid=1323/tid=1326] ppid=1321 vsize=11852648 CPUtime=0.41 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1321 1323 1279 0 -1 4202560 3389 0 5 0 38 3 0 0 20 0 19 0 337426902 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140703142671512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 13 0 0
[pid=1323/tid=1327] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426908 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140703131732648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1328] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426908 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140703130680104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1329] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426908 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702976863144 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1330] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426908 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702975810600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1331] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426908 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702974757032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1332] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426908 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702973704488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1333] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426908 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702972651944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1334] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1321 1323 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337426908 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702971599400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1345] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1345/stat : 1345 (java) S 1321 1323 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337426912 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702959401576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1347] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1347/stat : 1347 (java) S 1321 1323 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337426913 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702958347896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1350] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1350/stat : 1350 (java) S 1321 1323 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337426913 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702957295240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1352] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1352/stat : 1352 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426920 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702956243984 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1357] ppid=1321 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/1323/task/1357/stat : 1357 (java) S 1321 1323 1279 0 -1 4202560 2524 0 0 0 33 0 0 0 20 0 19 0 337426920 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702955190328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1358] ppid=1321 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/1323/task/1358/stat : 1358 (java) S 1321 1323 1279 0 -1 4202560 3470 0 0 0 31 0 0 0 20 0 19 0 337426920 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702954137784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1360] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1360/stat : 1360 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426920 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702953085432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1362] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1362/stat : 1362 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426920 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702952033096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1366] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1366/stat : 1366 (java) S 1321 1323 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337426963 12137111552 24696 33554432000 1073741824 1073778376 140734925919760 140702947821224 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 11852648

[startup+3.10062 s]
/proc/loadavg: 1.56 1.83 1.93 2/213 1384
/proc/meminfo: memFree=31156796/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=11852648 CPUtime=3.4 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1321 1323 1279 0 -1 4202496 15121 0 23 0 326 14 0 0 20 0 22 0 337426893 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140734925910896 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/1323/statm: 2963162 48466 2266 9 0 2953849 0
[pid=1323/tid=1326] ppid=1321 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1321 1323 1279 0 -1 4202560 3391 0 5 0 41 3 0 0 20 0 22 0 337426902 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140703142671512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 13 0 0
[pid=1323/tid=1327] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140703131732648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1328] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140703130680104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1329] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702976863144 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1330] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702975810600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1331] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702974757032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1332] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702973704488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1333] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702972651944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1334] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1321 1323 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702971599400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1345] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1345/stat : 1345 (java) S 1321 1323 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337426912 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702959401576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1347] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1347/stat : 1347 (java) S 1321 1323 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702958347896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1350] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1350/stat : 1350 (java) S 1321 1323 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702957295240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1352] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1352/stat : 1352 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702956243984 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1357] ppid=1321 vsize=11852648 CPUtime=0.71 cores=0,2,4,6
/proc/1323/task/1357/stat : 1357 (java) S 1321 1323 1279 0 -1 4202560 5635 0 0 0 71 0 0 0 20 0 22 0 337426920 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702955190328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1358] ppid=1321 vsize=11852648 CPUtime=0.72 cores=0,2,4,6
/proc/1323/task/1358/stat : 1358 (java) S 1321 1323 1279 0 -1 4202560 4740 0 0 0 72 0 0 0 20 0 22 0 337426920 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702954137784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1360] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1360/stat : 1360 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702953085432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1362] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1362/stat : 1362 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702952033096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1366] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1366/stat : 1366 (java) S 1321 1323 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337426963 12137111552 48466 33554432000 1073741824 1073778376 140734925919760 140702947821224 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 11852648

[startup+6.30084 s]
/proc/loadavg: 1.56 1.83 1.93 5/219 1409
/proc/meminfo: memFree=30156776/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=11852648 CPUtime=9.71 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1321 1323 1279 0 -1 4202496 15512 0 23 0 944 27 0 0 20 0 22 0 337426893 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140734925910896 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/1323/statm: 2963162 204131 2291 9 0 2953849 0
[pid=1323/tid=1326] ppid=1321 vsize=11852648 CPUtime=0.45 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1321 1323 1279 0 -1 4202560 3391 0 5 0 42 3 0 0 20 0 22 0 337426902 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140703142671528 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 13 0 0
[pid=1323/tid=1327] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1321 1323 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140703131732648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1328] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140703130680104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1329] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1321 1323 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702976863144 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1330] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1321 1323 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702975810600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1331] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1321 1323 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702974757032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1332] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1321 1323 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702973704488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1333] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702972651944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1334] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1321 1323 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337426908 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702971599400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1345] ppid=1321 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/1323/task/1345/stat : 1345 (java) S 1321 1323 1279 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 22 0 337426912 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702959401576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1347] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1347/stat : 1347 (java) S 1321 1323 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702958347896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1350] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1350/stat : 1350 (java) S 1321 1323 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702957295240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1352] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1352/stat : 1352 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702956243984 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1357] ppid=1321 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/1323/task/1357/stat : 1357 (java) S 1321 1323 1279 0 -1 4202560 5640 0 0 0 82 0 0 0 20 0 22 0 337426920 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702955190328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1358] ppid=1321 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/1323/task/1358/stat : 1358 (java) S 1321 1323 1279 0 -1 4202560 4741 0 0 0 86 0 0 0 20 0 22 0 337426920 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702954137784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1360] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1360/stat : 1360 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702953085432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1362] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1362/stat : 1362 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702952033096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1366] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1366/stat : 1366 (java) S 1321 1323 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337426963 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702947821224 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1401] ppid=1321 vsize=11852648 CPUtime=2.48 cores=0,2,4,6
/proc/1323/task/1401/stat : 1401 (java) R 1321 1323 1279 0 -1 4202560 8 0 0 0 248 0 0 0 20 0 22 0 337427265 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702949923784 140703011972143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1402] ppid=1321 vsize=11852648 CPUtime=2.49 cores=0,2,4,6
/proc/1323/task/1402/stat : 1402 (java) R 1321 1323 1279 0 -1 4202560 295 0 0 0 239 10 0 0 20 0 22 0 337427265 12137111552 204131 33554432000 1073741824 1073778376 140734925919760 140702950976184 140703012183756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0

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

[pid=1323/tid=1418] ppid=1321 vsize=11852648 CPUtime=549.83 cores=0,2,4,6
/proc/1323/task/1418/stat : 1418 (java) S 1321 1323 1279 0 -1 4202560 57 0 0 0 54973 10 0 0 20 0 22 0 337447639 12137111552 566842 33554432000 1073741824 1073778376 140734925919760 140702949925304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1419] ppid=1321 vsize=11852648 CPUtime=549.71 cores=0,2,4,6
/proc/1323/task/1419/stat : 1419 (java) S 1321 1323 1279 0 -1 4202560 16 0 0 0 54961 10 0 0 20 0 22 0 337447639 12137111552 566842 33554432000 1073741824 1073778376 140734925919760 140702950976232 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1420] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1420/stat : 1420 (java) S 1321 1323 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337447639 12137111552 566842 33554432000 1073741824 1073778376 140734925919760 140702947820840 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1631.46
Current children cumulated vsize (KiB) 11852648

[startup+942.301 s]
/proc/loadavg: 3.74 3.69 3.10 5/219 1511
/proc/meminfo: memFree=26999132/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=11852648 CPUtime=1738.33 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1321 1323 1279 0 -1 4202496 17518 0 23 0 173729 104 0 0 20 0 22 0 337426893 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140734925910896 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/1323/statm: 2963162 569424 2293 9 0 2953849 0
[pid=1323/tid=1326] ppid=1321 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1321 1323 1279 0 -1 4202560 3674 0 5 0 45 5 0 0 20 0 22 0 337426902 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140703142671512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 13 0 0
[pid=1323/tid=1327] ppid=1321 vsize=11852648 CPUtime=2.09 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1321 1323 1279 0 -1 4202560 67 0 0 0 207 2 0 0 20 0 22 0 337426908 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140703131732648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1328] ppid=1321 vsize=11852648 CPUtime=2.04 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1321 1323 1279 0 -1 4202560 63 0 0 0 202 2 0 0 20 0 22 0 337426908 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140703130680104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1329] ppid=1321 vsize=11852648 CPUtime=2.17 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1321 1323 1279 0 -1 4202560 79 0 0 0 214 3 0 0 20 0 22 0 337426908 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702976863144 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1330] ppid=1321 vsize=11852648 CPUtime=2.1 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1321 1323 1279 0 -1 4202560 70 0 0 0 208 2 0 0 20 0 22 0 337426908 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702975810600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1331] ppid=1321 vsize=11852648 CPUtime=2.15 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1321 1323 1279 0 -1 4202560 71 0 0 0 213 2 0 0 20 0 22 0 337426908 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702974757032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1332] ppid=1321 vsize=11852648 CPUtime=2.17 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1321 1323 1279 0 -1 4202560 74 0 0 0 215 2 0 0 20 0 22 0 337426908 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702973704488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1333] ppid=1321 vsize=11852648 CPUtime=2.2 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1321 1323 1279 0 -1 4202560 69 0 0 0 220 0 0 0 20 0 22 0 337426908 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702972651944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1334] ppid=1321 vsize=11852648 CPUtime=2.23 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1321 1323 1279 0 -1 4202560 82 0 0 0 221 2 0 0 20 0 22 0 337426908 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702971599400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1345] ppid=1321 vsize=11852648 CPUtime=150.45 cores=0,2,4,6
/proc/1323/task/1345/stat : 1345 (java) S 1321 1323 1279 0 -1 4202560 295 0 0 0 15028 17 0 0 20 0 22 0 337426912 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702959401576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1347] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1347/stat : 1347 (java) S 1321 1323 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702958347896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1350] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1350/stat : 1350 (java) S 1321 1323 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702957295240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1352] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1352/stat : 1352 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702956243984 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1357] ppid=1321 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/1323/task/1357/stat : 1357 (java) S 1321 1323 1279 0 -1 4202560 5688 0 0 0 105 1 0 0 20 0 22 0 337426920 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702955190328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1358] ppid=1321 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/1323/task/1358/stat : 1358 (java) S 1321 1323 1279 0 -1 4202560 4914 0 0 0 98 1 0 0 20 0 22 0 337426920 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702954137784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1360] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1360/stat : 1360 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702953085432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1362] ppid=1321 vsize=11852648 CPUtime=0.36 cores=0,2,4,6
/proc/1323/task/1362/stat : 1362 (java) S 1321 1323 1279 0 -1 4202560 52 0 0 0 20 16 0 0 20 0 22 0 337426920 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702952033096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1403] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1403/stat : 1403 (java) S 1321 1323 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337427265 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702948873768 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1418] ppid=1321 vsize=11852648 CPUtime=595.67 cores=0,2,4,6
/proc/1323/task/1418/stat : 1418 (java) R 1321 1323 1279 0 -1 4202560 59 0 0 0 59556 11 0 0 20 0 22 0 337447639 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702949925184 140703011969626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1419] ppid=1321 vsize=11852648 CPUtime=595.55 cores=0,2,4,6
/proc/1323/task/1419/stat : 1419 (java) R 1321 1323 1279 0 -1 4202560 16 0 0 0 59544 11 0 0 20 0 22 0 337447639 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702950975936 140703011803515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1420] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1420/stat : 1420 (java) S 1321 1323 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337447639 12137111552 569424 33554432000 1073741824 1073778376 140734925919760 140702947820840 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1738.33
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+977.501 s]
/proc/loadavg: 3.58 3.66 3.11 6/219 1511
/proc/meminfo: memFree=26399380/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=11852648 CPUtime=1800.12 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1321 1323 1279 0 -1 4202496 17554 0 23 0 179906 106 0 0 20 0 22 0 337426893 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140734925910896 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/1323/statm: 2963162 570975 2293 9 0 2953849 0
[pid=1323/tid=1326] ppid=1321 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1321 1323 1279 0 -1 4202560 3686 0 5 0 45 5 0 0 20 0 22 0 337426902 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140703142671512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 13 0 0
[pid=1323/tid=1327] ppid=1321 vsize=11852648 CPUtime=2.19 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1321 1323 1279 0 -1 4202560 70 0 0 0 217 2 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140703131732648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1328] ppid=1321 vsize=11852648 CPUtime=2.13 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1321 1323 1279 0 -1 4202560 66 0 0 0 211 2 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140703130680104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1329] ppid=1321 vsize=11852648 CPUtime=2.33 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1321 1323 1279 0 -1 4202560 79 0 0 0 230 3 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702976863144 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1330] ppid=1321 vsize=11852648 CPUtime=2.22 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1321 1323 1279 0 -1 4202560 70 0 0 0 220 2 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702975810600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1331] ppid=1321 vsize=11852648 CPUtime=2.3 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1321 1323 1279 0 -1 4202560 71 0 0 0 228 2 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702974757032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1332] ppid=1321 vsize=11852648 CPUtime=2.26 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1321 1323 1279 0 -1 4202560 76 0 0 0 224 2 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702973704488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1333] ppid=1321 vsize=11852648 CPUtime=2.31 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1321 1323 1279 0 -1 4202560 70 0 0 0 231 0 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702972651944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1334] ppid=1321 vsize=11852648 CPUtime=2.36 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1321 1323 1279 0 -1 4202560 88 0 0 0 233 3 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702971599400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1345] ppid=1321 vsize=11852648 CPUtime=159.48 cores=0,2,4,6
/proc/1323/task/1345/stat : 1345 (java) S 1321 1323 1279 0 -1 4202560 301 0 0 0 15931 17 0 0 20 0 22 0 337426912 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702959401576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1347] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1347/stat : 1347 (java) S 1321 1323 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702958347896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1350] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1350/stat : 1350 (java) S 1321 1323 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702957295240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1352] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1352/stat : 1352 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702956243984 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1357] ppid=1321 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/1323/task/1357/stat : 1357 (java) S 1321 1323 1279 0 -1 4202560 5688 0 0 0 105 1 0 0 20 0 22 0 337426920 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702955190328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1358] ppid=1321 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/1323/task/1358/stat : 1358 (java) S 1321 1323 1279 0 -1 4202560 4914 0 0 0 98 1 0 0 20 0 22 0 337426920 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702954137784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1360] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1360/stat : 1360 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702953085432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1362] ppid=1321 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/1323/task/1362/stat : 1362 (java) S 1321 1323 1279 0 -1 4202560 53 0 0 0 21 16 0 0 20 0 22 0 337426920 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702952033096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1403] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1403/stat : 1403 (java) S 1321 1323 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337427265 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702948873768 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1418] ppid=1321 vsize=11852648 CPUtime=621.57 cores=0,2,4,6
/proc/1323/task/1418/stat : 1418 (java) R 1321 1323 1279 0 -1 4202560 61 0 0 0 62146 11 0 0 20 0 22 0 337447639 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702949925184 140703011864471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1419] ppid=1321 vsize=11852648 CPUtime=621.46 cores=0,2,4,6
/proc/1323/task/1419/stat : 1419 (java) R 1321 1323 1279 0 -1 4202560 16 0 0 0 62135 11 0 0 20 0 22 0 337447639 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702950975808 140703011444656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1420] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1420/stat : 1420 (java) S 1321 1323 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337447639 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702947820840 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 11852648

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

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

[startup+977.501 s]
/proc/loadavg: 3.58 3.66 3.11 6/219 1511
/proc/meminfo: memFree=26399380/32873844 swapFree=7116/7116
[pid=1323] ppid=1321 vsize=11852648 CPUtime=1800.12 cores=0,2,4,6
/proc/1323/stat : 1323 (java) S 1321 1323 1279 0 -1 4202496 17554 0 23 0 179906 106 0 0 20 0 22 0 337426893 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140734925910896 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/1323/statm: 2963162 570975 2293 9 0 2953849 0
[pid=1323/tid=1326] ppid=1321 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/1323/task/1326/stat : 1326 (java) S 1321 1323 1279 0 -1 4202560 3686 0 5 0 45 5 0 0 20 0 22 0 337426902 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140703142671512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 13 0 0
[pid=1323/tid=1327] ppid=1321 vsize=11852648 CPUtime=2.19 cores=0,2,4,6
/proc/1323/task/1327/stat : 1327 (java) S 1321 1323 1279 0 -1 4202560 70 0 0 0 217 2 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140703131732648 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1328] ppid=1321 vsize=11852648 CPUtime=2.13 cores=0,2,4,6
/proc/1323/task/1328/stat : 1328 (java) S 1321 1323 1279 0 -1 4202560 66 0 0 0 211 2 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140703130680104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1329] ppid=1321 vsize=11852648 CPUtime=2.33 cores=0,2,4,6
/proc/1323/task/1329/stat : 1329 (java) S 1321 1323 1279 0 -1 4202560 79 0 0 0 230 3 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702976863144 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1330] ppid=1321 vsize=11852648 CPUtime=2.22 cores=0,2,4,6
/proc/1323/task/1330/stat : 1330 (java) S 1321 1323 1279 0 -1 4202560 70 0 0 0 220 2 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702975810600 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1331] ppid=1321 vsize=11852648 CPUtime=2.3 cores=0,2,4,6
/proc/1323/task/1331/stat : 1331 (java) S 1321 1323 1279 0 -1 4202560 71 0 0 0 228 2 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702974757032 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1332] ppid=1321 vsize=11852648 CPUtime=2.26 cores=0,2,4,6
/proc/1323/task/1332/stat : 1332 (java) S 1321 1323 1279 0 -1 4202560 76 0 0 0 224 2 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702973704488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1333] ppid=1321 vsize=11852648 CPUtime=2.31 cores=0,2,4,6
/proc/1323/task/1333/stat : 1333 (java) S 1321 1323 1279 0 -1 4202560 70 0 0 0 231 0 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702972651944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1334] ppid=1321 vsize=11852648 CPUtime=2.36 cores=0,2,4,6
/proc/1323/task/1334/stat : 1334 (java) S 1321 1323 1279 0 -1 4202560 88 0 0 0 233 3 0 0 20 0 22 0 337426908 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702971599400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1345] ppid=1321 vsize=11852648 CPUtime=159.48 cores=0,2,4,6
/proc/1323/task/1345/stat : 1345 (java) S 1321 1323 1279 0 -1 4202560 301 0 0 0 15931 17 0 0 20 0 22 0 337426912 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702959401576 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1323/tid=1347] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1347/stat : 1347 (java) S 1321 1323 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702958347896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1350] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1350/stat : 1350 (java) S 1321 1323 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702957295240 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1352] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1352/stat : 1352 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702956243984 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1357] ppid=1321 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/1323/task/1357/stat : 1357 (java) S 1321 1323 1279 0 -1 4202560 5688 0 0 0 105 1 0 0 20 0 22 0 337426920 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702955190328 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1358] ppid=1321 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/1323/task/1358/stat : 1358 (java) S 1321 1323 1279 0 -1 4202560 4914 0 0 0 98 1 0 0 20 0 22 0 337426920 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702954137784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1323/tid=1360] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1360/stat : 1360 (java) S 1321 1323 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702953085432 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1362] ppid=1321 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/1323/task/1362/stat : 1362 (java) S 1321 1323 1279 0 -1 4202560 53 0 0 0 21 16 0 0 20 0 22 0 337426920 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702952033096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1403] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1403/stat : 1403 (java) S 1321 1323 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337427265 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702948873768 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1418] ppid=1321 vsize=11852648 CPUtime=621.57 cores=0,2,4,6
/proc/1323/task/1418/stat : 1418 (java) R 1321 1323 1279 0 -1 4202560 61 0 0 0 62146 11 0 0 20 0 22 0 337447639 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702949925184 140703011864471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1323/tid=1419] ppid=1321 vsize=11852648 CPUtime=621.46 cores=0,2,4,6
/proc/1323/task/1419/stat : 1419 (java) R 1321 1323 1279 0 -1 4202560 16 0 0 0 62135 11 0 0 20 0 22 0 337447639 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702950975808 140703011444656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1323/tid=1420] ppid=1321 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1323/task/1420/stat : 1420 (java) S 1321 1323 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337447639 12137111552 570975 33554432000 1073741824 1073778376 140734925919760 140702947820840 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 11852648

Child status: 143
Real time (s): 977.549
CPU time (s): 1800.56
CPU user time (s): 1799.12
CPU system time (s): 1.44278
CPU usage (%): 184.192
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.44278
maximum resident set size= 2284020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17587
page faults= 23
swaps= 0
block input operations= 17912
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35325
involuntary context switches= 42295

runsolver used 4.28135 second user time and 8.08277 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-03 10:43:19
IDJOB=3735817
IDBENCH=24997
IDSOLVER=2328
FILE ID=node111/3735817-1338712999
RUNJOBID= node111-1338712999-1295
PBS_JOBID= 14636722
Free space on /tmp= 67396 MiB

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

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

MD5SUM BENCH= c19adaf233257cdd6134391794b23c65
RANDOM SEED=907663711

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31415784 kB
Buffers:          180168 kB
Cached:           488560 kB
SwapCached:         1404 kB
Active:           151268 kB
Inactive:         521336 kB
Active(anon):       5100 kB
Inactive(anon):     1276 kB
Active(file):     146168 kB
Inactive(file):   520060 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100152 kB
Dirty:              1588 kB
Writeback:             0 kB
AnonPages:          9920 kB
Mapped:             8448 kB
Shmem:                 0 kB
Slab:             645884 kB
SReclaimable:      88000 kB
SUnreclaim:       557884 kB
KernelStack:        1376 kB
PageTables:         3516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     125656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 67392 MiB
End job on node111 at 2012-06-03 10:59:39