Trace number 3454097

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)24 1800.44 955.898

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
MD5SUMb63b2d912c01ff826a63051b401330db
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark3.74443
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables4427
Total number of constraints12661
Number of constraints which are clauses12661
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 2136
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 2136
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2136
Number of bits of the biggest sum of numbers12
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@48e5855a
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@398020cc
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-3454097-1307193446.opb
0.11/0.11	c reading problem ... 
0.81/0.43	c ... done. Wall clock time 0.321s.
0.81/0.43	c #vars     4427
0.81/0.43	c #constraints  12656
0.81/0.43	c constraints type 
0.81/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2296
0.81/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10193
0.81/0.43	c constraints type 
0.81/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10193
0.81/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2296
1.17/0.50	c  And the winner is Resolution
1.22/0.94	c SATISFIABLE
1.22/0.94	c OPTIMIZING...
1.22/0.94	c Got one! Elapsed wall clock time (in seconds):0.837
1.22/0.94	o 34
1.22/0.98	c  And the winner is Resolution
1.45/1.46	c Got one! Elapsed wall clock time (in seconds):1.354
1.45/1.46	o 32
1.58/1.50	c  And the winner is Resolution
1.68/1.98	c Got one! Elapsed wall clock time (in seconds):1.869
1.68/1.98	o 29
1.77/2.06	c  And the winner is Resolution
2.27/2.49	c Got one! Elapsed wall clock time (in seconds):2.382
2.27/2.49	o 28
3.11/2.88	c  And the winner is Resolution
3.29/3.00	c Got one! Elapsed wall clock time (in seconds):2.895
3.29/3.00	o 27
5.54/4.17	c cleaning 2787 clauses out of 5580 with flag 4000/5580
8.50/5.60	c  And the winner is Resolution
8.70/6.02	c Got one! Elapsed wall clock time (in seconds):5.913
8.70/6.02	o 26
10.88/7.11	c cleaning 6444 clauses out of 12898 with flag 5001/15685
13.86/8.66	c cleaning 6224 clauses out of 12455 with flag 11002/21686
17.31/10.38	c cleaning 6610 clauses out of 13229 with flag 18000/28684
21.33/12.33	c cleaning 7304 clauses out of 14619 with flag 26000/36684
26.11/14.70	c cleaning 8149 clauses out of 16315 with flag 35000/45684
30.88/17.13	c cleaning 9079 clauses out of 18167 with flag 45001/55685
36.51/19.97	c cleaning 10041 clauses out of 20087 with flag 56000/66684
42.23/22.84	c cleaning 11017 clauses out of 22047 with flag 68001/78685
48.57/26.09	c cleaning 12003 clauses out of 24029 with flag 81000/91684
54.90/29.20	c cleaning 12509 clauses out of 25027 with flag 94001/104685
61.44/32.51	c cleaning 12751 clauses out of 25517 with flag 107000/117684
68.54/36.16	c cleaning 12875 clauses out of 25767 with flag 120001/130685
75.50/39.64	c cleaning 12941 clauses out of 25891 with flag 133000/143684
81.82/42.85	c cleaning 12968 clauses out of 25953 with flag 146003/156687
88.35/46.13	c cleaning 12983 clauses out of 25982 with flag 159000/169684
94.62/49.31	c cleaning 12989 clauses out of 25999 with flag 172000/182684
100.95/52.52	c cleaning 12997 clauses out of 26010 with flag 185000/195684
107.29/55.76	c cleaning 12999 clauses out of 26014 with flag 198001/208685
114.01/59.16	c cleaning 13000 clauses out of 26014 with flag 211000/221684
120.49/62.47	c cleaning 12999 clauses out of 26014 with flag 224000/234684
126.21/65.39	c cleaning 12994 clauses out of 26015 with flag 237000/247684
132.13/68.36	c cleaning 13008 clauses out of 26022 with flag 250001/260685
138.64/71.66	c cleaning 13000 clauses out of 26014 with flag 263001/273685
145.30/75.03	c cleaning 13003 clauses out of 26014 with flag 276001/286685
151.99/78.48	c cleaning 12999 clauses out of 26010 with flag 289000/299684
158.68/81.87	c cleaning 12999 clauses out of 26011 with flag 302000/312684
165.18/85.11	c cleaning 12996 clauses out of 26012 with flag 315000/325684
171.41/88.35	c cleaning 12999 clauses out of 26018 with flag 328002/338686
177.88/91.69	c cleaning 13000 clauses out of 26017 with flag 341000/351684
184.75/95.16	c cleaning 12994 clauses out of 26017 with flag 354000/364684
191.63/98.63	c cleaning 12994 clauses out of 26023 with flag 367000/377684
198.88/102.34	c cleaning 13004 clauses out of 26029 with flag 380000/390684
205.51/105.73	c cleaning 13005 clauses out of 26026 with flag 393001/403685
211.98/109.06	c cleaning 13006 clauses out of 26020 with flag 406000/416684
218.29/112.22	c cleaning 13001 clauses out of 26014 with flag 419000/429684
225.46/115.92	c cleaning 12993 clauses out of 26013 with flag 432000/442684
232.53/119.52	c cleaning 13002 clauses out of 26021 with flag 445001/455685
239.19/122.99	c cleaning 13006 clauses out of 26018 with flag 458000/468684
245.85/126.40	c cleaning 12992 clauses out of 26012 with flag 471000/481684
254.03/130.58	c cleaning 13003 clauses out of 26022 with flag 484002/494686
261.87/134.56	c cleaning 12999 clauses out of 26018 with flag 497001/507685
270.33/138.86	c cleaning 12990 clauses out of 26018 with flag 510000/520684
276.58/142.08	c cleaning 13004 clauses out of 26028 with flag 523000/533684
283.41/145.54	c cleaning 13005 clauses out of 26025 with flag 536001/546685
290.26/149.03	c cleaning 12999 clauses out of 26019 with flag 549000/559684
296.90/152.45	c cleaning 13000 clauses out of 26020 with flag 562000/572684
303.55/155.81	c cleaning 13005 clauses out of 26023 with flag 575003/585687
309.92/159.14	c cleaning 12998 clauses out of 26015 with flag 588000/598684
316.15/162.39	c cleaning 12998 clauses out of 26017 with flag 601000/611684
323.19/165.92	c cleaning 12995 clauses out of 26019 with flag 614000/624684
329.62/169.27	c cleaning 13001 clauses out of 26024 with flag 627000/637684
336.19/172.64	c cleaning 13006 clauses out of 26024 with flag 640001/650685
343.19/176.26	c cleaning 12997 clauses out of 26018 with flag 653001/663685
343.82/176.67	c  And the winner is CuttingPlanes
343.98/177.15	c Got one! Elapsed wall clock time (in seconds):177.042
343.98/177.15	o 25
346.49/178.41	c cleaning 9431 clauses out of 18869 with flag 5000/669533
349.51/180.00	c cleaning 7706 clauses out of 15438 with flag 11000/675533
353.04/181.94	c cleaning 7353 clauses out of 14732 with flag 18000/682533
357.67/184.31	c cleaning 7684 clauses out of 15379 with flag 26000/690533
362.10/186.65	c cleaning 8341 clauses out of 16695 with flag 35000/699533
367.71/189.50	c cleaning 9173 clauses out of 18354 with flag 45000/709533
373.47/192.60	c cleaning 10078 clauses out of 20182 with flag 56001/720534
379.67/195.73	c cleaning 11042 clauses out of 22104 with flag 68001/732534
386.08/199.10	c cleaning 12027 clauses out of 24061 with flag 81000/745533
392.27/202.30	c cleaning 12509 clauses out of 25034 with flag 94000/758533
398.57/205.54	c cleaning 12756 clauses out of 25525 with flag 107000/771533
404.97/208.80	c cleaning 12873 clauses out of 25769 with flag 120000/784533
411.58/212.25	c cleaning 12932 clauses out of 25896 with flag 133000/797533
418.19/215.64	c cleaning 12979 clauses out of 25965 with flag 146001/810534
424.84/219.10	c cleaning 12986 clauses out of 25986 with flag 159001/823534
430.86/222.23	c cleaning 12999 clauses out of 25999 with flag 172000/836533
436.80/225.38	c cleaning 12994 clauses out of 26001 with flag 185001/849534
443.18/228.61	c cleaning 13000 clauses out of 26007 with flag 198001/862534
450.84/232.68	c cleaning 12997 clauses out of 26007 with flag 211001/875534
457.21/235.92	c cleaning 12988 clauses out of 26009 with flag 224000/888533
464.18/239.53	c cleaning 12999 clauses out of 26021 with flag 237000/901533
471.35/243.24	c cleaning 13005 clauses out of 26022 with flag 250000/914533
478.60/247.08	c cleaning 13003 clauses out of 26018 with flag 263001/927534
486.34/251.00	c cleaning 13001 clauses out of 26014 with flag 276000/940533
492.68/254.32	c cleaning 12999 clauses out of 26014 with flag 289001/953534
500.23/258.21	c cleaning 13000 clauses out of 26014 with flag 302000/966533
506.86/261.77	c cleaning 13001 clauses out of 26015 with flag 315001/979534
513.42/265.13	c cleaning 13002 clauses out of 26014 with flag 328001/992534
520.11/268.63	c cleaning 12998 clauses out of 26012 with flag 341001/1005534
526.24/271.86	c cleaning 13003 clauses out of 26014 with flag 354001/1018534
532.44/275.18	c cleaning 12998 clauses out of 26010 with flag 367000/1031533
538.39/278.31	c cleaning 12996 clauses out of 26012 with flag 380000/1044533
544.50/281.48	c cleaning 12999 clauses out of 26016 with flag 393000/1057533
551.63/285.11	c cleaning 13003 clauses out of 26018 with flag 406001/1070534
558.42/288.78	c cleaning 12999 clauses out of 26016 with flag 419002/1083535
565.54/292.40	c cleaning 13002 clauses out of 26017 with flag 432002/1096535
571.66/295.66	c cleaning 12994 clauses out of 26013 with flag 445000/1109533
578.98/299.41	c cleaning 12996 clauses out of 26019 with flag 458000/1122533
587.16/303.75	c cleaning 13001 clauses out of 26023 with flag 471000/1135533
594.48/307.50	c cleaning 13007 clauses out of 26022 with flag 484000/1148533
601.99/311.50	c cleaning 12994 clauses out of 26016 with flag 497001/1161534
609.69/315.42	c cleaning 12997 clauses out of 26021 with flag 510000/1174533
617.65/319.65	c cleaning 13004 clauses out of 26024 with flag 523000/1187533
624.78/323.40	c cleaning 13003 clauses out of 26020 with flag 536000/1200533
631.85/327.07	c cleaning 13000 clauses out of 26018 with flag 549001/1213534
639.14/330.87	c cleaning 12998 clauses out of 26017 with flag 562000/1226533
646.48/334.78	c cleaning 13000 clauses out of 26022 with flag 575003/1239536
653.57/338.44	c cleaning 13006 clauses out of 26019 with flag 588000/1252533
659.86/341.79	c cleaning 12990 clauses out of 26013 with flag 601000/1265533
666.15/345.08	c cleaning 13001 clauses out of 26025 with flag 614002/1278535
672.69/348.56	c cleaning 13003 clauses out of 26022 with flag 627000/1291533
678.97/351.91	c cleaning 13004 clauses out of 26020 with flag 640001/1304534
686.05/355.54	c cleaning 12991 clauses out of 26015 with flag 653000/1317533
693.33/359.36	c cleaning 13002 clauses out of 26024 with flag 666000/1330533
700.66/363.27	c cleaning 13002 clauses out of 26022 with flag 679000/1343533
707.54/366.89	c cleaning 13002 clauses out of 26022 with flag 692002/1356535
714.61/370.55	c cleaning 12995 clauses out of 26018 with flag 705000/1369533
721.32/374.07	c cleaning 13001 clauses out of 26023 with flag 718000/1382533
729.01/378.12	c cleaning 13002 clauses out of 26022 with flag 731000/1395533
736.88/382.23	c cleaning 12997 clauses out of 26020 with flag 744000/1408533
743.96/385.92	c cleaning 13001 clauses out of 26024 with flag 757001/1421534
751.03/389.60	c cleaning 13000 clauses out of 26022 with flag 770000/1434533
758.14/393.43	c cleaning 12998 clauses out of 26023 with flag 783001/1447534
764.60/396.89	c cleaning 13004 clauses out of 26024 with flag 796000/1460533
771.30/400.41	c cleaning 12993 clauses out of 26020 with flag 809000/1473533
778.13/403.96	c cleaning 13005 clauses out of 26027 with flag 822000/1486533
785.03/407.63	c cleaning 13005 clauses out of 26022 with flag 835000/1499533
791.89/411.24	c cleaning 13003 clauses out of 26018 with flag 848001/1512534
798.36/414.71	c cleaning 12992 clauses out of 26014 with flag 861000/1525533
805.20/418.23	c cleaning 13002 clauses out of 26022 with flag 874000/1538533
812.09/421.93	c cleaning 12998 clauses out of 26020 with flag 887000/1551533
818.94/425.57	c cleaning 13010 clauses out of 26024 with flag 900002/1564535
825.80/429.15	c cleaning 13003 clauses out of 26013 with flag 913001/1577534
832.25/432.59	c cleaning 13002 clauses out of 26009 with flag 926000/1590533
839.73/436.54	c cleaning 12999 clauses out of 26007 with flag 939000/1603533
843.18/438.40	c  And the winner is Resolution
843.28/438.52	c Got one! Elapsed wall clock time (in seconds):438.418
843.28/438.52	o 24
844.84/439.37	c cleaning 12195 clauses out of 24405 with flag 5000/1614930
847.48/440.87	c cleaning 9093 clauses out of 18210 with flag 11000/1620930
850.72/442.68	c cleaning 8046 clauses out of 16117 with flag 18000/1627930
854.79/444.92	c cleaning 8027 clauses out of 16071 with flag 26000/1635930
859.42/447.40	c cleaning 8519 clauses out of 17046 with flag 35002/1644932
864.66/450.28	c cleaning 9255 clauses out of 18526 with flag 45001/1654931
871.10/453.61	c cleaning 10128 clauses out of 20272 with flag 56002/1665932
878.15/457.41	c cleaning 11063 clauses out of 22142 with flag 68000/1677930
884.98/461.05	c cleaning 12035 clauses out of 24079 with flag 81000/1690930
891.20/464.37	c cleaning 12509 clauses out of 25044 with flag 94000/1703930
897.62/467.70	c cleaning 12762 clauses out of 25536 with flag 107001/1716931
903.86/471.18	c cleaning 12880 clauses out of 25773 with flag 120000/1729930
910.27/474.59	c cleaning 12942 clauses out of 25894 with flag 133001/1742931
917.48/478.36	c cleaning 12970 clauses out of 25953 with flag 146002/1755932
924.28/481.98	c cleaning 12968 clauses out of 25981 with flag 159000/1768930
932.49/486.39	c cleaning 12994 clauses out of 26013 with flag 172000/1781930
940.28/490.44	c cleaning 13005 clauses out of 26019 with flag 185000/1794930
948.69/494.87	c cleaning 12991 clauses out of 26014 with flag 198000/1807930
956.89/499.17	c cleaning 13000 clauses out of 26023 with flag 211000/1820930
965.28/503.67	c cleaning 13002 clauses out of 26024 with flag 224001/1833931
973.48/507.90	c cleaning 13004 clauses out of 26022 with flag 237001/1846931
979.66/511.22	c cleaning 12999 clauses out of 26017 with flag 250000/1859930
985.64/514.40	c cleaning 12998 clauses out of 26019 with flag 263001/1872931
992.02/517.91	c cleaning 13002 clauses out of 26020 with flag 276000/1885930
998.19/521.27	c cleaning 12998 clauses out of 26019 with flag 289001/1898931
1004.59/524.63	c cleaning 13003 clauses out of 26020 with flag 302000/1911930
1010.74/527.97	c cleaning 13004 clauses out of 26017 with flag 315000/1924930
1017.09/531.46	c cleaning 12996 clauses out of 26013 with flag 328000/1937930
1023.44/534.80	c cleaning 13000 clauses out of 26017 with flag 341000/1950930
1029.80/538.26	c cleaning 12997 clauses out of 26017 with flag 354000/1963930
1036.15/541.65	c cleaning 13005 clauses out of 26021 with flag 367001/1976931
1042.49/545.16	c cleaning 12997 clauses out of 26015 with flag 380000/1989930
1048.84/548.56	c cleaning 13003 clauses out of 26018 with flag 393000/2002930
1055.18/551.94	c cleaning 13001 clauses out of 26015 with flag 406000/2015930
1061.74/555.45	c cleaning 13003 clauses out of 26015 with flag 419001/2028931
1068.47/559.16	c cleaning 13002 clauses out of 26011 with flag 432000/2041930
1075.43/562.80	c cleaning 12999 clauses out of 26010 with flag 445001/2054931
1081.77/566.27	c cleaning 12997 clauses out of 26010 with flag 458000/2067930
1087.91/569.52	c cleaning 12991 clauses out of 26013 with flag 471000/2080930
1094.83/573.36	c cleaning 13004 clauses out of 26022 with flag 484000/2093930
1101.77/577.00	c cleaning 13004 clauses out of 26018 with flag 497000/2106930
1108.51/580.68	c cleaning 12999 clauses out of 26014 with flag 510000/2119930
1115.08/584.14	c cleaning 13003 clauses out of 26017 with flag 523002/2132932
1121.56/587.79	c cleaning 13002 clauses out of 26012 with flag 536000/2145930
1128.50/591.48	c cleaning 12997 clauses out of 26011 with flag 549001/2158931
1135.03/594.99	c cleaning 12988 clauses out of 26013 with flag 562000/2171930
1141.39/598.37	c cleaning 13006 clauses out of 26026 with flag 575001/2184931
1148.28/602.10	c cleaning 12998 clauses out of 26019 with flag 588000/2197930
1155.02/605.70	c cleaning 12998 clauses out of 26022 with flag 601001/2210931
1161.99/609.44	c cleaning 13003 clauses out of 26023 with flag 614000/2223930
1168.68/613.04	c cleaning 13004 clauses out of 26021 with flag 627001/2236931
1175.78/616.97	c cleaning 12997 clauses out of 26017 with flag 640001/2249931
1182.90/620.71	c cleaning 13003 clauses out of 26019 with flag 653000/2262930
1189.83/624.42	c cleaning 12996 clauses out of 26017 with flag 666001/2275931
1196.57/628.09	c cleaning 13003 clauses out of 26020 with flag 679000/2288930
1203.25/631.76	c cleaning 13002 clauses out of 26018 with flag 692001/2301931
1209.38/635.07	c cleaning 13001 clauses out of 26016 with flag 705001/2314931
1215.90/638.53	c cleaning 12995 clauses out of 26014 with flag 718000/2327930
1222.82/642.24	c cleaning 13002 clauses out of 26019 with flag 731000/2340930
1229.51/645.90	c cleaning 12997 clauses out of 26017 with flag 744000/2353930
1235.82/649.37	c cleaning 12998 clauses out of 26022 with flag 757002/2366932
1242.33/652.81	c cleaning 12998 clauses out of 26022 with flag 770000/2379930
1248.64/656.20	c cleaning 12997 clauses out of 26024 with flag 783000/2392930
1255.12/659.88	c cleaning 12997 clauses out of 26028 with flag 796001/2405931
1261.46/663.28	c cleaning 13002 clauses out of 26030 with flag 809000/2418930
1267.94/666.77	c cleaning 12999 clauses out of 26028 with flag 822000/2431930
1274.65/670.36	c cleaning 13010 clauses out of 26030 with flag 835001/2444931
1281.97/674.32	c cleaning 12996 clauses out of 26023 with flag 848004/2457934
1288.84/678.04	c cleaning 13005 clauses out of 26024 with flag 861001/2470931
1295.94/681.86	c cleaning 13003 clauses out of 26018 with flag 874000/2483930
1302.64/685.45	c cleaning 13000 clauses out of 26016 with flag 887001/2496931
1310.33/689.62	c cleaning 12994 clauses out of 26015 with flag 900000/2509930
1317.21/693.31	c cleaning 13005 clauses out of 26022 with flag 913001/2522931
1323.90/696.92	c cleaning 12999 clauses out of 26017 with flag 926001/2535931
1330.59/700.55	c cleaning 12992 clauses out of 26017 with flag 939000/2548930
1338.05/704.62	c cleaning 13004 clauses out of 26026 with flag 952001/2561931
1344.96/708.35	c cleaning 12999 clauses out of 26022 with flag 965001/2574931
1351.62/711.99	c cleaning 13005 clauses out of 26022 with flag 978000/2587930
1358.70/715.76	c cleaning 13000 clauses out of 26017 with flag 991000/2600930
1366.15/719.82	c cleaning 12994 clauses out of 26017 with flag 1004000/2613930
1372.83/723.44	c cleaning 13002 clauses out of 26023 with flag 1017000/2626930
1379.75/727.16	c cleaning 12999 clauses out of 26022 with flag 1030001/2639931
1386.79/730.97	c cleaning 13000 clauses out of 26022 with flag 1043000/2652930
1394.23/735.07	c cleaning 13002 clauses out of 26022 with flag 1056000/2665930
1400.91/738.63	c cleaning 13000 clauses out of 26020 with flag 1069000/2678930
1408.78/742.89	c cleaning 13000 clauses out of 26020 with flag 1082000/2691930
1416.66/747.09	c cleaning 13001 clauses out of 26020 with flag 1095000/2704930
1423.48/750.88	c cleaning 13005 clauses out of 26020 with flag 1108001/2717931
1431.76/755.26	c cleaning 12991 clauses out of 26014 with flag 1121000/2730930
1440.25/759.75	c cleaning 13007 clauses out of 26023 with flag 1134000/2743930
1447.14/763.49	c cleaning 13003 clauses out of 26016 with flag 1147000/2756930
1454.12/767.34	c cleaning 13001 clauses out of 26013 with flag 1160000/2769930
1461.00/771.04	c cleaning 12996 clauses out of 26012 with flag 1173000/2782930
1468.23/774.93	c cleaning 12998 clauses out of 26016 with flag 1186000/2795930
1475.52/778.88	c cleaning 12996 clauses out of 26018 with flag 1199000/2808930
1483.31/783.21	c cleaning 13000 clauses out of 26022 with flag 1212000/2821930
1491.14/787.32	c cleaning 13001 clauses out of 26023 with flag 1225001/2834931
1498.98/791.55	c cleaning 13002 clauses out of 26021 with flag 1238000/2847930
1506.83/795.75	c cleaning 13005 clauses out of 26019 with flag 1251000/2860930
1513.85/799.67	c cleaning 13001 clauses out of 26015 with flag 1264001/2873931
1520.66/803.32	c cleaning 13000 clauses out of 26013 with flag 1277000/2886930
1527.30/806.95	c cleaning 13002 clauses out of 26013 with flag 1290000/2899930
1534.38/810.79	c cleaning 12999 clauses out of 26012 with flag 1303001/2912931
1541.74/814.88	c cleaning 12995 clauses out of 26014 with flag 1316002/2925932
1548.98/818.74	c cleaning 13003 clauses out of 26020 with flag 1329003/2938933
1556.02/822.54	c cleaning 12997 clauses out of 26014 with flag 1342000/2951930
1563.45/826.52	c cleaning 13003 clauses out of 26017 with flag 1355000/2964930
1573.23/831.82	c cleaning 12997 clauses out of 26014 with flag 1368000/2977930
1582.26/836.63	c cleaning 12999 clauses out of 26017 with flag 1381000/2990930
1591.32/841.51	c cleaning 13006 clauses out of 26019 with flag 1394001/3003931
1598.93/845.56	c cleaning 12994 clauses out of 26012 with flag 1407000/3016930
1607.09/850.07	c cleaning 12999 clauses out of 26018 with flag 1420000/3029930
1615.11/854.38	c cleaning 12996 clauses out of 26019 with flag 1433000/3042930
1623.72/859.00	c cleaning 13003 clauses out of 26024 with flag 1446001/3055931
1632.16/863.42	c cleaning 12995 clauses out of 26020 with flag 1459000/3068930
1640.87/868.21	c cleaning 12995 clauses out of 26025 with flag 1472000/3081930
1649.28/872.77	c cleaning 13003 clauses out of 26030 with flag 1485000/3094930
1657.08/876.95	c cleaning 13005 clauses out of 26028 with flag 1498001/3107931
1663.69/880.60	c cleaning 13003 clauses out of 26022 with flag 1511000/3120930
1670.82/884.55	c cleaning 12995 clauses out of 26020 with flag 1524001/3133931
1677.61/888.28	c cleaning 13001 clauses out of 26024 with flag 1537000/3146930
1684.40/891.92	c cleaning 13000 clauses out of 26024 with flag 1550001/3159931
1690.99/895.57	c cleaning 13006 clauses out of 26023 with flag 1563000/3172930
1698.30/899.63	c cleaning 13005 clauses out of 26018 with flag 1576001/3185931
1705.28/903.40	c cleaning 12997 clauses out of 26012 with flag 1589000/3198930
1711.86/907.00	c cleaning 12995 clauses out of 26015 with flag 1602000/3211930
1718.43/910.61	c cleaning 13004 clauses out of 26020 with flag 1615000/3224930
1725.33/914.58	c cleaning 12997 clauses out of 26016 with flag 1628000/3237930
1732.10/918.23	c cleaning 13002 clauses out of 26021 with flag 1641002/3250932
1738.87/921.94	c cleaning 12997 clauses out of 26017 with flag 1654000/3263930
1745.63/925.66	c cleaning 12995 clauses out of 26020 with flag 1667000/3276930
1752.72/929.67	c cleaning 13002 clauses out of 26025 with flag 1680000/3289930
1759.68/933.47	c cleaning 13005 clauses out of 26025 with flag 1693002/3302932
1766.47/937.20	c cleaning 13001 clauses out of 26018 with flag 1706000/3315930
1774.01/941.25	c cleaning 13000 clauses out of 26017 with flag 1719000/3328930
1781.48/945.47	c cleaning 12995 clauses out of 26017 with flag 1732000/3341930
1789.43/949.70	c cleaning 12999 clauses out of 26022 with flag 1745000/3354930
1797.98/954.34	c cleaning 12997 clauses out of 26023 with flag 1758000/3367930
1800.16/955.72	c starts		: 406
1800.16/955.72	c conflicts		: 3370192
1800.16/955.72	c decisions		: 15274722
1800.16/955.72	c propagations		: 3218317211
1800.16/955.72	c inspects		: 3646774418
1800.16/955.72	c shortcuts		: 0
1800.16/955.72	c learnt literals	: 0
1800.16/955.72	c learnt binary clauses	: 0
1800.16/955.72	c learnt ternary clauses	: 1
1800.16/955.72	c learnt constraints	: 3370192
1800.16/955.72	c ignored constraints	: 0
1800.16/955.72	c root simplifications	: 0
1800.16/955.72	c removed literals (reason simplification)	: 3702629
1800.16/955.72	c reason swapping (by a shorter reason)	: 0
1800.16/955.72	c Calls to reduceDB	: 267
1800.16/955.72	c number of reductions to clauses (during analyze)	: 0
1800.16/955.72	c number of learned constraints concerned by reduction	: 0
1800.16/955.72	c number of learning phase by resolution	: 0
1800.16/955.72	c number of learning phase by cutting planes	: 0
1800.16/955.72	c speed (assignments/second)	: 6222641.487253357
1800.16/955.72	c non guided choices	22657
1800.16/955.73	c learnt constraints type 
1800.16/955.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15309
1800.16/955.73	c constraints type 
1800.16/955.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2296
1800.16/955.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.16/955.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10193
1800.16/955.73	c constraints type 
1800.16/955.73	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10193
1800.16/955.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2296
1800.16/955.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.16/955.73	s SATISFIABLE
1800.16/955.74	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 x3527 x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 x3668 x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 x4215 x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 x4278 x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 x4303 -x4304 -x4305 -x4306 -x4307 x4308 x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 x4414 x4415 -x4416 -x4417 x4418 x4419 x4420 x4421 -x4422 -x4423 x4424 x4425 -x4426 -x4427 
1800.16/955.75	c objective function=24
1800.16/955.75	c Total wall clock time (in seconds): 955.643

