Trace number 3492290

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08MSAT (TO) 1800.12 1795.27

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
MD5SUM7e0724db75f314e84b0472c27c0a5114
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.326949
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3900
Total number of constraints125
Number of soft constraints39
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
Top cost 2003
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2002
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.11	c See www.sat4j.org for details.
0.07/0.12	c version 2.3.1.v20110525
0.07/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.12	c java.vm.version	19.1-b02
0.07/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.12	c sun.arch.data.model	64
0.07/0.12	c java.version		1.6.0_24
0.07/0.12	c os.name		Linux
0.07/0.12	c os.version		2.6.18-164.el5
0.07/0.12	c os.arch		amd64
0.07/0.12	c Free memory 		9996466904
0.07/0.12	c Max memory 		10048897024
0.07/0.12	c Total memory 		10048897024
0.07/0.12	c Number of processors 	8
0.07/0.15	c Pseudo Boolean Optimization
0.07/0.15	c --- Begin Solver configuration ---
0.07/0.15	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.07/0.15	c Learn all clauses as in MiniSAT
0.07/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.15	c Expensive reason simplification
0.07/0.15	c Armin Biere (Picosat) restarts strategy
0.07/0.15	c Glucose learned constraints deletion strategy
0.07/0.15	c timeout=2147483s
0.07/0.15	c DB Simplification allowed=false
0.07/0.15	c --- End Solver configuration ---
0.07/0.15	c solving HOME/instance-3492290-1307908958.wbo
0.07/0.15	c reading problem ... 
0.20/0.29	c ... done. Wall clock time 0.145s.
0.20/0.29	c #vars     3939
0.20/0.29	c #constraints  125
0.20/0.29	c constraints type 
0.20/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 65
0.20/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 45
0.20/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15
0.69/0.48	c SATISFIABLE
0.69/0.48	c OPTIMIZING...
0.69/0.48	c Got one! Elapsed wall clock time (in seconds):0.331
0.69/0.48	o 92
0.92/0.57	c Got one! Elapsed wall clock time (in seconds):0.427
0.92/0.57	o 81
1.08/0.69	c Got one! Elapsed wall clock time (in seconds):0.541
1.08/0.69	o 79
1.29/0.89	c Got one! Elapsed wall clock time (in seconds):0.74
1.29/0.89	o 67
1.62/1.10	c Got one! Elapsed wall clock time (in seconds):0.956
1.62/1.10	o 29
1.83/1.33	c Got one! Elapsed wall clock time (in seconds):1.184
1.83/1.33	o 4
3.83/3.38	c cleaning 4465 clauses out of 8933 with flag 5000/8933
6.10/5.56	c cleaning 5213 clauses out of 10468 with flag 11000/14933
9.01/8.43	c cleaning 6108 clauses out of 12259 with flag 18004/21937
12.21/11.54	c cleaning 7052 clauses out of 14147 with flag 26000/29933
16.17/15.48	c cleaning 8014 clauses out of 16096 with flag 35001/38934
20.67/19.96	c cleaning 9011 clauses out of 18081 with flag 45000/48933
24.89/24.13	c cleaning 9506 clauses out of 19071 with flag 55001/58934
29.79/29.07	c cleaning 9766 clauses out of 19565 with flag 65001/68934
34.70/33.94	c cleaning 9882 clauses out of 19799 with flag 75001/78934
39.21/38.49	c cleaning 9940 clauses out of 19916 with flag 85000/88933
44.42/43.61	c cleaning 9969 clauses out of 19981 with flag 95005/98938
50.94/50.17	c cleaning 9982 clauses out of 20007 with flag 105000/108933
56.05/55.29	c cleaning 9985 clauses out of 20027 with flag 115002/118935
61.07/60.27	c cleaning 9993 clauses out of 20043 with flag 125003/128936
66.68/65.83	c cleaning 9995 clauses out of 20047 with flag 135000/138933
74.51/73.70	c cleaning 10008 clauses out of 20054 with flag 145002/148935
81.52/80.69	c cleaning 9979 clauses out of 20044 with flag 155000/158933
88.95/88.00	c cleaning 9998 clauses out of 20066 with flag 165001/168934
93.76/92.87	c cleaning 10002 clauses out of 20070 with flag 175003/178936
99.07/98.19	c cleaning 10013 clauses out of 20067 with flag 185002/188935
104.88/103.90	c cleaning 10006 clauses out of 20053 with flag 195001/198934
111.49/110.51	c cleaning 9995 clauses out of 20046 with flag 205000/208933
117.21/116.24	c cleaning 9990 clauses out of 20051 with flag 215000/218933
124.32/123.32	c cleaning 10005 clauses out of 20065 with flag 225004/228937
129.04/128.08	c cleaning 10011 clauses out of 20057 with flag 235001/238934
133.35/132.36	c cleaning 9995 clauses out of 20045 with flag 245000/248933
138.17/137.10	c cleaning 10013 clauses out of 20053 with flag 255003/258936
142.28/141.20	c cleaning 10006 clauses out of 20037 with flag 265000/268933
146.59/145.51	c cleaning 9988 clauses out of 20032 with flag 275001/278934
152.60/151.51	c cleaning 10002 clauses out of 20043 with flag 285000/288933
159.92/158.86	c cleaning 9990 clauses out of 20041 with flag 295000/298933
167.64/166.53	c cleaning 9979 clauses out of 20052 with flag 305001/308934
174.15/173.04	c cleaning 10011 clauses out of 20072 with flag 315000/318933
178.57/177.50	c cleaning 9999 clauses out of 20064 with flag 325003/328936
183.49/182.31	c cleaning 10006 clauses out of 20064 with flag 335002/338935
188.30/187.12	c cleaning 9995 clauses out of 20056 with flag 345000/348933
197.11/195.92	c cleaning 10003 clauses out of 20061 with flag 355000/358933
205.63/204.40	c cleaning 9956 clauses out of 20060 with flag 365002/368935
212.54/211.34	c cleaning 9978 clauses out of 20104 with flag 375002/378935
220.66/219.46	c cleaning 9979 clauses out of 20126 with flag 385002/388935
225.07/223.81	c cleaning 10057 clauses out of 20148 with flag 395003/398936
229.89/228.61	c cleaning 10022 clauses out of 20090 with flag 405002/408935
235.60/234.34	c cleaning 10007 clauses out of 20066 with flag 415000/418933
243.21/241.93	c cleaning 10010 clauses out of 20060 with flag 425001/428934
251.72/250.40	c cleaning 10002 clauses out of 20054 with flag 435005/438938
259.35/258.04	c cleaning 10003 clauses out of 20048 with flag 445001/448934
264.06/262.77	c cleaning 9977 clauses out of 20044 with flag 455000/458933
271.77/270.45	c cleaning 9986 clauses out of 20068 with flag 465001/468934
281.79/280.47	c cleaning 9975 clauses out of 20084 with flag 475003/478936
289.22/287.84	c cleaning 9965 clauses out of 20106 with flag 485000/488933
298.04/296.68	c cleaning 9991 clauses out of 20141 with flag 495000/498933
306.86/305.47	c cleaning 10006 clauses out of 20151 with flag 505001/508934
314.98/313.58	c cleaning 9999 clauses out of 20151 with flag 515007/518940
323.19/321.74	c cleaning 10022 clauses out of 20145 with flag 525000/528933
330.00/328.52	c cleaning 10038 clauses out of 20123 with flag 535000/538933
337.02/335.57	c cleaning 10014 clauses out of 20086 with flag 545001/548934
346.14/344.68	c cleaning 10020 clauses out of 20086 with flag 555015/558948
353.86/352.38	c cleaning 9988 clauses out of 20051 with flag 565000/568933
362.66/361.10	c cleaning 10007 clauses out of 20067 with flag 575004/578937
369.88/368.36	c cleaning 10008 clauses out of 20059 with flag 585003/588936
374.51/372.94	c cleaning 10023 clauses out of 20050 with flag 595002/598935
379.23/377.63	c cleaning 9989 clauses out of 20026 with flag 605001/608934
384.74/383.17	c cleaning 9984 clauses out of 20036 with flag 615000/618933
391.66/390.06	c cleaning 10005 clauses out of 20052 with flag 625000/628933
400.09/398.41	c cleaning 10001 clauses out of 20050 with flag 635003/638936
409.62/407.99	c cleaning 9986 clauses out of 20047 with flag 645001/648934
416.76/415.06	c cleaning 10013 clauses out of 20064 with flag 655004/658937
425.08/423.32	c cleaning 9964 clauses out of 20047 with flag 665000/668933
432.60/430.83	c cleaning 10000 clauses out of 20087 with flag 675004/678937
441.82/440.04	c cleaning 10005 clauses out of 20083 with flag 685000/688933
449.64/447.89	c cleaning 10003 clauses out of 20078 with flag 695000/698933
457.56/455.76	c cleaning 10005 clauses out of 20077 with flag 705002/708935
465.88/464.06	c cleaning 10031 clauses out of 20071 with flag 715001/718934
471.70/469.87	c cleaning 10002 clauses out of 20040 with flag 725001/728934
478.52/476.65	c cleaning 10002 clauses out of 20037 with flag 735000/738933
485.13/483.21	c cleaning 9999 clauses out of 20035 with flag 745000/748933
491.75/489.81	c cleaning 10003 clauses out of 20037 with flag 755001/758934
498.76/496.80	c cleaning 9996 clauses out of 20033 with flag 765000/768933
506.08/504.14	c cleaning 9973 clauses out of 20038 with flag 775001/778934
513.29/511.39	c cleaning 9998 clauses out of 20064 with flag 785000/788933
520.83/518.85	c cleaning 10001 clauses out of 20069 with flag 795003/798936
527.95/525.91	c cleaning 10000 clauses out of 20065 with flag 805000/808933
536.46/534.44	c cleaning 10000 clauses out of 20068 with flag 815003/818936
544.68/542.67	c cleaning 10000 clauses out of 20066 with flag 825001/828934
553.21/551.13	c cleaning 9998 clauses out of 20067 with flag 835002/838935
562.22/560.10	c cleaning 10002 clauses out of 20067 with flag 845000/848933
570.24/568.13	c cleaning 9993 clauses out of 20066 with flag 855001/858934
578.47/576.34	c cleaning 10005 clauses out of 20073 with flag 865001/868934
587.08/584.93	c cleaning 10003 clauses out of 20069 with flag 875002/878935
591.89/589.77	c cleaning 10005 clauses out of 20065 with flag 885001/888934
596.71/594.52	c cleaning 10009 clauses out of 20060 with flag 895001/898934
601.83/599.69	c cleaning 10001 clauses out of 20052 with flag 905002/908935
609.44/607.29	c cleaning 9980 clauses out of 20050 with flag 915001/918934
616.75/614.57	c cleaning 10000 clauses out of 20069 with flag 925000/928933
624.17/621.95	c cleaning 9997 clauses out of 20069 with flag 935000/938933
631.28/629.09	c cleaning 9987 clauses out of 20072 with flag 945000/948933
640.60/638.34	c cleaning 10029 clauses out of 20085 with flag 955000/958933
650.52/648.28	c cleaning 10012 clauses out of 20058 with flag 965002/968935
657.65/655.36	c cleaning 9989 clauses out of 20045 with flag 975001/978934
666.67/664.39	c cleaning 9991 clauses out of 20057 with flag 985002/988935
676.79/674.46	c cleaning 10004 clauses out of 20067 with flag 995003/998936
687.41/685.05	c cleaning 10006 clauses out of 20064 with flag 1005004/1008937
694.83/692.44	c cleaning 10007 clauses out of 20059 with flag 1015005/1018938
702.24/699.88	c cleaning 9978 clauses out of 20047 with flag 1025000/1028933
711.36/708.92	c cleaning 10017 clauses out of 20074 with flag 1035005/1038938
719.49/717.04	c cleaning 10008 clauses out of 20053 with flag 1045001/1048934
727.60/725.16	c cleaning 9999 clauses out of 20044 with flag 1055000/1058933
736.32/733.85	c cleaning 9982 clauses out of 20045 with flag 1065000/1068933
743.56/741.05	c cleaning 9999 clauses out of 20064 with flag 1075001/1078934
751.17/748.62	c cleaning 10003 clauses out of 20064 with flag 1085000/1088933
760.09/757.53	c cleaning 10004 clauses out of 20063 with flag 1095002/1098935
768.31/765.76	c cleaning 10004 clauses out of 20059 with flag 1105002/1108935
776.03/773.45	c cleaning 10002 clauses out of 20056 with flag 1115003/1118936
784.35/781.73	c cleaning 9994 clauses out of 20051 with flag 1125000/1128933
792.16/789.57	c cleaning 9997 clauses out of 20057 with flag 1135000/1138933
800.68/798.06	c cleaning 10004 clauses out of 20062 with flag 1145002/1148935
808.40/805.76	c cleaning 9991 clauses out of 20056 with flag 1155000/1158933
816.81/814.19	c cleaning 9999 clauses out of 20067 with flag 1165002/1168935
823.93/821.30	c cleaning 9998 clauses out of 20069 with flag 1175003/1178936
829.54/826.89	c cleaning 9990 clauses out of 20068 with flag 1185000/1188933
835.46/832.74	c cleaning 10004 clauses out of 20078 with flag 1195000/1198933
842.47/839.70	c cleaning 10005 clauses out of 20076 with flag 1205002/1208935
848.88/846.17	c cleaning 10001 clauses out of 20073 with flag 1215004/1218937
856.50/853.75	c cleaning 9996 clauses out of 20070 with flag 1225002/1228935
864.22/861.47	c cleaning 10001 clauses out of 20075 with flag 1235003/1238936
872.04/869.27	c cleaning 9999 clauses out of 20071 with flag 1245000/1248933
880.16/877.33	c cleaning 10001 clauses out of 20074 with flag 1255002/1258935
887.18/884.33	c cleaning 10000 clauses out of 20072 with flag 1265001/1268934
894.99/892.17	c cleaning 9990 clauses out of 20071 with flag 1275000/1278933
903.10/900.25	c cleaning 10000 clauses out of 20083 with flag 1285002/1288935
911.11/908.28	c cleaning 10006 clauses out of 20082 with flag 1295001/1298934
920.23/917.31	c cleaning 10006 clauses out of 20078 with flag 1305003/1308936
927.64/924.78	c cleaning 9999 clauses out of 20071 with flag 1315002/1318935
934.76/931.86	c cleaning 10001 clauses out of 20071 with flag 1325001/1328934
939.18/936.29	c cleaning 9993 clauses out of 20069 with flag 1335000/1338933
944.50/941.57	c cleaning 10010 clauses out of 20076 with flag 1345000/1348933
950.91/947.92	c cleaning 10005 clauses out of 20068 with flag 1355002/1358935
957.83/954.87	c cleaning 9994 clauses out of 20061 with flag 1365000/1368933
965.95/962.92	c cleaning 10001 clauses out of 20069 with flag 1375002/1378935
973.17/970.11	c cleaning 9999 clauses out of 20066 with flag 1385000/1388933
981.39/978.37	c cleaning 10014 clauses out of 20068 with flag 1395001/1398934
988.82/985.78	c cleaning 10009 clauses out of 20053 with flag 1405000/1408933
996.45/993.34	c cleaning 9984 clauses out of 20044 with flag 1415000/1418933
1004.36/1001.20	c cleaning 9988 clauses out of 20061 with flag 1425001/1428934
1012.47/1009.34	c cleaning 10006 clauses out of 20074 with flag 1435002/1438935
1019.89/1016.71	c cleaning 10002 clauses out of 20067 with flag 1445001/1448934
1026.90/1023.78	c cleaning 9975 clauses out of 20066 with flag 1455002/1458935
1035.51/1032.37	c cleaning 9951 clauses out of 20089 with flag 1465000/1468933
1043.03/1039.86	c cleaning 10011 clauses out of 20141 with flag 1475003/1478936
1050.95/1047.80	c cleaning 10036 clauses out of 20127 with flag 1485000/1488933
1059.87/1056.64	c cleaning 9982 clauses out of 20093 with flag 1495002/1498935
1066.08/1062.87	c cleaning 10005 clauses out of 20110 with flag 1505001/1508934
1073.00/1069.75	c cleaning 9984 clauses out of 20104 with flag 1515000/1518933
1079.02/1075.78	c cleaning 10036 clauses out of 20121 with flag 1525001/1528934
1086.44/1083.17	c cleaning 10014 clauses out of 20085 with flag 1535001/1538934
1094.46/1091.12	c cleaning 10010 clauses out of 20071 with flag 1545001/1548934
1101.69/1098.37	c cleaning 10003 clauses out of 20066 with flag 1555006/1558939
1107.50/1104.10	c cleaning 9999 clauses out of 20057 with flag 1565000/1568933
1114.51/1111.15	c cleaning 10001 clauses out of 20061 with flag 1575003/1578936
1119.93/1116.53	c cleaning 10002 clauses out of 20061 with flag 1585004/1588937
1126.74/1123.30	c cleaning 9999 clauses out of 20055 with flag 1595000/1598933
1131.85/1128.44	c cleaning 9992 clauses out of 20058 with flag 1605002/1608935
1137.76/1134.35	c cleaning 10004 clauses out of 20065 with flag 1615001/1618934
1144.08/1140.68	c cleaning 10004 clauses out of 20061 with flag 1625001/1628934
1151.29/1147.82	c cleaning 10008 clauses out of 20059 with flag 1635003/1638936
1158.51/1155.04	c cleaning 10004 clauses out of 20048 with flag 1645000/1648933
1166.32/1162.82	c cleaning 9997 clauses out of 20044 with flag 1655000/1658933
1173.75/1170.24	c cleaning 10004 clauses out of 20048 with flag 1665001/1668934
1180.36/1176.82	c cleaning 10003 clauses out of 20044 with flag 1675001/1678934
1187.48/1183.97	c cleaning 9997 clauses out of 20040 with flag 1685000/1688933
1194.09/1190.54	c cleaning 10000 clauses out of 20045 with flag 1695002/1698935
1201.11/1197.59	c cleaning 9999 clauses out of 20046 with flag 1705003/1708936
1208.72/1205.16	c cleaning 10001 clauses out of 20046 with flag 1715002/1718935
1216.14/1212.54	c cleaning 10001 clauses out of 20045 with flag 1725002/1728935
1223.45/1219.81	c cleaning 9998 clauses out of 20042 with flag 1735000/1738933
1231.06/1227.47	c cleaning 10000 clauses out of 20045 with flag 1745001/1748934
1237.88/1234.27	c cleaning 9990 clauses out of 20047 with flag 1755003/1758936
1245.88/1242.27	c cleaning 9991 clauses out of 20054 with flag 1765000/1768933
1254.49/1250.81	c cleaning 10004 clauses out of 20063 with flag 1775000/1778933
1262.71/1259.07	c cleaning 9988 clauses out of 20059 with flag 1785000/1788933
1271.03/1267.39	c cleaning 10002 clauses out of 20073 with flag 1795002/1798935
1279.95/1276.26	c cleaning 10002 clauses out of 20069 with flag 1805000/1808933
1288.17/1284.47	c cleaning 10003 clauses out of 20067 with flag 1815000/1818933
1296.49/1292.72	c cleaning 9994 clauses out of 20065 with flag 1825001/1828934
1304.20/1300.47	c cleaning 9998 clauses out of 20071 with flag 1835001/1838934
1312.62/1308.85	c cleaning 10001 clauses out of 20072 with flag 1845000/1848933
1321.54/1317.77	c cleaning 10006 clauses out of 20074 with flag 1855003/1858936
1328.95/1325.12	c cleaning 9998 clauses out of 20065 with flag 1865000/1868933
1338.77/1334.98	c cleaning 9980 clauses out of 20068 with flag 1875001/1878934
1347.88/1344.03	c cleaning 10017 clauses out of 20093 with flag 1885006/1888939
1356.29/1352.43	c cleaning 10003 clauses out of 20076 with flag 1895006/1898939
1363.91/1360.09	c cleaning 10002 clauses out of 20067 with flag 1905000/1908933
1371.92/1368.10	c cleaning 9994 clauses out of 20066 with flag 1915001/1918934
1379.83/1375.91	c cleaning 9996 clauses out of 20075 with flag 1925004/1928937
1388.33/1384.40	c cleaning 10010 clauses out of 20079 with flag 1935004/1938937
1397.65/1393.76	c cleaning 9999 clauses out of 20065 with flag 1945000/1948933
1406.25/1402.34	c cleaning 10002 clauses out of 20067 with flag 1955001/1958934
1414.37/1410.44	c cleaning 10000 clauses out of 20066 with flag 1965002/1968935
1423.48/1419.51	c cleaning 10005 clauses out of 20068 with flag 1975004/1978937
1432.60/1428.67	c cleaning 10000 clauses out of 20060 with flag 1985001/1988934
1437.61/1433.69	c cleaning 10008 clauses out of 20059 with flag 1995000/1998933
1442.53/1438.57	c cleaning 9996 clauses out of 20052 with flag 2005001/2008934
1447.65/1443.61	c cleaning 9981 clauses out of 20058 with flag 2015003/2018936
1454.37/1450.34	c cleaning 10000 clauses out of 20075 with flag 2025001/2028934
1460.88/1456.86	c cleaning 10019 clauses out of 20075 with flag 2035001/2038934
1467.60/1463.55	c cleaning 10008 clauses out of 20057 with flag 2045002/2048935
1471.51/1467.41	c cleaning 10003 clauses out of 20050 with flag 2055003/2058936
1476.72/1472.62	c cleaning 10000 clauses out of 20047 with flag 2065003/2068936
1481.34/1477.21	c cleaning 9988 clauses out of 20044 with flag 2075000/2078933
1486.34/1482.25	c cleaning 9988 clauses out of 20056 with flag 2085000/2088933
1491.66/1487.59	c cleaning 10004 clauses out of 20068 with flag 2095000/2098933
1496.67/1492.56	c cleaning 9994 clauses out of 20064 with flag 2105000/2108933
1502.78/1498.65	c cleaning 9996 clauses out of 20070 with flag 2115000/2118933
1507.10/1502.95	c cleaning 10012 clauses out of 20076 with flag 2125002/2128935
1512.91/1508.70	c cleaning 9985 clauses out of 20062 with flag 2135000/2138933
1519.13/1514.93	c cleaning 10010 clauses out of 20077 with flag 2145000/2148933
1525.04/1520.85	c cleaning 10010 clauses out of 20068 with flag 2155001/2158934
1531.45/1527.27	c cleaning 10004 clauses out of 20057 with flag 2165000/2168933
1537.27/1533.06	c cleaning 10005 clauses out of 20053 with flag 2175000/2178933
1543.08/1538.88	c cleaning 9993 clauses out of 20050 with flag 2185002/2188935
1546.89/1542.69	c cleaning 9999 clauses out of 20055 with flag 2195000/2198933
1551.31/1547.00	c cleaning 9994 clauses out of 20060 with flag 2205004/2208937
1555.92/1551.65	c cleaning 10003 clauses out of 20062 with flag 2215000/2218933
1560.84/1556.59	c cleaning 9995 clauses out of 20059 with flag 2225000/2228933
1567.35/1563.08	c cleaning 10000 clauses out of 20065 with flag 2235001/2238934
1572.36/1568.07	c cleaning 10004 clauses out of 20065 with flag 2245001/2248934
1577.77/1573.40	c cleaning 10002 clauses out of 20062 with flag 2255002/2258935
1583.68/1579.35	c cleaning 9997 clauses out of 20060 with flag 2265002/2268935
1590.99/1586.61	c cleaning 10004 clauses out of 20061 with flag 2275000/2278933
1596.91/1592.51	c cleaning 10007 clauses out of 20058 with flag 2285001/2288934
1605.32/1600.92	c cleaning 9991 clauses out of 20054 with flag 2295004/2298937
1613.74/1609.31	c cleaning 10010 clauses out of 20061 with flag 2305002/2308935
1622.15/1617.70	c cleaning 9998 clauses out of 20049 with flag 2315000/2318933
1631.57/1627.19	c cleaning 10004 clauses out of 20053 with flag 2325002/2328935
1640.09/1635.66	c cleaning 10000 clauses out of 20047 with flag 2335000/2338933
1648.81/1644.37	c cleaning 9995 clauses out of 20048 with flag 2345001/2348934
1657.73/1653.27	c cleaning 9992 clauses out of 20052 with flag 2355000/2358933
1666.85/1662.38	c cleaning 10000 clauses out of 20061 with flag 2365001/2368934
1677.77/1673.28	c cleaning 10009 clauses out of 20061 with flag 2375001/2378934
1687.29/1682.72	c cleaning 10003 clauses out of 20051 with flag 2385000/2388933
1696.62/1692.06	c cleaning 10002 clauses out of 20049 with flag 2395001/2398934
1705.42/1700.86	c cleaning 10001 clauses out of 20046 with flag 2405000/2408933
1715.54/1710.91	c cleaning 10003 clauses out of 20047 with flag 2415002/2418935
1724.06/1719.43	c cleaning 10003 clauses out of 20045 with flag 2425003/2428936
1731.08/1726.47	c cleaning 9985 clauses out of 20039 with flag 2435000/2438933
1737.89/1733.20	c cleaning 9987 clauses out of 20054 with flag 2445000/2448933
1745.01/1740.37	c cleaning 9995 clauses out of 20070 with flag 2455003/2458936
1752.32/1747.66	c cleaning 9995 clauses out of 20072 with flag 2465000/2468933
1759.03/1754.37	c cleaning 9995 clauses out of 20077 with flag 2475000/2478933
1766.35/1761.64	c cleaning 9991 clauses out of 20082 with flag 2485000/2488933
1774.06/1769.34	c cleaning 9998 clauses out of 20094 with flag 2495003/2498936
1781.07/1776.38	c cleaning 9996 clauses out of 20094 with flag 2505001/2508934
1787.18/1782.40	c cleaning 10002 clauses out of 20097 with flag 2515000/2518933
1793.59/1788.89	c cleaning 10000 clauses out of 20097 with flag 2525002/2528935
1800.01/1795.22	c starts		: 236
1800.01/1795.22	c conflicts		: 2538869
1800.01/1795.22	c decisions		: 3853925
1800.01/1795.22	c propagations		: 100543725
1800.01/1795.22	c inspects		: 3479108335
1800.01/1795.22	c shortcuts		: 0
1800.01/1795.22	c learnt literals	: 0
1800.01/1795.22	c learnt binary clauses	: 0
1800.01/1795.22	c learnt ternary clauses	: 0
1800.01/1795.22	c learnt constraints	: 2538869
1800.01/1795.22	c ignored constraints	: 0
1800.01/1795.22	c root simplifications	: 0
1800.01/1795.22	c removed literals (reason simplification)	: 9106031
1800.01/1795.22	c reason swapping (by a shorter reason)	: 0
1800.01/1795.22	c Calls to reduceDB	: 254
1800.01/1795.22	c number of reductions to clauses (during analyze)	: 0
1800.01/1795.22	c number of learned constraints concerned by reduction	: 0
1800.01/1795.22	c number of learning phase by resolution	: 0
1800.01/1795.22	c number of learning phase by cutting planes	: 0
1800.01/1795.22	c speed (assignments/second)	: 56047.93889027632
1800.01/1795.22	c non guided choices	173813
1800.01/1795.23	c learnt constraints type 
1800.01/1795.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 20044
1800.01/1795.23	c constraints type 
1800.01/1795.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 65
1800.01/1795.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 45
1800.01/1795.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
1800.01/1795.23	s SATISFIABLE
1800.01/1795.24	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 
1800.01/1795.24	c objective function=4
1800.01/1795.24	c Total wall clock time (in seconds): 1795.097

