Trace number 3735839

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO)29 1800.02 937.954

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark9.00163
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
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 2531
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 2531
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 2531
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.02/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.19	c See www.sat4j.org for details.
0.02/0.19	c version 2.3.1.v20110525
0.02/0.19	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.19	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.19	c java.vm.version	19.1-b02
0.02/0.19	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.19	c sun.arch.data.model	64
0.02/0.19	c java.version		1.6.0_24
0.02/0.19	c os.name		Linux
0.02/0.19	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.19	c os.arch		amd64
0.02/0.19	c Free memory 		9996466904
0.02/0.19	c Max memory 		10048897024
0.02/0.19	c Total memory 		10048897024
0.02/0.19	c Number of processors 	8
0.10/0.22	c Pseudo Boolean Optimization
0.10/0.22	c ManyCore solver with 2 solvers running in parallel
0.10/0.22	c --- Begin Solver configuration ---
0.10/0.22	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.22	c Learn all clauses as in MiniSAT
0.10/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.22	c Expensive reason simplification
0.10/0.22	c Armin Biere (Picosat) restarts strategy
0.10/0.22	c Glucose learned constraints deletion strategy
0.10/0.22	c timeout=2147483s
0.10/0.22	c DB Simplification allowed=false
0.10/0.22	c --- End Solver configuration ---
0.10/0.22	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.22	c --- Begin Solver configuration ---
0.10/0.22	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.22	c Learn all clauses as in MiniSAT
0.10/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.22	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.22	c No reason simplification
0.10/0.22	c Armin Biere (Picosat) restarts strategy
0.10/0.22	c Glucose learned constraints deletion strategy
0.10/0.22	c timeout=2147483s
0.10/0.22	c DB Simplification allowed=false
0.10/0.22	c --- End Solver configuration ---
0.10/0.22	c solving HOME/instance-3735839-1338713269.opb
0.10/0.22	c reading problem ... 
0.80/0.55	c ... done. Wall clock time 0.333s.
0.80/0.55	c #vars     5256
0.80/0.55	c #constraints  15614
0.80/0.55	c constraints type 
0.80/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2734
0.80/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12658
0.80/0.55	c constraints type 
0.80/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12658
0.80/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2734
1.14/0.61	c  And the winner is CuttingPlanes
1.24/1.06	c SATISFIABLE
1.24/1.06	c OPTIMIZING...
1.24/1.10	c Got one! Elapsed wall clock time (in seconds):0.845
1.24/1.10	o 43
1.38/1.10	c  And the winner is Resolution
1.72/1.58	c Got one! Elapsed wall clock time (in seconds):1.363
1.72/1.58	o 42
1.76/1.65	c  And the winner is Resolution
2.00/2.09	c Got one! Elapsed wall clock time (in seconds):1.877
2.00/2.09	o 36
2.03/2.14	c  And the winner is Resolution
2.22/2.61	c Got one! Elapsed wall clock time (in seconds):2.392
2.22/2.61	o 34
2.22/2.66	c  And the winner is Resolution
2.37/3.12	c Got one! Elapsed wall clock time (in seconds):2.9
2.37/3.12	o 32
5.91/4.70	c cleaning 2765 clauses out of 5535 with flag 5000/5535
9.43/6.50	c cleaning 4382 clauses out of 8770 with flag 11000/11535
11.41/7.48	c  And the winner is Resolution
11.64/7.63	c Got one! Elapsed wall clock time (in seconds):7.408
11.64/7.63	o 31
12.40/8.08	c cleaning 4883 clauses out of 9776 with flag 2000/16923
15.82/9.76	c cleaning 5442 clauses out of 10895 with flag 8002/22925
19.42/11.58	c cleaning 6223 clauses out of 12451 with flag 15000/29923
24.05/13.81	c cleaning 7106 clauses out of 14228 with flag 23000/37923
29.21/16.45	c cleaning 8053 clauses out of 16122 with flag 32000/46923
34.96/19.31	c cleaning 9031 clauses out of 18073 with flag 42004/56927
41.09/22.45	c cleaning 10014 clauses out of 20038 with flag 53000/67923
47.65/25.72	c cleaning 11009 clauses out of 22025 with flag 65001/79924
55.21/29.52	c cleaning 12002 clauses out of 24018 with flag 78003/92926
62.38/33.10	c cleaning 12991 clauses out of 26013 with flag 92000/106923
70.73/37.30	c cleaning 14004 clauses out of 28022 with flag 107000/121923
78.87/41.46	c cleaning 14996 clauses out of 30018 with flag 123000/137923
88.24/46.18	c cleaning 15502 clauses out of 31023 with flag 139001/153924
97.57/50.84	c cleaning 15755 clauses out of 31520 with flag 155000/169923
99.09/51.68	c  And the winner is Resolution
99.15/52.18	c Got one! Elapsed wall clock time (in seconds):51.965
99.15/52.18	o 30
100.58/52.93	c cleaning 10522 clauses out of 21058 with flag 3000/175216
103.71/54.52	c cleaning 8260 clauses out of 16537 with flag 9001/181217
107.65/56.52	c cleaning 7631 clauses out of 15276 with flag 16000/188216
111.80/58.68	c cleaning 7812 clauses out of 15646 with flag 24001/196217
117.10/61.34	c cleaning 8408 clauses out of 16834 with flag 33001/205217
122.63/64.17	c cleaning 9204 clauses out of 18425 with flag 43000/215216
128.77/67.29	c cleaning 10100 clauses out of 20221 with flag 54000/226216
135.92/70.86	c cleaning 11046 clauses out of 22121 with flag 66000/238216
143.65/74.77	c cleaning 12023 clauses out of 24075 with flag 79000/251216
151.76/78.84	c cleaning 13020 clauses out of 26053 with flag 93001/265217
160.28/83.16	c cleaning 14006 clauses out of 28032 with flag 108000/280216
169.47/87.78	c cleaning 15007 clauses out of 30027 with flag 124001/296217
179.36/92.78	c cleaning 15501 clauses out of 31019 with flag 140000/312216
189.50/97.87	c cleaning 15753 clauses out of 31518 with flag 156000/328216
198.21/102.25	c cleaning 15874 clauses out of 31766 with flag 172001/344217
207.13/106.79	c cleaning 15934 clauses out of 31891 with flag 188000/360216
216.35/111.42	c cleaning 15965 clauses out of 31957 with flag 204000/376216
225.24/115.90	c cleaning 15989 clauses out of 31992 with flag 220000/392216
233.93/120.36	c cleaning 15996 clauses out of 32003 with flag 236000/408216
243.42/125.17	c cleaning 15993 clauses out of 32007 with flag 252000/424216
252.83/129.98	c cleaning 15998 clauses out of 32014 with flag 268000/440216
261.51/134.35	c cleaning 15999 clauses out of 32016 with flag 284000/456216
270.39/138.87	c cleaning 15998 clauses out of 32018 with flag 300001/472217
278.85/143.13	c cleaning 16003 clauses out of 32019 with flag 316000/488216
287.26/147.48	c cleaning 16002 clauses out of 32016 with flag 332000/504216
295.93/151.81	c cleaning 16002 clauses out of 32018 with flag 348004/520220
303.98/155.96	c cleaning 15995 clauses out of 32012 with flag 364000/536216
312.84/160.48	c cleaning 16001 clauses out of 32017 with flag 380000/552216
322.64/165.41	c cleaning 15996 clauses out of 32016 with flag 396000/568216
331.91/170.15	c cleaning 16001 clauses out of 32020 with flag 412000/584216
340.76/174.61	c cleaning 16006 clauses out of 32021 with flag 428002/600218
348.81/178.74	c cleaning 15999 clauses out of 32013 with flag 444000/616216
356.78/182.86	c cleaning 15993 clauses out of 32014 with flag 460000/632216
365.84/187.42	c cleaning 16006 clauses out of 32022 with flag 476001/648217
373.88/191.55	c cleaning 15997 clauses out of 32015 with flag 492000/664216
381.73/195.56	c cleaning 16001 clauses out of 32018 with flag 508000/680216
389.68/199.69	c cleaning 15999 clauses out of 32018 with flag 524001/696217
398.13/203.96	c cleaning 15999 clauses out of 32018 with flag 540000/712216
406.57/208.24	c cleaning 16002 clauses out of 32020 with flag 556001/728217
414.82/212.43	c cleaning 15998 clauses out of 32017 with flag 572000/744216
423.75/217.04	c cleaning 15998 clauses out of 32019 with flag 588000/760216
432.80/221.66	c cleaning 15998 clauses out of 32021 with flag 604000/776216
438.04/224.40	c  And the winner is Resolution
437.61/224.64	c Got one! Elapsed wall clock time (in seconds):224.418
437.61/224.64	o 29
440.32/226.06	c cleaning 15031 clauses out of 30075 with flag 5001/790268
444.16/228.00	c cleaning 10512 clauses out of 21043 with flag 11000/796267
448.48/230.37	c cleaning 8756 clauses out of 17531 with flag 18000/803267
453.31/232.85	c cleaning 8381 clauses out of 16776 with flag 26001/811268
458.53/235.53	c cleaning 8684 clauses out of 17394 with flag 35000/820267
464.36/238.59	c cleaning 9343 clauses out of 18710 with flag 45000/830267
470.88/241.94	c cleaning 10175 clauses out of 20368 with flag 56001/841268
477.68/245.46	c cleaning 11087 clauses out of 22192 with flag 68000/853267
485.91/249.63	c cleaning 12043 clauses out of 24105 with flag 81000/866267
494.11/253.89	c cleaning 13024 clauses out of 26062 with flag 95000/880267
502.62/258.23	c cleaning 14015 clauses out of 28039 with flag 110001/895268
511.42/262.73	c cleaning 15004 clauses out of 30023 with flag 126000/911267
520.23/267.24	c cleaning 15502 clauses out of 31020 with flag 142001/927268
529.62/272.06	c cleaning 15747 clauses out of 31517 with flag 158000/943267
539.12/276.91	c cleaning 15871 clauses out of 31770 with flag 174000/959267
548.13/281.56	c cleaning 15945 clauses out of 31899 with flag 190000/975267
557.10/286.11	c cleaning 15970 clauses out of 31954 with flag 206000/991267
566.09/290.74	c cleaning 15980 clauses out of 31984 with flag 222000/1007267
575.52/295.61	c cleaning 15996 clauses out of 32005 with flag 238001/1023268
585.10/300.57	c cleaning 15992 clauses out of 32008 with flag 254000/1039267
595.26/305.77	c cleaning 15999 clauses out of 32017 with flag 270001/1055268
605.81/311.16	c cleaning 16001 clauses out of 32017 with flag 286000/1071267
615.02/315.93	c cleaning 15995 clauses out of 32016 with flag 302000/1087267
623.18/320.14	c cleaning 16004 clauses out of 32023 with flag 318002/1103269
631.11/324.23	c cleaning 16002 clauses out of 32018 with flag 334001/1119268
639.27/328.48	c cleaning 15999 clauses out of 32016 with flag 350001/1135268
648.48/333.23	c cleaning 15999 clauses out of 32017 with flag 366001/1151268
657.99/338.14	c cleaning 15996 clauses out of 32017 with flag 382000/1167267
667.32/342.95	c cleaning 16007 clauses out of 32022 with flag 398001/1183268
676.05/347.49	c cleaning 15996 clauses out of 32014 with flag 414000/1199267
685.43/352.39	c cleaning 16000 clauses out of 32019 with flag 430001/1215268
695.16/357.35	c cleaning 15992 clauses out of 32018 with flag 446000/1231267
704.88/362.36	c cleaning 16001 clauses out of 32026 with flag 462000/1247267
714.38/367.24	c cleaning 16004 clauses out of 32026 with flag 478001/1263268
723.93/372.28	c cleaning 15999 clauses out of 32021 with flag 494000/1279267
733.44/377.18	c cleaning 15997 clauses out of 32022 with flag 510000/1295267
742.75/381.97	c cleaning 16007 clauses out of 32026 with flag 526001/1311268
752.26/386.87	c cleaning 16004 clauses out of 32018 with flag 542000/1327267
760.80/391.30	c cleaning 15999 clauses out of 32015 with flag 558001/1343268
769.50/395.82	c cleaning 16001 clauses out of 32015 with flag 574000/1359267
777.61/400.08	c cleaning 16001 clauses out of 32015 with flag 590001/1375268
786.10/404.45	c cleaning 16001 clauses out of 32013 with flag 606000/1391267
795.23/409.21	c cleaning 15996 clauses out of 32012 with flag 622000/1407267
803.91/413.75	c cleaning 15992 clauses out of 32018 with flag 638002/1423269
813.63/418.71	c cleaning 16003 clauses out of 32024 with flag 654000/1439267
823.34/423.76	c cleaning 16004 clauses out of 32022 with flag 670001/1455268
832.85/428.76	c cleaning 16000 clauses out of 32017 with flag 686000/1471267
842.75/433.86	c cleaning 16004 clauses out of 32017 with flag 702000/1487267
852.44/438.82	c cleaning 16002 clauses out of 32014 with flag 718001/1503268
861.52/443.57	c cleaning 16001 clauses out of 32011 with flag 734000/1519267
870.64/448.37	c cleaning 15995 clauses out of 32010 with flag 750000/1535267
879.52/452.93	c cleaning 16000 clauses out of 32015 with flag 766000/1551267
888.02/457.36	c cleaning 15998 clauses out of 32015 with flag 782000/1567267
896.71/461.81	c cleaning 16002 clauses out of 32017 with flag 798000/1583267
905.80/466.62	c cleaning 16001 clauses out of 32019 with flag 814004/1599271
914.29/471.09	c cleaning 15999 clauses out of 32014 with flag 830000/1615267
922.57/475.39	c cleaning 16001 clauses out of 32015 with flag 846000/1631267
931.25/479.88	c cleaning 15994 clauses out of 32014 with flag 862000/1647267
940.73/484.84	c cleaning 16003 clauses out of 32020 with flag 878000/1663267
950.41/489.88	c cleaning 16004 clauses out of 32017 with flag 894000/1679267
960.09/494.84	c cleaning 15999 clauses out of 32014 with flag 910001/1695268
969.55/499.71	c cleaning 16000 clauses out of 32015 with flag 926001/1711268
979.46/504.92	c cleaning 15999 clauses out of 32014 with flag 942000/1727267
988.72/509.70	c cleaning 16002 clauses out of 32015 with flag 958000/1743267
997.80/514.45	c cleaning 15993 clauses out of 32015 with flag 974002/1759269
1006.47/518.94	c cleaning 16007 clauses out of 32021 with flag 990001/1775268
1015.34/523.64	c cleaning 15998 clauses out of 32013 with flag 1006000/1791267
1024.40/528.35	c cleaning 15998 clauses out of 32017 with flag 1022002/1807269
1033.67/533.18	c cleaning 15997 clauses out of 32017 with flag 1038000/1823267
1042.94/537.92	c cleaning 15999 clauses out of 32020 with flag 1054000/1839267
1052.38/542.97	c cleaning 15997 clauses out of 32022 with flag 1070001/1855268
1061.25/547.54	c cleaning 16004 clauses out of 32024 with flag 1086000/1871267
1069.91/552.09	c cleaning 16003 clauses out of 32020 with flag 1102000/1887267
1079.16/556.83	c cleaning 15992 clauses out of 32017 with flag 1118000/1903267
1088.21/561.64	c cleaning 16006 clauses out of 32025 with flag 1134000/1919267
1097.48/566.44	c cleaning 15993 clauses out of 32020 with flag 1150001/1935268
1107.32/571.56	c cleaning 15998 clauses out of 32026 with flag 1166000/1951267
1116.57/576.35	c cleaning 16006 clauses out of 32029 with flag 1182001/1967268
1126.40/581.50	c cleaning 16003 clauses out of 32023 with flag 1198001/1983268
1135.03/586.06	c cleaning 16006 clauses out of 32019 with flag 1214000/1999267
1144.11/590.74	c cleaning 15999 clauses out of 32013 with flag 1230000/2015267
1153.55/595.69	c cleaning 16000 clauses out of 32014 with flag 1246000/2031267
1163.37/600.89	c cleaning 15997 clauses out of 32014 with flag 1262000/2047267
1173.19/605.95	c cleaning 16001 clauses out of 32017 with flag 1278000/2063267
1183.23/611.13	c cleaning 16007 clauses out of 32017 with flag 1294001/2079268
1192.50/615.96	c cleaning 15997 clauses out of 32009 with flag 1310000/2095267
1201.68/620.87	c cleaning 15998 clauses out of 32012 with flag 1326000/2111267
1211.70/626.02	c cleaning 15996 clauses out of 32014 with flag 1342000/2127267
1220.92/630.86	c cleaning 15989 clauses out of 32018 with flag 1358000/2143267
1230.94/636.00	c cleaning 16005 clauses out of 32029 with flag 1374000/2159267
1241.29/641.52	c cleaning 16004 clauses out of 32024 with flag 1390000/2175267
1251.07/646.62	c cleaning 16006 clauses out of 32022 with flag 1406002/2191269
1260.07/651.31	c cleaning 16003 clauses out of 32015 with flag 1422001/2207268
1268.85/655.96	c cleaning 15993 clauses out of 32011 with flag 1438000/2223267
1277.95/660.89	c cleaning 15998 clauses out of 32018 with flag 1454000/2239267
1286.94/665.52	c cleaning 15992 clauses out of 32020 with flag 1470000/2255267
1295.70/670.19	c cleaning 16005 clauses out of 32029 with flag 1486001/2271268
1305.08/675.00	c cleaning 16007 clauses out of 32023 with flag 1502000/2287267
1314.19/679.94	c cleaning 15996 clauses out of 32016 with flag 1518000/2303267
1323.74/684.96	c cleaning 16001 clauses out of 32020 with flag 1534000/2319267
1332.50/689.52	c cleaning 16004 clauses out of 32019 with flag 1550000/2335267
1342.65/694.89	c cleaning 15996 clauses out of 32015 with flag 1566000/2351267
1351.92/699.88	c cleaning 16002 clauses out of 32020 with flag 1582001/2367268
1360.30/704.29	c cleaning 15995 clauses out of 32019 with flag 1598002/2383269
1369.07/708.86	c cleaning 16002 clauses out of 32022 with flag 1614000/2399267
1378.20/713.63	c cleaning 15997 clauses out of 32020 with flag 1630000/2415267
1387.27/718.53	c cleaning 15999 clauses out of 32024 with flag 1646001/2431268
1395.43/722.82	c cleaning 16004 clauses out of 32025 with flag 1662001/2447268
1404.59/727.62	c cleaning 16000 clauses out of 32020 with flag 1678000/2463267
1413.73/732.48	c cleaning 15998 clauses out of 32020 with flag 1694000/2479267
1423.61/737.70	c cleaning 15999 clauses out of 32022 with flag 1710000/2495267
1433.77/743.05	c cleaning 16002 clauses out of 32023 with flag 1726000/2511267
1443.13/747.92	c cleaning 16001 clauses out of 32021 with flag 1742000/2527267
1452.67/752.98	c cleaning 15997 clauses out of 32020 with flag 1758000/2543267
1462.93/758.44	c cleaning 15999 clauses out of 32023 with flag 1774000/2559267
1472.47/763.45	c cleaning 16000 clauses out of 32024 with flag 1790000/2575267
1482.16/768.54	c cleaning 16000 clauses out of 32024 with flag 1806000/2591267
1491.87/773.69	c cleaning 15993 clauses out of 32024 with flag 1822000/2607267
1501.86/779.08	c cleaning 16010 clauses out of 32031 with flag 1838000/2623267
1511.35/784.08	c cleaning 16000 clauses out of 32021 with flag 1854000/2639267
1521.23/789.28	c cleaning 15997 clauses out of 32021 with flag 1870000/2655267
1530.74/794.20	c cleaning 16009 clauses out of 32024 with flag 1886000/2671267
1540.11/799.32	c cleaning 16002 clauses out of 32016 with flag 1902001/2687268
1549.59/804.34	c cleaning 15995 clauses out of 32013 with flag 1918000/2703267
1559.29/809.47	c cleaning 15996 clauses out of 32018 with flag 1934000/2719267
1568.97/814.52	c cleaning 16003 clauses out of 32022 with flag 1950000/2735267
1578.51/819.76	c cleaning 15998 clauses out of 32019 with flag 1966000/2751267
1588.19/824.85	c cleaning 15999 clauses out of 32023 with flag 1982002/2767269
1597.48/829.79	c cleaning 15998 clauses out of 32022 with flag 1998000/2783267
1607.74/835.13	c cleaning 15994 clauses out of 32024 with flag 2014000/2799267
1617.64/840.54	c cleaning 16006 clauses out of 32030 with flag 2030000/2815267
1627.31/845.64	c cleaning 15998 clauses out of 32024 with flag 2046000/2831267
1637.40/850.97	c cleaning 16000 clauses out of 32026 with flag 2062000/2847267
1647.06/856.02	c cleaning 16002 clauses out of 32026 with flag 2078000/2863267
1656.59/861.27	c cleaning 16001 clauses out of 32026 with flag 2094002/2879269
1665.62/866.08	c cleaning 16006 clauses out of 32023 with flag 2110000/2895267
1674.89/870.98	c cleaning 16001 clauses out of 32017 with flag 2126000/2911267
1684.52/876.08	c cleaning 15992 clauses out of 32016 with flag 2142000/2927267
1693.99/881.25	c cleaning 15997 clauses out of 32024 with flag 2158000/2943267
1703.63/886.35	c cleaning 16006 clauses out of 32028 with flag 2174001/2959268
1713.45/891.59	c cleaning 15988 clauses out of 32021 with flag 2190000/2975267
1723.10/896.62	c cleaning 16010 clauses out of 32033 with flag 2206000/2991267
1731.78/901.44	c cleaning 16005 clauses out of 32023 with flag 2222000/3007267
1740.21/905.96	c cleaning 16003 clauses out of 32018 with flag 2238000/3023267
1750.04/911.11	c cleaning 16000 clauses out of 32015 with flag 2254000/3039267
1759.88/916.36	c cleaning 16000 clauses out of 32015 with flag 2270000/3055267
1769.75/921.77	c cleaning 15999 clauses out of 32016 with flag 2286001/3071268
1778.78/926.58	c cleaning 16004 clauses out of 32017 with flag 2302001/3087268
1787.79/931.38	c cleaning 15998 clauses out of 32013 with flag 2318001/3103268
1797.22/936.38	c cleaning 15998 clauses out of 32014 with flag 2334000/3119267
1799.47/937.91	c starts		: 256
1799.47/937.91	c conflicts		: 3121279
1799.47/937.91	c decisions		: 10900728
1799.47/937.91	c propagations		: 3725586030
1799.47/937.91	c inspects		: 4233690673
1799.47/937.91	c shortcuts		: 0
1799.47/937.91	c learnt literals	: 0
1799.47/937.91	c learnt binary clauses	: 0
1799.47/937.91	c learnt ternary clauses	: 2
1799.47/937.91	c learnt constraints	: 3121280
1799.47/937.91	c ignored constraints	: 0
1799.47/937.91	c root simplifications	: 0
1799.47/937.91	c removed literals (reason simplification)	: 6342329
1799.47/937.91	c reason swapping (by a shorter reason)	: 0
1799.47/937.91	c Calls to reduceDB	: 208
1799.47/937.91	c number of reductions to clauses (during analyze)	: 0
1799.47/937.91	c number of learned constraints concerned by reduction	: 0
1799.47/937.91	c number of learning phase by resolution	: 0
1799.47/937.91	c number of learning phase by cutting planes	: 0
1799.47/937.91	c speed (assignments/second)	: 5223240.65467403
1799.47/937.91	c non guided choices	18910
1799.47/937.92	c learnt constraints type 
1799.47/937.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18063
1799.47/937.92	c constraints type 
1799.47/937.92	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2734
1799.47/937.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.47/937.92	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12658
1799.47/937.92	c constraints type 
1799.47/937.92	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12658
1799.47/937.92	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2734
1799.47/937.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.47/937.92	s SATISFIABLE
1799.47/937.93	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 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 x4997 x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 x5055 x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 x5069 x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 x5163 x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 x5253 x5254 x5255 x5256 
1799.47/937.94	c objective function=29
1799.47/937.94	c Total wall clock time (in seconds): 937.718

