Trace number 4101109

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 2.3.6 Resolution PB16SAT (TO)0 1800.08 1795.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc205.opb
MD5SUM085f6c29f952ff5e0e711950d59893d5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables6090
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints204
Minimum length of a constraint30
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524370
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4101109-1466220440.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.57/0.33	c ... done. Wall clock time 0.211s.
0.57/0.33	c declared #vars     6090
0.57/0.33	c #constraints  295
0.57/0.33	c constraints type 
0.57/0.33	c org.sat4j.specs.Constr$1 => 1
0.57/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 294
0.57/0.33	c 295 constraints processed.
0.57/0.33	c objective function length is 30 literals
1.41/0.77	c cleaning 2499 clauses out of 4997 with flag 10307/5003
1.99/1.11	c cleaning 4232 clauses out of 8496 with flag 23936/11001
2.30/1.50	c cleaning 5616 clauses out of 11264 with flag 40710/18001
2.82/1.90	c cleaning 6817 clauses out of 13647 with flag 57741/26000
3.45/2.51	c cleaning 7901 clauses out of 15830 with flag 76751/35000
4.35/3.46	c cleaning 8947 clauses out of 17930 with flag 97019/45001
5.06/4.20	c cleaning 9986 clauses out of 19974 with flag 121648/56000
5.82/4.89	c cleaning 10987 clauses out of 21989 with flag 148781/68001
7.02/6.02	c cleaning 11989 clauses out of 24002 with flag 180994/81001
8.52/7.54	c cleaning 12998 clauses out of 26016 with flag 214626/95004
9.82/8.89	c cleaning 13995 clauses out of 28015 with flag 255360/110001
11.72/10.75	c cleaning 15000 clauses out of 30020 with flag 297617/126001
13.32/12.37	c cleaning 16006 clauses out of 32021 with flag 337572/143002
15.32/14.38	c cleaning 17002 clauses out of 34014 with flag 374399/161001
18.12/17.16	c cleaning 18001 clauses out of 36011 with flag 414039/180000
21.11/20.20	c cleaning 18997 clauses out of 38010 with flag 456217/200000
25.12/24.10	c cleaning 20002 clauses out of 40015 with flag 500942/221002
29.12/28.10	c cleaning 20997 clauses out of 42011 with flag 546803/243000
31.62/30.66	c cleaning 21990 clauses out of 44014 with flag 606045/266000
35.42/34.40	c cleaning 22996 clauses out of 46024 with flag 669514/290000
39.91/38.94	c cleaning 24000 clauses out of 48028 with flag 732010/315000
42.97/41.98	c cleaning 25005 clauses out of 50029 with flag 791731/341001
45.04/43.86	c cleaning 26005 clauses out of 52010 with flag 853954/368001
47.93/46.77	c cleaning 27000 clauses out of 54005 with flag 920788/396002
50.03/48.88	c cleaning 27998 clauses out of 56003 with flag 993651/425000
53.23/52.00	c cleaning 28996 clauses out of 58005 with flag 1071186/455000
56.34/55.17	c cleaning 30000 clauses out of 60006 with flag 1157220/486000
59.43/58.23	c cleaning 30998 clauses out of 62006 with flag 1229226/518001
61.84/60.61	c cleaning 31997 clauses out of 64004 with flag 1316163/551000
66.14/65.00	c cleaning 32996 clauses out of 66007 with flag 1410800/585000
72.14/70.93	c cleaning 34003 clauses out of 68013 with flag 1510242/620002
79.14/77.90	c cleaning 35002 clauses out of 70011 with flag 1621404/656003
86.94/85.76	c cleaning 35999 clauses out of 72008 with flag 1742637/693002
95.54/94.36	c cleaning 36999 clauses out of 74008 with flag 1847085/731001
104.94/103.79	c cleaning 38001 clauses out of 76009 with flag 1963330/770001
112.80/111.52	c cleaning 39001 clauses out of 78009 with flag 2074214/810002
120.51/119.22	c cleaning 39997 clauses out of 80008 with flag 2164912/851002
128.01/126.77	c cleaning 41001 clauses out of 82009 with flag 2265657/893000
131.12/129.87	c cleaning 41989 clauses out of 84008 with flag 2363217/936001
136.01/134.77	c cleaning 43001 clauses out of 86020 with flag 2456130/980002
143.22/141.93	c cleaning 43998 clauses out of 88018 with flag 2573915/1025001
148.82/147.58	c cleaning 45004 clauses out of 90019 with flag 2704329/1071000
156.71/155.40	c cleaning 46005 clauses out of 92015 with flag 2837666/1118000
163.41/162.18	c cleaning 47008 clauses out of 94016 with flag 2985280/1166006
169.91/168.61	c cleaning 48000 clauses out of 96001 with flag 3102023/1215000
178.11/176.86	c cleaning 49000 clauses out of 98002 with flag 3237770/1265002
182.87/181.53	c cleaning 49993 clauses out of 100001 with flag 3355543/1316001
192.47/191.19	c cleaning 50990 clauses out of 102007 with flag 3531779/1368000
202.47/201.11	c cleaning 52000 clauses out of 104017 with flag 3693043/1421000
211.27/209.94	c cleaning 53001 clauses out of 106016 with flag 3851881/1475000
222.49/221.14	c cleaning 53998 clauses out of 108016 with flag 4025432/1530001
233.28/231.98	c cleaning 55000 clauses out of 110020 with flag 4185966/1586003
238.28/236.98	c cleaning 56007 clauses out of 112019 with flag 4331842/1643002
251.97/250.69	c cleaning 56999 clauses out of 114010 with flag 4464400/1701000
271.69/270.33	c cleaning 57999 clauses out of 116011 with flag 4591905/1760000
290.79/289.42	c cleaning 58995 clauses out of 118013 with flag 4721278/1820001
310.89/309.49	c cleaning 60007 clauses out of 120019 with flag 4861019/1881002
328.29/326.85	c cleaning 61003 clauses out of 122011 with flag 5007358/1943001
347.20/345.77	c cleaning 62001 clauses out of 124008 with flag 5153472/2006001
366.20/364.71	c cleaning 62999 clauses out of 126006 with flag 5301699/2070000
388.81/387.33	c cleaning 64002 clauses out of 128009 with flag 5451334/2135002
412.60/411.12	c cleaning 65004 clauses out of 130008 with flag 5605876/2201003
434.51/433.04	c cleaning 66001 clauses out of 132004 with flag 5755106/2268003
441.21/439.71	c cleaning 66991 clauses out of 133997 with flag 5923630/2336002
448.63/447.15	c cleaning 67993 clauses out of 136004 with flag 6081135/2405000
460.24/458.71	c cleaning 69001 clauses out of 138013 with flag 6257980/2475002
470.14/468.62	c cleaning 69999 clauses out of 140002 with flag 6428763/2546001
485.28/483.69	c cleaning 70992 clauses out of 142004 with flag 6617405/2618002
510.78/509.11	c cleaning 72000 clauses out of 144010 with flag 6783608/2691000
522.68/521.08	c cleaning 72995 clauses out of 145999 with flag 6972183/2765000
534.18/532.53	c cleaning 73997 clauses out of 148004 with flag 7175337/2840000
545.28/543.66	c cleaning 74995 clauses out of 150007 with flag 7370017/2916000
556.18/554.58	c cleaning 76001 clauses out of 152014 with flag 7581563/2993002
565.07/563.42	c cleaning 76999 clauses out of 154011 with flag 7797049/3071000
578.33/576.55	c cleaning 78000 clauses out of 156014 with flag 7994889/3150002
608.63/606.80	c cleaning 79004 clauses out of 158012 with flag 8170495/3230000
642.24/640.40	c cleaning 80001 clauses out of 160011 with flag 8346130/3311003
673.15/671.36	c cleaning 80998 clauses out of 162009 with flag 8534158/3393002
683.15/681.38	c cleaning 82000 clauses out of 164002 with flag 8757208/3476001
707.55/705.78	c cleaning 82996 clauses out of 166001 with flag 9014476/3560000
738.97/737.17	c cleaning 84000 clauses out of 168005 with flag 9267951/3645000
759.46/757.66	c cleaning 84993 clauses out of 170006 with flag 9505875/3731001
768.37/766.33	c cleaning 85978 clauses out of 172012 with flag 9728312/3818000
784.97/782.98	c cleaning 87011 clauses out of 174035 with flag 10003090/3906001
807.29/805.24	c cleaning 88007 clauses out of 176024 with flag 10207249/3995001
822.58/820.58	c cleaning 89001 clauses out of 178016 with flag 10467851/4085000
855.29/853.20	c cleaning 90001 clauses out of 180016 with flag 10771478/4176001
870.28/868.21	c cleaning 91001 clauses out of 182011 with flag 11028839/4268001
881.93/879.75	c cleaning 92002 clauses out of 184011 with flag 11273638/4361002
900.84/898.65	c cleaning 93001 clauses out of 186008 with flag 11550468/4455001
925.64/923.48	c cleaning 94000 clauses out of 188006 with flag 11860629/4550002
942.44/940.26	c cleaning 94990 clauses out of 190005 with flag 12141639/4646001
961.34/959.18	c cleaning 96004 clauses out of 192015 with flag 12405100/4743001
1007.95/1005.75	c cleaning 97004 clauses out of 194010 with flag 12664014/4841000
1026.73/1024.30	c cleaning 98000 clauses out of 196007 with flag 12942353/4940001
1055.34/1052.91	c cleaning 98993 clauses out of 198006 with flag 13271960/5040000
1079.74/1077.36	c cleaning 100002 clauses out of 200013 with flag 13562567/5141000
1105.55/1103.10	c cleaning 100994 clauses out of 202009 with flag 13873836/5243000
1147.25/1144.81	c cleaning 101999 clauses out of 204015 with flag 14220439/5346000
1178.06/1175.43	c cleaning 103001 clauses out of 206017 with flag 14498337/5450001
1228.86/1226.20	c cleaning 104002 clauses out of 208016 with flag 14745321/5555001
1253.96/1251.39	c cleaning 104994 clauses out of 210013 with flag 15061964/5661000
1274.46/1271.85	c cleaning 106003 clauses out of 212008 with flag 15374468/5768000
1276.06/1273.47	c SATISFIABLE
1276.06/1273.47	c OPTIMIZING...
1276.06/1273.47	c Got one! Elapsed wall clock time (in seconds):1273.352
1276.06/1273.47	o 0
1277.25/1274.05	c cleaning 65823 clauses out of 131657 with flag 10391/5793652
1277.73/1274.40	c cleaning 35911 clauses out of 71834 with flag 26250/5799652
1277.93/1274.67	c cleaning 21459 clauses out of 42925 with flag 42542/5806654
1278.24/1274.98	c cleaning 14725 clauses out of 29463 with flag 61242/5814651
1278.63/1275.32	c cleaning 11862 clauses out of 23740 with flag 84407/5823653
1279.03/1275.77	c cleaning 10932 clauses out of 21880 with flag 108600/5833655
1279.44/1276.16	c cleaning 10960 clauses out of 21944 with flag 136501/5844651
1280.13/1276.81	c cleaning 11484 clauses out of 22984 with flag 173542/5856651
1280.83/1277.54	c cleaning 12252 clauses out of 24503 with flag 210788/5869654
1281.93/1278.42	c cleaning 13121 clauses out of 26249 with flag 253468/5883652
1282.63/1279.17	c cleaning 14055 clauses out of 28133 with flag 290342/5898658
1283.33/1279.88	c cleaning 15034 clauses out of 30073 with flag 325445/5914653
1284.43/1280.99	c cleaning 16018 clauses out of 32040 with flag 362385/5931654
1286.43/1282.99	c cleaning 17010 clauses out of 34019 with flag 400384/5949651
1287.73/1284.22	c cleaning 18004 clauses out of 36012 with flag 441966/5968656
1288.63/1285.18	c cleaning 18997 clauses out of 38004 with flag 491613/5988652
1290.64/1287.12	c cleaning 19993 clauses out of 40006 with flag 556354/6009651
1291.74/1288.27	c cleaning 21002 clauses out of 42013 with flag 615134/6031651
1293.33/1289.86	c cleaning 21995 clauses out of 44011 with flag 673724/6054651
1295.73/1292.28	c cleaning 23000 clauses out of 46016 with flag 741861/6078651
1297.83/1294.30	c cleaning 24005 clauses out of 48018 with flag 807008/6103653
1298.83/1295.32	c cleaning 24998 clauses out of 50008 with flag 877050/6129651
1301.13/1297.68	c cleaning 26000 clauses out of 52011 with flag 950475/6156652
1303.23/1299.77	c cleaning 27002 clauses out of 54011 with flag 1022926/6184652
1305.03/1301.59	c cleaning 28005 clauses out of 56011 with flag 1105909/6213654
1307.43/1303.94	c cleaning 28994 clauses out of 58004 with flag 1177736/6243652
1308.93/1305.48	c cleaning 29999 clauses out of 60003 with flag 1246878/6274652
1311.44/1307.95	c cleaning 30997 clauses out of 62003 with flag 1338644/6306651
1314.84/1311.37	c cleaning 31993 clauses out of 64008 with flag 1439944/6339653
1319.03/1315.52	c cleaning 32999 clauses out of 66014 with flag 1548698/6373652
1323.64/1320.02	c cleaning 34004 clauses out of 68016 with flag 1658664/6408653
1326.34/1322.78	c cleaning 35001 clauses out of 70010 with flag 1756972/6444652
1329.14/1325.54	c cleaning 36000 clauses out of 72005 with flag 1847033/6481651
1331.44/1327.82	c cleaning 36998 clauses out of 74010 with flag 1945929/6519656
1334.54/1330.95	c cleaning 37999 clauses out of 76006 with flag 2061590/6558652
1338.64/1335.00	c cleaning 38998 clauses out of 78007 with flag 2169912/6598652
1341.54/1337.94	c cleaning 39997 clauses out of 80008 with flag 2281392/6639651
1348.34/1344.77	c cleaning 40997 clauses out of 82013 with flag 2407633/6681653
1351.04/1347.41	c cleaning 41996 clauses out of 84009 with flag 2527095/6724652
1358.64/1355.01	c cleaning 43001 clauses out of 86014 with flag 2661934/6768653
1364.14/1360.55	c cleaning 43998 clauses out of 88012 with flag 2800703/6813652
1373.10/1369.42	c cleaning 45002 clauses out of 90013 with flag 2957220/6859651
1376.90/1373.29	c cleaning 46001 clauses out of 92010 with flag 3094258/6906653
1382.50/1378.85	c cleaning 46996 clauses out of 94008 with flag 3246701/6954652
1390.81/1387.19	c cleaning 48000 clauses out of 96015 with flag 3403816/7003655
1398.80/1395.14	c cleaning 48999 clauses out of 98012 with flag 3547470/7053652
1408.10/1404.43	c cleaning 50000 clauses out of 100014 with flag 3690743/7104653
1414.20/1410.51	c cleaning 51005 clauses out of 102013 with flag 3839959/7156652
1420.00/1416.37	c cleaning 51994 clauses out of 104007 with flag 4013556/7209651
1424.91/1421.22	c cleaning 53004 clauses out of 106015 with flag 4176108/7263653
1435.40/1431.74	c cleaning 53999 clauses out of 108010 with flag 4349150/7318652
1445.09/1441.32	c cleaning 55003 clauses out of 110012 with flag 4528139/7374653
1456.59/1452.85	c cleaning 55995 clauses out of 112007 with flag 4716484/7431651
1463.40/1459.66	c cleaning 57002 clauses out of 114013 with flag 4896778/7489652
1472.50/1468.73	c cleaning 57998 clauses out of 116012 with flag 5084906/7548653
1483.80/1480.07	c cleaning 59001 clauses out of 118014 with flag 5278527/7608653
1495.59/1491.84	c cleaning 59990 clauses out of 120012 with flag 5473646/7669652
1500.19/1496.47	c cleaning 61006 clauses out of 122022 with flag 5629586/7731652
1507.50/1503.75	c cleaning 61998 clauses out of 124015 with flag 5815506/7794652
1513.15/1509.33	c cleaning 62998 clauses out of 126016 with flag 5996272/7858651
1521.54/1517.73	c cleaning 64001 clauses out of 128018 with flag 6189177/7923651
1531.44/1527.65	c cleaning 65003 clauses out of 130017 with flag 6393301/7989651
1537.84/1534.02	c cleaning 65999 clauses out of 132011 with flag 6583361/8056652
1543.24/1539.41	c cleaning 66999 clauses out of 134008 with flag 6786642/8124651
1551.53/1547.63	c cleaning 67999 clauses out of 136010 with flag 6996064/8193652
1560.03/1556.14	c cleaning 68998 clauses out of 138010 with flag 7223382/8263651
1569.53/1565.60	c cleaning 69998 clauses out of 140012 with flag 7431208/8334651
1585.32/1581.47	c cleaning 70995 clauses out of 142014 with flag 7666174/8406651
1605.41/1601.59	c cleaning 72001 clauses out of 144022 with flag 7895040/8479654
1617.51/1613.69	c cleaning 73001 clauses out of 146019 with flag 8128899/8553652
1629.31/1625.44	c cleaning 74003 clauses out of 148017 with flag 8326659/8628651
1645.81/1641.81	c cleaning 74999 clauses out of 150014 with flag 8587199/8704651
1653.30/1649.37	c cleaning 75995 clauses out of 152016 with flag 8820354/8781652
1669.31/1665.30	c cleaning 76999 clauses out of 154022 with flag 9044448/8859653
1678.21/1674.22	c cleaning 78005 clauses out of 156021 with flag 9276041/8938651
1685.49/1681.46	c cleaning 79006 clauses out of 158017 with flag 9496966/9018652
1696.40/1692.33	c cleaning 79997 clauses out of 160010 with flag 9747034/9099651
1704.20/1700.11	c cleaning 81006 clauses out of 162017 with flag 9971590/9181655
1712.50/1708.42	c cleaning 81996 clauses out of 164010 with flag 10211321/9264654
1730.10/1726.06	c cleaning 82995 clauses out of 166012 with flag 10454163/9348652
1741.29/1737.14	c cleaning 84003 clauses out of 168018 with flag 10697552/9433653
1756.68/1752.56	c cleaning 85004 clauses out of 170013 with flag 10961330/9519651
1781.09/1776.94	c cleaning 85995 clauses out of 172010 with flag 11220796/9606652
1794.18/1790.04	c cleaning 86998 clauses out of 174014 with flag 11479893/9694651
1800.08/1795.90	c starts		: 7171
1800.08/1795.90	c conflicts		: 9748078
1800.08/1795.90	c decisions		: 12688660
1800.08/1795.90	c propagations		: 222416667
1800.08/1795.90	c inspects		: 40220103915
1800.08/1795.90	c shortcuts		: 0
1800.08/1795.90	c learnt literals	: 128
1800.08/1795.90	c learnt binary clauses	: 214
1800.08/1795.90	c learnt ternary clauses	: 432
1800.08/1795.90	c learnt constraints	: 9747950
1800.08/1795.90	c ignored constraints	: 0
1800.08/1795.90	c root simplifications	: 0
1800.08/1795.90	c removed literals (reason simplification)	: 0
1800.08/1795.90	c reason swapping (by a shorter reason)	: 0
1800.08/1795.90	c Calls to reduceDB	: 187
1800.08/1795.90	c Number of update (reduction) of LBD	: 1046610
1800.08/1795.90	c Imported unit clauses	: 0
1800.08/1795.90	c number of reductions to clauses (during analyze)	: 0
1800.08/1795.90	c number of learned constraints concerned by reduction	: 0
1800.08/1795.90	c number of learning phase by resolution	: 0
1800.08/1795.90	c number of learning phase by cutting planes	: 0
1800.08/1795.90	c speed (assignments/second)	: 123869.94797183729
1800.08/1795.90	c non guided choices	444719
1800.08/1795.93	c learnt constraints type 
1800.08/1795.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 214
1800.08/1795.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 140229
1800.08/1795.93	s SATISFIABLE
1800.08/1795.93	c Found 1 solution(s)
1800.08/1795.94	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 -x274 -x275 x276 x277 x278 x279 x280 -x281 -x282 -x283 x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -x365 x366 x367 x368 -x369 -x370 x371 -x372 -x373 -x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 x485 -x486 -x487 x488 x489 -x490 x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 x513 x514 x515 x516 -x517 -x518 -x519 -x520 x521 x522 -x523 -x524 -x525 x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 -x694 -x695 -x696 x697 x698 x699 x700 x701 x702 x703 x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 x813 x814 x815 x816 -x817 -x818 x819 x820 x821 x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 x851 -x852 x853 x854 x855 x856 x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 x905 -x906 x907 -x908 x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 x934 x935 -x936 -x937 x938 -x939 x940 x941 x942 -x943 -x944 x945 x946 x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 x993 -x994 x995 -x996 -x997 x998 -x999 x1000 -x1001 -x1002 x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 -x1028 x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 x1143 -x1144 x1145 x1146 x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 x1233 x1234 -x1235 x1236 x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 -x1274 x1275 x1276 x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 x1472 x1473 x1474 x1475 x1476 -x1477 x1478 x1479 x1480 x1481 x1482 x1483 -x1484 -x1485 x1486 x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 x1512 -x1513 -x1514 x1515 x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 x1572 x1573 -x1574 -x1575 x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 -x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 -x1606 x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 x1662 -x1663 -x1664 x1665 -x1666 x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 x1812 x1813 x1814 x1815 x1816 -x1817 x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 x1927 x1928 -x1929 -x1930 x1931 x1932 x1933 x1934 -x1935 x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 x2026 x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 x2133 x2134 x2135 x2136 x2137 x2138 x2139 x2140 -x2141 -x2142 x2143 x2144 -x2145 -x2146 x2147 x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 x2172 x2173 x2174 -x2175 x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 x2222 x2223 x2224 x2225 x2226 x2227 x2228 x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 x2312 x2313 x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 x2342 x2343 x2344 -x2345 -x2346 x2347 -x2348 -x2349 x2350 x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 -x2463 x2464 x2465 x2466 -x2467 x2468 -x2469 x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 -x2493 x2494 x2495 x2496 -x2497 x2498 x2499 x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 x2586 x2587 x2588 x2589 -x2590 x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 x2655 -x2656 -x2657 -x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 x2672 x2673 x2674 x2675 x2676 -x2677 -x2678 x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 x2793 -x2794 x2795 x2796 -x2797 x2798 x2799 -x2800 x2801 x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 x2822 x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 -x2852 -x2853 x2854 -x2855 x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 x2883 x2884 x2885 x2886 x2887 x2888 x2889 x2890 -x2891 x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 x2973 x2974 x2975 x2976 -x2977 x2978 x2979 x2980 x2981 x2982 x2983 -x2984 -x2985 -x2986 x2987 x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 x3012 x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 x3152 x3153 x3154 x3155 x3156 -x3157 x3158 x3159 x3160 x3161 -x3162 x3163 -x3164 x3165 -x3166 -x3167 -x3168 x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 x3194 -x3195 -x3196 x3197 -x3198 -x3199 -x3200 x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 x3214 x3215 x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 x3241 x3242 x3243 x3244 x3245 x3246 x3247 x3248 x3249 x3250 x3251 x3252 x3253 x3254 x3255 x3256 x3257 x3258 -x3259 x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 x3272 x3273 x3274 x3275 x3276 x3277 x3278 x3279 x3280 x3281 x3282 -x3283 -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 x3332 x3333 x3334 x3335 x3336 x3337 x3338 x3339 x3340 x3341 x3342 x3343 x3344 x3345 x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 x3512 x3513 x3514 x3515 x3516 x3517 x3518 x3519 x3520 x3521 x3522 x3523 x3524 x3525 x3526 x3527 x3528 x3529 -x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3586 -x3587 -x3588 -x3589 x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 x3602 x3603 x3604 x3605 x3606 x3607 x3608 x3609 x3610 x3611 x3612 x3613 x3614 x3615 x3616 x3617 x3618 x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 x3673 x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 x3692 x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 x3707 -x3708 x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 x3812 x3813 x3814 -x3815 x3816 x3817 x3818 -x3819 -x3820 x3821 -x3822 -x3823 x3824 x3825 x3826 x3827 x3828 x3829 -x3830 x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 x3841 x3842 x3843 x3844 x3845 x3846 -x3847 -x3848 -x3849 x3850 -x3851 -x3852 x3853 -x3854 -x3855 x3856 -x3857 x3858 x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 x3877 x3878 -x3879 x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 x3902 x3903 x3904 x3905 x3906 x3907 -x3908 x3909 x3910 x3911 x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 x3932 x3933 x3934 x3935 x3936 x3937 x3938 x3939 x3940 -x3941 x3942 x3943 x3944 -x3945 -x3946 x3947 -x3948 x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 -x3993 -x3994 x3995 x3996 x3997 -x3998 -x3999 x4000 x4001 -x4002 -x4003 x4004 -x4005 x4006 -x4007 x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 x4022 x4023 x4024 x4025 x4026 -x4027 -x4028 -x4029 x4030 x4031 x4032 -x4033 x4034 -x4035 x4036 -x4037 -x4038 x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 x4142 x4143 x4144 x4145 x4146 x4147 x4148 x4149 x4150 -x4151 x4152 -x4153 x4154 -x4155 -x4156 x4157 x4158 -x4159 -x4160 -x4161 x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 x4175 x4176 -x4177 -x4178 x4179 x4180 x4181 x4182 x4183 x4184 -x4185 -x4186 -x4187 -x4188 x4189 x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 x4209 x4210 -x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 x4232 x4233 x4234 x4235 x4236 x4237 x4238 x4239 x4240 x4241 x4242 x4243 x4244 x4245 x4246 x4247 x4248 -x4249 -x4250 x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 x4262 x4263 x4264 x4265 x4266 x4267 x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 x4277 -x4278 x4279 x4280 x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 -x4357 -x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 x4365 -x4366 -x4367 -x4368 -x4369 -x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 x4511 x4512 x4513 -x4514 x4515 x4516 -x4517 -x4518 x4519 x4520 x4521 x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 x4535 x4536 -x4537 x4538 -x4539 x4540 -x4541 -x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 x4562 -x4563 x4564 x4565 x4566 x4567 x4568 x4569 x4570 x4571 x4572 x4573 x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 x4592 -x4593 -x4594 -x4595 x4596 x4597 x4598 x4599 x4600 x4601 x4602 -x4603 x4604 x4605 x4606 x4607 x4608 x4609 -x4610 x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 x4651 x4652 x4653 x4654 -x4655 -x4656 x4657 x4658 x4659 -x4660 x4661 -x4662 x4663 x4664 -x4665 x4666 -x4667 -x4668 x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 x4689 x4690 -x4691 x4692 x4693 -x4694 -x4695 x4696 -x4697 -x4698 -x4699 x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 x4803 x4804 x4805 x4806 x4807 x4808 x4809 x4810 x4811 x4812 x4813 x4814 -x4815 x4816 -x4817 -x4818 -x4819 x4820 -x4821 x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 x4832 x4833 -x4834 x4835 x4836 x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 x4848 x4849 -x4850 x4851 -x4852 x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 x4861 x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 x4892 x4893 x4894 -x4895 x4896 x4897 x4898 x4899 x4900 x4901 x4902 -x4903 -x4904 x4905 -x4906 -x4907 -x4908 x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 -x4931 -x4932 x4933 x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 x4941 -x4942 x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 x5132 x5133 x5134 x5135 x5136 -x5137 x5138 -x5139 -x5140 -x5141 x5142 x5143 x5144 x5145 x5146 -x5147 -x5148 -x5149 x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 x5180 x5181 x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 x5194 -x5195 -x5196 x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 x5222 x5223 x5224 x5225 x5226 x5227 x5228 x5229 x5230 x5231 x5232 -x5233 -x5234 x5235 x5236 -x5237 -x5238 -x5239 x5240 -x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 x5253 x5254 -x5255 -x5256 x5257 -x5258 -x5259 x5260 x5261 -x5262 x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 x5283 x5284 x5285 -x5286 x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 x5322 x5323 -x5324 x5325 x5326 -x5327 x5328 x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 x5466 x5467 -x5468 -x5469 x5470 -x5471 x5472 -x5473 -x5474 x5475 x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 -x5493 x5494 -x5495 -x5496 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 x5503 -x5504 -x5505 x5506 x5507 x5508 x5509 -x5510 x5511 x5512 x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 -x5552 x5553 x5554 x5555 x5556 x5557 -x5558 x5559 x5560 x5561 x5562 x5563 x5564 x5565 x5566 x5567 -x5568 -x5569 x5570 x5571 x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 x5583 x5584 -x5585 -x5586 x5587 -x5588 x5589 -x5590 -x5591 x5592 x5593 -x5594 -x5595 -x5596 x5597 -x5598 -x5599 -x5600 -x5601 -x5602 x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 -x5642 -x5643 -x5644 x5645 -x5646 -x5647 -x5648 -x5649 -x5650 x5651 x5652 -x5653 -x5654 x5655 -x5656 x5657 x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 -x5678 x5679 -x5680 -x5681 -x5682 -x5683 x5684 -x5685 x5686 x5687 -x5688 x5689 -x5690 x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 x5792 -x5793 x5794 x5795 x5796 -x5797 x5798 x5799 -x5800 x5801 x5802 -x5803 x5804 x5805 x5806 x5807 x5808 x5809 -x5810 -x5811 -x5812 x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 x5825 -x5826 -x5827 -x5828 -x5829 -x5830 x5831 -x5832 -x5833 -x5834 x5835 x5836 x5837 -x5838 x5839 x5840 -x5841 -x5842 -x5843 x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 x5859 -x5860 -x5861 -x5862 -x5863 -x5864 x5865 -x5866 -x5867 -x5868 -x5869 x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 
1800.08/1795.94	c objective function=0
1800.08/1795.94	c Total wall clock time (in seconds): 1795.831

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4101109-1466220440/watcher-4101109-1466220440 -o /tmp/evaluation-result-4101109-1466220440/solver-4101109-1466220440 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4535 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101109-1466220440.opb 