Verifier Data 

OK	4

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-3492290-1307908958/watcher-3492290-1307908958 -o /tmp/evaluation-result-3492290-1307908958/solver-3492290-1307908958 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492290-1307908958.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.08 1.41 1/187 15970
/proc/meminfo: memFree=2792384/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 1168 0 0 0 0 0 0 0 23 0 2 0 21640616 26714112 896 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 6522 896 682 9 0 381 0
[pid=15970/tid=15971] ppid=15968 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 54 0 0 0 0 0 0 0 25 0 2 0 21640617 26714112 896 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232119156359 0 0 4096 0 0 0 0 -1 1 0 0 0

[startup+0.026494 s]
/proc/loadavg: 1.00 1.08 1.41 1/187 15970
/proc/meminfo: memFree=2792384/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=10454868 CPUtime=0.02 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 10574 0 1 0 1 1 0 0 23 0 10 0 21640616 10705784832 10272 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 2613717 10279 1461 9 0 2604465 0
[pid=15970/tid=15971] ppid=15968 vsize=10454868 CPUtime=0.02 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 9463 0 1 0 1 1 0 0 25 0 10 0 21640617 10705784832 10283 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 46912504009831 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10454868

[startup+0.10048 s]
/proc/loadavg: 1.00 1.08 1.41 1/187 15970
/proc/meminfo: memFree=2792384/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 11903 0 1 0 6 1 0 0 23 0 18 0 21640616 10724442112 11599 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 2618272 11600 1754 9 0 2609006 0
[pid=15970/tid=15971] ppid=15968 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 10731 0 1 0 6 1 0 0 25 0 18 0 21640617 10724442112 11601 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 47538233863267 0 4 0 16800975 0 0 0 -1 1 0 0 2
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088