Verifier Data

OK	29

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735839-1338713269/watcher-3735839-1338713269 -o /tmp/evaluation-result-3735839-1338713269/solver-3735839-1338713269 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735839-1338713269.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: 0.99 1.56 1.82 2/176 18270
/proc/meminfo: memFree=27206076/32873660 swapFree=7120/7120
[pid=18270] ppid=18268 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/18270/stat : 18270 (java) R 18268 18270 18226 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 337452643 3653632 49 33554432000 1073741824 1073778376 140733419582688 140733419579768 270320889127 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18270/statm: 892 49 38 9 0 30 0

[startup+0.0934519 s]
/proc/loadavg: 0.99 1.56 1.82 2/176 18270
/proc/meminfo: memFree=27206076/32873660 swapFree=7120/7120
[pid=18270] ppid=18268 vsize=11044572 CPUtime=0.02 cores=1,3,5,7
/proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 3868 0 14 0 1 1 0 0 20 0 10 0 337452643 11309641728 10712 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/18270/statm: 2761143 10712 1382 9 0 2751844 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11044572

[startup+0.100191 s]
/proc/loadavg: 0.99 1.56 1.82 2/176 18270
/proc/meminfo: memFree=27206076/32873660 swapFree=7120/7120
[pid=18270] ppid=18268 vsize=11044572 CPUtime=0.02 cores=1,3,5,7
/proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 4057 0 14 0 1 1 0 0 20 0 10 0 337452643 11309641728 10901 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/18270/statm: 2761143 10901 1537 9 0 2751844 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11044572