pid=8233
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.21 2.19 2.18 4/196 8236
/proc/meminfo: memFree=29842452/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/8236/stat : 8236 (java) R 8233 8236 4518 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 24090451 9515008 182 33554432000 1073741824 1073778376 140735418387200 140735418378232 273905696437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2323 182 140 9 0 71 0

[startup+0.100165 s]
/proc/loadavg: 2.21 2.19 2.18 4/196 8236
/proc/meminfo: memFree=29842452/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 4403 0 1 0 9 0 0 0 20 0 18 0 24090451 9787879424 6026 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2389619 6026 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200371 s]
/proc/loadavg: 2.21 2.19 2.18 4/196 8236
/proc/meminfo: memFree=29842452/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 4993 0 1 0 27 1 0 0 20 0 18 0 24090451 9787879424 7000 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2389619 7000 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300395 s]
/proc/loadavg: 2.21 2.19 2.18 4/196 8236
/proc/meminfo: memFree=29842452/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9558476 CPUtime=0.57 cores=1,3,5,7
/proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 9072 0 1 0 56 1 0 0 20 0 18 0 24090451 9787879424 11397 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2389619 11397 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700245 s]
/proc/loadavg: 2.21 2.19 2.18 4/196 8236
/proc/meminfo: memFree=29842452/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 10621 0 1 0 139 2 0 0 20 0 19 0 24090451 9856040960 13919 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2406260 13919 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.21 2.19 2.18 4/215 8255
/proc/meminfo: memFree=29793316/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9625040 CPUtime=2.41 cores=1,3,5,7
/proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 12118 0 1 0 238 3 0 0 20 0 19 0 24090451 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2406260 14953 2260 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2420 0 1 0 146 0 0 0 20 0 19 0 24090452 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803315515880 273909081261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/8236/task/8251/stat : 8251 (java) R 8233 8236 4518 0 -1 4202560 3871 0 0 0 36 0 0 0 20 0 19 0 24090457 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803134729144 139803321659304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 4555 0 0 0 52 1 0 0 20 0 19 0 24090457 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 14953 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.21 2.19 2.18 3/215 8255
/proc/meminfo: memFree=29784876/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 12126 0 1 0 402 3 0 0 20 0 19 0 24090451 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2406260 17004 2263 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2425 0 1 0 304 1 0 0 20 0 19 0 24090452 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803315513712 139803149099058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 4518 0 -1 4202560 3874 0 0 0 40 0 0 0 20 0 19 0 24090457 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803134729144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 4555 0 0 0 52 1 0 0 20 0 19 0 24090457 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 17004 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.19 2.19 2.18 4/215 8255
/proc/meminfo: memFree=29767308/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9625040 CPUtime=7.32 cores=1,3,5,7
/proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 12300 0 1 0 729 3 0 0 20 0 19 0 24090451 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2406260 20977 2264 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2435 0 1 0 623 1 0 0 20 0 19 0 24090452 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803315506864 139803148484535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24090453 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 4518 0 -1 4202560 3874 0 0 0 41 0 0 0 20 0 19 0 24090457 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803134729144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 4718 0 0 0 59 1 0 0 20 0 19 0 24090457 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 20977 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 9625040


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

