Trace number 3710198

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)70998 1800.08 1762.37

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__16.opb
MD5SUMdd2523e10c08c9cb3b30bc694276e5a5
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark70998
Best CPU time to get the best result obtained on this benchmark1571.21
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4898
Total number of constraints400
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)302
Number of constraints which are nor clauses,nor cardinality constraints98
Minimum length of a constraint16
Maximum length of a constraint273
Number of terms in the objective function 4800
Biggest coefficient in the objective function 94834
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 173230512
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 94834
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 173230512
Number of bits of the biggest sum of numbers28
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710198-1338175741.opb
0.09/0.12	c reading problem ... 
0.54/0.32	c ... done. Wall clock time 0.201s.
0.54/0.32	c declared #vars     4898
0.54/0.32	c #constraints  500
0.54/0.32	c constraints type 
0.54/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
0.54/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 302
0.54/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 196
0.54/0.32	c 500 constraints processed.
0.84/0.43	c SATISFIABLE
0.84/0.43	c OPTIMIZING...
0.84/0.43	c Got one! Elapsed wall clock time (in seconds):0.313
0.84/0.43	o 116044
2.99/2.11	c cleaning 2491 clauses out of 5002 with flag 5000/5002
5.06/4.15	c cleaning 4194 clauses out of 8403 with flag 11000/11002
7.29/6.32	c cleaning 5592 clauses out of 11210 with flag 18001/18003
9.74/8.75	c cleaning 6790 clauses out of 13617 with flag 26000/26002
10.48/9.41	c Got one! Elapsed wall clock time (in seconds):9.29
10.48/9.41	o 112802
11.40/10.38	c cleaning 6163 clauses out of 12372 with flag 3007/31547
11.80/10.77	c Got one! Elapsed wall clock time (in seconds):10.654
11.80/10.77	o 105073
12.34/11.27	c Got one! Elapsed wall clock time (in seconds):11.147
12.34/11.27	o 103625
13.29/12.17	c cleaning 5890 clauses out of 11859 with flag 3005/37197
15.30/14.13	c cleaning 5937 clauses out of 11965 with flag 9001/43193
17.81/16.65	c cleaning 6503 clauses out of 13027 with flag 16000/50192
20.29/19.09	c cleaning 7233 clauses out of 14524 with flag 24000/58192
23.81/22.53	c cleaning 5666 clauses out of 11342 with flag 33002/67194
26.74/25.42	c cleaning 7828 clauses out of 15675 with flag 43001/77193
30.13/28.76	c cleaning 9409 clauses out of 18846 with flag 54000/88192
34.57/33.11	c cleaning 10681 clauses out of 21437 with flag 66000/100192
38.85/37.31	c cleaning 11800 clauses out of 23632 with flag 79002/113194
43.60/42.09	c cleaning 12897 clauses out of 25830 with flag 93000/127192
48.44/46.83	c cleaning 13920 clauses out of 27934 with flag 108001/142193
54.02/52.30	c cleaning 14928 clauses out of 29962 with flag 124000/158192
59.61/57.83	c cleaning 15983 clauses out of 32034 with flag 141000/175192
65.48/63.64	c cleaning 16944 clauses out of 34038 with flag 159001/193193
71.88/69.90	c cleaning 17993 clauses out of 36093 with flag 178000/212192
78.48/76.31	c cleaning 19031 clauses out of 38104 with flag 198004/232196
87.20/84.93	c cleaning 20007 clauses out of 40069 with flag 219000/253192
95.00/92.61	c cleaning 20989 clauses out of 42062 with flag 241000/275192
102.73/100.23	c cleaning 22002 clauses out of 44077 with flag 264004/298196
112.22/109.50	c cleaning 22990 clauses out of 46071 with flag 288000/322192
120.63/117.80	c cleaning 23952 clauses out of 48081 with flag 313000/347192
128.84/125.83	c cleaning 25036 clauses out of 50131 with flag 339002/373194
139.08/135.96	c cleaning 26022 clauses out of 52097 with flag 366004/400196
140.10/137.00	c Got one! Elapsed wall clock time (in seconds):136.876
140.10/137.00	o 98605
140.82/137.60	c cleaning 15863 clauses out of 31810 with flag 2000/405931
142.77/139.55	c cleaning 10852 clauses out of 21947 with flag 8000/411931
145.00/141.71	c cleaning 8961 clauses out of 18095 with flag 15000/418931
147.64/144.40	c cleaning 8536 clauses out of 17135 with flag 23001/426932
151.03/147.65	c cleaning 8703 clauses out of 17598 with flag 32000/435931
154.20/150.71	c cleaning 9399 clauses out of 18895 with flag 42000/445931
157.35/153.86	c cleaning 10205 clauses out of 20496 with flag 53000/456931
161.36/157.75	c cleaning 11126 clauses out of 22291 with flag 65000/468931
165.34/161.70	c cleaning 12039 clauses out of 24167 with flag 78002/481933
169.69/165.91	c cleaning 13029 clauses out of 26126 with flag 92000/495931
174.38/170.55	c cleaning 13989 clauses out of 28100 with flag 107003/510934
179.86/175.94	c cleaning 15016 clauses out of 30108 with flag 123000/526931
185.55/181.51	c cleaning 16009 clauses out of 32093 with flag 140001/543932
191.49/187.30	c cleaning 17023 clauses out of 34083 with flag 158000/561931
197.54/193.27	c cleaning 18014 clauses out of 36060 with flag 177000/580931
203.67/199.29	c cleaning 19012 clauses out of 38049 with flag 197003/600934
210.80/206.23	c cleaning 19978 clauses out of 40035 with flag 218001/621932
218.58/213.87	c cleaning 21002 clauses out of 42056 with flag 240000/643931
227.49/222.59	c cleaning 21966 clauses out of 44054 with flag 263000/666931
235.56/230.46	c cleaning 23011 clauses out of 46092 with flag 287004/690935
243.83/238.58	c cleaning 24002 clauses out of 48077 with flag 312000/715931
252.83/247.37	c cleaning 24927 clauses out of 50075 with flag 338000/741931
264.28/258.68	c cleaning 26035 clauses out of 52148 with flag 365000/768931
274.97/269.16	c cleaning 27037 clauses out of 54113 with flag 393000/796931
284.15/278.14	c cleaning 27986 clauses out of 56076 with flag 422000/825931
294.74/288.58	c cleaning 28992 clauses out of 58090 with flag 452000/855931
305.37/298.90	c cleaning 29950 clauses out of 60098 with flag 483000/886931
317.56/310.80	c cleaning 31026 clauses out of 62068 with flag 515000/918931
328.41/321.49	c cleaning 31995 clauses out of 64042 with flag 548000/951931
339.41/332.27	c cleaning 33009 clauses out of 66047 with flag 582000/985931
350.72/343.32	c cleaning 33989 clauses out of 68038 with flag 617000/1020931
362.72/355.18	c cleaning 34983 clauses out of 70049 with flag 653000/1056931
375.27/367.43	c cleaning 36017 clauses out of 72066 with flag 690000/1093931
387.83/379.77	c cleaning 36972 clauses out of 74052 with flag 728003/1131934
404.31/396.00	c cleaning 37967 clauses out of 76077 with flag 767000/1170931
409.08/400.65	c Got one! Elapsed wall clock time (in seconds):400.528
409.08/400.65	o 94945
410.62/402.14	c cleaning 28352 clauses out of 56856 with flag 5000/1189677
412.48/403.94	c cleaning 17191 clauses out of 34504 with flag 11000/1195677
414.61/406.06	c cleaning 12105 clauses out of 24314 with flag 18001/1202678
417.35/408.71	c cleaning 9994 clauses out of 20208 with flag 26000/1210677
420.29/411.60	c cleaning 9530 clauses out of 19214 with flag 35000/1219677
423.48/414.71	c cleaning 9811 clauses out of 19684 with flag 45000/1229677
426.63/417.87	c cleaning 10391 clauses out of 20873 with flag 56000/1240677
430.51/421.69	c cleaning 11225 clauses out of 22494 with flag 68012/1252689
434.64/425.64	c cleaning 12075 clauses out of 24260 with flag 81003/1265680
438.74/429.60	c cleaning 13072 clauses out of 26182 with flag 95000/1279677
444.17/434.90	c cleaning 14018 clauses out of 28110 with flag 110000/1294677
449.37/440.09	c cleaning 14999 clauses out of 30092 with flag 126000/1310677
455.96/446.45	c cleaning 16046 clauses out of 32094 with flag 143001/1327678
462.34/452.63	c cleaning 16982 clauses out of 34047 with flag 161000/1345677
469.48/459.65	c cleaning 18027 clauses out of 36068 with flag 180003/1364680
477.25/467.25	c cleaning 14263 clauses out of 28571 with flag 200000/1384677
485.07/474.96	c cleaning 17643 clauses out of 35311 with flag 221003/1405680
491.81/481.54	c cleaning 19820 clauses out of 39665 with flag 243000/1427677
499.16/488.70	c cleaning 21398 clauses out of 42845 with flag 266000/1450677
505.71/495.15	c cleaning 22251 clauses out of 44525 with flag 290006/1474683
515.94/505.12	c cleaning 23604 clauses out of 47268 with flag 315000/1499677
525.28/514.31	c cleaning 24768 clauses out of 49552 with flag 341000/1525677
533.83/522.78	c cleaning 25838 clauses out of 51784 with flag 368000/1552677
542.82/531.52	c cleaning 26964 clauses out of 53960 with flag 396014/1580691
552.90/541.43	c cleaning 27888 clauses out of 55982 with flag 425000/1609677
563.70/552.00	c cleaning 29031 clauses out of 58098 with flag 455004/1639681
574.79/562.90	c cleaning 29986 clauses out of 60063 with flag 486000/1670677
586.80/574.67	c cleaning 31008 clauses out of 62078 with flag 518001/1702678
598.25/585.87	c cleaning 32012 clauses out of 64069 with flag 551000/1735677
608.77/596.11	c cleaning 33000 clauses out of 66068 with flag 585011/1769688
619.80/606.98	c cleaning 33989 clauses out of 68057 with flag 620000/1804677
632.49/619.33	c cleaning 35012 clauses out of 70070 with flag 656002/1840679
644.34/630.94	c cleaning 36005 clauses out of 72056 with flag 693000/1877677
656.44/642.88	c cleaning 36984 clauses out of 74051 with flag 731000/1915677
668.59/654.80	c cleaning 37974 clauses out of 76067 with flag 770000/1954677
682.93/668.87	c cleaning 39009 clauses out of 78093 with flag 810000/1994677
696.99/682.65	c cleaning 39945 clauses out of 80084 with flag 851000/2035677
711.22/696.58	c cleaning 40935 clauses out of 82014 with flag 893003/2077680
725.87/710.84	c cleaning 41997 clauses out of 84076 with flag 936000/2120677
741.62/726.34	c cleaning 42984 clauses out of 86079 with flag 980000/2164677
762.33/746.79	c cleaning 44027 clauses out of 88095 with flag 1025000/2209677
782.41/766.45	c cleaning 44989 clauses out of 90068 with flag 1071000/2255677
796.80/780.44	c cleaning 45930 clauses out of 92079 with flag 1118000/2302677
799.86/783.46	c Got one! Elapsed wall clock time (in seconds):783.342
799.86/783.46	o 94080
801.50/785.04	c cleaning 29846 clauses out of 59793 with flag 5000/2316321
803.16/786.68	c cleaning 17925 clauses out of 35948 with flag 11001/2322322
805.54/788.91	c cleaning 12453 clauses out of 25022 with flag 18000/2329321
807.89/791.24	c cleaning 10239 clauses out of 20586 with flag 26017/2337338
810.89/794.12	c cleaning 9600 clauses out of 19330 with flag 35000/2346321
813.99/797.18	c cleaning 9834 clauses out of 19730 with flag 45000/2356321
818.30/801.32	c cleaning 10412 clauses out of 20896 with flag 56000/2367321
822.40/805.30	c cleaning 11192 clauses out of 22484 with flag 68000/2379321
826.84/809.74	c cleaning 12140 clauses out of 24292 with flag 81000/2392321
831.55/814.38	c cleaning 13063 clauses out of 26155 with flag 95003/2406324
837.54/820.20	c cleaning 14035 clauses out of 28089 with flag 110000/2421321
842.76/825.35	c cleaning 15015 clauses out of 30054 with flag 126000/2437321
848.28/830.71	c cleaning 15993 clauses out of 32039 with flag 143000/2454321
854.39/836.71	c cleaning 17000 clauses out of 34048 with flag 161002/2472323
861.73/843.95	c cleaning 18021 clauses out of 36046 with flag 180000/2491321
867.07/849.19	c cleaning 18986 clauses out of 38025 with flag 200000/2511321
874.30/856.23	c cleaning 19959 clauses out of 40048 with flag 221009/2532330
881.69/863.44	c cleaning 21028 clauses out of 42080 with flag 243000/2554321
889.13/870.71	c cleaning 21981 clauses out of 44055 with flag 266003/2577324
896.98/878.49	c cleaning 22978 clauses out of 46071 with flag 290000/2601321
906.91/888.12	c cleaning 24029 clauses out of 48093 with flag 315000/2626321
917.19/898.23	c cleaning 24976 clauses out of 50064 with flag 341000/2652321
927.13/907.90	c cleaning 25975 clauses out of 52088 with flag 368000/2679321
936.78/917.38	c cleaning 27014 clauses out of 54113 with flag 396000/2707321
947.37/927.76	c cleaning 28034 clauses out of 56103 with flag 425004/2736325
957.59/937.73	c cleaning 28996 clauses out of 58068 with flag 455003/2766324
967.52/947.43	c cleaning 29989 clauses out of 60069 with flag 486000/2797321
978.30/957.97	c cleaning 31008 clauses out of 62081 with flag 518001/2829322
989.63/969.07	c cleaning 31990 clauses out of 64085 with flag 551013/2862334
991.45/970.88	c Got one! Elapsed wall clock time (in seconds):970.765
991.45/970.88	o 94047
993.28/972.60	c cleaning 21657 clauses out of 43413 with flag 5000/2873652
994.70/974.03	c cleaning 13760 clauses out of 27756 with flag 11000/2879652
996.43/975.76	c cleaning 10377 clauses out of 20996 with flag 18000/2886652
998.14/977.44	c cleaning 9192 clauses out of 18629 with flag 26010/2894662
1000.57/979.88	c cleaning 9165 clauses out of 18472 with flag 35045/2903697
1003.65/982.89	c cleaning 9575 clauses out of 19263 with flag 45001/2913653
1007.27/986.34	c cleaning 10324 clauses out of 20691 with flag 56004/2924656
1010.45/989.49	c cleaning 11113 clauses out of 22363 with flag 68000/2936652
1014.14/993.04	c cleaning 12081 clauses out of 24251 with flag 81001/2949653
1019.09/997.98	c cleaning 13069 clauses out of 26171 with flag 95002/2963654
1023.87/1002.67	c cleaning 14000 clauses out of 28102 with flag 110002/2978654
1029.64/1008.36	c cleaning 15020 clauses out of 30100 with flag 126000/2994652
1036.44/1015.09	c cleaning 15991 clauses out of 32081 with flag 143001/3011653
1042.93/1021.50	c cleaning 16969 clauses out of 34089 with flag 161000/3029652
1049.92/1028.37	c cleaning 18005 clauses out of 36120 with flag 180000/3048652
1056.76/1035.07	c cleaning 19014 clauses out of 38116 with flag 200001/3068653
1064.40/1042.53	c cleaning 19966 clauses out of 40101 with flag 221000/3089652
1072.44/1050.50	c cleaning 21038 clauses out of 42135 with flag 243000/3111652
1083.10/1060.90	c cleaning 22007 clauses out of 44097 with flag 266000/3134652
1093.06/1070.79	c cleaning 22949 clauses out of 46090 with flag 290000/3158652
1101.05/1078.52	c cleaning 24036 clauses out of 48141 with flag 315000/3183652
1110.05/1087.36	c cleaning 25021 clauses out of 50105 with flag 341000/3209652
1120.36/1097.48	c cleaning 26003 clauses out of 52084 with flag 368000/3236652
1130.01/1106.80	c cleaning 27020 clauses out of 54081 with flag 396000/3264652
1139.02/1115.62	c Got one! Elapsed wall clock time (in seconds):1115.503
1139.02/1115.62	o 71870
1140.32/1116.99	c cleaning 29534 clauses out of 59085 with flag 5003/3296927
1142.20/1118.77	c cleaning 17756 clauses out of 35560 with flag 11012/3302936
1144.66/1121.10	c cleaning 12389 clauses out of 24792 with flag 18000/3309924
1147.53/1123.91	c cleaning 10184 clauses out of 20404 with flag 26001/3317925
1150.71/1127.06	c cleaning 9554 clauses out of 19219 with flag 35000/3326924
1154.28/1130.56	c cleaning 9815 clauses out of 19665 with flag 45000/3336924
1157.74/1133.99	c cleaning 10385 clauses out of 20850 with flag 56000/3347924
1161.63/1137.79	c cleaning 11174 clauses out of 22465 with flag 68000/3359924
1166.02/1142.03	c cleaning 12098 clauses out of 24292 with flag 81001/3372925
1170.60/1146.50	c cleaning 13049 clauses out of 26193 with flag 95000/3386924
1174.92/1150.70	c cleaning 14044 clauses out of 28144 with flag 110000/3401924
1180.04/1155.72	c cleaning 14988 clauses out of 30100 with flag 126000/3417924
1185.25/1160.83	c cleaning 15981 clauses out of 32112 with flag 143000/3434924
1190.82/1166.38	c cleaning 17017 clauses out of 34131 with flag 161000/3452924
1194.47/1169.92	c Got one! Elapsed wall clock time (in seconds):1169.802
1194.47/1169.92	o 71837
1196.11/1171.51	c cleaning 16519 clauses out of 33180 with flag 5000/3468990
1198.05/1173.46	c cleaning 11314 clauses out of 22661 with flag 11000/3474990
1200.29/1175.63	c cleaning 9115 clauses out of 18352 with flag 18005/3481995
1203.06/1178.40	c cleaning 8547 clauses out of 17234 with flag 26002/3489992
1206.80/1181.91	c cleaning 8821 clauses out of 17691 with flag 35006/3498996
1209.98/1185.03	c cleaning 9396 clauses out of 18866 with flag 45002/3508992
1213.76/1188.78	c cleaning 10204 clauses out of 20469 with flag 56001/3519991
1218.37/1193.27	c cleaning 10890 clauses out of 21808 with flag 68000/3531990
1222.51/1197.22	c cleaning 11876 clauses out of 23918 with flag 81000/3544990
1226.38/1201.09	c cleaning 12977 clauses out of 26042 with flag 95000/3558990
1231.57/1206.19	c cleaning 13945 clauses out of 28066 with flag 110001/3573991
1236.85/1211.37	c cleaning 15016 clauses out of 30120 with flag 126000/3589990
1242.49/1216.82	c cleaning 16020 clauses out of 32106 with flag 143002/3606992
1249.73/1223.91	c cleaning 17034 clauses out of 34085 with flag 161001/3624991
1256.01/1230.00	c cleaning 17408 clauses out of 34841 with flag 180000/3643990
1263.26/1237.08	c cleaning 18698 clauses out of 37436 with flag 200003/3663993
1270.10/1243.76	c cleaning 13507 clauses out of 27054 with flag 221004/3684994
1276.39/1249.95	c cleaning 17747 clauses out of 35543 with flag 243000/3706990
1282.95/1256.36	c cleaning 20369 clauses out of 40796 with flag 266000/3729990
1289.79/1263.06	c cleaning 21123 clauses out of 42321 with flag 290000/3753990
1298.24/1271.40	c cleaning 23011 clauses out of 46198 with flag 315000/3778990
1307.56/1280.42	c cleaning 24525 clauses out of 49187 with flag 341000/3804990
1316.97/1289.68	c cleaning 25727 clauses out of 51662 with flag 368000/3831990
1326.35/1298.84	c cleaning 26909 clauses out of 53935 with flag 396000/3859990
1337.31/1309.55	c cleaning 27980 clauses out of 56028 with flag 425002/3888992
1340.24/1312.38	c Got one! Elapsed wall clock time (in seconds):1312.258
1340.24/1312.38	o 70998
1342.07/1314.11	c cleaning 20565 clauses out of 41168 with flag 5000/3902977
1344.34/1316.36	c cleaning 13269 clauses out of 26604 with flag 11001/3908978
1347.22/1319.15	c cleaning 10083 clauses out of 20334 with flag 18000/3915977
1350.50/1322.35	c cleaning 9046 clauses out of 18251 with flag 26000/3923977
1353.86/1325.69	c cleaning 9015 clauses out of 18206 with flag 35001/3932978
1357.37/1329.05	c cleaning 9573 clauses out of 19190 with flag 45000/3942977
1360.63/1332.29	c cleaning 10263 clauses out of 20617 with flag 56000/3953977
1364.62/1336.16	c cleaning 11092 clauses out of 22354 with flag 68000/3965977
1367.69/1339.14	c cleaning 12059 clauses out of 24262 with flag 81000/3978977
1371.40/1342.75	c cleaning 13086 clauses out of 26204 with flag 95001/3992978
1375.52/1346.78	c cleaning 14043 clauses out of 28117 with flag 110000/4007977
1379.99/1351.12	c cleaning 15023 clauses out of 30077 with flag 126003/4023980
1385.22/1356.25	c cleaning 15977 clauses out of 32052 with flag 143001/4040978
1391.63/1362.57	c cleaning 16995 clauses out of 34074 with flag 161000/4058977
1398.69/1369.30	c cleaning 18006 clauses out of 36078 with flag 180000/4077977
1405.45/1375.96	c cleaning 15794 clauses out of 31666 with flag 200000/4097977
1412.49/1382.88	c cleaning 18421 clauses out of 36874 with flag 221002/4118979
1419.71/1389.98	c cleaning 20194 clauses out of 40459 with flag 243008/4140985
1427.15/1397.22	c cleaning 21556 clauses out of 43259 with flag 266002/4163979
1434.90/1404.81	c cleaning 22812 clauses out of 45701 with flag 290000/4187977
1442.71/1412.51	c cleaning 23909 clauses out of 47889 with flag 315000/4212977
1451.70/1421.34	c cleaning 24877 clauses out of 49982 with flag 341002/4238979
1459.99/1429.44	c cleaning 25961 clauses out of 52103 with flag 368000/4265977
1469.60/1438.89	c cleaning 27018 clauses out of 54146 with flag 396004/4293981
1479.95/1448.92	c cleaning 28007 clauses out of 56126 with flag 425002/4322979
1490.55/1459.39	c cleaning 29003 clauses out of 58117 with flag 455000/4352977
1500.08/1468.62	c cleaning 29982 clauses out of 60114 with flag 486000/4383977
1510.43/1478.71	c cleaning 16694 clauses out of 33495 with flag 518000/4415977
1521.77/1489.89	c cleaning 24882 clauses out of 49804 with flag 551003/4448980
1534.03/1501.88	c cleaning 10081 clauses out of 20231 with flag 585009/4482986
1545.37/1512.97	c cleaning 22553 clauses out of 45141 with flag 620000/4517977
1558.20/1525.49	c cleaning 29277 clauses out of 58589 with flag 656001/4553978
1571.64/1538.66	c cleaning 33124 clauses out of 66311 with flag 693000/4590977
1586.19/1552.89	c cleaning 35556 clauses out of 71187 with flag 731000/4628977
1600.53/1566.98	c cleaning 37230 clauses out of 74633 with flag 770002/4667979
1613.27/1579.48	c cleaning 38680 clauses out of 77401 with flag 810000/4707977
1627.29/1593.16	c cleaning 39750 clauses out of 79582 with flag 851000/4748977
1641.15/1606.67	c cleaning 40856 clauses out of 81832 with flag 893000/4790977
1657.91/1623.13	c cleaning 41875 clauses out of 83862 with flag 936001/4833978
1674.43/1639.37	c cleaning 42945 clauses out of 85948 with flag 980001/4877978
1690.19/1654.75	c cleaning 43983 clauses out of 88009 with flag 1025007/4922984
1705.58/1669.75	c cleaning 44367 clauses out of 88821 with flag 1071000/4968977
1722.93/1686.75	c cleaning 45639 clauses out of 91459 with flag 1118005/5015982
1739.39/1702.86	c cleaning 46867 clauses out of 93830 with flag 1166015/5063992
1755.18/1718.20	c cleaning 47908 clauses out of 95948 with flag 1215000/5112977
1772.99/1735.78	c cleaning 48871 clauses out of 97852 with flag 1265000/5162977
1790.17/1752.62	c cleaning 49863 clauses out of 99863 with flag 1316000/5213977
1800.08/1762.31	c starts		: 263
1800.08/1762.31	c conflicts		: 5247209
1800.08/1762.31	c decisions		: 25489914
1800.08/1762.31	c propagations		: 2520513977
1800.08/1762.31	c inspects		: 6775035743
1800.08/1762.31	c shortcuts		: 0
1800.08/1762.31	c learnt literals	: 91
1800.08/1762.31	c learnt binary clauses	: 2196
1800.08/1762.31	c learnt ternary clauses	: 11696
1800.08/1762.31	c learnt constraints	: 5247118
1800.08/1762.31	c ignored constraints	: 0
1800.08/1762.31	c root simplifications	: 354
1800.08/1762.31	c removed literals (reason simplification)	: 23409796
1800.08/1762.31	c reason swapping (by a shorter reason)	: 0
1800.08/1762.31	c Calls to reduceDB	: 245
1800.08/1762.31	c number of reductions to clauses (during analyze)	: 0
1800.08/1762.31	c number of learned constraints concerned by reduction	: 0
1800.08/1762.31	c number of learning phase by resolution	: 0
1800.08/1762.31	c number of learning phase by cutting planes	: 0
1800.08/1762.31	c speed (assignments/second)	: 1430502.5250031499
1800.08/1762.31	c non guided choices	8859
1800.08/1762.33	c learnt constraints type 
1800.08/1762.33	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1813
1800.08/1762.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 81472
1800.08/1762.33	c constraints type 
1800.08/1762.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2
1800.08/1762.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 302
1800.08/1762.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 197
1800.08/1762.33	c 501 constraints processed.
1800.08/1762.33	s SATISFIABLE
1800.08/1762.34	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 
1800.08/1762.35	c objective function=70998
1800.08/1762.35	c Total wall clock time (in seconds): 1762.23