[startup+0.300179 s]
/proc/loadavg: 0.99 1.56 1.82 2/176 18270
/proc/meminfo: memFree=27206076/32873660 swapFree=7120/7120
[pid=18270] ppid=18268 vsize=11586392 CPUtime=0.28 cores=1,3,5,7
/proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 5957 0 14 0 26 2 0 0 20 0 18 0 337452643 11864465408 15055 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/18270/statm: 2896598 15055 2208 9 0 2887285 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11586392

[startup+0.700239 s]
/proc/loadavg: 0.99 1.56 1.82 2/176 18270
/proc/meminfo: memFree=27206076/32873660 swapFree=7120/7120
[pid=18270] ppid=18268 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 10698 0 14 0 118 6 0 0 20 0 19 0 337452643 12137111552 28096 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/18270/statm: 2963162 28096 2259 9 0 2953849 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 11852648

[startup+1.50054 s]
/proc/loadavg: 0.99 1.56 1.82 1/213 18313
/proc/meminfo: memFree=26976352/32873660 swapFree=7120/7120
[pid=18270] ppid=18268 vsize=11852648 CPUtime=1.72 cores=1,3,5,7
/proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 11501 0 14 0 164 8 0 0 20 0 19 0 337452643 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/18270/statm: 2963162 29161 2264 9 0 2953849 0
[pid=18270/tid=18273] ppid=18268 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/18270/task/18273/stat : 18273 (java) S 18268 18270 18226 0 -1 4202560 3445 0 4 0 41 3 0 0 20 0 19 0 337452647 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867689411736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0
[pid=18270/tid=18280] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18280/stat : 18280 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867628140840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18282] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18282/stat : 18282 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867627088040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18284] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18284/stat : 18284 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867626035752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452658 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/18270/task/18299/stat : 18299 (java) S 18268 18270 18226 0 -1 4202560 2523 0 0 0 44 0 0 0 20 0 19 0 337452659 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867502271160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4233 0 0 0 45 0 0 0 20 0 19 0 337452659 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452659 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452659 12137111552 29161 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 11852648