[startup+0.300448 s]
/proc/loadavg: 1.00 1.08 1.41 1/187 15970
/proc/meminfo: memFree=2792384/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=10542040 CPUtime=0.43 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 16515 0 3 0 42 1 0 0 23 0 18 0 21640616 10795048960 15735 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 2635510 15735 2207 9 0 2626244 0
[pid=15970/tid=15971] ppid=15968 vsize=10542040 CPUtime=0.25 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 13210 0 1 0 24 1 0 0 25 0 18 0 21640617 10795048960 15735 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 46912505216589 0 4 0 16800975 0 0 0 -1 1 0 0 3
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10542040

[startup+0.700376 s]
/proc/loadavg: 1.00 1.08 1.41 1/187 15970
/proc/meminfo: memFree=2792384/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=10543376 CPUtime=1.19 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 18806 0 3 0 117 2 0 0 23 0 19 0 21640616 10796417024 17105 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 2635844 17105 2226 9 0 2626578 0
[pid=15970/tid=15971] ppid=15968 vsize=10543376 CPUtime=0.65 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 14153 0 1 0 64 1 0 0 25 0 19 0 21640617 10796417024 17105 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 46912505632477 0 4 0 16800975 0 0 0 -1 1 0 0 3
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10543376

[startup+1.50123 s]
/proc/loadavg: 1.08 1.10 1.41 3/214 15997
/proc/meminfo: memFree=2704104/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=10543376 CPUtime=2.03 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 20676 0 3 0 201 2 0 0 23 0 19 0 21640616 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 2635844 18802 2226 9 0 2626578 0
[pid=15970/tid=15971] ppid=15968 vsize=10543376 CPUtime=1.45 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 15854 0 1 0 144 1 0 0 25 0 19 0 21640617 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 46912505619310 0 4 0 16800975 0 0 0 -1 1 0 0 3
[pid=15970/tid=15975] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15975/stat : 15975 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15976] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15976/stat : 15976 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15977] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15977/stat : 15977 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15978] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15978/stat : 15978 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15979] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15979/stat : 15979 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15980] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15980/stat : 15980 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15981] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15981/stat : 15981 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15982] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15982/stat : 15982 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15983] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15983/stat : 15983 (java) S 15968 15970 13995 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 0 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15984] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15984/stat : 15984 (java) S 15968 15970 13995 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 21640620 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15985] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15985/stat : 15985 (java) S 15968 15970 13995 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 21640620 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15987] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15987/stat : 15987 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135903665 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15989] ppid=15968 vsize=10543376 CPUtime=0.26 cores=1,3,5,7
/proc/15970/task/15989/stat : 15989 (java) S 15968 15970 13995 0 -1 4202560 1668 0 1 0 26 0 0 0 22 0 19 0 21640623 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15990] ppid=15968 vsize=10543376 CPUtime=0.29 cores=1,3,5,7
/proc/15970/task/15990/stat : 15990 (java) S 15968 15970 13995 0 -1 4202560 1993 0 1 0 29 0 0 0 20 0 19 0 21640623 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15993] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15993/stat : 15993 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15994] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15994/stat : 15994 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21640623 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15997] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15997/stat : 15997 (java) S 15968 15970 13995 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 21640647 10796417024 18802 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 10543376