Verifier Data 

OK	70998

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-3710198-1338175741/watcher-3710198-1338175741 -o /tmp/evaluation-result-3710198-1338175741/solver-3710198-1338175741 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710198-1338175741.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.01 2.04 2.01 3/194 7332
/proc/meminfo: memFree=28874252/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/7332/stat : 7332 (java) R 7330 7332 3132 0 -1 4202496 284 0 0 0 0 0 0 0 20 0 1 0 283699928 278528 33 33554432000 1073741824 1073778376 140735388150576 140733512922280 259103222965 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 68 33 25 9 0 25 0

[startup+0.0313989 s]
/proc/loadavg: 2.01 2.04 2.01 3/194 7332
/proc/meminfo: memFree=28874252/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/7332/stat : 7332 (java) S 7330 7332 3132 0 -1 4202496 2790 0 1 0 1 0 0 0 20 0 10 0 283699928 9233014784 3490 33554432000 1073741824 1073778376 140735388150576 140735388141712 259115745341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 2254154 3490 1545 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.100213 s]
/proc/loadavg: 2.01 2.04 2.01 3/194 7332
/proc/meminfo: memFree=28874252/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/7332/stat : 7332 (java) S 7330 7332 3132 0 -1 4202496 4281 0 1 0 8 1 0 0 20 0 18 0 283699928 9787842560 5489 33554432000 1073741824 1073778376 140735388150576 140735388141712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 2389610 5489 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300176 s]
/proc/loadavg: 2.01 2.04 2.01 3/194 7332
/proc/meminfo: memFree=28874252/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=9558440 CPUtime=0.54 cores=0,2,4,6
/proc/7332/stat : 7332 (java) S 7330 7332 3132 0 -1 4202496 8942 0 1 0 52 2 0 0 20 0 18 0 283699928 9787842560 11925 33554432000 1073741824 1073778376 140735388150576 140735388141712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 2389610 11926 2228 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558440