[startup+3.10055 s]
/proc/loadavg: 0.99 1.56 1.82 5/216 18325
/proc/meminfo: memFree=26744488/32873660 swapFree=7120/7120
[pid=18270] ppid=18268 vsize=11852648 CPUtime=2.37 cores=1,3,5,7
/proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 11812 0 14 0 223 14 0 0 20 0 19 0 337452643 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/18270/statm: 2963162 32748 2266 9 0 2953849 0
[pid=18270/tid=18273] ppid=18268 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/18270/task/18273/stat : 18273 (java) S 18268 18270 18226 0 -1 4202560 3447 0 4 0 44 3 0 0 20 0 19 0 337452647 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867689411736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0
[pid=18270/tid=18280] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18280/stat : 18280 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867628140840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18282] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18282/stat : 18282 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867627088040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18284] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18284/stat : 18284 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867626035752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337452651 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337452654 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452658 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.56 cores=1,3,5,7
/proc/18270/task/18299/stat : 18299 (java) S 18268 18270 18226 0 -1 4202560 2524 0 0 0 56 0 0 0 20 0 19 0 337452659 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867502271160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4516 0 0 0 60 0 0 0 20 0 19 0 337452659 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452659 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337452659 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18316] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18316/stat : 18316 (java) S 18268 18270 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337452751 12137111552 32748 33554432000 1073741824 1073778376 140733419582688 139867494901416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 11852648
heavy processes:

