Trace number 3454111

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)27 1800.34 999.019

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 benchmark3.2785
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.1.v20110525
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.18-164.el5
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		9996466904
0.06/0.08	c Max memory 		10048897024
0.06/0.08	c Total memory 		10048897024
0.06/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3454111-1307193562.opb
0.11/0.11	c reading problem ... 
0.81/0.40	c ... done. Wall clock time 0.287s.
0.81/0.40	c #vars     3187
0.81/0.40	c #constraints  8922
0.81/0.40	c constraints type 
0.81/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668
0.81/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161
0.81/0.40	c constraints type 
0.81/0.40	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7161
0.81/0.40	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1668
0.81/0.45	c  And the winner is Resolution
1.02/0.91	c SATISFIABLE
1.02/0.91	c OPTIMIZING...
1.02/0.91	c Got one! Elapsed wall clock time (in seconds):0.803
1.02/0.91	o 35
1.02/0.93	c  And the winner is Resolution
1.16/1.43	c Got one! Elapsed wall clock time (in seconds):1.317
1.16/1.43	o 34
1.43/1.53	c  And the winner is Resolution
1.80/1.95	c Got one! Elapsed wall clock time (in seconds):1.84
1.80/1.95	o 32
1.99/2.09	c  And the winner is Resolution
2.28/2.46	c Got one! Elapsed wall clock time (in seconds):2.35
2.28/2.46	o 30
4.39/3.41	c  And the winner is Resolution
4.39/3.47	c Got one! Elapsed wall clock time (in seconds):3.359
4.39/3.47	o 29
4.76/3.66	c cleaning 3105 clauses out of 6216 with flag 1000/6216
7.25/4.86	c cleaning 4552 clauses out of 9111 with flag 7000/12216
10.24/6.38	c cleaning 5775 clauses out of 11559 with flag 14000/19216
13.62/8.01	c cleaning 6886 clauses out of 13784 with flag 22000/27216
17.09/9.75	c cleaning 7946 clauses out of 15899 with flag 31001/36217
20.86/11.68	c cleaning 8971 clauses out of 17953 with flag 41001/46217
24.82/13.65	c cleaning 9486 clauses out of 18981 with flag 51000/56216
28.77/15.61	c cleaning 9739 clauses out of 19495 with flag 61000/66216
30.55/16.57	c  And the winner is CuttingPlanes
30.68/17.02	c Got one! Elapsed wall clock time (in seconds):16.916
30.68/17.02	o 28
31.06/17.20	c cleaning 7441 clauses out of 14892 with flag 1000/71352
33.20/18.39	c cleaning 6718 clauses out of 13451 with flag 7000/77352
35.98/19.77	c cleaning 6863 clauses out of 13736 with flag 14003/84355
39.11/21.34	c cleaning 7425 clauses out of 14870 with flag 22000/92352
42.83/23.27	c cleaning 8218 clauses out of 16445 with flag 31000/101352
47.02/25.37	c cleaning 9108 clauses out of 18228 with flag 41001/111353
50.92/27.36	c cleaning 9556 clauses out of 19120 with flag 51001/121353
54.85/29.33	c cleaning 9779 clauses out of 19563 with flag 61000/131352
58.76/31.40	c cleaning 9888 clauses out of 19785 with flag 71001/141353
62.89/33.41	c cleaning 9943 clauses out of 19897 with flag 81001/151353
67.01/35.54	c cleaning 9967 clauses out of 19953 with flag 91000/161352
71.33/37.75	c cleaning 9985 clauses out of 19986 with flag 101000/171352
75.41/39.83	c cleaning 9990 clauses out of 20001 with flag 111000/181352
79.36/41.82	c cleaning 10001 clauses out of 20012 with flag 121001/191353
83.03/43.71	c cleaning 9999 clauses out of 20012 with flag 131002/201354
86.75/45.61	c cleaning 9995 clauses out of 20011 with flag 141000/211352
90.61/47.62	c cleaning 10001 clauses out of 20017 with flag 151001/221353
94.91/49.86	c cleaning 10002 clauses out of 20019 with flag 161004/231356
99.22/52.01	c cleaning 9999 clauses out of 20013 with flag 171000/241352
103.12/54.06	c cleaning 10000 clauses out of 20015 with flag 181001/251353
107.20/56.13	c cleaning 10004 clauses out of 20015 with flag 191001/261353
111.50/58.33	c cleaning 9997 clauses out of 20010 with flag 201000/271352
115.57/60.42	c cleaning 10001 clauses out of 20013 with flag 211000/281352
119.43/62.49	c cleaning 9999 clauses out of 20013 with flag 221001/291353
123.67/64.65	c cleaning 10002 clauses out of 20013 with flag 231000/301352
127.75/66.74	c cleaning 9999 clauses out of 20011 with flag 241000/311352
131.64/68.73	c cleaning 9992 clauses out of 20012 with flag 251000/321352
135.72/70.80	c cleaning 10005 clauses out of 20020 with flag 261000/331352
139.95/73.03	c cleaning 10002 clauses out of 20016 with flag 271001/341353
144.03/75.16	c cleaning 10001 clauses out of 20013 with flag 281000/351352
148.30/77.32	c cleaning 10003 clauses out of 20013 with flag 291001/361353
152.18/79.33	c cleaning 9990 clauses out of 20009 with flag 301000/371352
156.23/81.44	c cleaning 10003 clauses out of 20022 with flag 311003/381355
160.28/83.56	c cleaning 10002 clauses out of 20016 with flag 321000/391352
164.33/85.68	c cleaning 9998 clauses out of 20015 with flag 331001/401353
168.19/87.70	c cleaning 9999 clauses out of 20016 with flag 341000/411352
172.20/89.77	c cleaning 9993 clauses out of 20017 with flag 351000/421352
176.67/92.09	c cleaning 10001 clauses out of 20024 with flag 361000/431352
181.33/94.45	c cleaning 10007 clauses out of 20024 with flag 371001/441353
185.42/96.59	c cleaning 10003 clauses out of 20016 with flag 381000/451352
190.03/98.94	c cleaning 10004 clauses out of 20013 with flag 391000/461352
194.07/101.11	c cleaning 9997 clauses out of 20009 with flag 401000/471352
198.92/103.52	c cleaning 10000 clauses out of 20012 with flag 411000/481352
203.37/105.83	c cleaning 9995 clauses out of 20012 with flag 421000/491352
208.15/108.30	c cleaning 10002 clauses out of 20017 with flag 431000/501352
212.40/110.54	c cleaning 9996 clauses out of 20015 with flag 441000/511352
216.65/112.79	c cleaning 10002 clauses out of 20019 with flag 451000/521352
221.49/115.23	c cleaning 9996 clauses out of 20017 with flag 461000/531352
226.08/117.65	c cleaning 9995 clauses out of 20022 with flag 471001/541353
230.54/119.92	c cleaning 10008 clauses out of 20027 with flag 481001/551353
234.83/122.12	c cleaning 10000 clauses out of 20018 with flag 491000/561352
237.03/123.37	c  And the winner is CuttingPlanes
237.17/123.84	c Got one! Elapsed wall clock time (in seconds):123.736
237.17/123.84	o 27
239.08/124.80	c cleaning 10160 clauses out of 20325 with flag 5002/571659
241.63/126.23	c cleaning 8072 clauses out of 16163 with flag 11000/577657
244.46/127.73	c cleaning 7537 clauses out of 15091 with flag 18000/584657
247.68/129.40	c cleaning 7770 clauses out of 15554 with flag 26000/592657
251.30/131.32	c cleaning 8383 clauses out of 16785 with flag 35001/601658
255.45/133.57	c cleaning 9197 clauses out of 18401 with flag 45000/611657
259.47/135.64	c cleaning 9588 clauses out of 19204 with flag 55000/621657
263.30/137.68	c cleaning 9798 clauses out of 19616 with flag 65000/631657
267.35/139.79	c cleaning 9908 clauses out of 19818 with flag 75000/641657
271.65/142.00	c cleaning 9951 clauses out of 19911 with flag 85001/651658
275.49/144.09	c cleaning 9972 clauses out of 19959 with flag 95000/661657
279.71/146.22	c cleaning 9989 clauses out of 19988 with flag 105001/671658
283.93/148.44	c cleaning 9994 clauses out of 19998 with flag 115000/681657
288.06/150.69	c cleaning 10001 clauses out of 20005 with flag 125001/691658
292.28/152.89	c cleaning 9997 clauses out of 20004 with flag 135001/701658
296.49/155.10	c cleaning 9999 clauses out of 20006 with flag 145000/711657
300.93/157.32	c cleaning 9998 clauses out of 20007 with flag 155000/721657
305.21/159.61	c cleaning 9998 clauses out of 20009 with flag 165000/731657
309.27/161.74	c cleaning 10001 clauses out of 20012 with flag 175001/741658
313.05/163.75	c cleaning 9998 clauses out of 20011 with flag 185001/751658
317.06/165.86	c cleaning 10004 clauses out of 20012 with flag 195000/761657
321.19/168.02	c cleaning 9996 clauses out of 20008 with flag 205000/771657
325.00/170.09	c cleaning 10003 clauses out of 20013 with flag 215001/781658
329.22/172.20	c cleaning 9996 clauses out of 20009 with flag 225000/791657
333.03/174.20	c cleaning 9996 clauses out of 20013 with flag 235000/801657
336.76/176.24	c cleaning 10001 clauses out of 20017 with flag 245000/811657
340.61/178.23	c cleaning 9993 clauses out of 20016 with flag 255000/821657
344.38/180.26	c cleaning 10004 clauses out of 20023 with flag 265000/831657
348.19/182.20	c cleaning 10003 clauses out of 20020 with flag 275001/841658
352.11/184.32	c cleaning 10007 clauses out of 20016 with flag 285000/851657
356.32/186.55	c cleaning 9988 clauses out of 20010 with flag 295001/861658
360.53/188.72	c cleaning 10005 clauses out of 20022 with flag 305001/871658
364.54/190.86	c cleaning 9998 clauses out of 20016 with flag 315000/881657
368.65/193.04	c cleaning 9986 clauses out of 20018 with flag 325000/891657
372.85/195.24	c cleaning 10010 clauses out of 20032 with flag 335000/901657
377.25/197.50	c cleaning 10004 clauses out of 20023 with flag 345001/911658
381.05/199.57	c cleaning 10003 clauses out of 20020 with flag 355002/921659
384.95/201.69	c cleaning 10000 clauses out of 20015 with flag 365000/931657
388.95/203.76	c cleaning 10000 clauses out of 20017 with flag 375002/941659
392.78/205.79	c cleaning 9998 clauses out of 20015 with flag 385000/951657
396.75/207.89	c cleaning 10005 clauses out of 20019 with flag 395002/961659
400.84/210.06	c cleaning 9998 clauses out of 20012 with flag 405000/971657
404.81/212.17	c cleaning 10003 clauses out of 20014 with flag 415000/981657
408.80/214.24	c cleaning 9990 clauses out of 20011 with flag 425000/991657
412.79/216.40	c cleaning 10004 clauses out of 20023 with flag 435002/1001659
417.08/218.65	c cleaning 10001 clauses out of 20017 with flag 445000/1011657
421.06/220.77	c cleaning 9999 clauses out of 20016 with flag 455000/1021657
425.05/222.89	c cleaning 9999 clauses out of 20017 with flag 465000/1031657
429.23/225.10	c cleaning 9998 clauses out of 20018 with flag 475000/1041657
433.32/227.26	c cleaning 10001 clauses out of 20020 with flag 485000/1051657
437.70/229.50	c cleaning 9998 clauses out of 20019 with flag 495000/1061657
441.68/231.69	c cleaning 9999 clauses out of 20021 with flag 505000/1071657
446.06/233.96	c cleaning 10007 clauses out of 20022 with flag 515000/1081657
450.53/236.36	c cleaning 10004 clauses out of 20015 with flag 525000/1091657
454.71/238.59	c cleaning 10002 clauses out of 20012 with flag 535001/1101658
459.11/240.87	c cleaning 9995 clauses out of 20009 with flag 545000/1111657
463.49/243.19	c cleaning 9997 clauses out of 20014 with flag 555000/1121657
467.93/245.53	c cleaning 9994 clauses out of 20017 with flag 565000/1131657
471.90/247.68	c cleaning 10001 clauses out of 20024 with flag 575001/1141658
476.07/249.83	c cleaning 10005 clauses out of 20023 with flag 585001/1151658
480.08/251.97	c cleaning 10002 clauses out of 20017 with flag 595000/1161657
484.30/254.26	c cleaning 10001 clauses out of 20016 with flag 605001/1171658
488.45/256.48	c cleaning 10002 clauses out of 20016 with flag 615002/1181659
492.23/258.50	c cleaning 9996 clauses out of 20012 with flag 625000/1191657
496.59/260.74	c cleaning 10001 clauses out of 20017 with flag 635001/1201658
501.18/263.21	c cleaning 10001 clauses out of 20016 with flag 645001/1211658
504.93/265.26	c cleaning 10004 clauses out of 20019 with flag 655005/1221662
508.69/267.29	c cleaning 9996 clauses out of 20010 with flag 665000/1231657
512.41/269.28	c cleaning 10002 clauses out of 20014 with flag 675000/1241657
516.62/271.51	c cleaning 10001 clauses out of 20013 with flag 685001/1251658
520.56/273.68	c cleaning 10002 clauses out of 20011 with flag 695000/1261657
524.88/275.90	c cleaning 9997 clauses out of 20009 with flag 705000/1271657
529.01/278.16	c cleaning 9995 clauses out of 20012 with flag 715000/1281657
533.24/280.46	c cleaning 10006 clauses out of 20018 with flag 725001/1291658
537.58/282.74	c cleaning 9999 clauses out of 20011 with flag 735000/1301657
541.86/285.00	c cleaning 9991 clauses out of 20012 with flag 745000/1311657
546.18/287.34	c cleaning 9998 clauses out of 20021 with flag 755000/1321657
550.57/289.71	c cleaning 9995 clauses out of 20023 with flag 765000/1331657
554.69/291.98	c cleaning 10005 clauses out of 20028 with flag 775000/1341657
559.00/294.23	c cleaning 10005 clauses out of 20024 with flag 785001/1351658
563.31/296.51	c cleaning 10001 clauses out of 20018 with flag 795000/1361657
567.48/298.86	c cleaning 10002 clauses out of 20017 with flag 805000/1371657
571.59/301.03	c cleaning 9998 clauses out of 20017 with flag 815002/1381659
575.69/303.30	c cleaning 9998 clauses out of 20017 with flag 825000/1391657
580.18/305.61	c cleaning 10000 clauses out of 20019 with flag 835000/1401657
584.36/307.99	c cleaning 9994 clauses out of 20019 with flag 845000/1411657
588.67/310.24	c cleaning 10003 clauses out of 20025 with flag 855000/1421657
592.76/312.48	c cleaning 9995 clauses out of 20022 with flag 865000/1431657
596.85/314.65	c cleaning 10005 clauses out of 20030 with flag 875003/1441660
600.96/316.93	c cleaning 10009 clauses out of 20023 with flag 885001/1451658
605.04/319.19	c cleaning 9997 clauses out of 20013 with flag 895000/1461657
609.33/321.40	c cleaning 10003 clauses out of 20016 with flag 905000/1471657
613.41/323.60	c cleaning 9999 clauses out of 20013 with flag 915000/1481657
617.73/326.04	c cleaning 9999 clauses out of 20016 with flag 925002/1491659
622.61/328.63	c cleaning 9996 clauses out of 20015 with flag 935000/1501657
627.09/331.09	c cleaning 10005 clauses out of 20021 with flag 945002/1511659
631.53/333.40	c cleaning 10002 clauses out of 20017 with flag 955003/1521660
636.02/335.90	c cleaning 9996 clauses out of 20012 with flag 965000/1531657
640.67/338.42	c cleaning 9997 clauses out of 20016 with flag 975000/1541657
645.55/341.08	c cleaning 10005 clauses out of 20023 with flag 985004/1551661
650.36/343.63	c cleaning 9993 clauses out of 20014 with flag 995000/1561657
655.24/346.32	c cleaning 10001 clauses out of 20022 with flag 1005001/1571658
659.88/348.86	c cleaning 10003 clauses out of 20020 with flag 1015000/1581657
664.32/351.25	c cleaning 10003 clauses out of 20017 with flag 1025000/1591657
668.75/353.67	c cleaning 10000 clauses out of 20015 with flag 1035001/1601658
673.23/356.13	c cleaning 10001 clauses out of 20014 with flag 1045000/1611657
677.69/358.55	c cleaning 9997 clauses out of 20014 with flag 1055001/1621658
682.09/360.94	c cleaning 10000 clauses out of 20017 with flag 1065001/1631658
686.32/363.22	c cleaning 10004 clauses out of 20016 with flag 1075000/1641657
690.78/365.78	c cleaning 9999 clauses out of 20013 with flag 1085001/1651658
695.41/368.23	c cleaning 9999 clauses out of 20014 with flag 1095001/1661658
699.87/370.67	c cleaning 10003 clauses out of 20014 with flag 1105000/1671657
704.27/373.08	c cleaning 9999 clauses out of 20011 with flag 1115000/1681657
708.73/375.57	c cleaning 10001 clauses out of 20012 with flag 1125000/1691657
713.18/377.91	c cleaning 9996 clauses out of 20011 with flag 1135000/1701657
717.61/380.38	c cleaning 9999 clauses out of 20017 with flag 1145002/1711659
721.83/382.68	c cleaning 9998 clauses out of 20017 with flag 1155001/1721658
726.47/385.23	c cleaning 10003 clauses out of 20018 with flag 1165000/1731657
730.68/387.59	c cleaning 9995 clauses out of 20015 with flag 1175000/1741657
735.48/390.11	c cleaning 10005 clauses out of 20021 with flag 1185001/1751658
740.32/392.77	c cleaning 9999 clauses out of 20016 with flag 1195001/1761658
745.11/395.46	c cleaning 9998 clauses out of 20016 with flag 1205000/1771657
749.71/397.98	c cleaning 9998 clauses out of 20018 with flag 1215000/1781657
754.35/400.47	c cleaning 10005 clauses out of 20021 with flag 1225001/1791658
758.71/402.84	c cleaning 9999 clauses out of 20015 with flag 1235000/1801657
763.32/405.43	c cleaning 10000 clauses out of 20019 with flag 1245003/1811660
767.92/407.91	c cleaning 9998 clauses out of 20017 with flag 1255001/1821658
772.34/410.35	c cleaning 9992 clauses out of 20018 with flag 1265000/1831657
776.90/412.85	c cleaning 10003 clauses out of 20026 with flag 1275000/1841657
781.53/415.46	c cleaning 10004 clauses out of 20023 with flag 1285000/1851657
786.51/418.11	c cleaning 9999 clauses out of 20020 with flag 1295001/1861658
791.29/420.70	c cleaning 10001 clauses out of 20021 with flag 1305001/1871658
796.07/423.34	c cleaning 10003 clauses out of 20022 with flag 1315003/1881660
800.86/426.01	c cleaning 10001 clauses out of 20017 with flag 1325001/1891658
805.03/428.36	c cleaning 9994 clauses out of 20016 with flag 1335001/1901658
809.41/430.72	c cleaning 10000 clauses out of 20022 with flag 1345001/1911658
813.78/433.15	c cleaning 9999 clauses out of 20021 with flag 1355000/1921657
818.76/435.92	c cleaning 10005 clauses out of 20023 with flag 1365001/1931658
823.13/438.32	c cleaning 9999 clauses out of 20017 with flag 1375000/1941657
827.30/440.62	c cleaning 10004 clauses out of 20018 with flag 1385000/1951657
831.66/443.09	c cleaning 9997 clauses out of 20014 with flag 1395000/1961657
836.44/445.75	c cleaning 10005 clauses out of 20019 with flag 1405002/1971659
841.00/448.26	c cleaning 10001 clauses out of 20012 with flag 1415000/1981657
845.75/450.87	c cleaning 9994 clauses out of 20011 with flag 1425000/1991657
850.50/453.48	c cleaning 10003 clauses out of 20018 with flag 1435001/2001658
856.09/456.55	c cleaning 9999 clauses out of 20015 with flag 1445001/2011658
861.00/459.23	c cleaning 9995 clauses out of 20015 with flag 1455000/2021657
865.54/461.74	c cleaning 10005 clauses out of 20021 with flag 1465001/2031658
870.13/464.27	c cleaning 9998 clauses out of 20015 with flag 1475000/2041657
874.83/466.90	c cleaning 10004 clauses out of 20017 with flag 1485000/2051657
879.37/469.41	c cleaning 10002 clauses out of 20015 with flag 1495002/2061659
883.72/471.88	c cleaning 9998 clauses out of 20011 with flag 1505000/2071657
888.23/474.36	c cleaning 10002 clauses out of 20013 with flag 1515000/2081657
893.15/477.16	c cleaning 10000 clauses out of 20012 with flag 1525001/2091658
898.08/479.82	c cleaning 9997 clauses out of 20011 with flag 1535000/2101657
903.00/482.58	c cleaning 9999 clauses out of 20015 with flag 1545001/2111658
908.32/485.42	c cleaning 10002 clauses out of 20016 with flag 1555001/2121658
913.22/488.22	c cleaning 9994 clauses out of 20016 with flag 1565003/2131660
917.94/490.83	c cleaning 9999 clauses out of 20019 with flag 1575000/2141657
922.65/493.48	c cleaning 10000 clauses out of 20021 with flag 1585001/2151658
927.16/496.00	c cleaning 10001 clauses out of 20021 with flag 1595001/2161658
932.06/498.76	c cleaning 9996 clauses out of 20019 with flag 1605000/2171657
936.76/501.39	c cleaning 10003 clauses out of 20023 with flag 1615000/2181657
941.30/503.85	c cleaning 10005 clauses out of 20020 with flag 1625000/2191657
945.97/506.41	c cleaning 10000 clauses out of 20015 with flag 1635000/2201657
950.87/509.31	c cleaning 9998 clauses out of 20015 with flag 1645000/2211657
955.74/511.98	c cleaning 10000 clauses out of 20018 with flag 1655001/2221658
960.64/514.66	c cleaning 9998 clauses out of 20017 with flag 1665000/2231657
965.53/517.32	c cleaning 9998 clauses out of 20019 with flag 1675000/2241657
970.62/520.31	c cleaning 10001 clauses out of 20022 with flag 1685001/2251658
975.69/523.03	c cleaning 10000 clauses out of 20020 with flag 1695000/2261657
980.60/525.78	c cleaning 10000 clauses out of 20021 with flag 1705001/2271658
985.67/528.53	c cleaning 10000 clauses out of 20021 with flag 1715001/2281658
990.73/531.44	c cleaning 9998 clauses out of 20020 with flag 1725000/2291657
995.81/534.22	c cleaning 9999 clauses out of 20022 with flag 1735000/2301657
1000.89/537.06	c cleaning 10003 clauses out of 20026 with flag 1745003/2311660
1005.97/539.87	c cleaning 10005 clauses out of 20023 with flag 1755003/2321660
1011.23/542.82	c cleaning 10003 clauses out of 20016 with flag 1765001/2331658
1015.70/545.39	c cleaning 9998 clauses out of 20012 with flag 1775000/2341657
1020.37/547.93	c cleaning 10003 clauses out of 20015 with flag 1785001/2351658
1025.04/550.50	c cleaning 10000 clauses out of 20011 with flag 1795000/2361657
1030.09/553.47	c cleaning 9994 clauses out of 20012 with flag 1805001/2371658
1035.15/556.20	c cleaning 10001 clauses out of 20017 with flag 1815000/2381657
1039.84/558.85	c cleaning 10000 clauses out of 20017 with flag 1825001/2391658
1044.67/561.53	c cleaning 10004 clauses out of 20019 with flag 1835003/2401660
1049.69/564.48	c cleaning 9997 clauses out of 20012 with flag 1845000/2411657
1054.74/567.24	c cleaning 9991 clauses out of 20015 with flag 1855000/2421657
1059.59/569.97	c cleaning 10008 clauses out of 20025 with flag 1865001/2431658
1064.45/572.61	c cleaning 9994 clauses out of 20016 with flag 1875000/2441657
1069.26/575.48	c cleaning 10000 clauses out of 20022 with flag 1885000/2451657
1074.11/578.12	c cleaning 9999 clauses out of 20022 with flag 1895000/2461657
1078.78/580.75	c cleaning 10003 clauses out of 20023 with flag 1905000/2471657
1083.40/583.38	c cleaning 10003 clauses out of 20021 with flag 1915001/2481658
1088.25/586.18	c cleaning 10003 clauses out of 20018 with flag 1925001/2491658
1092.89/588.79	c cleaning 10001 clauses out of 20015 with flag 1935001/2501658
1097.74/591.41	c cleaning 10000 clauses out of 20014 with flag 1945001/2511658
1102.57/594.12	c cleaning 9997 clauses out of 20013 with flag 1955000/2521657
1107.55/597.04	c cleaning 10004 clauses out of 20016 with flag 1965000/2531657
1112.17/599.69	c cleaning 9998 clauses out of 20012 with flag 1975000/2541657
1117.00/602.34	c cleaning 9997 clauses out of 20015 with flag 1985001/2551658
1121.65/604.99	c cleaning 10001 clauses out of 20017 with flag 1995000/2561657
1126.80/607.93	c cleaning 10002 clauses out of 20016 with flag 2005000/2571657
1131.46/610.56	c cleaning 9993 clauses out of 20014 with flag 2015000/2581657
1136.04/613.11	c cleaning 10007 clauses out of 20022 with flag 2025001/2591658
1140.45/615.64	c cleaning 9999 clauses out of 20014 with flag 2035000/2601657
1145.23/618.48	c cleaning 9998 clauses out of 20016 with flag 2045001/2611658
1149.84/621.07	c cleaning 10003 clauses out of 20018 with flag 2055001/2621658
1154.69/623.73	c cleaning 10004 clauses out of 20014 with flag 2065000/2631657
1160.05/626.73	c cleaning 9998 clauses out of 20010 with flag 2075000/2641657
1165.00/629.61	c cleaning 9999 clauses out of 20012 with flag 2085000/2651657
1169.39/632.12	c cleaning 9999 clauses out of 20014 with flag 2095001/2661658
1173.80/634.64	c cleaning 10001 clauses out of 20015 with flag 2105001/2671658
1178.37/637.20	c cleaning 9994 clauses out of 20013 with flag 2115000/2681657
1182.90/639.93	c cleaning 10004 clauses out of 20020 with flag 2125001/2691658
1187.69/642.63	c cleaning 9998 clauses out of 20016 with flag 2135001/2701658
1192.27/645.25	c cleaning 9999 clauses out of 20017 with flag 2145000/2711657
1196.65/647.77	c cleaning 9997 clauses out of 20018 with flag 2155000/2721657
1201.37/650.52	c cleaning 10004 clauses out of 20021 with flag 2165000/2731657
1205.74/653.08	c cleaning 10000 clauses out of 20017 with flag 2175000/2741657
1210.35/655.65	c cleaning 10003 clauses out of 20017 with flag 2185000/2751657
1214.89/658.21	c cleaning 9996 clauses out of 20014 with flag 2195000/2761657
1219.62/661.10	c cleaning 10001 clauses out of 20018 with flag 2205000/2771657
1224.17/663.65	c cleaning 10003 clauses out of 20017 with flag 2215000/2781657
1228.54/666.12	c cleaning 10002 clauses out of 20014 with flag 2225000/2791657
1233.13/668.74	c cleaning 9996 clauses out of 20012 with flag 2235000/2801657
1237.99/671.61	c cleaning 10003 clauses out of 20018 with flag 2245002/2811659
1242.58/674.26	c cleaning 10001 clauses out of 20014 with flag 2255001/2821658
1247.52/677.03	c cleaning 9998 clauses out of 20012 with flag 2265000/2831657
1251.87/679.57	c cleaning 10002 clauses out of 20018 with flag 2275004/2841661
1256.55/682.39	c cleaning 9998 clauses out of 20013 with flag 2285001/2851658
1261.29/685.04	c cleaning 10000 clauses out of 20014 with flag 2295000/2861657
1266.05/687.73	c cleaning 9998 clauses out of 20014 with flag 2305000/2871657
1270.60/690.33	c cleaning 10001 clauses out of 20016 with flag 2315000/2881657
1275.46/693.29	c cleaning 10003 clauses out of 20015 with flag 2325000/2891657
1280.40/696.04	c cleaning 9993 clauses out of 20012 with flag 2335000/2901657
1285.12/698.78	c cleaning 9997 clauses out of 20019 with flag 2345000/2911657
1290.05/701.54	c cleaning 10008 clauses out of 20024 with flag 2355002/2921659
1295.29/704.64	c cleaning 10001 clauses out of 20014 with flag 2365000/2931657
1300.41/707.50	c cleaning 9999 clauses out of 20013 with flag 2375000/2941657
1305.14/710.27	c cleaning 10001 clauses out of 20015 with flag 2385001/2951658
1310.05/713.07	c cleaning 9993 clauses out of 20013 with flag 2395000/2961657
1315.33/716.14	c cleaning 10001 clauses out of 20021 with flag 2405001/2971658
1320.21/718.93	c cleaning 10002 clauses out of 20022 with flag 2415003/2981660
1325.12/721.75	c cleaning 9997 clauses out of 20017 with flag 2425000/2991657
1330.04/724.53	c cleaning 9996 clauses out of 20020 with flag 2435000/3001657
1335.66/727.83	c cleaning 10001 clauses out of 20024 with flag 2445000/3011657
1341.17/730.90	c cleaning 10004 clauses out of 20023 with flag 2455000/3021657
1346.50/733.94	c cleaning 10004 clauses out of 20021 with flag 2465002/3031659
1351.82/736.95	c cleaning 10003 clauses out of 20015 with flag 2475000/3041657
1357.20/740.15	c cleaning 9999 clauses out of 20013 with flag 2485001/3051658
1362.51/743.13	c cleaning 9995 clauses out of 20013 with flag 2495000/3061657
1367.61/746.06	c cleaning 9996 clauses out of 20018 with flag 2505000/3071657
1372.93/749.02	c cleaning 10002 clauses out of 20023 with flag 2515001/3081658
1378.52/752.39	c cleaning 10001 clauses out of 20020 with flag 2525000/3091657
1383.60/755.26	c cleaning 9998 clauses out of 20019 with flag 2535000/3101657
1388.88/758.27	c cleaning 9999 clauses out of 20021 with flag 2545000/3111657
1394.20/761.25	c cleaning 10000 clauses out of 20022 with flag 2555000/3121657
1399.79/764.55	c cleaning 10006 clauses out of 20022 with flag 2565000/3131657
1405.05/767.50	c cleaning 9998 clauses out of 20016 with flag 2575000/3141657
1410.14/770.42	c cleaning 9996 clauses out of 20018 with flag 2585000/3151657
1415.42/773.45	c cleaning 10004 clauses out of 20023 with flag 2595001/3161658
1421.20/776.83	c cleaning 10004 clauses out of 20019 with flag 2605001/3171658
1426.50/779.88	c cleaning 9995 clauses out of 20014 with flag 2615000/3181657
1432.16/783.09	c cleaning 10001 clauses out of 20021 with flag 2625002/3191659
1437.84/786.28	c cleaning 9995 clauses out of 20018 with flag 2635000/3201657
1443.42/789.56	c cleaning 10006 clauses out of 20023 with flag 2645000/3211657
1448.70/792.51	c cleaning 9997 clauses out of 20017 with flag 2655000/3221657
1453.19/795.16	c cleaning 9998 clauses out of 20021 with flag 2665001/3231658
1458.06/797.95	c cleaning 9995 clauses out of 20022 with flag 2675000/3241657
1463.02/800.93	c cleaning 10007 clauses out of 20027 with flag 2685000/3251657
1467.69/803.68	c cleaning 10004 clauses out of 20020 with flag 2695000/3261657
1472.39/806.38	c cleaning 10004 clauses out of 20017 with flag 2705001/3271658
1477.02/809.05	c cleaning 9996 clauses out of 20012 with flag 2715000/3281657
1482.37/812.21	c cleaning 9999 clauses out of 20017 with flag 2725001/3291658
1487.03/815.01	c cleaning 10000 clauses out of 20017 with flag 2735000/3301657
1492.29/817.91	c cleaning 9998 clauses out of 20018 with flag 2745001/3311658
1497.15/820.74	c cleaning 10005 clauses out of 20019 with flag 2755000/3321657
1502.52/824.00	c cleaning 9993 clauses out of 20014 with flag 2765000/3331657
1507.35/826.76	c cleaning 9999 clauses out of 20021 with flag 2775000/3341657
1512.40/829.62	c cleaning 10002 clauses out of 20022 with flag 2785000/3351657
1517.07/832.36	c cleaning 10002 clauses out of 20021 with flag 2795001/3361658
1522.21/835.42	c cleaning 10002 clauses out of 20020 with flag 2805002/3371659
1527.27/838.31	c cleaning 9997 clauses out of 20016 with flag 2815000/3381657
1532.13/841.13	c cleaning 10001 clauses out of 20020 with flag 2825001/3391658
1536.79/843.89	c cleaning 10001 clauses out of 20019 with flag 2835001/3401658
1541.94/847.01	c cleaning 9994 clauses out of 20017 with flag 2845000/3411657
1546.97/849.83	c cleaning 10004 clauses out of 20023 with flag 2855000/3421657
1551.82/852.69	c cleaning 9999 clauses out of 20019 with flag 2865000/3431657
1556.87/855.52	c cleaning 10001 clauses out of 20021 with flag 2875001/3441658
1561.79/858.59	c cleaning 9992 clauses out of 20019 with flag 2885000/3451657
1566.67/861.39	c cleaning 10002 clauses out of 20027 with flag 2895000/3461657
1571.49/864.11	c cleaning 9994 clauses out of 20025 with flag 2905000/3471657
1576.17/866.84	c cleaning 10000 clauses out of 20031 with flag 2915000/3481657
1581.25/869.99	c cleaning 10006 clauses out of 20032 with flag 2925001/3491658
1586.08/872.80	c cleaning 9996 clauses out of 20025 with flag 2935000/3501657
1591.16/875.65	c cleaning 10006 clauses out of 20029 with flag 2945000/3511657
1595.76/878.37	c cleaning 10001 clauses out of 20023 with flag 2955000/3521657
1600.86/881.44	c cleaning 9994 clauses out of 20022 with flag 2965000/3531657
1605.70/884.22	c cleaning 10004 clauses out of 20028 with flag 2975000/3541657
1610.32/886.97	c cleaning 10000 clauses out of 20024 with flag 2985000/3551657
1615.16/889.70	c cleaning 10001 clauses out of 20024 with flag 2995000/3561657
1620.45/892.94	c cleaning 10000 clauses out of 20024 with flag 3005001/3571658
1624.89/895.55	c cleaning 10006 clauses out of 20024 with flag 3015001/3581658
1630.12/898.51	c cleaning 10000 clauses out of 20018 with flag 3025001/3591658
1634.95/901.37	c cleaning 9998 clauses out of 20017 with flag 3035000/3601657
1640.05/904.49	c cleaning 10003 clauses out of 20020 with flag 3045001/3611658
1645.08/907.33	c cleaning 10002 clauses out of 20017 with flag 3055001/3621658
1650.31/910.32	c cleaning 9995 clauses out of 20014 with flag 3065000/3631657
1655.54/913.35	c cleaning 10002 clauses out of 20020 with flag 3075001/3641658
1660.62/916.48	c cleaning 10002 clauses out of 20019 with flag 3085002/3651659
1665.45/919.26	c cleaning 10001 clauses out of 20017 with flag 3095002/3661659
1670.48/922.16	c cleaning 10004 clauses out of 20015 with flag 3105001/3671658
1675.10/924.80	c cleaning 9992 clauses out of 20010 with flag 3115000/3681657
1679.99/927.89	c cleaning 10004 clauses out of 20019 with flag 3125001/3691658
1685.01/930.70	c cleaning 9997 clauses out of 20014 with flag 3135000/3701657
1689.83/933.51	c cleaning 10001 clauses out of 20017 with flag 3145000/3711657
1694.65/936.34	c cleaning 9998 clauses out of 20016 with flag 3155000/3721657
1699.76/939.45	c cleaning 9997 clauses out of 20018 with flag 3165000/3731657
1704.73/942.38	c cleaning 10004 clauses out of 20022 with flag 3175001/3741658
1709.55/945.12	c cleaning 10007 clauses out of 20018 with flag 3185001/3751658
1713.96/947.74	c cleaning 10001 clauses out of 20011 with flag 3195001/3761658
1718.83/950.70	c cleaning 9993 clauses out of 20009 with flag 3205000/3771657
1723.24/953.37	c cleaning 10002 clauses out of 20017 with flag 3215001/3781658
1727.87/956.01	c cleaning 10001 clauses out of 20014 with flag 3225000/3791657
1732.48/958.79	c cleaning 9998 clauses out of 20013 with flag 3235000/3801657
1737.54/961.86	c cleaning 10004 clauses out of 20015 with flag 3245000/3811657
1742.38/964.64	c cleaning 9998 clauses out of 20011 with flag 3255000/3821657
1746.96/967.35	c cleaning 10001 clauses out of 20013 with flag 3265000/3831657
1751.56/970.03	c cleaning 9997 clauses out of 20012 with flag 3275000/3841657
1756.60/973.13	c cleaning 9997 clauses out of 20015 with flag 3285000/3851657
1761.61/976.03	c cleaning 9999 clauses out of 20020 with flag 3295002/3861659
1766.62/978.96	c cleaning 9999 clauses out of 20019 with flag 3305000/3871657
1771.78/981.91	c cleaning 10005 clauses out of 20021 with flag 3315001/3881658
1777.02/985.15	c cleaning 9999 clauses out of 20015 with flag 3325000/3891657
1782.00/988.07	c cleaning 9993 clauses out of 20016 with flag 3335000/3901657
1786.99/991.00	c cleaning 10003 clauses out of 20024 with flag 3345001/3911658
1792.15/993.94	c cleaning 10002 clauses out of 20020 with flag 3355000/3921657
1797.58/997.23	c cleaning 10000 clauses out of 20019 with flag 3365001/3931658
1800.17/998.92	c starts		: 28
1800.17/998.92	c conflicts		: 4575
1800.17/998.92	c decisions		: 146790
1800.17/998.92	c propagations		: 994291
1800.17/998.92	c inspects		: 65605567
1800.17/998.92	c shortcuts		: 0
1800.17/998.92	c learnt literals	: 0
1800.17/998.92	c learnt binary clauses	: 0
1800.17/998.92	c learnt ternary clauses	: 0
1800.17/998.92	c learnt constraints	: 4573
1800.17/998.92	c ignored constraints	: 0
1800.17/998.92	c root simplifications	: 0
1800.17/998.92	c removed literals (reason simplification)	: 0
1800.17/998.92	c reason swapping (by a shorter reason)	: 0
1800.17/998.92	c Calls to reduceDB	: 0
1800.17/998.92	c number of reductions to clauses (during analyze)	: 0
1800.17/998.92	c number of learned constraints concerned by reduction	: 0
1800.17/998.92	c number of learning phase by resolution	: 0
1800.17/998.92	c number of learning phase by cutting planes	: 0
1800.17/998.92	c speed (assignments/second)	: 1136.2325829612707
1800.17/998.92	c non guided choices	0
1800.17/998.93	c learnt constraints type 
1800.17/998.93	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 54
1800.17/998.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 171
1800.17/998.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4348
1800.17/998.93	c constraints type 
1800.17/998.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668
1800.17/998.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.17/998.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161
1800.17/998.93	c constraints type 
1800.17/998.93	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7161
1800.17/998.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1668
1800.17/998.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.17/998.93	s SATISFIABLE
1800.17/998.94	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.17/998.94	c objective function=27
1800.17/998.94	c Total wall clock time (in seconds): 998.83