Verifier Data 

OK	24

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-3454097-1307193446/watcher-3454097-1307193446 -o /tmp/evaluation-result-3454097-1307193446/solver-3454097-1307193446 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454097-1307193446.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: 1.90 2.85 3.22 3/482 27650
/proc/meminfo: memFree=24784576/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 4089 0 1 0 0 0 0 0 25 0 2 0 909575240 10694979584 3792 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2611079 3804 917 9 0 2602235 0
[pid=27650/tid=27652] ppid=27648 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) R 27648 27650 22562 0 -1 4202560 7374 0 1 0 0 0 0 0 25 0 2 0 909575241 10694979584 8190 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0736411 s]
/proc/loadavg: 1.90 2.85 3.22 3/482 27650
/proc/meminfo: memFree=24784576/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10473836 CPUtime=0.06 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 11941 0 1 0 5 1 0 0 25 0 18 0 909575240 10725208064 11639 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2618459 11639 1754 9 0 2609193 0
[pid=27650/tid=27652] ppid=27648 vsize=10473836 CPUtime=0.06 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) R 27648 27650 22562 0 -1 4202560 10766 0 1 0 5 1 0 0 25 0 18 0 909575241 10725208064 11639 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 47861158193171 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473836

[startup+0.100569 s]
/proc/loadavg: 1.90 2.85 3.22 3/482 27650
/proc/meminfo: memFree=24784576/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10540396 CPUtime=0.11 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 13131 0 1 0 9 2 0 0 25 0 18 0 909575240 10793365504 12788 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2635099 12788 2092 9 0 2625833 0
[pid=27650/tid=27652] ppid=27648 vsize=10540396 CPUtime=0.08 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) R 27648 27650 22562 0 -1 4202560 11168 0 1 0 7 1 0 0 25 0 18 0 909575241 10793365504 12788 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 47861159535111 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540396