[startup+6.3007 s]
/proc/loadavg: 1.39 1.63 1.85 5/219 18337
/proc/meminfo: memFree=25816900/32873660 swapFree=7120/7120
[pid=18270] ppid=18268 vsize=11852648 CPUtime=9.22 cores=1,3,5,7
/proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 12541 0 14 0 893 29 0 0 20 0 22 0 337452643 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/18270/statm: 2963162 251914 2291 9 0 2953849 0
[pid=18270/tid=18273] ppid=18268 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/18270/task/18273/stat : 18273 (java) S 18268 18270 18226 0 -1 4202560 3449 0 4 0 45 3 0 0 20 0 22 0 337452647 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867689411736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0
[pid=18270/tid=18280] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18280/stat : 18280 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867628140840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18282] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18282/stat : 18282 (java) S 18268 18270 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867627088040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18284] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18284/stat : 18284 (java) S 18268 18270 18226 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867626035752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337452651 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 34 0 0 0 2 1 0 0 20 0 22 0 337452654 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452658 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/18270/task/18299/stat : 18299 (java) R 18268 18270 18226 0 -1 4202560 2528 0 0 0 78 0 0 0 20 0 22 0 337452659 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867502271160 139867692018689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4737 0 0 0 90 0 0 0 20 0 22 0 337452659 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452659 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452659 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18316] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18316/stat : 18316 (java) S 18268 18270 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337452751 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867494901416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18332] ppid=18268 vsize=11852648 CPUtime=3.1 cores=1,3,5,7
/proc/18270/task/18332/stat : 18332 (java) R 18268 18270 18226 0 -1 4202560 10 0 0 0 310 0 0 0 20 0 22 0 337452955 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867498058136 139867629847124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18333] ppid=18268 vsize=11852648 CPUtime=3.1 cores=1,3,5,7
/proc/18270/task/18333/stat : 18333 (java) R 18268 18270 18226 0 -1 4202560 422 0 0 0 297 13 0 0 20 0 22 0 337452955 12137111552 251914 33554432000 1073741824 1073778376 140733419582688 139867497005048 139867629778108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18334] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7

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

[pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 108 2 0 0 20 0 22 0 337452651 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=1.13 cores=1,3,5,7
/proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 81 0 0 0 111 2 0 0 20 0 22 0 337452651 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 78 0 0 0 102 2 0 0 20 0 22 0 337452651 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 62 0 0 0 120 2 0 0 20 0 22 0 337452651 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 115 2 0 0 20 0 22 0 337452651 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=66.98 cores=1,3,5,7
/proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 266 0 0 0 6688 10 0 0 20 0 22 0 337452654 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452658 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/18270/task/18299/stat : 18299 (java) S 18268 18270 18226 0 -1 4202560 2540 0 0 0 98 0 0 0 20 0 22 0 337452659 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867502271160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4741 0 0 0 110 0 0 0 20 0 22 0 337452659 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452659 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0.3 cores=1,3,5,7
/proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 337452659 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18316] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18316/stat : 18316 (java) S 18268 18270 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337452751 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867494901416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18348] ppid=18268 vsize=11852648 CPUtime=593.71 cores=1,3,5,7
/proc/18270/task/18348/stat : 18348 (java) R 18268 18270 18226 0 -1 4202560 30 0 0 0 59362 9 0 0 20 0 22 0 337475107 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867497005136 139867630047590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18349] ppid=18268 vsize=11852648 CPUtime=593.63 cores=1,3,5,7
/proc/18270/task/18349/stat : 18349 (java) R 18268 18270 18226 0 -1 4202560 33 0 0 0 59353 10 0 0 20 0 22 0 337475107 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867498055984 139867629885108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18350] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18350/stat : 18350 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337475110 12137111552 973216 33554432000 1073741824 1073778376 140733419582688 139867495953448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1695.62
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+937.901 s]
/proc/loadavg: 3.96 3.84 3.15 5/219 18449
/proc/meminfo: memFree=21721584/32873660 swapFree=7120/7120
[pid=18270] ppid=18268 vsize=11852648 CPUtime=1799.47 cores=1,3,5,7
/proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 14870 0 14 0 179829 118 0 0 20 0 22 0 337452643 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/18270/statm: 2963162 977330 2293 9 0 2953849 0
[pid=18270/tid=18273] ppid=18268 vsize=11852648 CPUtime=0.54 cores=1,3,5,7
/proc/18270/task/18273/stat : 18273 (java) S 18268 18270 18226 0 -1 4202560 3588 0 4 0 49 5 0 0 20 0 22 0 337452647 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867689411736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0
[pid=18270/tid=18280] ppid=18268 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/18270/task/18280/stat : 18280 (java) S 18268 18270 18226 0 -1 4202560 71 0 0 0 118 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867628140840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18282] ppid=18268 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/18270/task/18282/stat : 18282 (java) S 18268 18270 18226 0 -1 4202560 69 0 0 0 111 1 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867627088040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18284] ppid=18268 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/18270/task/18284/stat : 18284 (java) S 18268 18270 18226 0 -1 4202560 85 0 0 0 114 3 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867626035752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 116 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 85 0 0 0 122 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 110 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 70 0 0 0 130 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 124 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=74.62 cores=1,3,5,7
/proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 279 0 0 0 7451 11 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452658 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/18270/task/18299/stat : 18299 (java) S 18268 18270 18226 0 -1 4202560 2540 0 0 0 98 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867502271160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4741 0 0 0 110 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0.32 cores=1,3,5,7
/proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 55 0 0 0 13 19 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18316] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18316/stat : 18316 (java) S 18268 18270 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337452751 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867494901416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18348] ppid=18268 vsize=11852648 CPUtime=641.33 cores=1,3,5,7
/proc/18270/task/18348/stat : 18348 (java) R 18268 18270 18226 0 -1 4202560 30 0 0 0 64124 9 0 0 20 0 22 0 337475107 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867497005256 139867629847242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18349] ppid=18268 vsize=11852648 CPUtime=641.23 cores=1,3,5,7
/proc/18270/task/18349/stat : 18349 (java) R 18268 18270 18226 0 -1 4202560 34 0 0 0 64113 10 0 0 20 0 22 0 337475107 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867498056000 139867629768190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18350] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18350/stat : 18350 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337475110 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867495953448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 11852648

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

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