Verifier Data 

OK	27

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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


[startup+0 s]
/proc/loadavg: 3.83 3.93 3.83 2/506 23255
/proc/meminfo: memFree=21244520/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 3650 0 1 0 0 0 0 0 22 0 2 0 563547448 10694979584 3351 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2611079 3365 917 9 0 2602235 0
[pid=23255/tid=23256] ppid=23253 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) R 23253 23255 17058 0 -1 4202560 6980 0 1 0 0 0 0 0 24 0 2 0 563547448 10694979584 7796 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0751041 s]
/proc/loadavg: 3.83 3.93 3.83 2/506 23255
/proc/meminfo: memFree=21244520/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 11954 0 1 0 5 1 0 0 22 0 18 0 563547448 10724442112 11650 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2618272 11650 1755 9 0 2609006 0
[pid=23255/tid=23256] ppid=23253 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) R 23253 23255 17058 0 -1 4202560 10779 0 1 0 5 1 0 0 25 0 18 0 563547448 10724442112 11651 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 47870409641059 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.101102 s]
/proc/loadavg: 3.83 3.93 3.83 2/506 23255
/proc/meminfo: memFree=21244520/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10539784 CPUtime=0.11 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 13085 0 1 0 9 2 0 0 22 0 18 0 563547448 10792738816 12780 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2634946 12780 2093 9 0 2625680 0
[pid=23255/tid=23256] ppid=23253 vsize=10539784 CPUtime=0.08 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) R 23253 23255 17058 0 -1 4202560 11151 0 1 0 7 1 0 0 18 0 18 0 563547448 10792738816 12781 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 47870408684597 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539784