[startup+0.300534 s]
/proc/loadavg: 1.90 2.85 3.22 3/482 27650
/proc/meminfo: memFree=24784576/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10542444 CPUtime=0.51 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 16346 0 1 0 49 2 0 0 25 0 18 0 909575240 10795462656 15902 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2635611 15903 2202 9 0 2626345 0
[pid=27650/tid=27652] ppid=27648 vsize=10542444 CPUtime=0.29 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) R 27648 27650 22562 0 -1 4202560 13450 0 1 0 27 2 0 0 25 0 18 0 909575241 10795462656 15904 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 46912505614085 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542444

[startup+0.70046 s]
/proc/loadavg: 1.90 2.85 3.22 3/482 27650
/proc/meminfo: memFree=24784576/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10550652 CPUtime=1.22 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 26244 0 1 0 118 4 0 0 25 0 19 0 909575240 10803867648 24049 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2637663 24049 2235 9 0 2628397 0
[pid=27650/tid=27652] ppid=27648 vsize=10550652 CPUtime=0.42 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) S 27648 27650 22562 0 -1 4202560 19297 0 1 0 39 3 0 0 25 0 19 0 909575241 10803867648 24049 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10550652

[startup+1.50132 s]
/proc/loadavg: 1.90 2.85 3.22 6/520 27700
/proc/meminfo: memFree=24599368/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10550652 CPUtime=1.58 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 27885 0 1 0 154 4 0 0 25 0 22 0 909575240 10803867648 25311 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2637663 25312 2238 9 0 2628397 0
[pid=27650/tid=27652] ppid=27648 vsize=10550652 CPUtime=0.45 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) S 27648 27650 22562 0 -1 4202560 19723 0 1 0 42 3 0 0 17 0 22 0 909575241 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27663] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27663/stat : 27663 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27664] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27648 27650 22562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909575242 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27665] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27665/stat : 27665 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27666] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27666/stat : 27666 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27667] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27667/stat : 27667 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27668] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27668/stat : 27668 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27669] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27670] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27672] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27672/stat : 27672 (java) R 27648 27650 22562 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 909575243 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=27650/tid=27675] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27675/stat : 27675 (java) S 27648 27650 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909575244 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27676] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27676/stat : 27676 (java) S 27648 27650 22562 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909575244 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27679] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917217713 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27680] ppid=27648 vsize=10550652 CPUtime=0.43 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) R 27648 27650 22562 0 -1 4202560 2766 0 0 0 43 0 0 0 17 0 22 0 909575246 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 47861155574772 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27650/tid=27683] ppid=27648 vsize=10550652 CPUtime=0.42 cores=1,3,5,7
/proc/27650/task/27683/stat : 27683 (java) R 27648 27650 22562 0 -1 4202560 3529 0 0 0 42 0 0 0 17 0 22 0 909575246 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 47861159330535 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27650/tid=27684] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27684/stat : 27684 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27686] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27686/stat : 27686 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909575246 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27691] ppid=27648 vsize=10550652 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27691/stat : 27691 (java) S 27648 27650 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909575287 10803867648 25313 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10550652