[startup+937.901 s]
/proc/loadavg: 3.96 3.84 3.15 5/219 18449
/proc/meminfo: memFree=21721584/32873660 swapFree=7120/7120
[pid=18270] ppid=18268 vsize=11852648 CPUtime=1799.47 cores=1,3,5,7
/proc/18270/stat : 18270 (java) S 18268 18270 18226 0 -1 4202496 14870 0 14 0 179829 118 0 0 20 0 22 0 337452643 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 140733419573824 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/18270/statm: 2963162 977330 2293 9 0 2953849 0
[pid=18270/tid=18273] ppid=18268 vsize=11852648 CPUtime=0.54 cores=1,3,5,7
/proc/18270/task/18273/stat : 18273 (java) S 18268 18270 18226 0 -1 4202560 3588 0 4 0 49 5 0 0 20 0 22 0 337452647 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867689411736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0
[pid=18270/tid=18280] ppid=18268 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/18270/task/18280/stat : 18280 (java) S 18268 18270 18226 0 -1 4202560 71 0 0 0 118 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867628140840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18282] ppid=18268 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/18270/task/18282/stat : 18282 (java) S 18268 18270 18226 0 -1 4202560 69 0 0 0 111 1 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867627088040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18284] ppid=18268 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/18270/task/18284/stat : 18284 (java) S 18268 18270 18226 0 -1 4202560 85 0 0 0 114 3 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867626035752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18285] ppid=18268 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/18270/task/18285/stat : 18285 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 116 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867624982952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18286] ppid=18268 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/18270/task/18286/stat : 18286 (java) S 18268 18270 18226 0 -1 4202560 85 0 0 0 122 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867521837864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18287] ppid=18268 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/18270/task/18287/stat : 18287 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 110 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867520785064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18288] ppid=18268 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/18270/task/18288/stat : 18288 (java) S 18268 18270 18226 0 -1 4202560 70 0 0 0 130 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867519732776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18289] ppid=18268 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/18270/task/18289/stat : 18289 (java) S 18268 18270 18226 0 -1 4202560 79 0 0 0 124 2 0 0 20 0 22 0 337452651 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867518679976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18291] ppid=18268 vsize=11852648 CPUtime=74.62 cores=1,3,5,7
/proc/18270/task/18291/stat : 18291 (java) S 18268 18270 18226 0 -1 4202560 279 0 0 0 7451 11 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867506481384 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18293] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18293/stat : 18293 (java) S 18268 18270 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867505427448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18295] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18295/stat : 18295 (java) S 18268 18270 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337452654 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867504375048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18297] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18297/stat : 18297 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452658 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867503323536 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18299] ppid=18268 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/18270/task/18299/stat : 18299 (java) S 18268 18270 18226 0 -1 4202560 2540 0 0 0 98 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867502271160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18301] ppid=18268 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/18270/task/18301/stat : 18301 (java) S 18268 18270 18226 0 -1 4202560 4741 0 0 0 110 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867501218360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18303] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18303/stat : 18303 (java) S 18268 18270 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867500166264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18270/tid=18305] ppid=18268 vsize=11852648 CPUtime=0.32 cores=1,3,5,7
/proc/18270/task/18305/stat : 18305 (java) S 18268 18270 18226 0 -1 4202560 55 0 0 0 13 19 0 0 20 0 22 0 337452659 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867499113672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18316] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18316/stat : 18316 (java) S 18268 18270 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337452751 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867494901416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18270/tid=18348] ppid=18268 vsize=11852648 CPUtime=641.33 cores=1,3,5,7
/proc/18270/task/18348/stat : 18348 (java) R 18268 18270 18226 0 -1 4202560 30 0 0 0 64124 9 0 0 20 0 22 0 337475107 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867497005256 139867629847242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18270/tid=18349] ppid=18268 vsize=11852648 CPUtime=641.23 cores=1,3,5,7
/proc/18270/task/18349/stat : 18349 (java) R 18268 18270 18226 0 -1 4202560 34 0 0 0 64113 10 0 0 20 0 22 0 337475107 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867498056000 139867629768190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18270/tid=18350] ppid=18268 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18350/stat : 18350 (java) S 18268 18270 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337475110 12137111552 977330 33554432000 1073741824 1073778376 140733419582688 139867495953448 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 11852648