[startup+3.10095 s]
/proc/loadavg: 1.08 1.10 1.41 5/214 15997
/proc/meminfo: memFree=2693440/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=10543376 CPUtime=3.62 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 22774 0 3 0 360 2 0 0 23 0 19 0 21640616 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 2635844 20900 2226 9 0 2626578 0
[pid=15970/tid=15971] ppid=15968 vsize=10543376 CPUtime=3.05 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 17952 0 1 0 304 1 0 0 25 0 19 0 21640617 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 46912505632573 0 4 0 16800975 0 0 0 -1 1 0 0 3
[pid=15970/tid=15975] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15975/stat : 15975 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15976] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15976/stat : 15976 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15977] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15977/stat : 15977 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15978] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15978/stat : 15978 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15979] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15979/stat : 15979 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15980] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15980/stat : 15980 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15981] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15981/stat : 15981 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15982] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15982/stat : 15982 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640619 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15983] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15983/stat : 15983 (java) S 15968 15970 13995 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 0 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15984] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15984/stat : 15984 (java) S 15968 15970 13995 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 21640620 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15985] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15985/stat : 15985 (java) S 15968 15970 13995 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 21640620 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15987] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15987/stat : 15987 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135903665 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15989] ppid=15968 vsize=10543376 CPUtime=0.26 cores=1,3,5,7
/proc/15970/task/15989/stat : 15989 (java) S 15968 15970 13995 0 -1 4202560 1668 0 1 0 26 0 0 0 22 0 19 0 21640623 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15990] ppid=15968 vsize=10543376 CPUtime=0.29 cores=1,3,5,7
/proc/15970/task/15990/stat : 15990 (java) S 15968 15970 13995 0 -1 4202560 1993 0 1 0 29 0 0 0 20 0 19 0 21640623 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15993] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15993/stat : 15993 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15994] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15994/stat : 15994 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21640623 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15997] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15997/stat : 15997 (java) S 15968 15970 13995 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 21640647 10796417024 20900 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 10543376