[startup+0.30139 s]
/proc/loadavg: 3.83 3.93 3.83 2/506 23255
/proc/meminfo: memFree=21244520/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10540580 CPUtime=0.51 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 16614 0 1 0 49 2 0 0 22 0 18 0 563547448 10793553920 15731 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2635145 15732 2202 9 0 2625879 0
[pid=23255/tid=23256] ppid=23253 vsize=10540580 CPUtime=0.28 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) R 23253 23255 17058 0 -1 4202560 13361 0 1 0 27 1 0 0 18 0 18 0 563547448 10793553920 15733 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912505565861 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10540580

[startup+0.701004 s]
/proc/loadavg: 3.83 3.93 3.83 2/506 23255
/proc/meminfo: memFree=21244520/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10550692 CPUtime=1.02 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 24169 0 1 0 98 4 0 0 22 0 19 0 563547448 10803908608 21792 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2637673 21792 2231 9 0 2628407 0
[pid=23255/tid=23256] ppid=23253 vsize=10550692 CPUtime=0.38 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 16958 0 1 0 36 2 0 0 19 0 19 0 563547448 10803908608 21792 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10550692

[startup+1.50082 s]
/proc/loadavg: 3.83 3.93 3.83 3/528 23288
/proc/meminfo: memFree=21158828/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10550692 CPUtime=1.43 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 25168 0 1 0 139 4 0 0 22 0 22 0 563547448 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2637673 22533 2238 9 0 2628407 0
[pid=23255/tid=23256] ppid=23253 vsize=10550692 CPUtime=0.41 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17270 0 1 0 39 2 0 0 17 0 22 0 563547448 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23258] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23259] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23260] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23262] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23263] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23265] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23266] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23267] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23268] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 563547451 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23269] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 563547451 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23270] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563547451 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23271] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23272] ppid=23253 vsize=10550692 CPUtime=0.38 cores=1,3,5,7
/proc/23255/task/23272/stat : 23272 (java) R 23253 23255 17058 0 -1 4202560 2903 0 0 0 38 0 0 0 16 0 22 0 563547453 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 47870404025456 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23255/tid=23273] ppid=23253 vsize=10550692 CPUtime=0.35 cores=1,3,5,7
/proc/23255/task/23273/stat : 23273 (java) R 23253 23255 17058 0 -1 4202560 3247 0 0 0 35 0 0 0 16 0 22 0 563547453 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 47870408176450 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23255/tid=23274] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23274/stat : 23274 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23275] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23275/stat : 23275 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563547453 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23278] ppid=23253 vsize=10550692 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23278/stat : 23278 (java) S 23253 23255 17058 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 563547490 10803908608 22533 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10550692