[startup+3.10102 s]
/proc/loadavg: 1.90 2.85 3.22 3/520 27713
/proc/meminfo: memFree=24562660/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10566160 CPUtime=3.5 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 38464 0 1 0 344 6 0 0 25 0 22 0 909575240 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2641540 32812 2243 9 0 2632274 0
[pid=27650/tid=27652] ppid=27648 vsize=10566160 CPUtime=0.47 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) S 27648 27650 22562 0 -1 4202560 20318 0 1 0 44 3 0 0 17 0 22 0 909575241 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27663] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27663/stat : 27663 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27664] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27648 27650 22562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909575242 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27665] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27665/stat : 27665 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27666] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27666/stat : 27666 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27667] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27667/stat : 27667 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27668] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27668/stat : 27668 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27669] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27670] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575242 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27672] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27672/stat : 27672 (java) S 27648 27650 22562 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 909575243 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 0 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27675] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27675/stat : 27675 (java) S 27648 27650 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909575244 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27676] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27676/stat : 27676 (java) S 27648 27650 22562 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909575244 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27679] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917217713 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27680] ppid=27648 vsize=10566160 CPUtime=0.72 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27648 27650 22562 0 -1 4202560 3421 0 0 0 72 0 0 0 15 0 22 0 909575246 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27683] ppid=27648 vsize=10566160 CPUtime=0.89 cores=1,3,5,7
/proc/27650/task/27683/stat : 27683 (java) S 27648 27650 22562 0 -1 4202560 9507 0 0 0 88 1 0 0 15 0 22 0 909575246 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27684] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27684/stat : 27684 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27686] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27686/stat : 27686 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909575246 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27691] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27691/stat : 27691 (java) S 27648 27650 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909575287 10819747840 32812 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 10566160