Child status: 143

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


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.549957
#  lost CPU user time (s): 0.599976
#  lost CPU system time (s): -0.05

Real time (s): 937.954
CPU time (s): 1800.02
CPU user time (s): 1798.89
CPU system time (s): 1.13
CPU usage (%): 191.909
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.88
system time used= 1.54176
maximum resident set size= 3909436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14901
page faults= 14
swaps= 0
block input operations= 2568
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28655
involuntary context switches= 32559

runsolver used 3.09153 second user time and 8.5337 second system time

The end

Launcher Data

Begin job on node117 at 2012-06-03 10:47:49
IDJOB=3735839
IDBENCH=24999
IDSOLVER=2328
FILE ID=node117/3735839-1338713269
RUNJOBID= node117-1338713269-18243
PBS_JOBID= 14636728
Free space on /tmp= 69120 MiB

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

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=1481885858

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27206704 kB
Buffers:          616344 kB
Cached:          4118612 kB
SwapCached:          776 kB
Active:          2295064 kB
Inactive:        2456588 kB
Active(anon):       2880 kB
Inactive(anon):     9972 kB
Active(file):    2292184 kB
Inactive(file):  2446616 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:              1968 kB
Writeback:             0 kB
AnonPages:         16452 kB
Mapped:            11056 kB
Shmem:                80 kB
Slab:             776380 kB
SReclaimable:     220700 kB
SUnreclaim:       555680 kB
KernelStack:        1376 kB
PageTables:         3700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     106168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69120 MiB
End job on node117 at 2012-06-03 11:03:29