[startup+3.10153 s]
/proc/loadavg: 3.83 3.93 3.83 5/529 23297
/proc/meminfo: memFree=20882780/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10552760 CPUtime=3.79 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 48659 0 1 0 372 7 0 0 22 0 22 0 563547448 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2638190 44620 2243 9 0 2628924 0
[pid=23255/tid=23256] ppid=23253 vsize=10552760 CPUtime=0.43 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17556 0 1 0 40 3 0 0 15 0 22 0 563547448 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23258] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23259] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23260] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23262] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23263] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23265] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23266] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23267] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547450 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23268] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23269] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 563547451 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23270] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563547451 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23271] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23272] ppid=23253 vsize=10552760 CPUtime=0.72 cores=1,3,5,7
/proc/23255/task/23272/stat : 23272 (java) S 23253 23255 17058 0 -1 4202560 5692 0 0 0 71 1 0 0 15 0 22 0 563547453 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23273] ppid=23253 vsize=10552760 CPUtime=0.68 cores=1,3,5,7
/proc/23255/task/23273/stat : 23273 (java) S 23253 23255 17058 0 -1 4202560 3952 0 0 0 68 0 0 0 15 0 22 0 563547453 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23274] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23274/stat : 23274 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23275] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23275/stat : 23275 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563547453 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23278] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23278/stat : 23278 (java) S 23253 23255 17058 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 563547490 10806026240 44620 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 10552760