[startup+6.30144 s]
/proc/loadavg: 1.90 2.83 3.21 6/526 27731
/proc/meminfo: memFree=22810368/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10566160 CPUtime=9.27 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 307247 0 1 0 895 32 0 0 25 0 22 0 909575240 10819747840 300956 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2641540 300959 2268 9 0 2632274 0
[pid=27650/tid=27652] ppid=27648 vsize=10566160 CPUtime=0.47 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) S 27648 27650 22562 0 -1 4202560 20318 0 1 0 44 3 0 0 16 0 22 0 909575241 10819747840 300959 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27663] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27663/stat : 27663 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909575242 10819747840 300966 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27664] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27648 27650 22562 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 909575242 10819747840 300973 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27665] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27665/stat : 27665 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909575242 10819747840 300980 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27666] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27666/stat : 27666 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909575242 10819747840 300982 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27667] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27667/stat : 27667 (java) S 27648 27650 22562 0 -1 4202560 222 0 0 0 0 0 0 0 18 0 22 0 909575242 10819747840 300982 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27668] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27668/stat : 27668 (java) S 27648 27650 22562 0 -1 4202560 435 0 0 0 0 0 0 0 18 0 22 0 909575242 10819747840 300988 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27669] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27648 27650 22562 0 -1 4202560 389 0 0 0 0 0 0 0 18 0 22 0 909575242 10819747840 300995 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27670] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27648 27650 22562 0 -1 4202560 479 0 0 0 0 0 0 0 18 0 22 0 909575242 10819747840 301001 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27672] ppid=27648 vsize=10566160 CPUtime=0.02 cores=1,3,5,7
/proc/27650/task/27672/stat : 27672 (java) S 27648 27650 22562 0 -1 4202560 1507 0 0 0 2 0 0 0 15 0 22 0 909575243 10819747840 301005 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 0 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27675] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27675/stat : 27675 (java) S 27648 27650 22562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909575244 10819747840 301005 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27676] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27676/stat : 27676 (java) S 27648 27650 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909575244 10819747840 301009 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27679] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10819747840 301016 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917217713 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27680] ppid=27648 vsize=10566160 CPUtime=0.84 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27648 27650 22562 0 -1 4202560 4153 0 0 0 84 0 0 0 15 0 22 0 909575246 10819747840 301023 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27683] ppid=27648 vsize=10566160 CPUtime=0.99 cores=1,3,5,7
/proc/27650/task/27683/stat : 27683 (java) S 27648 27650 22562 0 -1 4202560 9516 0 0 0 98 1 0 0 15 0 22 0 909575246 10819747840 301028 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=17944404/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10566160 CPUtime=1666.42 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 872954 0 1 0 166546 96 0 0 25 0 22 0 909575240 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2641540 865706 2270 9 0 2632274 0
[pid=27650/tid=27652] ppid=27648 vsize=10566160 CPUtime=0.49 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) S 27648 27650 22562 0 -1 4202560 20423 0 1 0 46 3 0 0 15 0 22 0 909575241 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27663] ppid=27648 vsize=10566160 CPUtime=0.8 cores=1,3,5,7
/proc/27650/task/27663/stat : 27663 (java) S 27648 27650 22562 0 -1 4202560 136 0 0 0 80 0 0 0 15 0 22 0 909575242 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27664] ppid=27648 vsize=10566160 CPUtime=0.83 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27648 27650 22562 0 -1 4202560 1476 0 0 0 83 0 0 0 16 0 22 0 909575242 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27665] ppid=27648 vsize=10566160 CPUtime=0.79 cores=1,3,5,7
/proc/27650/task/27665/stat : 27665 (java) S 27648 27650 22562 0 -1 4202560 1930 0 0 0 79 0 0 0 16 0 22 0 909575242 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27666] ppid=27648 vsize=10566160 CPUtime=0.8 cores=1,3,5,7
/proc/27650/task/27666/stat : 27666 (java) S 27648 27650 22562 0 -1 4202560 987 0 0 0 80 0 0 0 15 0 22 0 909575242 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27667] ppid=27648 vsize=10566160 CPUtime=0.82 cores=1,3,5,7
/proc/27650/task/27667/stat : 27667 (java) S 27648 27650 22562 0 -1 4202560 1323 0 0 0 82 0 0 0 15 0 22 0 909575242 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27668] ppid=27648 vsize=10566160 CPUtime=0.9 cores=1,3,5,7
/proc/27650/task/27668/stat : 27668 (java) S 27648 27650 22562 0 -1 4202560 1997 0 0 0 90 0 0 0 16 0 22 0 909575242 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27669] ppid=27648 vsize=10566160 CPUtime=0.77 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27648 27650 22562 0 -1 4202560 1898 0 0 0 77 0 0 0 15 0 22 0 909575242 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27670] ppid=27648 vsize=10566160 CPUtime=0.74 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27648 27650 22562 0 -1 4202560 1383 0 0 0 74 0 0 0 16 0 22 0 909575242 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27672] ppid=27648 vsize=10566160 CPUtime=96.75 cores=1,3,5,7
/proc/27650/task/27672/stat : 27672 (java) S 27648 27650 22562 0 -1 4202560 86221 0 0 0 9665 10 0 0 16 0 22 0 909575243 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 0 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27675] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27675/stat : 27675 (java) S 27648 27650 22562 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909575244 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27676] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27676/stat : 27676 (java) S 27648 27650 22562 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 909575244 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27679] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917217713 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27680] ppid=27648 vsize=10566160 CPUtime=1.06 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27648 27650 22562 0 -1 4202560 5067 0 0 0 106 0 0 0 15 0 22 0 909575246 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27683] ppid=27648 vsize=10566160 CPUtime=1.2 cores=1,3,5,7
/proc/27650/task/27683/stat : 27683 (java) S 27648 27650 22562 0 -1 4202560 9538 0 0 0 119 1 0 0 15 0 22 0 909575246 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27684] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27684/stat : 27684 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27686] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27686/stat : 27686 (java) S 27648 27650 22562 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909575246 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27747] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27747/stat : 27747 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909592956 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27758] ppid=27648 vsize=10566160 CPUtime=376.48 cores=1,3,5,7
/proc/27650/task/27758/stat : 27758 (java) R 27648 27650 22562 0 -1 4202560 163 0 0 0 37648 0 0 0 19 0 22 0 909619093 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 46912505824490 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27650/tid=27759] ppid=27648 vsize=10566160 CPUtime=376.49 cores=1,3,5,7
/proc/27650/task/27759/stat : 27759 (java) R 27648 27650 22562 0 -1 4202560 108328 0 0 0 37639 10 0 0 18 0 22 0 909619093 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 46912506085710 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27650/tid=27760] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27760/stat : 27760 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909619098 10819747840 865706 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1666.42
Current children cumulated vsize (KiB) 10566160