[startup+6.30144 s]
/proc/loadavg: 1.08 1.10 1.41 3/214 15997
/proc/meminfo: memFree=2655652/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=10543376 CPUtime=6.9 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 32440 0 3 0 687 3 0 0 23 0 19 0 21640616 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 2635844 30432 2251 9 0 2626578 0
[pid=15970/tid=15971] ppid=15968 vsize=10543376 CPUtime=6.2 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 18314 0 1 0 619 1 0 0 25 0 19 0 21640617 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 46912505717793 0 4 0 16800975 0 0 0 -1 1 0 0 3
[pid=15970/tid=15975] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15975/stat : 15975 (java) S 15968 15970 13995 0 -1 4202560 623 0 0 0 0 0 0 0 16 0 19 0 21640619 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15976] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15976/stat : 15976 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21640619 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15977] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15977/stat : 15977 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21640619 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15978] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15978/stat : 15978 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 21640619 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 5 0 0 0
[pid=15970/tid=15979] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15979/stat : 15979 (java) S 15968 15970 13995 0 -1 4202560 964 0 0 0 0 0 0 0 18 0 19 0 21640619 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15980] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15980/stat : 15980 (java) S 15968 15970 13995 0 -1 4202560 1315 0 0 0 0 0 0 0 18 0 19 0 21640619 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 5 0 0 0
[pid=15970/tid=15981] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15981/stat : 15981 (java) S 15968 15970 13995 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 19 0 21640619 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15982] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15982/stat : 15982 (java) S 15968 15970 13995 0 -1 4202560 1315 0 0 0 0 0 0 0 18 0 19 0 21640619 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15983] ppid=15968 vsize=10543376 CPUtime=0.03 cores=1,3,5,7
/proc/15970/task/15983/stat : 15983 (java) S 15968 15970 13995 0 -1 4202560 4196 0 0 0 3 0 0 0 16 0 19 0 21640620 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 0 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15984] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15984/stat : 15984 (java) S 15968 15970 13995 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15985] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15985/stat : 15985 (java) S 15968 15970 13995 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15987] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15987/stat : 15987 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135903665 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15989] ppid=15968 vsize=10543376 CPUtime=0.3 cores=1,3,5,7
/proc/15970/task/15989/stat : 15989 (java) S 15968 15970 13995 0 -1 4202560 1677 0 1 0 30 0 0 0 16 0 19 0 21640623 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15990] ppid=15968 vsize=10543376 CPUtime=0.32 cores=1,3,5,7
/proc/15970/task/15990/stat : 15990 (java) S 15968 15970 13995 0 -1 4202560 2116 0 1 0 32 0 0 0 16 0 19 0 21640623 10796417024 30432 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0

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