[startup+6.30097 s]
/proc/loadavg: 3.68 3.90 3.82 5/531 23303
/proc/meminfo: memFree=19298812/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10552760 CPUtime=10.24 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 242233 0 1 0 997 27 0 0 22 0 22 0 563547448 10806026240 238175 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2638190 238185 2268 9 0 2628924 0
[pid=23255/tid=23256] ppid=23253 vsize=10552760 CPUtime=0.43 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17699 0 1 0 40 3 0 0 15 0 22 0 563547448 10806026240 238187 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23258] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 207 0 0 0 0 0 0 0 16 0 22 0 563547450 10806026240 238188 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23259] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 169 0 0 0 0 0 0 0 16 0 22 0 563547450 10806026240 238194 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23260] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 22 0 563547450 10806026240 238200 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23262] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563547450 10806026240 238200 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23263] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 22 0 563547450 10806026240 238205 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23265] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 441 0 0 0 0 0 0 0 18 0 22 0 563547450 10806026240 238212 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23266] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 395 0 0 0 0 0 0 0 18 0 22 0 563547450 10806026240 238212 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23267] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 557 0 0 0 0 0 0 0 18 0 22 0 563547450 10806026240 238216 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23268] ppid=23253 vsize=10552760 CPUtime=0.05 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 1945 0 0 0 5 0 0 0 15 0 22 0 563547451 10806026240 238223 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23269] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 238225 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23270] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 238226 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23271] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 238233 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23272] ppid=23253 vsize=10552760 CPUtime=0.81 cores=1,3,5,7
/proc/23255/task/23272/stat : 23272 (java) S 23253 23255 17058 0 -1 4202560 5696 0 0 0 80 1 0 0 15 0 22 0 563547453 10806026240 238237 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23273] ppid=23253 vsize=10552760 CPUtime=0.82 cores=1,3,5,7
/proc/23255/task/23273/stat : 23273 (java) S 23253 23255 17058 0 -1 4202560 3961 0 0 0 82 0 0 0 16 0 22 0 563547453 10806026240 238237 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0

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