[startup+942.301 s]
/proc/loadavg: 3.75 3.71 3.56 5/526 27777
/proc/meminfo: memFree=17902684/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10566160 CPUtime=1775.28 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 878283 0 1 0 177431 97 0 0 25 0 22 0 909575240 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2641540 871015 2270 9 0 2632274 0
[pid=27650/tid=27652] ppid=27648 vsize=10566160 CPUtime=0.49 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) S 27648 27650 22562 0 -1 4202560 20439 0 1 0 46 3 0 0 15 0 22 0 909575241 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27663] ppid=27648 vsize=10566160 CPUtime=0.89 cores=1,3,5,7
/proc/27650/task/27663/stat : 27663 (java) S 27648 27650 22562 0 -1 4202560 136 0 0 0 89 0 0 0 16 0 22 0 909575242 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27664] ppid=27648 vsize=10566160 CPUtime=0.91 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27648 27650 22562 0 -1 4202560 1477 0 0 0 91 0 0 0 16 0 22 0 909575242 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27665] ppid=27648 vsize=10566160 CPUtime=0.89 cores=1,3,5,7
/proc/27650/task/27665/stat : 27665 (java) S 27648 27650 22562 0 -1 4202560 1935 0 0 0 89 0 0 0 15 0 22 0 909575242 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27666] ppid=27648 vsize=10566160 CPUtime=0.87 cores=1,3,5,7
/proc/27650/task/27666/stat : 27666 (java) S 27648 27650 22562 0 -1 4202560 987 0 0 0 87 0 0 0 15 0 22 0 909575242 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27667] ppid=27648 vsize=10566160 CPUtime=0.89 cores=1,3,5,7
/proc/27650/task/27667/stat : 27667 (java) S 27648 27650 22562 0 -1 4202560 1324 0 0 0 89 0 0 0 15 0 22 0 909575242 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27668] ppid=27648 vsize=10566160 CPUtime=0.99 cores=1,3,5,7
/proc/27650/task/27668/stat : 27668 (java) S 27648 27650 22562 0 -1 4202560 1997 0 0 0 99 0 0 0 16 0 22 0 909575242 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27669] ppid=27648 vsize=10566160 CPUtime=0.86 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27648 27650 22562 0 -1 4202560 1900 0 0 0 86 0 0 0 15 0 22 0 909575242 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27670] ppid=27648 vsize=10566160 CPUtime=0.85 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27648 27650 22562 0 -1 4202560 1387 0 0 0 85 0 0 0 16 0 22 0 909575242 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27672] ppid=27648 vsize=10566160 CPUtime=108.17 cores=1,3,5,7
/proc/27650/task/27672/stat : 27672 (java) S 27648 27650 22562 0 -1 4202560 91519 0 0 0 10807 10 0 0 16 0 22 0 909575243 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 0 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27675] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27675/stat : 27675 (java) S 27648 27650 22562 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909575244 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27676] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27676/stat : 27676 (java) S 27648 27650 22562 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 909575244 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27679] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917217713 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27680] ppid=27648 vsize=10566160 CPUtime=1.06 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27648 27650 22562 0 -1 4202560 5067 0 0 0 106 0 0 0 15 0 22 0 909575246 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27683] ppid=27648 vsize=10566160 CPUtime=1.2 cores=1,3,5,7
/proc/27650/task/27683/stat : 27683 (java) S 27648 27650 22562 0 -1 4202560 9538 0 0 0 119 1 0 0 15 0 22 0 909575246 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27684] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27684/stat : 27684 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27686] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27686/stat : 27686 (java) S 27648 27650 22562 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909575246 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27747] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27747/stat : 27747 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909592956 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27758] ppid=27648 vsize=10566160 CPUtime=424.85 cores=1,3,5,7
/proc/27650/task/27758/stat : 27758 (java) R 27648 27650 22562 0 -1 4202560 163 0 0 0 42485 0 0 0 18 0 22 0 909619093 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 46912505995444 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27650/tid=27759] ppid=27648 vsize=10566160 CPUtime=424.87 cores=1,3,5,7
/proc/27650/task/27759/stat : 27759 (java) R 27648 27650 22562 0 -1 4202560 108328 0 0 0 42477 10 0 0 18 0 22 0 909619093 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 46912506341298 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27650/tid=27760] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27760/stat : 27760 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909619098 10819747840 871015 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1775.28
Current children cumulated vsize (KiB) 10566160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+955.701 s]
/proc/loadavg: 3.65 3.69 3.55 5/526 27777
/proc/meminfo: memFree=17896832/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=10566160 CPUtime=1800.16 cores=1,3,5,7
/proc/27650/stat : 27650 (java) S 27648 27650 22562 0 -1 4202496 879308 0 1 0 179919 97 0 0 25 0 22 0 909575240 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 2641540 872033 2270 9 0 2632274 0
[pid=27650/tid=27652] ppid=27648 vsize=10566160 CPUtime=0.49 cores=1,3,5,7
/proc/27650/task/27652/stat : 27652 (java) S 27648 27650 22562 0 -1 4202560 20442 0 1 0 46 3 0 0 15 0 22 0 909575241 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27663] ppid=27648 vsize=10566160 CPUtime=0.89 cores=1,3,5,7
/proc/27650/task/27663/stat : 27663 (java) S 27648 27650 22562 0 -1 4202560 136 0 0 0 89 0 0 0 15 0 22 0 909575242 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27664] ppid=27648 vsize=10566160 CPUtime=0.92 cores=1,3,5,7
/proc/27650/task/27664/stat : 27664 (java) S 27648 27650 22562 0 -1 4202560 1477 0 0 0 92 0 0 0 15 0 22 0 909575242 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27665] ppid=27648 vsize=10566160 CPUtime=0.91 cores=1,3,5,7
/proc/27650/task/27665/stat : 27665 (java) S 27648 27650 22562 0 -1 4202560 1935 0 0 0 91 0 0 0 16 0 22 0 909575242 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27666] ppid=27648 vsize=10566160 CPUtime=0.88 cores=1,3,5,7
/proc/27650/task/27666/stat : 27666 (java) S 27648 27650 22562 0 -1 4202560 987 0 0 0 88 0 0 0 15 0 22 0 909575242 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27667] ppid=27648 vsize=10566160 CPUtime=0.91 cores=1,3,5,7
/proc/27650/task/27667/stat : 27667 (java) S 27648 27650 22562 0 -1 4202560 1324 0 0 0 91 0 0 0 16 0 22 0 909575242 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27668] ppid=27648 vsize=10566160 CPUtime=1.01 cores=1,3,5,7
/proc/27650/task/27668/stat : 27668 (java) S 27648 27650 22562 0 -1 4202560 1997 0 0 0 101 0 0 0 16 0 22 0 909575242 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27669] ppid=27648 vsize=10566160 CPUtime=0.88 cores=1,3,5,7
/proc/27650/task/27669/stat : 27669 (java) S 27648 27650 22562 0 -1 4202560 1908 0 0 0 88 0 0 0 16 0 22 0 909575242 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27670] ppid=27648 vsize=10566160 CPUtime=0.86 cores=1,3,5,7
/proc/27650/task/27670/stat : 27670 (java) S 27648 27650 22562 0 -1 4202560 1387 0 0 0 86 0 0 0 16 0 22 0 909575242 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27672] ppid=27648 vsize=10566160 CPUtime=110.16 cores=1,3,5,7
/proc/27650/task/27672/stat : 27672 (java) S 27648 27650 22562 0 -1 4202560 92531 0 0 0 11006 10 0 0 16 0 22 0 909575243 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 0 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27675] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27675/stat : 27675 (java) S 27648 27650 22562 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909575244 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27676] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27676/stat : 27676 (java) S 27648 27650 22562 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 909575244 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 7 0 0 0
[pid=27650/tid=27679] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27679/stat : 27679 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917217713 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27680] ppid=27648 vsize=10566160 CPUtime=1.06 cores=1,3,5,7
/proc/27650/task/27680/stat : 27680 (java) S 27648 27650 22562 0 -1 4202560 5067 0 0 0 106 0 0 0 15 0 22 0 909575246 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27683] ppid=27648 vsize=10566160 CPUtime=1.2 cores=1,3,5,7
/proc/27650/task/27683/stat : 27683 (java) S 27648 27650 22562 0 -1 4202560 9538 0 0 0 119 1 0 0 15 0 22 0 909575246 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27684] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27684/stat : 27684 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909575246 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210009 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
[pid=27650/tid=27686] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27686/stat : 27686 (java) S 27648 27650 22562 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 909575246 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 1 0 0 0
[pid=27650/tid=27747] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27747/stat : 27747 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909592956 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 5 0 0 0
[pid=27650/tid=27758] ppid=27648 vsize=10566160 CPUtime=436.24 cores=1,3,5,7
/proc/27650/task/27758/stat : 27758 (java) R 27648 27650 22562 0 -1 4202560 163 0 0 0 43624 0 0 0 20 0 22 0 909619093 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 46912505824084 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27650/tid=27759] ppid=27648 vsize=10566160 CPUtime=436.26 cores=1,3,5,7
/proc/27650/task/27759/stat : 27759 (java) R 27648 27650 22562 0 -1 4202560 108328 0 0 0 43616 10 0 0 20 0 22 0 909619093 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 46912505933532 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27650/tid=27760] ppid=27648 vsize=10566160 CPUtime=0 cores=1,3,5,7
/proc/27650/task/27760/stat : 27760 (java) S 27648 27650 22562 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909619098 10819747840 872033 33554432000 1073741824 1073778376 140735887620512 18446744073709551615 260917210624 0 4 0 16800975 18446604459706579072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10566160

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

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