[pid=15970/tid=15980] ppid=15968 vsize=10543376 CPUtime=0.64 cores=1,3,5,7
/proc/15970/task/15980/stat : 15980 (java) S 15968 15970 13995 0 -1 4202560 3722 0 0 0 64 0 0 0 16 0 19 0 21640619 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15981] ppid=15968 vsize=10543376 CPUtime=0.62 cores=1,3,5,7
/proc/15970/task/15981/stat : 15981 (java) S 15968 15970 13995 0 -1 4202560 2013 0 0 0 62 0 0 0 16 0 19 0 21640619 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15982] ppid=15968 vsize=10543376 CPUtime=0.66 cores=1,3,5,7
/proc/15970/task/15982/stat : 15982 (java) S 15968 15970 13995 0 -1 4202560 3690 0 0 0 66 0 0 0 16 0 19 0 21640619 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15983] ppid=15968 vsize=10543376 CPUtime=9.06 cores=1,3,5,7
/proc/15970/task/15983/stat : 15983 (java) S 15968 15970 13995 0 -1 4202560 17041 0 0 0 903 3 0 0 15 0 19 0 21640620 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 0 0 16800975 18446604462173813632 0 0 -1 5 0 0 0
[pid=15970/tid=15984] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15984/stat : 15984 (java) S 15968 15970 13995 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15985] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15985/stat : 15985 (java) S 15968 15970 13995 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15987] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15987/stat : 15987 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135903665 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15989] ppid=15968 vsize=10543376 CPUtime=0.3 cores=1,3,5,7
/proc/15970/task/15989/stat : 15989 (java) S 15968 15970 13995 0 -1 4202560 1679 0 1 0 30 0 0 0 15 0 19 0 21640623 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15990] ppid=15968 vsize=10543376 CPUtime=0.47 cores=1,3,5,7
/proc/15970/task/15990/stat : 15990 (java) S 15968 15970 13995 0 -1 4202560 6553 0 1 0 47 0 0 0 15 0 19 0 21640623 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15993] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15993/stat : 15993 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15994] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15994/stat : 15994 (java) S 15968 15970 13995 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 21640623 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15997] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15997/stat : 15997 (java) S 15968 15970 13995 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 21640647 10796417024 67478 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.85
Current children cumulated vsize (KiB) 10543376

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/214 16043
/proc/meminfo: memFree=2450652/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=10543376 CPUtime=1726.98 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 74371 0 3 0 172684 14 0 0 23 0 19 0 21640616 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 2635844 68571 2252 9 0 2626578 0
[pid=15970/tid=15971] ppid=15968 vsize=10543376 CPUtime=1711.25 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 23860 0 1 0 171122 3 0 0 25 0 19 0 21640617 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 46912505632460 0 4 0 16800975 0 0 0 -1 3 0 0 3
[pid=15970/tid=15975] ppid=15968 vsize=10543376 CPUtime=0.71 cores=1,3,5,7
/proc/15970/task/15975/stat : 15975 (java) S 15968 15970 13995 0 -1 4202560 3338 0 0 0 71 0 0 0 15 0 19 0 21640619 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15976] ppid=15968 vsize=10543376 CPUtime=0.63 cores=1,3,5,7
/proc/15970/task/15976/stat : 15976 (java) S 15968 15970 13995 0 -1 4202560 1842 0 0 0 63 0 0 0 16 0 19 0 21640619 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15977] ppid=15968 vsize=10543376 CPUtime=0.72 cores=1,3,5,7
/proc/15970/task/15977/stat : 15977 (java) S 15968 15970 13995 0 -1 4202560 3008 0 0 0 72 0 0 0 16 0 19 0 21640619 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15978] ppid=15968 vsize=10543376 CPUtime=0.7 cores=1,3,5,7
/proc/15970/task/15978/stat : 15978 (java) S 15968 15970 13995 0 -1 4202560 1868 0 0 0 70 0 0 0 15 0 19 0 21640619 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15979] ppid=15968 vsize=10543376 CPUtime=0.68 cores=1,3,5,7
/proc/15970/task/15979/stat : 15979 (java) S 15968 15970 13995 0 -1 4202560 4271 0 0 0 68 0 0 0 16 0 19 0 21640619 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15980] ppid=15968 vsize=10543376 CPUtime=0.67 cores=1,3,5,7
/proc/15970/task/15980/stat : 15980 (java) S 15968 15970 13995 0 -1 4202560 3734 0 0 0 67 0 0 0 16 0 19 0 21640619 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15981] ppid=15968 vsize=10543376 CPUtime=0.64 cores=1,3,5,7
/proc/15970/task/15981/stat : 15981 (java) S 15968 15970 13995 0 -1 4202560 2018 0 0 0 64 0 0 0 15 0 19 0 21640619 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15982] ppid=15968 vsize=10543376 CPUtime=0.66 cores=1,3,5,7
/proc/15970/task/15982/stat : 15982 (java) S 15968 15970 13995 0 -1 4202560 3690 0 0 0 66 0 0 0 15 0 19 0 21640619 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15983] ppid=15968 vsize=10543376 CPUtime=9.4 cores=1,3,5,7
/proc/15970/task/15983/stat : 15983 (java) S 15968 15970 13995 0 -1 4202560 17260 0 0 0 937 3 0 0 15 0 19 0 21640620 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 0 0 16800975 18446604462173813632 0 0 -1 5 0 0 0
[pid=15970/tid=15984] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15984/stat : 15984 (java) S 15968 15970 13995 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15985] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15985/stat : 15985 (java) S 15968 15970 13995 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15987] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15987/stat : 15987 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135903665 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15989] ppid=15968 vsize=10543376 CPUtime=0.3 cores=1,3,5,7
/proc/15970/task/15989/stat : 15989 (java) S 15968 15970 13995 0 -1 4202560 1679 0 1 0 30 0 0 0 15 0 19 0 21640623 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15990] ppid=15968 vsize=10543376 CPUtime=0.47 cores=1,3,5,7
/proc/15970/task/15990/stat : 15990 (java) S 15968 15970 13995 0 -1 4202560 6553 0 1 0 47 0 0 0 15 0 19 0 21640623 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15993] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15993/stat : 15993 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15994] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15994/stat : 15994 (java) S 15968 15970 13995 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 21640623 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15997] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15997/stat : 15997 (java) S 15968 15970 13995 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 21640647 10796417024 68571 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.98
Current children cumulated vsize (KiB) 10543376

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/214 16045
/proc/meminfo: memFree=2448312/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=10543376 CPUtime=1787.07 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 74768 0 3 0 178693 14 0 0 23 0 19 0 21640616 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 2635844 68956 2252 9 0 2626578 0
[pid=15970/tid=15971] ppid=15968 vsize=10543376 CPUtime=1770.83 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 23868 0 1 0 177080 3 0 0 25 0 19 0 21640617 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 46912505614632 0 4 0 16800975 0 0 0 -1 3 0 0 3
[pid=15970/tid=15975] ppid=15968 vsize=10543376 CPUtime=0.72 cores=1,3,5,7
/proc/15970/task/15975/stat : 15975 (java) S 15968 15970 13995 0 -1 4202560 3338 0 0 0 72 0 0 0 16 0 19 0 21640619 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15976] ppid=15968 vsize=10543376 CPUtime=0.65 cores=1,3,5,7
/proc/15970/task/15976/stat : 15976 (java) S 15968 15970 13995 0 -1 4202560 1845 0 0 0 65 0 0 0 16 0 19 0 21640619 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15977] ppid=15968 vsize=10543376 CPUtime=0.75 cores=1,3,5,7
/proc/15970/task/15977/stat : 15977 (java) S 15968 15970 13995 0 -1 4202560 3014 0 0 0 75 0 0 0 15 0 19 0 21640619 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15978] ppid=15968 vsize=10543376 CPUtime=0.71 cores=1,3,5,7
/proc/15970/task/15978/stat : 15978 (java) S 15968 15970 13995 0 -1 4202560 1868 0 0 0 71 0 0 0 15 0 19 0 21640619 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15979] ppid=15968 vsize=10543376 CPUtime=0.7 cores=1,3,5,7
/proc/15970/task/15979/stat : 15979 (java) S 15968 15970 13995 0 -1 4202560 4273 0 0 0 70 0 0 0 16 0 19 0 21640619 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15980] ppid=15968 vsize=10543376 CPUtime=0.69 cores=1,3,5,7
/proc/15970/task/15980/stat : 15980 (java) S 15968 15970 13995 0 -1 4202560 3734 0 0 0 69 0 0 0 15 0 19 0 21640619 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15981] ppid=15968 vsize=10543376 CPUtime=0.66 cores=1,3,5,7
/proc/15970/task/15981/stat : 15981 (java) S 15968 15970 13995 0 -1 4202560 2018 0 0 0 66 0 0 0 15 0 19 0 21640619 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15982] ppid=15968 vsize=10543376 CPUtime=0.68 cores=1,3,5,7
/proc/15970/task/15982/stat : 15982 (java) S 15968 15970 13995 0 -1 4202560 3690 0 0 0 68 0 0 0 16 0 19 0 21640619 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15983] ppid=15968 vsize=10543376 CPUtime=9.77 cores=1,3,5,7
/proc/15970/task/15983/stat : 15983 (java) S 15968 15970 13995 0 -1 4202560 17636 0 0 0 974 3 0 0 15 0 19 0 21640620 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 0 0 16800975 18446604462173813632 0 0 -1 5 0 0 0
[pid=15970/tid=15984] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15984/stat : 15984 (java) S 15968 15970 13995 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15985] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15985/stat : 15985 (java) S 15968 15970 13995 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15987] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15987/stat : 15987 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135903665 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15989] ppid=15968 vsize=10543376 CPUtime=0.3 cores=1,3,5,7
/proc/15970/task/15989/stat : 15989 (java) S 15968 15970 13995 0 -1 4202560 1679 0 1 0 30 0 0 0 15 0 19 0 21640623 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15990] ppid=15968 vsize=10543376 CPUtime=0.47 cores=1,3,5,7
/proc/15970/task/15990/stat : 15990 (java) S 15968 15970 13995 0 -1 4202560 6553 0 1 0 47 0 0 0 15 0 19 0 21640623 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15993] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15993/stat : 15993 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15994] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15994/stat : 15994 (java) S 15968 15970 13995 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 21640623 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15997] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15997/stat : 15997 (java) S 15968 15970 13995 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 21640647 10796417024 68956 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.07
Current children cumulated vsize (KiB) 10543376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.21 s]
/proc/loadavg: 2.00 2.00 1.89 3/214 16045
/proc/meminfo: memFree=2448292/32950928 swapFree=67111364/67111528
[pid=15970] ppid=15968 vsize=10543376 CPUtime=1800.01 cores=1,3,5,7
/proc/15970/stat : 15970 (java) S 15968 15970 13995 0 -1 4202496 74787 0 3 0 179987 14 0 0 23 0 19 0 21640616 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135882725 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15970/statm: 2635844 68969 2252 9 0 2626578 0
[pid=15970/tid=15971] ppid=15968 vsize=10543376 CPUtime=1783.64 cores=1,3,5,7
/proc/15970/task/15971/stat : 15971 (java) R 15968 15970 13995 0 -1 4202560 23870 0 1 0 178361 3 0 0 25 0 19 0 21640617 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 46912505614661 0 4 0 16800975 0 0 0 -1 3 0 0 3
[pid=15970/tid=15975] ppid=15968 vsize=10543376 CPUtime=0.73 cores=1,3,5,7
/proc/15970/task/15975/stat : 15975 (java) S 15968 15970 13995 0 -1 4202560 3338 0 0 0 73 0 0 0 16 0 19 0 21640619 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15976] ppid=15968 vsize=10543376 CPUtime=0.66 cores=1,3,5,7
/proc/15970/task/15976/stat : 15976 (java) S 15968 15970 13995 0 -1 4202560 1848 0 0 0 66 0 0 0 16 0 19 0 21640619 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15977] ppid=15968 vsize=10543376 CPUtime=0.75 cores=1,3,5,7
/proc/15970/task/15977/stat : 15977 (java) S 15968 15970 13995 0 -1 4202560 3014 0 0 0 75 0 0 0 15 0 19 0 21640619 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15978] ppid=15968 vsize=10543376 CPUtime=0.72 cores=1,3,5,7
/proc/15970/task/15978/stat : 15978 (java) S 15968 15970 13995 0 -1 4202560 1868 0 0 0 72 0 0 0 16 0 19 0 21640619 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15979] ppid=15968 vsize=10543376 CPUtime=0.7 cores=1,3,5,7
/proc/15970/task/15979/stat : 15979 (java) S 15968 15970 13995 0 -1 4202560 4274 0 0 0 70 0 0 0 15 0 19 0 21640619 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15980] ppid=15968 vsize=10543376 CPUtime=0.69 cores=1,3,5,7
/proc/15970/task/15980/stat : 15980 (java) S 15968 15970 13995 0 -1 4202560 3734 0 0 0 69 0 0 0 16 0 19 0 21640619 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15981] ppid=15968 vsize=10543376 CPUtime=0.67 cores=1,3,5,7
/proc/15970/task/15981/stat : 15981 (java) S 15968 15970 13995 0 -1 4202560 2018 0 0 0 67 0 0 0 15 0 19 0 21640619 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15982] ppid=15968 vsize=10543376 CPUtime=0.68 cores=1,3,5,7
/proc/15970/task/15982/stat : 15982 (java) S 15968 15970 13995 0 -1 4202560 3690 0 0 0 68 0 0 0 15 0 19 0 21640619 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15983] ppid=15968 vsize=10543376 CPUtime=9.85 cores=1,3,5,7
/proc/15970/task/15983/stat : 15983 (java) S 15968 15970 13995 0 -1 4202560 17647 0 0 0 982 3 0 0 15 0 19 0 21640620 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 0 0 16800975 18446604462173813632 0 0 -1 5 0 0 0
[pid=15970/tid=15984] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15984/stat : 15984 (java) S 15968 15970 13995 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15985] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15985/stat : 15985 (java) S 15968 15970 13995 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 21640620 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15987] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15987/stat : 15987 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135903665 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15989] ppid=15968 vsize=10543376 CPUtime=0.3 cores=1,3,5,7
/proc/15970/task/15989/stat : 15989 (java) S 15968 15970 13995 0 -1 4202560 1679 0 1 0 30 0 0 0 15 0 19 0 21640623 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
[pid=15970/tid=15990] ppid=15968 vsize=10543376 CPUtime=0.47 cores=1,3,5,7
/proc/15970/task/15990/stat : 15990 (java) S 15968 15970 13995 0 -1 4202560 6553 0 1 0 47 0 0 0 15 0 19 0 21640623 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 3 0 0 0
[pid=15970/tid=15993] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15993/stat : 15993 (java) S 15968 15970 13995 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 21640623 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135895961 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15994] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15994/stat : 15994 (java) S 15968 15970 13995 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 21640623 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 1 0 0 0
[pid=15970/tid=15997] ppid=15968 vsize=10543376 CPUtime=0 cores=1,3,5,7
/proc/15970/task/15997/stat : 15997 (java) S 15968 15970 13995 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 21640647 10796417024 68969 33554432000 1073741824 1073778376 140735844188208 18446744073709551615 232135896576 0 4 0 16800975 18446604462173813632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10543376

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

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