[pid=23255/tid=23316] ppid=23253 vsize=10552760 CPUtime=599.54 cores=1,3,5,7
/proc/23255/task/23316/stat : 23316 (java) R 23253 23255 17058 0 -1 4202560 51 0 0 0 59954 0 0 0 16 0 22 0 563559833 10806026240 494966 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912505789652 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23255/tid=23317] ppid=23253 vsize=10552760 CPUtime=599.58 cores=1,3,5,7
/proc/23255/task/23317/stat : 23317 (java) R 23253 23255 17058 0 -1 4202560 14384 0 0 0 59957 1 0 0 15 0 22 0 563559833 10806026240 494966 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912506139106 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23255/tid=23318] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23318/stat : 23318 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563559833 10806026240 494966 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 10552760

[startup+942.301 s]
/proc/loadavg: 3.18 3.63 3.75 3/504 23370
/proc/meminfo: memFree=19391920/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10552760 CPUtime=1704.73 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 502055 0 1 0 170410 63 0 0 22 0 22 0 563547448 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2638190 497498 2270 9 0 2628924 0
[pid=23255/tid=23256] ppid=23253 vsize=10552760 CPUtime=0.44 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17920 0 1 0 41 3 0 0 15 0 22 0 563547448 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23258] ppid=23253 vsize=10552760 CPUtime=1.4 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 1361 0 0 0 139 1 0 0 15 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23259] ppid=23253 vsize=10552760 CPUtime=1.59 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 990 0 0 0 159 0 0 0 16 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23260] ppid=23253 vsize=10552760 CPUtime=1.36 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 745 0 0 0 136 0 0 0 16 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23262] ppid=23253 vsize=10552760 CPUtime=1.48 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 612 0 0 0 148 0 0 0 16 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23263] ppid=23253 vsize=10552760 CPUtime=1.43 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 435 0 0 0 143 0 0 0 16 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23265] ppid=23253 vsize=10552760 CPUtime=1.41 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 1394 0 0 0 141 0 0 0 15 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23266] ppid=23253 vsize=10552760 CPUtime=1.37 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 650 0 0 0 137 0 0 0 15 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23267] ppid=23253 vsize=10552760 CPUtime=1.36 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 1206 0 0 0 136 0 0 0 15 0 22 0 563547450 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23268] ppid=23253 vsize=10552760 CPUtime=180.23 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 107253 0 0 0 18011 12 0 0 15 0 22 0 563547451 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23269] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23270] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23271] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23272] ppid=23253 vsize=10552760 CPUtime=1.12 cores=1,3,5,7
/proc/23255/task/23272/stat : 23272 (java) S 23253 23255 17058 0 -1 4202560 5754 0 0 0 111 1 0 0 15 0 22 0 563547453 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23273] ppid=23253 vsize=10552760 CPUtime=0.87 cores=1,3,5,7
/proc/23255/task/23273/stat : 23273 (java) S 23253 23255 17058 0 -1 4202560 3961 0 0 0 87 0 0 0 15 0 22 0 563547453 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23274] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23274/stat : 23274 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23275] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23275/stat : 23275 (java) S 23253 23255 17058 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 563547453 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23303] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23303/stat : 23303 (java) S 23253 23255 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 563547795 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23316] ppid=23253 vsize=10552760 CPUtime=641.71 cores=1,3,5,7
/proc/23255/task/23316/stat : 23316 (java) R 23253 23255 17058 0 -1 4202560 71 0 0 0 64171 0 0 0 21 0 22 0 563559833 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912505877861 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23255/tid=23317] ppid=23253 vsize=10552760 CPUtime=641.75 cores=1,3,5,7
/proc/23255/task/23317/stat : 23317 (java) R 23253 23255 17058 0 -1 4202560 14384 0 0 0 64174 1 0 0 21 0 22 0 563559833 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912506020407 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23255/tid=23318] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23318/stat : 23318 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563559833 10806026240 497498 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1704.73
Current children cumulated vsize (KiB) 10552760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+998.901 s]
/proc/loadavg: 2.32 3.30 3.62 3/504 23372
/proc/meminfo: memFree=19372184/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10552760 CPUtime=1800.17 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 507070 0 1 0 179953 64 0 0 22 0 22 0 563547448 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2638190 502485 2270 9 0 2628924 0
[pid=23255/tid=23256] ppid=23253 vsize=10552760 CPUtime=0.44 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17920 0 1 0 41 3 0 0 15 0 22 0 563547448 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23258] ppid=23253 vsize=10552760 CPUtime=1.49 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 1361 0 0 0 148 1 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23259] ppid=23253 vsize=10552760 CPUtime=1.73 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 992 0 0 0 173 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23260] ppid=23253 vsize=10552760 CPUtime=1.48 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 746 0 0 0 148 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23262] ppid=23253 vsize=10552760 CPUtime=1.64 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 620 0 0 0 164 0 0 0 15 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23263] ppid=23253 vsize=10552760 CPUtime=1.55 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 441 0 0 0 155 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23265] ppid=23253 vsize=10552760 CPUtime=1.5 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 1399 0 0 0 150 0 0 0 15 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23266] ppid=23253 vsize=10552760 CPUtime=1.46 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 651 0 0 0 146 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23267] ppid=23253 vsize=10552760 CPUtime=1.49 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 1209 0 0 0 148 1 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23268] ppid=23253 vsize=10552760 CPUtime=198.41 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 112218 0 0 0 19828 13 0 0 16 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23269] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23270] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23271] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23272] ppid=23253 vsize=10552760 CPUtime=1.12 cores=1,3,5,7
/proc/23255/task/23272/stat : 23272 (java) S 23253 23255 17058 0 -1 4202560 5754 0 0 0 111 1 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23273] ppid=23253 vsize=10552760 CPUtime=0.87 cores=1,3,5,7
/proc/23255/task/23273/stat : 23273 (java) S 23253 23255 17058 0 -1 4202560 3961 0 0 0 87 0 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23274] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23274/stat : 23274 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23275] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23275/stat : 23275 (java) S 23253 23255 17058 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23303] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23303/stat : 23303 (java) S 23253 23255 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 563547795 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23316] ppid=23253 vsize=10552760 CPUtime=679.87 cores=1,3,5,7
/proc/23255/task/23316/stat : 23316 (java) R 23253 23255 17058 0 -1 4202560 91 0 0 0 67987 0 0 0 18 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912505915167 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23255/tid=23317] ppid=23253 vsize=10552760 CPUtime=679.91 cores=1,3,5,7
/proc/23255/task/23317/stat : 23317 (java) R 23253 23255 17058 0 -1 4202560 14384 0 0 0 67990 1 0 0 19 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912506143528 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23255/tid=23318] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23318/stat : 23318 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10552760

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

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