[startup+955.825 s]
/proc/loadavg: 3.65 3.69 3.55 4/507 27780
/proc/meminfo: memFree=19341844/32950928 swapFree=61542356/67111528
[pid=27650] ppid=27648 vsize=0 CPUtime=1800.36 cores=1,3,5,7
/proc/27650/stat : 27650 (java) Z 27648 27650 22562 0 -1 4203548 879342 0 1 0 179933 103 0 0 17 0 2 0 909575240 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27650/statm: 0 0 0 0 0 0 0
[pid=27650/tid=27747] ppid=27648 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/27650/task/27747/stat : 27747 (java) R 27648 27650 22562 0 -1 4203588 1 0 0 0 0 7 0 0 18 0 2 0 909592956 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 955.898
CPU time (s): 1800.44
CPU user time (s): 1799.34
CPU system time (s): 1.10283
CPU usage (%): 188.35
Max. virtual memory (cumulated for all children) (KiB): 10566160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 1.10283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 879342
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= 29794
involuntary context switches= 18673

runsolver used 4.70828 second user time and 11.0803 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-04 15:17:26
IDJOB=3454097
IDBENCH=24983
IDSOLVER=1950
FILE ID=node116/3454097-1307193446
RUNJOBID= node116-1307193446-27632
PBS_JOBID= 13508818
Free space on /tmp= 73888 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_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-3454097-1307193446/watcher-3454097-1307193446 -o /tmp/evaluation-result-3454097-1307193446/solver-3454097-1307193446 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454097-1307193446.opb

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

MD5SUM BENCH= b63b2d912c01ff826a63051b401330db
RANDOM SEED=235358551

node116.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.826
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.826
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	: 5226.15
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.826
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.75
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.826
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.75
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.826
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.77
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.826
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	: 5332.75
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.826
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.826
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24784964 kB
Buffers:        280276 kB
Cached:         505864 kB
SwapCached:      12580 kB
Active:        7501852 kB
Inactive:       393812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24784964 kB
SwapTotal:    67111528 kB
SwapFree:     61542356 kB
Dirty:            1608 kB
Writeback:          56 kB
AnonPages:     7106932 kB
Mapped:          22320 kB
Slab:           140768 kB
PageTables:      62108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 139589140 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= 73888 MiB
End job on node116 at 2011-06-04 15:33:23