Child status: 143
Real time (s): 1795.27
CPU time (s): 1800.12
CPU user time (s): 1799.97
CPU system time (s): 0.153976
CPU usage (%): 100.27
Max. virtual memory (cumulated for all children) (KiB): 10543528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74891
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43676
involuntary context switches= 10131

runsolver used 3.02654 second user time and 6.77597 second system time

The end

Launcher Data 

Begin job on node124 at 2011-06-12 22:02:38
IDJOB=3492290
IDBENCH=78729
IDSOLVER=1982
FILE ID=node124/3492290-1307908958
RUNJOBID= node124-1307908958-15933
PBS_JOBID= 13559582
Free space on /tmp= 2088 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492290-1307908958/watcher-3492290-1307908958 -o /tmp/evaluation-result-3492290-1307908958/solver-3492290-1307908958 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492290-1307908958.wbo

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

MD5SUM BENCH= 7e0724db75f314e84b0472c27c0a5114
RANDOM SEED=209517752

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       2793872 kB
Buffers:         68132 kB
Cached:       29072300 kB
SwapCached:          0 kB
Active:       14532108 kB
Inactive:     14706816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       2793872 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:             784 kB
Writeback:           0 kB
AnonPages:       98132 kB
Mapped:          20972 kB
Slab:           855004 kB
PageTables:       4196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10510748 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 2088 MiB
End job on node124 at 2011-06-12 22:32:35