[startup+998.901 s]
/proc/loadavg: 2.32 3.30 3.62 3/504 23372
/proc/meminfo: memFree=19372184/32951124 swapFree=46575304/67111528
[pid=23255] ppid=23253 vsize=10552760 CPUtime=1800.17 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 17058 0 -1 4202496 507070 0 1 0 179953 64 0 0 22 0 22 0 563547448 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23255/statm: 2638190 502485 2270 9 0 2628924 0
[pid=23255/tid=23256] ppid=23253 vsize=10552760 CPUtime=0.44 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) S 23253 23255 17058 0 -1 4202560 17920 0 1 0 41 3 0 0 15 0 22 0 563547448 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23258] ppid=23253 vsize=10552760 CPUtime=1.49 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23253 23255 17058 0 -1 4202560 1361 0 0 0 148 1 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
[pid=23255/tid=23259] ppid=23253 vsize=10552760 CPUtime=1.73 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23253 23255 17058 0 -1 4202560 992 0 0 0 173 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23260] ppid=23253 vsize=10552760 CPUtime=1.48 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23253 23255 17058 0 -1 4202560 746 0 0 0 148 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23262] ppid=23253 vsize=10552760 CPUtime=1.64 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23253 23255 17058 0 -1 4202560 620 0 0 0 164 0 0 0 15 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23263] ppid=23253 vsize=10552760 CPUtime=1.55 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23253 23255 17058 0 -1 4202560 441 0 0 0 155 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23265] ppid=23253 vsize=10552760 CPUtime=1.5 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23253 23255 17058 0 -1 4202560 1399 0 0 0 150 0 0 0 15 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23266] ppid=23253 vsize=10552760 CPUtime=1.46 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23253 23255 17058 0 -1 4202560 651 0 0 0 146 0 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23267] ppid=23253 vsize=10552760 CPUtime=1.49 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23253 23255 17058 0 -1 4202560 1209 0 0 0 148 1 0 0 16 0 22 0 563547450 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23268] ppid=23253 vsize=10552760 CPUtime=198.41 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23253 23255 17058 0 -1 4202560 112218 0 0 0 19828 13 0 0 16 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 0 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23269] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23253 23255 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23270] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23270/stat : 23270 (java) S 23253 23255 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563547451 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23271] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23271/stat : 23271 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672485809 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23272] ppid=23253 vsize=10552760 CPUtime=1.12 cores=1,3,5,7
/proc/23255/task/23272/stat : 23272 (java) S 23253 23255 17058 0 -1 4202560 5754 0 0 0 111 1 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 3 0 0 0
[pid=23255/tid=23273] ppid=23253 vsize=10552760 CPUtime=0.87 cores=1,3,5,7
/proc/23255/task/23273/stat : 23273 (java) S 23253 23255 17058 0 -1 4202560 3961 0 0 0 87 0 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23274] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23274/stat : 23274 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478105 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23275] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23275/stat : 23275 (java) S 23253 23255 17058 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 563547453 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 5 0 0 0
[pid=23255/tid=23303] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23303/stat : 23303 (java) S 23253 23255 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 563547795 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 1 0 0 0
[pid=23255/tid=23316] ppid=23253 vsize=10552760 CPUtime=679.87 cores=1,3,5,7
/proc/23255/task/23316/stat : 23316 (java) R 23253 23255 17058 0 -1 4202560 91 0 0 0 67987 0 0 0 18 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912505915167 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23255/tid=23317] ppid=23253 vsize=10552760 CPUtime=679.91 cores=1,3,5,7
/proc/23255/task/23317/stat : 23317 (java) R 23253 23255 17058 0 -1 4202560 14384 0 0 0 67990 1 0 0 19 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 46912506143528 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23255/tid=23318] ppid=23253 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23318/stat : 23318 (java) S 23253 23255 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563559833 10806026240 502485 33554432000 1073741824 1073778376 140733770859936 18446744073709551615 268672478720 0 4 0 16800975 18446604461904137280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10552760

Child status: 143
Real time (s): 999.019
CPU time (s): 1800.34
CPU user time (s): 1799.62
CPU system time (s): 0.716891
CPU usage (%): 180.21
Max. virtual memory (cumulated for all children) (KiB): 10552760

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

runsolver used 4.96324 second user time and 11.4653 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-04 15:19:22
IDJOB=3454111
IDBENCH=24997
IDSOLVER=1950
FILE ID=node107/3454111-1307193562
RUNJOBID= node107-1307192650-22987
PBS_JOBID= 13508844
Free space on /tmp= 73884 MiB

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

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

MD5SUM BENCH= c19adaf233257cdd6134391794b23c65
RANDOM SEED=166252499

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5359.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21244800 kB
Buffers:        340436 kB
Cached:        2178120 kB
SwapCached:      22548 kB
Active:        9319104 kB
Inactive:      2035704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21244800 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:            1396 kB
Writeback:           0 kB
AnonPages:     8830900 kB
Mapped:          40848 kB
Slab:           187788 kB
PageTables:      95240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 155459736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73884 MiB
End job on node107 at 2011-06-04 15:36:03