[startup+0.700284 s]
/proc/loadavg: 2.01 2.04 2.01 3/194 7332
/proc/meminfo: memFree=28874252/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=9625004 CPUtime=1.51 cores=0,2,4,6
/proc/7332/stat : 7332 (java) S 7330 7332 3132 0 -1 4202496 10460 0 1 0 148 3 0 0 20 0 19 0 283699928 9856004096 20067 33554432000 1073741824 1073778376 140735388150576 140735388141712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 2406251 20067 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 2.01 2.04 2.01 3/213 7351
/proc/meminfo: memFree=28779836/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=9625004 CPUtime=2.36 cores=0,2,4,6
/proc/7332/stat : 7332 (java) S 7330 7332 3132 0 -1 4202496 10496 0 1 0 232 4 0 0 20 0 19 0 283699928 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140735388141712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 2406251 35432 2265 9 0 2396937 0
[pid=7332/tid=7334] ppid=7330 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/7332/task/7334/stat : 7334 (java) R 7330 7332 3132 0 -1 4202560 2557 0 1 0 144 2 0 0 20 0 19 0 283699929 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423948096120 140423771897508 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7335] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7335/stat : 7335 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423909587496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7336] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7336/stat : 7336 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423908534696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7337] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7337/stat : 7337 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423907481896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7338] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7338/stat : 7338 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423906429096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7339] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7339/stat : 7339 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423905377320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7340] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7340/stat : 7340 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423904324520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7341] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7341/stat : 7341 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423903271720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7342] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7342/stat : 7342 (java) S 7330 7332 3132 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423902218920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7343] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7343/stat : 7343 (java) S 7330 7332 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283699931 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423889807848 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7344] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7344/stat : 7344 (java) S 7330 7332 3132 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423771186424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7345] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7345/stat : 7345 (java) S 7330 7332 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423770133512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7346] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7346/stat : 7346 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423769082000 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7347] ppid=7330 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/7332/task/7347/stat : 7347 (java) S 7330 7332 3132 0 -1 4202560 4065 0 0 0 45 0 0 0 20 0 19 0 283699934 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423768030136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7348] ppid=7330 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/7332/task/7348/stat : 7348 (java) S 7330 7332 3132 0 -1 4202560 2675 0 0 0 39 0 0 0 20 0 19 0 283699934 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423766977336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7349] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7349/stat : 7349 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423765924728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7350] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7350/stat : 7350 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423764872136 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7351] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7351/stat : 7351 (java) S 7330 7332 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283699961 9856004096 35432 33554432000 1073741824 1073778376 140735388150576 140423763817640 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 2.01 2.04 2.01 4/213 7351
/proc/meminfo: memFree=28705620/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=9625004 CPUtime=4.03 cores=0,2,4,6
/proc/7332/stat : 7332 (java) S 7330 7332 3132 0 -1 4202496 10579 0 1 0 398 5 0 0 20 0 19 0 283699928 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140735388141712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 2406251 47253 2291 9 0 2396937 0
[pid=7332/tid=7334] ppid=7330 vsize=9625004 CPUtime=3.03 cores=0,2,4,6
/proc/7332/task/7334/stat : 7334 (java) R 7330 7332 3132 0 -1 4202560 2574 0 1 0 300 3 0 0 20 0 19 0 283699929 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423948082016 140423771840516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7335] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7335/stat : 7335 (java) S 7330 7332 3132 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423909587496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7336] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7336/stat : 7336 (java) S 7330 7332 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423908534696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7337] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7337/stat : 7337 (java) S 7330 7332 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423907481896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7338] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7338/stat : 7338 (java) S 7330 7332 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423906429096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7339] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7339/stat : 7339 (java) S 7330 7332 3132 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423905377320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7340] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7340/stat : 7340 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423904324520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7341] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7341/stat : 7341 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423903271720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7342] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7342/stat : 7342 (java) S 7330 7332 3132 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423902218920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7343] ppid=7330 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/7332/task/7343/stat : 7343 (java) S 7330 7332 3132 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 283699931 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423889807848 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7344] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7344/stat : 7344 (java) S 7330 7332 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423771186424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7345] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7345/stat : 7345 (java) S 7330 7332 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423770133512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7346] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7346/stat : 7346 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423769082000 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7347] ppid=7330 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/7332/task/7347/stat : 7347 (java) S 7330 7332 3132 0 -1 4202560 4069 0 0 0 49 0 0 0 20 0 19 0 283699934 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423768030136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7348] ppid=7330 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/7332/task/7348/stat : 7348 (java) S 7330 7332 3132 0 -1 4202560 2676 0 0 0 41 0 0 0 20 0 19 0 283699934 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423766977336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7349] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7349/stat : 7349 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423765924728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7350] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7350/stat : 7350 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423764872136 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7351] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7351/stat : 7351 (java) S 7330 7332 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283699961 9856004096 47253 33554432000 1073741824 1073778376 140735388150576 140423763817640 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 2.00 2.04 2.01 3/213 7351
/proc/meminfo: memFree=28689236/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=9625004 CPUtime=7.29 cores=0,2,4,6
/proc/7332/stat : 7332 (java) S 7330 7332 3132 0 -1 4202496 10599 0 1 0 723 6 0 0 20 0 19 0 283699928 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140735388141712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 2406251 47543 2291 9 0 2396937 0
[pid=7332/tid=7334] ppid=7330 vsize=9625004 CPUtime=6.19 cores=0,2,4,6
/proc/7332/task/7334/stat : 7334 (java) R 7330 7332 3132 0 -1 4202560 2579 0 1 0 616 3 0 0 20 0 19 0 283699929 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423948094920 140423771896746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7335] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7335/stat : 7335 (java) S 7330 7332 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423909587496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7336] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7336/stat : 7336 (java) S 7330 7332 3132 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423908534696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7337] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7337/stat : 7337 (java) S 7330 7332 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423907481896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7338] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7338/stat : 7338 (java) S 7330 7332 3132 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423906429096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7339] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7339/stat : 7339 (java) S 7330 7332 3132 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423905377320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7340] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7340/stat : 7340 (java) S 7330 7332 3132 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423904324520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7341] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7341/stat : 7341 (java) S 7330 7332 3132 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423903271720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7342] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7342/stat : 7342 (java) S 7330 7332 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283699930 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423902218920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7343] ppid=7330 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/7332/task/7343/stat : 7343 (java) S 7330 7332 3132 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 283699931 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423889807848 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7344] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7344/stat : 7344 (java) S 7330 7332 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423771186424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7345] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7345/stat : 7345 (java) S 7330 7332 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423770133512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7346] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7346/stat : 7346 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423769082000 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7347] ppid=7330 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/7332/task/7347/stat : 7347 (java) S 7330 7332 3132 0 -1 4202560 4070 0 0 0 51 0 0 0 20 0 19 0 283699934 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423768030136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7348] ppid=7330 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/7332/task/7348/stat : 7348 (java) S 7330 7332 3132 0 -1 4202560 2676 0 0 0 42 0 0 0 20 0 19 0 283699934 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423766977336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7349] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7349/stat : 7349 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423765924728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7350] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7350/stat : 7350 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423764872136 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7351] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7351/stat : 7351 (java) S 7330 7332 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283699961 9856004096 47543 33554432000 1073741824 1073778376 140735388150576 140423763817640 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 9625004