[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 139344 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.39
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/215 8364
/proc/meminfo: memFree=29493676/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9625040 CPUtime=1786.48 cores=1,3,5,7
/proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 22487 0 1 0 178576 72 0 0 20 0 19 0 24090451 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2406260 138839 2279 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1776.83 cores=1,3,5,7
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2506 0 1 0 177653 30 0 0 20 0 19 0 24090452 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803315506848 139803149321873 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 219 0 0 0 32 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 190 0 0 0 28 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 328 0 0 0 30 4 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 312 0 0 0 37 7 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 102 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 78 0 0 0 26 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 114 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 202 0 0 0 30 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 4518 0 -1 4202560 4292 0 0 0 65 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803134729144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 12678 0 0 0 123 2 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 20 26 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.9 s]
/proc/loadavg: 2.28 2.22 2.19 3/215 8365
/proc/meminfo: memFree=29493800/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 22487 0 1 0 179936 72 0 0 20 0 19 0 24090451 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2406260 138839 2279 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1790.39 cores=1,3,5,7
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2506 0 1 0 179009 30 0 0 20 0 19 0 24090452 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803315506848 139803149462315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 219 0 0 0 32 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 190 0 0 0 28 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 328 0 0 0 30 4 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 312 0 0 0 37 7 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 102 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 78 0 0 0 26 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 114 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 202 0 0 0 30 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 4518 0 -1 4202560 4292 0 0 0 65 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803134729144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 12678 0 0 0 123 2 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 20 27 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8236 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1795.9 s]
/proc/loadavg: 2.28 2.22 2.19 3/215 8365
/proc/meminfo: memFree=29493800/32872528 swapFree=1482636/1662508
[pid=8236] ppid=8233 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/8236/stat : 8236 (java) S 8233 8236 4518 0 -1 4202496 22487 0 1 0 179936 72 0 0 20 0 19 0 24090451 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 140735308842192 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8236/statm: 2406260 138839 2279 9 0 2396937 0
[pid=8236/tid=8238] ppid=8233 vsize=9625040 CPUtime=1790.39 cores=1,3,5,7
/proc/8236/task/8238/stat : 8238 (java) R 8233 8236 4518 0 -1 4202560 2506 0 1 0 179009 30 0 0 20 0 19 0 24090452 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803315506848 139803149462315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8239] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8236/task/8239/stat : 8239 (java) S 8233 8236 4518 0 -1 4202560 219 0 0 0 32 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803277007400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8240] ppid=8233 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/8236/task/8240/stat : 8240 (java) S 8233 8236 4518 0 -1 4202560 190 0 0 0 28 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803275954600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8241] ppid=8233 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/8236/task/8241/stat : 8241 (java) S 8233 8236 4518 0 -1 4202560 328 0 0 0 30 4 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803274901800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8236/tid=8242] ppid=8233 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/8236/task/8242/stat : 8242 (java) S 8233 8236 4518 0 -1 4202560 312 0 0 0 37 7 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803273849000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8236/tid=8243] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8236/task/8243/stat : 8243 (java) S 8233 8236 4518 0 -1 4202560 102 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803272797224 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8244] ppid=8233 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/8236/task/8244/stat : 8244 (java) S 8233 8236 4518 0 -1 4202560 78 0 0 0 26 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803271744424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8245] ppid=8233 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8236/task/8245/stat : 8245 (java) S 8233 8236 4518 0 -1 4202560 114 0 0 0 31 6 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803270691624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8236/tid=8246] ppid=8233 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/8236/task/8246/stat : 8246 (java) S 8233 8236 4518 0 -1 4202560 202 0 0 0 30 5 0 0 20 0 19 0 24090453 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803269638824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8247] ppid=8233 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/8236/task/8247/stat : 8247 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803138939368 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8248] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8248/stat : 8248 (java) S 8233 8236 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803137885432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8249] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8249/stat : 8249 (java) S 8233 8236 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24090454 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803136832520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8250] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8250/stat : 8250 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803135781008 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8251] ppid=8233 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/8236/task/8251/stat : 8251 (java) S 8233 8236 4518 0 -1 4202560 4292 0 0 0 65 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803134729144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8252] ppid=8233 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/8236/task/8252/stat : 8252 (java) S 8233 8236 4518 0 -1 4202560 12678 0 0 0 123 2 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139803133676344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8253] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8253/stat : 8253 (java) S 8233 8236 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802259221368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8236/tid=8254] ppid=8233 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/8236/task/8254/stat : 8254 (java) S 8233 8236 4518 0 -1 4202560 104 0 0 0 20 27 0 0 20 0 19 0 24090457 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802258168776 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8236/tid=8255] ppid=8233 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8236/task/8255/stat : 8255 (java) S 8233 8236 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24090485 9856040960 138839 33554432000 1073741824 1073778376 140735308851056 139802257114280 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8236 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=898134
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=162823
# CPU time returned by wait4() is 1796.06
# 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): 1795.96
CPU time (s): 1800.08
CPU user time (s): 1799.36
CPU system time (s): 0.72
CPU usage (%): 100.229
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.9
system time used= 1.16282
maximum resident set size= 565908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22533
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38522
involuntary context switches= 9181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6224 second user time and 12.882 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-18 05:27:20
IDJOB=4101109
IDBENCH=1701
IDSOLVER=2546
FILE ID=node134/4101109-1466220440
RUNJOBID= node134-1466206058-4535
PBS_JOBID= 19918143
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc205.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101109-1466220440/watcher-4101109-1466220440 -o /tmp/evaluation-result-4101109-1466220440/solver-4101109-1466220440 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4535 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101109-1466220440.opb

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

MD5SUM BENCH= 085f6c29f952ff5e0e711950d59893d5
RANDOM SEED=1634988850

node134.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.020
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.04
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.020
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	: 7358.89
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.020
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	: 5332.55
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.020
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	: 5332.55
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.020
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	: 5332.55
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.020
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	: 5332.54
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.020
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	: 5332.55
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.020
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29843096 kB
Buffers:          105048 kB
Cached:            91156 kB
SwapCached:         1008 kB
Active:           495432 kB
Inactive:         138676 kB
Active(anon):     438656 kB
Inactive(anon):     1616 kB
Active(file):      56776 kB
Inactive(file):   137060 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100112 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:       2076716 kB
Mapped:            15408 kB
Shmem:                 0 kB
Slab:             599200 kB
SReclaimable:      42952 kB
SUnreclaim:       556248 kB
KernelStack:        1776 kB
PageTables:         8172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2230428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    552960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node134 at 2016-06-18 05:57:16