[startup+12.7015 s]

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

[pid=7332/tid=7347] ppid=7330 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/7332/task/7347/stat : 7347 (java) S 7330 7332 3132 0 -1 4202560 4076 0 0 0 63 0 0 0 20 0 19 0 283699934 9856004096 71963 33554432000 1073741824 1073778376 140735388150576 140423768030136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7348] ppid=7330 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/7332/task/7348/stat : 7348 (java) S 7330 7332 3132 0 -1 4202560 2709 0 0 0 59 0 0 0 20 0 19 0 283699934 9856004096 71963 33554432000 1073741824 1073778376 140735388150576 140423766977336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7349] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7349/stat : 7349 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 71963 33554432000 1073741824 1073778376 140735388150576 140423765924728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7350] ppid=7330 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/7332/task/7350/stat : 7350 (java) S 7330 7332 3132 0 -1 4202560 94 0 0 0 21 19 0 0 20 0 19 0 283699934 9856004096 71963 33554432000 1073741824 1073778376 140735388150576 140423764872136 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7351] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7351/stat : 7351 (java) S 7330 7332 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283699961 9856004096 71963 33554432000 1073741824 1073778376 140735388150576 140423763817640 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1697.97
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 1.61 1.90 1.97 2/189 7394
/proc/meminfo: memFree=28682600/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=9625004 CPUtime=1759.36 cores=0,2,4,6
/proc/7332/stat : 7332 (java) S 7330 7332 3132 0 -1 4202496 50520 0 1 0 175754 182 0 0 20 0 19 0 283699928 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140735388141712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 2406251 79830 2292 9 0 2396937 0
[pid=7332/tid=7334] ppid=7330 vsize=9625004 CPUtime=1691.86 cores=0,2,4,6
/proc/7332/task/7334/stat : 7334 (java) R 7330 7332 3132 0 -1 4202560 16063 0 1 0 169147 39 0 0 20 0 19 0 283699929 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423948094800 140423771989008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7335] ppid=7330 vsize=9625004 CPUtime=6.3 cores=0,2,4,6
/proc/7332/task/7335/stat : 7335 (java) S 7330 7332 3132 0 -1 4202560 2242 0 0 0 613 17 0 0 20 0 19 0 283699930 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423909587496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7336] ppid=7330 vsize=9625004 CPUtime=6.3 cores=0,2,4,6
/proc/7332/task/7336/stat : 7336 (java) S 7330 7332 3132 0 -1 4202560 2724 0 0 0 613 17 0 0 20 0 19 0 283699930 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423908534696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7337] ppid=7330 vsize=9625004 CPUtime=6.39 cores=0,2,4,6
/proc/7332/task/7337/stat : 7337 (java) S 7330 7332 3132 0 -1 4202560 3715 0 0 0 624 15 0 0 20 0 19 0 283699930 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423907481896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7338] ppid=7330 vsize=9625004 CPUtime=6.45 cores=0,2,4,6
/proc/7332/task/7338/stat : 7338 (java) S 7330 7332 3132 0 -1 4202560 3069 0 0 0 630 15 0 0 20 0 19 0 283699930 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423906429096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7339] ppid=7330 vsize=9625004 CPUtime=6.4 cores=0,2,4,6
/proc/7332/task/7339/stat : 7339 (java) S 7330 7332 3132 0 -1 4202560 2689 0 0 0 622 18 0 0 20 0 19 0 283699930 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423905377320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7340] ppid=7330 vsize=9625004 CPUtime=6.33 cores=0,2,4,6
/proc/7332/task/7340/stat : 7340 (java) S 7330 7332 3132 0 -1 4202560 3272 0 0 0 618 15 0 0 20 0 19 0 283699930 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423904324520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7341] ppid=7330 vsize=9625004 CPUtime=6.32 cores=0,2,4,6
/proc/7332/task/7341/stat : 7341 (java) S 7330 7332 3132 0 -1 4202560 3336 0 0 0 616 16 0 0 20 0 19 0 283699930 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423903271720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7342] ppid=7330 vsize=9625004 CPUtime=6.32 cores=0,2,4,6
/proc/7332/task/7342/stat : 7342 (java) S 7330 7332 3132 0 -1 4202560 3789 0 0 0 617 15 0 0 20 0 19 0 283699930 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423902218920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7343] ppid=7330 vsize=9625004 CPUtime=10.59 cores=0,2,4,6
/proc/7332/task/7343/stat : 7343 (java) S 7330 7332 3132 0 -1 4202560 1553 0 0 0 1039 20 0 0 20 0 19 0 283699931 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423889807848 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7344] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7344/stat : 7344 (java) S 7330 7332 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423771186424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7345] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7345/stat : 7345 (java) S 7330 7332 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423770133512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7346] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7346/stat : 7346 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423769082000 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7347] ppid=7330 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/7332/task/7347/stat : 7347 (java) S 7330 7332 3132 0 -1 4202560 4076 0 0 0 63 0 0 0 20 0 19 0 283699934 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423768030136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7348] ppid=7330 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/7332/task/7348/stat : 7348 (java) S 7330 7332 3132 0 -1 4202560 2709 0 0 0 59 0 0 0 20 0 19 0 283699934 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423766977336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7349] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7349/stat : 7349 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423765924728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7350] ppid=7330 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/7332/task/7350/stat : 7350 (java) S 7330 7332 3132 0 -1 4202560 98 0 0 0 22 20 0 0 20 0 19 0 283699934 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423764872136 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7351] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7351/stat : 7351 (java) S 7330 7332 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283699961 9856004096 79830 33554432000 1073741824 1073778376 140735388150576 140423763817640 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1759.36
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1762.3 s]
/proc/loadavg: 1.31 1.79 1.92 2/189 7394
/proc/meminfo: memFree=28708260/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=9625004 CPUtime=1800.08 cores=0,2,4,6
/proc/7332/stat : 7332 (java) S 7330 7332 3132 0 -1 4202496 50986 0 1 0 179824 184 0 0 20 0 19 0 283699928 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140735388141712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 2406251 73140 2292 9 0 2396937 0
[pid=7332/tid=7334] ppid=7330 vsize=9625004 CPUtime=1731.31 cores=0,2,4,6
/proc/7332/task/7334/stat : 7334 (java) R 7330 7332 3132 0 -1 4202560 16087 0 1 0 173091 40 0 0 20 0 19 0 283699929 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423948095024 140423771893413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7335] ppid=7330 vsize=9625004 CPUtime=6.42 cores=0,2,4,6
/proc/7332/task/7335/stat : 7335 (java) S 7330 7332 3132 0 -1 4202560 2277 0 0 0 625 17 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423909587496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7336] ppid=7330 vsize=9625004 CPUtime=6.42 cores=0,2,4,6
/proc/7332/task/7336/stat : 7336 (java) S 7330 7332 3132 0 -1 4202560 2882 0 0 0 624 18 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423908534696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7337] ppid=7330 vsize=9625004 CPUtime=6.52 cores=0,2,4,6
/proc/7332/task/7337/stat : 7337 (java) S 7330 7332 3132 0 -1 4202560 3716 0 0 0 637 15 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423907481896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7338] ppid=7330 vsize=9625004 CPUtime=6.57 cores=0,2,4,6
/proc/7332/task/7338/stat : 7338 (java) S 7330 7332 3132 0 -1 4202560 3070 0 0 0 642 15 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423906429096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7339] ppid=7330 vsize=9625004 CPUtime=6.51 cores=0,2,4,6
/proc/7332/task/7339/stat : 7339 (java) S 7330 7332 3132 0 -1 4202560 2909 0 0 0 633 18 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423905377320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7340] ppid=7330 vsize=9625004 CPUtime=6.48 cores=0,2,4,6
/proc/7332/task/7340/stat : 7340 (java) S 7330 7332 3132 0 -1 4202560 3272 0 0 0 633 15 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423904324520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7341] ppid=7330 vsize=9625004 CPUtime=6.45 cores=0,2,4,6
/proc/7332/task/7341/stat : 7341 (java) S 7330 7332 3132 0 -1 4202560 3336 0 0 0 629 16 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423903271720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7342] ppid=7330 vsize=9625004 CPUtime=6.47 cores=0,2,4,6
/proc/7332/task/7342/stat : 7342 (java) S 7330 7332 3132 0 -1 4202560 3807 0 0 0 632 15 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423902218920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7343] ppid=7330 vsize=9625004 CPUtime=10.74 cores=0,2,4,6
/proc/7332/task/7343/stat : 7343 (java) S 7330 7332 3132 0 -1 4202560 1560 0 0 0 1053 21 0 0 20 0 19 0 283699931 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423889807848 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7344] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7344/stat : 7344 (java) S 7330 7332 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423771186424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7345] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7345/stat : 7345 (java) S 7330 7332 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423770133512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7346] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7346/stat : 7346 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423769082000 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7347] ppid=7330 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/7332/task/7347/stat : 7347 (java) S 7330 7332 3132 0 -1 4202560 4076 0 0 0 63 0 0 0 20 0 19 0 283699934 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423768030136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7348] ppid=7330 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/7332/task/7348/stat : 7348 (java) S 7330 7332 3132 0 -1 4202560 2709 0 0 0 59 0 0 0 20 0 19 0 283699934 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423766977336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7349] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7349/stat : 7349 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423765924728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7350] ppid=7330 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/7332/task/7350/stat : 7350 (java) S 7330 7332 3132 0 -1 4202560 100 0 0 0 22 21 0 0 20 0 19 0 283699934 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423764872136 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7351] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7351/stat : 7351 (java) S 7330 7332 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283699961 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423763817640 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1762.3 s]
/proc/loadavg: 1.31 1.79 1.92 2/189 7394
/proc/meminfo: memFree=28708260/32873648 swapFree=6844/6844
[pid=7332] ppid=7330 vsize=9625004 CPUtime=1800.08 cores=0,2,4,6
/proc/7332/stat : 7332 (java) S 7330 7332 3132 0 -1 4202496 50986 0 1 0 179824 184 0 0 20 0 19 0 283699928 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140735388141712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 2406251 73140 2292 9 0 2396937 0
[pid=7332/tid=7334] ppid=7330 vsize=9625004 CPUtime=1731.31 cores=0,2,4,6
/proc/7332/task/7334/stat : 7334 (java) R 7330 7332 3132 0 -1 4202560 16087 0 1 0 173091 40 0 0 20 0 19 0 283699929 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423948095024 140423771893413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7335] ppid=7330 vsize=9625004 CPUtime=6.42 cores=0,2,4,6
/proc/7332/task/7335/stat : 7335 (java) S 7330 7332 3132 0 -1 4202560 2277 0 0 0 625 17 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423909587496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7336] ppid=7330 vsize=9625004 CPUtime=6.42 cores=0,2,4,6
/proc/7332/task/7336/stat : 7336 (java) S 7330 7332 3132 0 -1 4202560 2882 0 0 0 624 18 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423908534696 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7337] ppid=7330 vsize=9625004 CPUtime=6.52 cores=0,2,4,6
/proc/7332/task/7337/stat : 7337 (java) S 7330 7332 3132 0 -1 4202560 3716 0 0 0 637 15 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423907481896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7338] ppid=7330 vsize=9625004 CPUtime=6.57 cores=0,2,4,6
/proc/7332/task/7338/stat : 7338 (java) S 7330 7332 3132 0 -1 4202560 3070 0 0 0 642 15 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423906429096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7339] ppid=7330 vsize=9625004 CPUtime=6.51 cores=0,2,4,6
/proc/7332/task/7339/stat : 7339 (java) S 7330 7332 3132 0 -1 4202560 2909 0 0 0 633 18 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423905377320 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7340] ppid=7330 vsize=9625004 CPUtime=6.48 cores=0,2,4,6
/proc/7332/task/7340/stat : 7340 (java) S 7330 7332 3132 0 -1 4202560 3272 0 0 0 633 15 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423904324520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7341] ppid=7330 vsize=9625004 CPUtime=6.45 cores=0,2,4,6
/proc/7332/task/7341/stat : 7341 (java) S 7330 7332 3132 0 -1 4202560 3336 0 0 0 629 16 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423903271720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7342] ppid=7330 vsize=9625004 CPUtime=6.47 cores=0,2,4,6
/proc/7332/task/7342/stat : 7342 (java) S 7330 7332 3132 0 -1 4202560 3807 0 0 0 632 15 0 0 20 0 19 0 283699930 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423902218920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7343] ppid=7330 vsize=9625004 CPUtime=10.74 cores=0,2,4,6
/proc/7332/task/7343/stat : 7343 (java) S 7330 7332 3132 0 -1 4202560 1560 0 0 0 1053 21 0 0 20 0 19 0 283699931 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423889807848 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7344] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7344/stat : 7344 (java) S 7330 7332 3132 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423771186424 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7345] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7345/stat : 7345 (java) S 7330 7332 3132 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283699932 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423770133512 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7346] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7346/stat : 7346 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423769082000 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332/tid=7347] ppid=7330 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/7332/task/7347/stat : 7347 (java) S 7330 7332 3132 0 -1 4202560 4076 0 0 0 63 0 0 0 20 0 19 0 283699934 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423768030136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7332/tid=7348] ppid=7330 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/7332/task/7348/stat : 7348 (java) S 7330 7332 3132 0 -1 4202560 2709 0 0 0 59 0 0 0 20 0 19 0 283699934 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423766977336 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7349] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7349/stat : 7349 (java) S 7330 7332 3132 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283699934 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423765924728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7332/tid=7350] ppid=7330 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/7332/task/7350/stat : 7350 (java) S 7330 7332 3132 0 -1 4202560 100 0 0 0 22 21 0 0 20 0 19 0 283699934 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423764872136 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7332/tid=7351] ppid=7330 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/7332/task/7351/stat : 7351 (java) S 7330 7332 3132 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283699961 9856004096 73140 33554432000 1073741824 1073778376 140735388150576 140423763817640 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7332 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=668320
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=253657
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1762.37
CPU time (s): 1800.08
CPU user time (s): 1798.24
CPU system time (s): 1.84
CPU usage (%): 102.14
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 2.25366
maximum resident set size= 334588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51021
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79117
involuntary context switches= 125204

runsolver used 6.03008 second user time and 14.2638 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-28 05:29:01
IDJOB=3710198
IDBENCH=71852
IDSOLVER=2289
FILE ID=node124/3710198-1338175741
RUNJOBID= node124-1338143409-3148
PBS_JOBID= 14624516
Free space on /tmp= 71432 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__16.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710198-1338175741/watcher-3710198-1338175741 -o /tmp/evaluation-result-3710198-1338175741/solver-3710198-1338175741 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710198-1338175741.opb

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

MD5SUM BENCH= dd2523e10c08c9cb3b30bc694276e5a5
RANDOM SEED=174716845

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28874672 kB
Buffers:          361096 kB
Cached:          2697468 kB
SwapCached:            0 kB
Active:          1047248 kB
Inactive:        2137984 kB
Active(anon):     129300 kB
Inactive(anon):        0 kB
Active(file):     917948 kB
Inactive(file):  2137984 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:        139700 kB
Mapped:            22624 kB
Shmem:               200 kB
Slab:             669636 kB
SReclaimable:     113784 kB
SUnreclaim:       555852 kB
KernelStack:        1600 kB
PageTables:         4832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71432 MiB
End job on node124 at 2012-05-28 05:58:25