Trace number 4111041

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 Res+CP PB16SAT (TO)4964140763 1800.03 900.478

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f52-ACTotalLoss.seq-B-2-2-irabcde.opb
MD5SUM2c37e5394854b0015bf970f4e03641b7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4208499147
Best CPU time to get the best result obtained on this benchmark919.511
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3867
Total number of constraints10849
Number of constraints which are clauses10729
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 373
Biggest coefficient in the objective function 143145755
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 31492066099
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 143145755
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 31492066099
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.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.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4111041-1466395802.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.73/0.48	c ... done. Wall clock time 0.361s.
0.73/0.48	c declared #vars     3867
0.73/0.48	c #constraints  10849
0.73/0.49	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.73/0.49	c constraints type 
0.73/0.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3278
0.73/0.49	c org.sat4j.specs.Constr$1 => 240
0.73/0.49	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.73/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7060
0.73/0.49	c org.sat4j.minisat.constraints.cnf.UnitClause => 241
0.73/0.49	c 10849 constraints processed.
0.73/0.49	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.73/0.49	c constraints type 
0.73/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7060
0.73/0.49	c org.sat4j.specs.Constr$1 => 240
0.73/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3278
0.73/0.49	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30
0.73/0.49	c org.sat4j.pb.constraints.pb.UnitClausePB => 241
0.73/0.49	c 10849 constraints processed.
0.73/0.49	c objective function length is 373 literals
1.43/0.67	c And the winner is solver0
2.18/0.99	c SATISFIABLE
2.18/0.99	c OPTIMIZING...
2.18/0.99	c Got one! Elapsed wall clock time (in seconds):0.869
2.18/0.99	o 7844415274
2.38/1.08	c And the winner is solver0
2.79/1.50	c Got one! Elapsed wall clock time (in seconds):1.375
2.79/1.50	o 7701269519
2.80/1.53	c And the winner is solver0
3.17/2.00	c Got one! Elapsed wall clock time (in seconds):1.88
3.17/2.00	o 7701268589
3.83/2.28	c And the winner is solver1
4.03/2.50	c Got one! Elapsed wall clock time (in seconds):2.384
4.03/2.50	o 6985537024
4.03/2.55	c And the winner is solver1
4.20/3.01	c Got one! Elapsed wall clock time (in seconds):2.886
4.20/3.01	o 6956907873
4.41/3.19	c cleaning 3147 clauses out of 6293 with flag 7282/6293
5.39/3.51	c cleaning 4573 clauses out of 9146 with flag 22087/12293
6.20/3.85	c cleaning 5788 clauses out of 11575 with flag 38508/19295
7.10/4.28	c cleaning 6892 clauses out of 13786 with flag 56155/27294
8.13/4.79	c cleaning 7942 clauses out of 15893 with flag 76256/36293
9.58/5.44	c And the winner is solver1
9.58/5.45	c cleaning 8975 clauses out of 17952 with flag 98443/46294
9.74/5.51	c Got one! Elapsed wall clock time (in seconds):5.389
9.74/5.51	o 5813620433
10.23/5.74	c cleaning 6989 clauses out of 13978 with flag 11924/51295
10.82/6.04	c cleaning 6494 clauses out of 12988 with flag 26097/57294
11.62/6.40	c cleaning 6746 clauses out of 13495 with flag 42643/64295
12.50/6.85	c cleaning 7370 clauses out of 14748 with flag 61683/72294
13.30/7.29	c cleaning 8187 clauses out of 16379 with flag 83355/81295
14.57/7.89	c cleaning 9091 clauses out of 18192 with flag 106858/91295
15.76/8.43	c cleaning 10048 clauses out of 20100 with flag 133101/102294
16.96/9.03	c cleaning 11026 clauses out of 22052 with flag 162079/114294
18.37/9.72	c cleaning 12014 clauses out of 24027 with flag 193896/127295
20.03/10.54	c cleaning 13006 clauses out of 26012 with flag 227731/141294
21.85/11.47	c cleaning 14003 clauses out of 28006 with flag 264527/156294
22.45/11.77	c And the winner is solver1
22.56/12.03	c Got one! Elapsed wall clock time (in seconds):11.909
22.56/12.03	o 5792800492
23.35/12.40	c cleaning 12421 clauses out of 24846 with flag 12100/167137
23.75/12.69	c cleaning 9213 clauses out of 18425 with flag 26463/173137
24.34/12.99	c cleaning 8104 clauses out of 16213 with flag 43201/180138
25.15/13.35	c cleaning 8047 clauses out of 16108 with flag 62668/188137
25.94/13.74	c cleaning 8527 clauses out of 17061 with flag 84042/197137
26.94/14.24	c cleaning 9266 clauses out of 18534 with flag 108933/207137
27.93/14.78	c cleaning 10131 clauses out of 20268 with flag 135373/218137
29.35/15.45	c cleaning 11067 clauses out of 22137 with flag 163956/230137
31.04/16.21	c cleaning 12028 clauses out of 24070 with flag 195444/243137
32.44/16.93	c cleaning 13020 clauses out of 26043 with flag 229489/257138
34.20/17.73	c cleaning 14010 clauses out of 28023 with flag 265075/272138
34.99/18.14	c And the winner is solver1
35.06/18.53	c Got one! Elapsed wall clock time (in seconds):18.412
35.06/18.53	o 5675312538
35.62/18.86	c cleaning 13710 clauses out of 27427 with flag 12087/285552
36.20/19.18	c cleaning 9859 clauses out of 19717 with flag 26889/291552
37.14/19.58	c cleaning 8426 clauses out of 16859 with flag 43610/298553
37.94/19.94	c cleaning 8216 clauses out of 16433 with flag 63057/306553
38.72/20.38	c cleaning 8608 clauses out of 17216 with flag 85036/315552
39.72/20.87	c cleaning 9303 clauses out of 18608 with flag 109110/325552
40.93/21.46	c cleaning 10151 clauses out of 20307 with flag 135282/336554
42.15/22.06	c cleaning 11079 clauses out of 22157 with flag 164398/348555
43.53/22.75	c cleaning 12032 clauses out of 24075 with flag 195908/361552
45.13/23.52	c cleaning 13019 clauses out of 26044 with flag 229914/375553
46.93/24.44	c cleaning 14009 clauses out of 28024 with flag 266080/390552
49.09/25.49	c cleaning 15005 clauses out of 30016 with flag 304853/406553
51.09/26.47	c cleaning 16003 clauses out of 32013 with flag 346079/423555
53.49/27.64	c And the winner is solver1
53.53/28.04	c Got one! Elapsed wall clock time (in seconds):27.916
53.53/28.04	o 5566276424
54.34/28.47	c cleaning 19186 clauses out of 38376 with flag 11730/445921
54.95/28.78	c cleaning 12595 clauses out of 25190 with flag 26061/451921
55.74/29.12	c cleaning 9794 clauses out of 19594 with flag 42770/458920
56.34/29.49	c cleaning 8900 clauses out of 17800 with flag 61694/466920
57.34/29.98	c cleaning 8944 clauses out of 17900 with flag 83618/475920
58.34/30.46	c cleaning 9477 clauses out of 18957 with flag 107417/485921
59.62/31.04	c cleaning 10239 clauses out of 20479 with flag 133785/496920
60.82/31.66	c cleaning 11121 clauses out of 22241 with flag 162497/508921
62.22/32.33	c cleaning 12058 clauses out of 24119 with flag 194126/521920
63.83/33.11	c cleaning 13025 clauses out of 26061 with flag 228112/535920
65.42/33.96	c cleaning 14014 clauses out of 28036 with flag 265069/550920
67.22/34.89	c cleaning 15011 clauses out of 30022 with flag 304887/566920
69.42/35.91	c cleaning 16004 clauses out of 32011 with flag 346127/583920
71.62/37.08	c cleaning 16999 clauses out of 34007 with flag 389495/601920
74.42/38.41	c cleaning 18002 clauses out of 36008 with flag 436492/620920
74.84/38.60	c And the winner is solver1
74.84/39.04	c Got one! Elapsed wall clock time (in seconds):38.92
74.84/39.04	o 5530324453
74.94/39.17	c cleaning 11842 clauses out of 23689 with flag 4876/626603
75.75/39.50	c cleaning 8917 clauses out of 17847 with flag 19951/632603
76.34/39.88	c cleaning 7966 clauses out of 15932 with flag 37519/639605
77.46/40.36	c cleaning 7983 clauses out of 15965 with flag 57900/647604
78.47/40.81	c cleaning 8485 clauses out of 16981 with flag 80714/656603
79.46/41.37	c cleaning 9247 clauses out of 18496 with flag 106702/666603
80.67/41.96	c cleaning 10123 clauses out of 20250 with flag 133936/677604
82.06/42.62	c cleaning 11059 clauses out of 22126 with flag 163240/689603
83.46/43.34	c cleaning 12026 clauses out of 24067 with flag 194923/702603
85.07/44.15	c cleaning 13018 clauses out of 26042 with flag 230049/716604
86.86/45.04	c cleaning 14009 clauses out of 28023 with flag 266677/731603
88.86/46.04	c cleaning 15005 clauses out of 30015 with flag 305685/747604
91.06/47.11	c cleaning 16004 clauses out of 32009 with flag 346635/764603
93.05/48.15	c cleaning 17001 clauses out of 34006 with flag 390400/782604
95.92/49.60	c cleaning 17999 clauses out of 36004 with flag 435811/801603
98.51/50.84	c cleaning 18997 clauses out of 38005 with flag 484730/821603
101.11/52.11	c cleaning 20002 clauses out of 40008 with flag 535542/842603
103.91/53.50	c cleaning 20997 clauses out of 42006 with flag 588373/864603
106.92/55.09	c cleaning 21998 clauses out of 44009 with flag 643920/887603
110.50/56.83	c cleaning 23002 clauses out of 46011 with flag 703199/911603
114.40/58.74	c cleaning 24005 clauses out of 48009 with flag 764838/936603
118.22/60.67	c cleaning 24993 clauses out of 50005 with flag 828749/962604
122.20/62.68	c cleaning 26006 clauses out of 52013 with flag 895113/989605
127.41/65.22	c cleaning 27000 clauses out of 54005 with flag 965897/1017603
131.52/67.30	c cleaning 27995 clauses out of 56005 with flag 1036704/1046603
136.50/69.73	c cleaning 29001 clauses out of 58011 with flag 1111191/1076604
141.30/72.17	c cleaning 30000 clauses out of 60009 with flag 1190582/1107603
146.30/74.65	c cleaning 31006 clauses out of 62011 with flag 1269278/1139605
151.61/77.26	c cleaning 32003 clauses out of 64005 with flag 1348445/1172605
156.82/79.85	c cleaning 32999 clauses out of 66001 with flag 1430299/1206604
162.62/82.78	c cleaning 33995 clauses out of 68001 with flag 1514239/1241603
169.51/86.16	c cleaning 35003 clauses out of 70006 with flag 1600801/1277603
175.52/89.18	c cleaning 35997 clauses out of 72003 with flag 1690499/1314603
183.31/93.01	c cleaning 37001 clauses out of 74007 with flag 1782321/1352604
183.51/93.14	c And the winner is solver1
183.51/93.55	c Got one! Elapsed wall clock time (in seconds):93.433
183.51/93.55	o 5503655742
183.79/93.79	c cleaning 21179 clauses out of 42362 with flag 7276/1357960
184.59/94.12	c cleaning 13591 clauses out of 27185 with flag 21875/1363962
185.19/94.46	c cleaning 10296 clauses out of 20593 with flag 38509/1370961
185.99/94.81	c cleaning 9146 clauses out of 18298 with flag 57886/1378962
187.66/95.92	c cleaning 9066 clauses out of 18150 with flag 79491/1387960
188.45/96.36	c cleaning 9541 clauses out of 19085 with flag 103113/1397961
189.46/96.84	c cleaning 10270 clauses out of 20543 with flag 129465/1408960
190.65/97.48	c cleaning 11132 clauses out of 22273 with flag 158794/1420960
192.05/98.19	c cleaning 12068 clauses out of 24141 with flag 190618/1433960
193.65/98.94	c cleaning 13033 clauses out of 26073 with flag 225344/1447960
195.45/99.83	c cleaning 14021 clauses out of 28041 with flag 262958/1462961
197.25/100.75	c cleaning 15007 clauses out of 30020 with flag 301672/1478961
199.44/101.89	c cleaning 16008 clauses out of 32016 with flag 342750/1495964
201.65/102.99	c cleaning 17003 clauses out of 34005 with flag 385851/1513961
204.29/104.21	c cleaning 17997 clauses out of 36001 with flag 432653/1532960
207.10/105.62	c cleaning 18996 clauses out of 38004 with flag 480276/1552960
209.69/106.96	c cleaning 20004 clauses out of 40008 with flag 530854/1573960
212.89/108.59	c cleaning 21001 clauses out of 42004 with flag 584990/1595960
215.90/110.01	c cleaning 22001 clauses out of 44003 with flag 641137/1618960
219.30/111.74	c cleaning 22998 clauses out of 46002 with flag 699786/1642960
222.94/113.51	c cleaning 23996 clauses out of 48004 with flag 760666/1667960
226.54/115.37	c cleaning 25004 clauses out of 50008 with flag 824722/1693960
230.54/117.30	c cleaning 26000 clauses out of 52005 with flag 890095/1720961
234.54/119.32	c cleaning 27003 clauses out of 54005 with flag 957747/1748961
239.14/121.69	c cleaning 27996 clauses out of 56002 with flag 1027504/1777961
244.21/124.17	c cleaning 29003 clauses out of 58005 with flag 1101339/1807960
249.41/126.71	c cleaning 30000 clauses out of 60004 with flag 1175789/1838962
254.41/129.22	c cleaning 30997 clauses out of 62002 with flag 1252946/1870960
260.32/132.15	c cleaning 32005 clauses out of 64010 with flag 1333590/1903965
265.90/134.99	c cleaning 32998 clauses out of 66001 with flag 1415189/1937961
271.90/137.98	c cleaning 34000 clauses out of 68003 with flag 1499912/1972961
279.61/141.71	c cleaning 35002 clauses out of 70003 with flag 1585827/2008961
286.83/145.38	c cleaning 35995 clauses out of 72001 with flag 1675216/2045961
294.22/149.04	c cleaning 36995 clauses out of 74005 with flag 1766150/2083960
302.12/152.98	c cleaning 38003 clauses out of 76010 with flag 1860036/2122960
310.31/157.02	c cleaning 39001 clauses out of 78008 with flag 1954901/2162961
319.21/161.48	c cleaning 40002 clauses out of 80006 with flag 2053283/2203960
327.41/165.57	c cleaning 41000 clauses out of 82004 with flag 2155563/2245960
336.72/170.10	c cleaning 42002 clauses out of 84005 with flag 2259217/2288961
337.92/170.79	c And the winner is solver1
337.92/170.93	c Got one! Elapsed wall clock time (in seconds):170.811
337.92/170.93	o 5386283108
338.65/171.32	c cleaning 28318 clauses out of 56637 with flag 11691/2303595
339.26/171.66	c cleaning 17159 clauses out of 34320 with flag 25778/2309596
340.05/172.03	c cleaning 12079 clauses out of 24161 with flag 42414/2316596
340.84/172.45	c cleaning 10038 clauses out of 20081 with flag 61447/2324595
341.66/172.87	c cleaning 9522 clauses out of 19043 with flag 82949/2333595
342.64/173.38	c cleaning 9760 clauses out of 19521 with flag 107321/2343595
343.65/173.90	c cleaning 10383 clauses out of 20765 with flag 133885/2354599
345.04/174.52	c cleaning 11186 clauses out of 22379 with flag 163003/2366596
346.24/175.16	c cleaning 12093 clauses out of 24193 with flag 194790/2379596
347.84/175.91	c cleaning 13047 clauses out of 26100 with flag 229380/2393596
349.64/176.80	c cleaning 14020 clauses out of 28052 with flag 265903/2408595
351.44/177.73	c cleaning 15016 clauses out of 30033 with flag 304774/2424596
353.24/178.69	c cleaning 16007 clauses out of 32016 with flag 345728/2441595
355.54/179.80	c cleaning 17004 clauses out of 34010 with flag 389180/2459596
358.14/181.04	c cleaning 18003 clauses out of 36008 with flag 434184/2478598
360.74/182.34	c cleaning 18999 clauses out of 38002 with flag 482418/2498595
363.55/183.73	c cleaning 19999 clauses out of 40003 with flag 534562/2519595
366.33/185.12	c cleaning 20998 clauses out of 42004 with flag 587843/2541595
368.93/186.50	c cleaning 21998 clauses out of 44006 with flag 642333/2564595
372.35/188.15	c cleaning 23002 clauses out of 46009 with flag 699698/2588596
375.93/189.99	c cleaning 24000 clauses out of 48006 with flag 760071/2613595
380.03/191.90	c cleaning 25003 clauses out of 50006 with flag 824594/2639595
384.03/193.96	c cleaning 26001 clauses out of 52006 with flag 890479/2666598
388.43/196.19	c cleaning 26997 clauses out of 54002 with flag 958995/2694595
392.83/198.32	c cleaning 27999 clauses out of 56005 with flag 1028498/2723595
397.63/200.72	c cleaning 29002 clauses out of 58006 with flag 1101030/2753595
402.94/203.33	c cleaning 30002 clauses out of 60004 with flag 1176080/2784595
408.14/205.96	c cleaning 30999 clauses out of 62002 with flag 1253729/2816595
413.73/208.76	c cleaning 32000 clauses out of 64004 with flag 1333958/2849596
419.93/211.84	c cleaning 32999 clauses out of 66003 with flag 1416920/2883595
425.86/214.74	c cleaning 33997 clauses out of 68005 with flag 1502049/2918596
432.08/217.82	c cleaning 35002 clauses out of 70008 with flag 1588478/2954596
438.27/220.96	c cleaning 35997 clauses out of 72005 with flag 1676958/2991595
445.67/224.64	c cleaning 37002 clauses out of 74009 with flag 1767945/3029596
453.76/228.62	c cleaning 38004 clauses out of 76007 with flag 1861958/3068596
463.56/233.57	c cleaning 38998 clauses out of 78003 with flag 1960776/3108596
470.70/237.06	c And the winner is solver1
470.70/237.49	c Got one! Elapsed wall clock time (in seconds):237.372
470.70/237.49	o 5246711343
471.50/237.97	c cleaning 38757 clauses out of 77516 with flag 11951/3147107
472.30/238.33	c cleaning 22375 clauses out of 44759 with flag 25914/3153107
473.11/238.71	c cleaning 14684 clauses out of 29384 with flag 42773/3160107
473.90/239.14	c cleaning 11348 clauses out of 22701 with flag 61891/3168108
474.70/239.58	c cleaning 10172 clauses out of 20352 with flag 83511/3177107
475.70/240.09	c cleaning 10090 clauses out of 20180 with flag 107751/3187107
476.90/240.62	c cleaning 10541 clauses out of 21090 with flag 134419/3198107
477.90/241.17	c cleaning 11270 clauses out of 22549 with flag 163385/3210107
479.30/241.87	c cleaning 12140 clauses out of 24279 with flag 194741/3223107
480.70/242.59	c cleaning 13066 clauses out of 26139 with flag 228635/3237107
482.51/243.44	c cleaning 14033 clauses out of 28073 with flag 264496/3252107
484.32/244.37	c cleaning 15019 clauses out of 30041 with flag 302819/3268108
486.43/245.37	c cleaning 16006 clauses out of 32021 with flag 343566/3285107
488.63/246.47	c cleaning 17008 clauses out of 34017 with flag 386839/3303109
491.03/247.64	c cleaning 18000 clauses out of 36007 with flag 432376/3322107
493.62/248.94	c cleaning 18996 clauses out of 38007 with flag 480697/3342107
496.42/250.32	c cleaning 20003 clauses out of 40012 with flag 531167/3363108
499.22/251.80	c cleaning 21001 clauses out of 42008 with flag 584353/3385107
503.16/253.61	c cleaning 22004 clauses out of 44008 with flag 639910/3408108
506.96/255.50	c cleaning 23005 clauses out of 46009 with flag 698297/3432113
510.36/257.24	c cleaning 23998 clauses out of 47998 with flag 758910/3457107
514.16/259.11	c cleaning 24994 clauses out of 50000 with flag 821484/3483107
518.36/261.20	c cleaning 26000 clauses out of 52006 with flag 887952/3510107
522.88/263.48	c cleaning 27002 clauses out of 54006 with flag 957412/3538107
527.68/265.84	c cleaning 28001 clauses out of 56004 with flag 1029303/3567107
532.68/268.32	c cleaning 29001 clauses out of 58004 with flag 1102329/3597108
538.98/271.96	c cleaning 30000 clauses out of 60003 with flag 1176610/3628108
544.58/274.75	c cleaning 31000 clauses out of 62003 with flag 1253683/3660108
550.58/277.71	c cleaning 31998 clauses out of 64002 with flag 1333104/3693107
557.42/281.18	c cleaning 33002 clauses out of 66004 with flag 1416034/3727107
564.82/284.83	c cleaning 34000 clauses out of 68002 with flag 1500934/3762107
571.41/288.18	c cleaning 35000 clauses out of 70002 with flag 1586951/3798107
578.88/291.82	c cleaning 35998 clauses out of 72002 with flag 1674674/3835107
586.28/295.52	c cleaning 36999 clauses out of 74004 with flag 1765566/3873107
593.76/299.23	c cleaning 38001 clauses out of 76005 with flag 1859759/3912107
597.35/301.09	c cleaning 0 clauses out of 9508 with flag 0/9510
601.88/303.17	c cleaning 39001 clauses out of 78005 with flag 1956379/3952108
611.48/307.96	c cleaning 39993 clauses out of 80004 with flag 2056394/3993108
620.77/312.52	c cleaning 41003 clauses out of 82010 with flag 2161082/4035107
628.75/316.55	c cleaning 41997 clauses out of 84007 with flag 2264640/4078107
637.22/320.76	c And the winner is solver1
637.22/320.81	c Got one! Elapsed wall clock time (in seconds):320.685
637.22/320.81	o 5106391858
638.41/321.48	c cleaning 45363 clauses out of 90729 with flag 11658/4126826
639.41/321.91	c cleaning 25682 clauses out of 51366 with flag 25684/4132826
640.01/322.27	c cleaning 16339 clauses out of 32685 with flag 41996/4139827
640.81/322.65	c cleaning 12170 clauses out of 24346 with flag 60666/4147827
641.61/323.07	c cleaning 10581 clauses out of 21176 with flag 81984/4156827
642.63/323.53	c cleaning 10295 clauses out of 20594 with flag 105607/4166826
643.61/324.03	c cleaning 10643 clauses out of 21299 with flag 131429/4177826
644.63/324.59	c cleaning 11328 clauses out of 22656 with flag 160222/4189826
646.01/325.26	c cleaning 12164 clauses out of 24328 with flag 191421/4202826
647.41/325.98	c cleaning 13084 clauses out of 26167 with flag 224492/4216829
649.30/326.81	c cleaning 14031 clauses out of 28080 with flag 260153/4231826
651.09/327.71	c cleaning 15025 clauses out of 30050 with flag 297664/4247827
652.89/328.64	c cleaning 16010 clauses out of 32024 with flag 338063/4264826
654.89/329.67	c cleaning 17002 clauses out of 34014 with flag 381393/4282826
657.29/330.85	c cleaning 18003 clauses out of 36013 with flag 426576/4301827
659.69/332.09	c cleaning 19004 clauses out of 38010 with flag 474485/4321827
662.51/333.48	c cleaning 19991 clauses out of 40005 with flag 524977/4342826
665.77/335.06	c cleaning 21007 clauses out of 42014 with flag 579466/4364826
668.77/336.60	c cleaning 21997 clauses out of 44008 with flag 635585/4387827
671.97/338.17	c cleaning 23002 clauses out of 46012 with flag 693482/4411828
675.58/339.96	c cleaning 24001 clauses out of 48009 with flag 754180/4436827
678.97/341.62	c cleaning 24995 clauses out of 50007 with flag 817734/4462826
683.26/343.79	c cleaning 26005 clauses out of 52012 with flag 884041/4489826
687.86/346.09	c cleaning 26999 clauses out of 54007 with flag 954058/4517826
692.66/348.48	c cleaning 27998 clauses out of 56008 with flag 1025161/4546826
697.26/350.80	c cleaning 29003 clauses out of 58011 with flag 1097627/4576827
702.74/353.43	c cleaning 30004 clauses out of 60008 with flag 1173035/4607827
707.94/356.03	c cleaning 31002 clauses out of 62004 with flag 1251173/4639827
713.54/358.81	c cleaning 32001 clauses out of 64001 with flag 1331423/4672826
720.07/362.05	c cleaning 32997 clauses out of 66000 with flag 1416141/4706826
726.27/365.15	c cleaning 34002 clauses out of 68003 with flag 1503164/4741826
733.20/368.51	c cleaning 34993 clauses out of 70001 with flag 1591539/4777826
740.58/372.28	c cleaning 36003 clauses out of 72008 with flag 1680697/4814826
748.18/376.03	c cleaning 37001 clauses out of 74007 with flag 1772052/4852828
756.52/380.11	c cleaning 38002 clauses out of 76006 with flag 1864948/4891828
764.34/384.01	c cleaning 38999 clauses out of 78002 with flag 1961173/4931826
772.48/388.05	c cleaning 39996 clauses out of 80003 with flag 2059325/4972826
781.68/392.66	c cleaning 40994 clauses out of 82007 with flag 2160066/5014826
790.48/397.08	c cleaning 42007 clauses out of 84015 with flag 2263919/5057828
799.44/401.42	c cleaning 43002 clauses out of 86006 with flag 2368618/5101826
808.45/405.98	c cleaning 43997 clauses out of 88004 with flag 2476962/5146826
818.39/410.85	c cleaning 44996 clauses out of 90007 with flag 2586861/5192826
827.99/415.68	c cleaning 45998 clauses out of 92012 with flag 2700016/5239827
839.53/421.33	c cleaning 47005 clauses out of 94013 with flag 2815256/5287826
849.45/426.26	c cleaning 48000 clauses out of 96008 with flag 2932124/5336826
861.27/432.15	c cleaning 49005 clauses out of 98010 with flag 3054923/5386828
874.20/438.51	c cleaning 49999 clauses out of 100004 with flag 3180739/5437827
884.80/443.85	c cleaning 50999 clauses out of 102005 with flag 3308905/5489827
896.73/449.77	c cleaning 52002 clauses out of 104005 with flag 3439411/5542826
908.48/455.58	c cleaning 52993 clauses out of 106003 with flag 3570081/5596826
923.06/462.80	c cleaning 54000 clauses out of 108010 with flag 3702790/5651826
936.80/469.62	c cleaning 55000 clauses out of 110010 with flag 3836858/5707826
950.24/476.37	c cleaning 56000 clauses out of 112010 with flag 3974580/5764826
963.76/483.08	c cleaning 57001 clauses out of 114010 with flag 4116150/5822826
967.96/485.12	c And the winner is solver1
967.96/485.45	c Got one! Elapsed wall clock time (in seconds):485.334
967.96/485.45	o 4965180503
969.04/486.03	c cleaning 42411 clauses out of 84823 with flag 11634/5850640
969.84/486.44	c cleaning 24204 clauses out of 48412 with flag 25882/5856640
970.64/486.80	c cleaning 15600 clauses out of 31208 with flag 42237/5863640
971.24/487.18	c cleaning 11803 clauses out of 23609 with flag 61187/5871641
972.24/487.61	c cleaning 10398 clauses out of 20805 with flag 82171/5880640
973.04/488.07	c cleaning 10202 clauses out of 20408 with flag 105357/5890641
974.24/488.60	c cleaning 10597 clauses out of 21205 with flag 131532/5901640
975.44/489.24	c cleaning 11299 clauses out of 22608 with flag 160815/5913640
976.90/489.98	c cleaning 12157 clauses out of 24313 with flag 192829/5926644
978.51/490.71	c cleaning 13077 clauses out of 26153 with flag 225953/5940641
980.10/491.52	c cleaning 14035 clauses out of 28075 with flag 261910/5955640
981.90/492.44	c cleaning 15021 clauses out of 30041 with flag 300511/5971641
983.91/493.47	c cleaning 16008 clauses out of 32020 with flag 341162/5988641
986.31/494.60	c cleaning 17005 clauses out of 34013 with flag 384458/6006642
988.51/495.72	c cleaning 18004 clauses out of 36008 with flag 429642/6025642
991.31/497.10	c cleaning 19002 clauses out of 38003 with flag 476721/6045641
994.12/498.59	c cleaning 19994 clauses out of 40001 with flag 526828/6066641
997.32/500.10	c cleaning 20998 clauses out of 42006 with flag 579550/6088640
1000.92/501.92	c cleaning 21999 clauses out of 44009 with flag 635438/6111641
1004.32/503.65	c cleaning 22994 clauses out of 46009 with flag 694888/6135640
1007.72/505.39	c cleaning 24005 clauses out of 48016 with flag 756951/6160641
1011.78/507.36	c cleaning 25003 clauses out of 50010 with flag 822866/6186640
1016.00/509.44	c cleaning 26005 clauses out of 52009 with flag 894861/6213642
1019.98/511.49	c cleaning 26994 clauses out of 54002 with flag 962334/6241640
1024.60/513.78	c cleaning 28002 clauses out of 56008 with flag 1036483/6270640
1029.27/516.03	c cleaning 28999 clauses out of 58006 with flag 1110068/6300640
1034.25/518.51	c cleaning 30003 clauses out of 60007 with flag 1184411/6331640
1039.65/521.25	c cleaning 31001 clauses out of 62004 with flag 1264515/6363640
1045.73/524.26	c cleaning 32001 clauses out of 64004 with flag 1346493/6396641
1051.53/527.10	c cleaning 33001 clauses out of 66004 with flag 1428314/6430642
1058.33/530.54	c cleaning 33998 clauses out of 68001 with flag 1512442/6465640
1064.02/533.38	c cleaning 34995 clauses out of 70003 with flag 1599318/6501640
1070.42/536.55	c cleaning 36003 clauses out of 72009 with flag 1687165/6538641
1077.02/539.80	c cleaning 37002 clauses out of 74006 with flag 1777786/6576641
1084.32/543.41	c cleaning 37995 clauses out of 76004 with flag 1871365/6615641
1090.71/546.66	c cleaning 39005 clauses out of 78009 with flag 1969083/6655641
1099.02/550.79	c cleaning 39999 clauses out of 80003 with flag 2068689/6696640
1106.01/554.24	c cleaning 40999 clauses out of 82004 with flag 2170275/6738640
1114.21/558.34	c cleaning 41997 clauses out of 84005 with flag 2275334/6781640
1122.95/562.61	c cleaning 42994 clauses out of 86008 with flag 2381851/6825640
1131.15/566.71	c cleaning 44004 clauses out of 88014 with flag 2491263/6870640
1140.48/571.31	c cleaning 45004 clauses out of 90010 with flag 2601671/6916640
1149.48/575.84	c cleaning 46003 clauses out of 92006 with flag 2713558/6963640
1159.62/580.82	c cleaning 46999 clauses out of 94003 with flag 2828195/7011640
1169.21/585.67	c cleaning 48002 clauses out of 96004 with flag 2946807/7060640
1179.21/590.68	c cleaning 48999 clauses out of 98002 with flag 3068324/7110640
1189.55/595.78	c cleaning 50000 clauses out of 100005 with flag 3190669/7161642
1199.57/600.74	c cleaning 50999 clauses out of 102003 with flag 3315119/7213640
1210.75/606.40	c cleaning 52001 clauses out of 104005 with flag 3442323/7266641
1220.86/611.37	c cleaning 52997 clauses out of 106004 with flag 3572697/7320641
1231.85/616.82	c cleaning 53996 clauses out of 108007 with flag 3704959/7375641
1242.26/622.06	c cleaning 54996 clauses out of 110010 with flag 3840212/7431640
1254.81/628.23	c cleaning 56004 clauses out of 112014 with flag 3978266/7488640
1267.14/634.32	c cleaning 57001 clauses out of 114012 with flag 4118323/7546642
1280.13/640.86	c cleaning 58003 clauses out of 116009 with flag 4262419/7605640
1295.28/648.38	c cleaning 58998 clauses out of 118006 with flag 4408238/7665640
1310.25/656.45	c cleaning 60000 clauses out of 120008 with flag 4554921/7726640
1323.90/663.22	c cleaning 61003 clauses out of 122009 with flag 4703741/7788641
1338.49/670.50	c cleaning 62002 clauses out of 124005 with flag 4853750/7851640
1354.74/678.68	c cleaning 62999 clauses out of 126003 with flag 5005027/7915640
1370.21/686.32	c cleaning 64003 clauses out of 128005 with flag 5160454/7980641
1384.63/693.55	c cleaning 64995 clauses out of 130001 with flag 5317668/8046640
1401.46/701.82	c cleaning 66000 clauses out of 132007 with flag 5478784/8113641
1424.53/713.37	c cleaning 67002 clauses out of 134007 with flag 5639758/8181641
1445.45/723.77	c cleaning 67998 clauses out of 136005 with flag 5804553/8250641
1467.44/734.64	c cleaning 69000 clauses out of 138006 with flag 5971126/8320640
1473.64/737.76	c And the winner is solver1
1473.64/737.91	c Got one! Elapsed wall clock time (in seconds):737.791
1473.64/737.91	o 4964140763
1475.00/738.67	c cleaning 52037 clauses out of 104081 with flag 11726/8355715
1476.00/739.10	c cleaning 29016 clauses out of 58046 with flag 25697/8361717
1476.80/739.53	c cleaning 18003 clauses out of 36028 with flag 42141/8368715
1477.69/739.95	c cleaning 13008 clauses out of 26025 with flag 61185/8376715
1478.50/740.35	c cleaning 11009 clauses out of 22017 with flag 82659/8385715
1479.48/740.83	c cleaning 10496 clauses out of 21008 with flag 106836/8395715
1480.48/741.36	c cleaning 10745 clauses out of 21512 with flag 133364/8406715
1481.68/741.97	c cleaning 11377 clauses out of 22767 with flag 162885/8418715
1483.10/742.66	c cleaning 12194 clauses out of 24391 with flag 195317/8431716
1484.48/743.37	c cleaning 13095 clauses out of 26196 with flag 229209/8445715
1486.28/744.22	c cleaning 14046 clauses out of 28102 with flag 264873/8460716
1487.88/745.08	c cleaning 15016 clauses out of 30056 with flag 303712/8476716
1489.88/746.03	c cleaning 16018 clauses out of 32040 with flag 344313/8493716
1491.89/747.03	c cleaning 17010 clauses out of 34021 with flag 387281/8511715
1494.35/748.26	c cleaning 18002 clauses out of 36011 with flag 432634/8530715
1496.95/749.55	c cleaning 19003 clauses out of 38010 with flag 481738/8550716
1499.75/750.90	c cleaning 19999 clauses out of 40006 with flag 531868/8571715
1502.76/752.43	c cleaning 21005 clauses out of 42009 with flag 584488/8593717
1505.75/753.96	c cleaning 22001 clauses out of 44003 with flag 639421/8616716
1509.24/755.68	c cleaning 22993 clauses out of 46004 with flag 697374/8640718
1512.64/757.37	c cleaning 24002 clauses out of 48008 with flag 757216/8665715
1516.26/759.12	c cleaning 25001 clauses out of 50008 with flag 819869/8691717
1519.84/760.96	c cleaning 26003 clauses out of 52005 with flag 885470/8718715
1524.10/763.05	c cleaning 26998 clauses out of 54002 with flag 952852/8746715
1529.10/765.58	c cleaning 27999 clauses out of 56004 with flag 1022803/8775715
1534.10/768.08	c cleaning 29002 clauses out of 58005 with flag 1094958/8805715
1539.37/770.68	c cleaning 29998 clauses out of 60004 with flag 1171071/8836716
1544.98/773.43	c cleaning 31003 clauses out of 62005 with flag 1248555/8868715
1550.96/776.40	c cleaning 31999 clauses out of 64003 with flag 1327671/8901716
1557.02/779.49	c cleaning 33001 clauses out of 66003 with flag 1409857/8935715
1563.43/782.66	c cleaning 33997 clauses out of 68002 with flag 1495044/8970715
1570.30/786.04	c cleaning 34996 clauses out of 70005 with flag 1582808/9006715
1576.90/789.33	c cleaning 36003 clauses out of 72009 with flag 1672299/9043715
1582.89/792.36	c cleaning 37002 clauses out of 74007 with flag 1763583/9081716
1590.16/795.97	c cleaning 37994 clauses out of 76004 with flag 1858062/9120715
1598.16/799.92	c cleaning 39005 clauses out of 78011 with flag 1953939/9160716
1606.03/803.87	c cleaning 40001 clauses out of 80005 with flag 2051863/9201715
1614.23/807.91	c cleaning 41001 clauses out of 82004 with flag 2152290/9243715
1622.71/812.20	c cleaning 42001 clauses out of 84005 with flag 2255716/9286717
1632.31/816.92	c cleaning 42997 clauses out of 86002 with flag 2363073/9330715
1642.37/821.99	c cleaning 44003 clauses out of 88006 with flag 2476810/9375716
1653.05/827.23	c cleaning 44995 clauses out of 90003 with flag 2590166/9421716
1664.44/832.92	c cleaning 45999 clauses out of 92007 with flag 2707464/9468715
1676.32/838.87	c cleaning 47000 clauses out of 94008 with flag 2823951/9516715
1685.98/843.64	c cleaning 48000 clauses out of 96008 with flag 2941106/9565715
1696.79/849.07	c cleaning 49004 clauses out of 98010 with flag 3060067/9615717
1706.63/853.90	c cleaning 49996 clauses out of 100004 with flag 3183626/9666715
1718.10/859.68	c cleaning 50998 clauses out of 102008 with flag 3309706/9718715
1729.29/865.28	c cleaning 52000 clauses out of 104010 with flag 3438014/9771715
1742.36/871.70	c cleaning 53002 clauses out of 106011 with flag 3568015/9825716
1754.84/877.91	c cleaning 53998 clauses out of 108008 with flag 3698982/9880715
1766.83/883.93	c cleaning 55003 clauses out of 110010 with flag 3833365/9936715
1781.72/891.31	c cleaning 56001 clauses out of 112007 with flag 3969522/9993715
1796.04/898.44	c cleaning 57002 clauses out of 114006 with flag 4109028/10051715
1800.03/900.40	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1800.03/900.40	c starts		: 198608
1800.03/900.40	c conflicts		: 10074690
1800.03/900.40	c decisions		: 28787983
1800.03/900.40	c propagations		: 441858252
1800.03/900.40	c inspects		: 13485784556
1800.03/900.40	c shortcuts		: 0
1800.03/900.40	c learnt literals	: 0
1800.03/900.40	c learnt binary clauses	: 0
1800.03/900.40	c learnt ternary clauses	: 0
1800.03/900.40	c learnt constraints	: 10074690
1800.03/900.40	c ignored constraints	: 0
1800.03/900.40	c root simplifications	: 0
1800.03/900.40	c removed literals (reason simplification)	: 26738844
1800.03/900.40	c reason swapping (by a shorter reason)	: 0
1800.03/900.40	c Calls to reduceDB	: 378
1800.03/900.40	c Number of update (reduction) of LBD	: 1165568
1800.03/900.40	c Imported unit clauses	: 0
1800.03/900.40	c number of reductions to clauses (during analyze)	: 0
1800.03/900.40	c number of learned constraints concerned by reduction	: 0
1800.03/900.40	c number of learning phase by resolution	: 0
1800.03/900.40	c number of learning phase by cutting planes	: 0
1800.03/900.40	c speed (assignments/second)	: 2719328.5165673774
1800.03/900.40	c non guided choices	378
1800.03/900.43	c learnt constraints type 
1800.03/900.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 79979
1800.03/900.43	c >>>>>>>>>> Solver number 1 (13 answers) <<<<<<<<<<<<<<<<<<
1800.03/900.43	c starts		: 58
1800.03/900.43	c conflicts		: 15318
1800.03/900.43	c decisions		: 105693
1800.03/900.43	c propagations		: 3339309
1800.03/900.43	c inspects		: 642595350
1800.03/900.43	c shortcuts		: 0
1800.03/900.43	c learnt literals	: 0
1800.03/900.43	c learnt binary clauses	: 2
1800.03/900.43	c learnt ternary clauses	: 10
1800.03/900.43	c learnt constraints	: 15315
1800.03/900.43	c ignored constraints	: 0
1800.03/900.43	c root simplifications	: 0
1800.03/900.43	c removed literals (reason simplification)	: 0
1800.03/900.43	c reason swapping (by a shorter reason)	: 0
1800.03/900.43	c Calls to reduceDB	: 1
1800.03/900.43	c Number of update (reduction) of LBD	: 0
1800.03/900.43	c Imported unit clauses	: 0
1800.03/900.43	c number of reductions to clauses (during analyze)	: 0
1800.03/900.43	c number of learned constraints concerned by reduction	: 0
1800.03/900.43	c number of learning phase by resolution	: 0
1800.03/900.43	c number of learning phase by cutting planes	: 0
1800.03/900.43	c speed (assignments/second)	: 3716.8602282668944
1800.03/900.43	c non guided choices	784
1800.03/900.43	c learnt constraints type 
1800.03/900.43	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 628
1800.03/900.43	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 2
1800.03/900.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14685
1800.03/900.43	s SATISFIABLE
1800.03/900.43	c Found 16 solution(s)
1800.03/900.44	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 
1800.03/900.45	c objective function=4964140763
1800.03/900.45	c Total wall clock time (in seconds): 900.327

Verifier Data 

OK	4964140763

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-4111041-1466395802/watcher-4111041-1466395802 -o /tmp/evaluation-result-4111041-1466395802/solver-4111041-1466395802 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466384098-9633 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4111041-1466395802.opb 

pid=14879
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: 4.03 4.08 4.06 4/196 14882
/proc/meminfo: memFree=28157024/32872528 swapFree=447868/480572
[pid=14882] ppid=14879 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14882/stat : 14882 (java) R 14879 14882 9616 0 -1 4202496 476 0 0 0 0 0 0 0 20 0 1 0 41630283 9515008 130 33554432000 1073741824 1073778376 140736199304368 140736199301496 235374764938 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14882/statm: 2323 138 104 9 0 71 0

[startup+0.100062 s]
/proc/loadavg: 4.03 4.08 4.06 4/196 14882
/proc/meminfo: memFree=28157024/32872528 swapFree=447868/480572
[pid=14882] ppid=14879 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 9616 0 -1 4202496 4390 0 1 0 9 1 0 0 20 0 18 0 41630283 9787879424 6021 33554432000 1073741824 1073778376 140736199304368 140736199295504 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14882/statm: 2389619 6021 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200233 s]
/proc/loadavg: 4.03 4.08 4.06 4/196 14882
/proc/meminfo: memFree=28157024/32872528 swapFree=447868/480572
[pid=14882] ppid=14879 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 9616 0 -1 4202496 4722 0 1 0 24 1 0 0 20 0 18 0 41630283 9787879424 7290 33554432000 1073741824 1073778376 140736199304368 140736199295504 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14882/statm: 2389619 7290 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300222 s]
/proc/loadavg: 4.03 4.08 4.06 4/196 14882
/proc/meminfo: memFree=28157024/32872528 swapFree=447868/480572
[pid=14882] ppid=14879 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 9616 0 -1 4202496 5663 0 1 0 46 2 0 0 20 0 18 0 41630283 9787879424 8917 33554432000 1073741824 1073778376 140736199304368 140736199295504 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14882/statm: 2389619 8917 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700166 s]
/proc/loadavg: 4.03 4.08 4.06 4/196 14882
/proc/meminfo: memFree=28157024/32872528 swapFree=447868/480572
[pid=14882] ppid=14879 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 9616 0 -1 4202496 23352 0 1 0 170 8 0 0 20 0 19 0 41630283 10060525568 28076 33554432000 1073741824 1073778376 140736199304368 140736199295504 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14882/statm: 2456183 28076 2254 9 0 2446860 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 9824732

[startup+1.50074 s]
/proc/loadavg: 4.11 4.10 4.07 5/215 14907
/proc/meminfo: memFree=28046808/32872528 swapFree=447868/480572
[pid=14882] ppid=14879 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 9616 0 -1 4202496 23456 0 1 0 269 11 0 0 20 0 19 0 41630283 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140736199295504 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14882/statm: 2456183 29571 2268 9 0 2446860 0
[pid=14882/tid=14884] ppid=14879 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 9616 0 -1 4202560 2445 0 1 0 45 1 0 0 20 0 19 0 41630284 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023295513464 235378107565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14885] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41630285 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023257004840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14886] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41630285 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023255952040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14887] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41630285 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023254899752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14888] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41630285 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023253846952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14889] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41630285 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023252793640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14890] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41630285 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023251740840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14891] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41630285 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023250688552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14892] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 41630285 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023131269544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14893] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 41630287 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023119071976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14894] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 9616 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 41630287 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023118018040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14895] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 9616 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41630287 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023116965640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14896] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41630289 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140023115914128 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14897] ppid=14879 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) R 14879 14882 9616 0 -1 4202560 9580 0 0 0 82 3 0 0 20 0 19 0 41630289 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140022376294584 235378106805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14898] ppid=14879 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14879 14882 9616 0 -1 4202560 10090 0 0 0 87 3 0 0 20 0 19 0 41630289 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140022375241784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14899] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14899/stat : 14899 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41630289 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140022374189688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14900] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 41630289 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140022373137096 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14904] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14904/stat : 14904 (java) S 14879 14882 9616 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 41630333 10060525568 29571 33554432000 1073741824 1073778376 140736199304368 140022368376360 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 9824732

[startup+3.10071 s]
/proc/loadavg: 4.11 4.10 4.07 6/218 14913
/proc/meminfo: memFree=28028004/32872528 swapFree=447868/480572
[pid=14882] ppid=14879 vsize=9824732 CPUtime=4.41 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 9616 0 -1 4202496 23556 0 1 0 424 17 0 0 20 0 22 0 41630283 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140736199295504 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14882/statm: 2456183 41402 2274 9 0 2446860 0
[pid=14882/tid=14884] ppid=14879 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) S 14879 14882 9616 0 -1 4202560 2446 0 1 0 46 2 0 0 20 0 22 0 41630284 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023295513464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14885] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630285 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023257004840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14886] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630285 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023255952040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14887] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630285 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023254899752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14888] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630285 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023253846952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14889] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630285 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023252793640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14890] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630285 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023251740840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14891] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630285 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023250688552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14892] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41630285 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023131269544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14893] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023119071976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14894] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 9616 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023118018040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14895] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 9616 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023116965640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14896] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140023115914128 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14897] ppid=14879 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) R 14879 14882 9616 0 -1 4202560 9626 0 0 0 123 3 0 0 20 0 22 0 41630289 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140022376294584 140023299604842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14898] ppid=14879 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14879 14882 9616 0 -1 4202560 10092 0 0 0 117 3 0 0 20 0 22 0 41630289 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140022375241784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14899] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14899/stat : 14899 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140022374189688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14900] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140022373137096 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14913] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14913/stat : 14913 (java) S 14879 14882 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41630484 10060525568 41402 33554432000 1073741824 1073778376 140736199304368 140022369428392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 9824732

[startup+6.30083 s]
/proc/loadavg: 4.34 4.15 4.08 3/215 14919
/proc/meminfo: memFree=27899052/32872528 swapFree=447868/480572
[pid=14882] ppid=14879 vsize=9824732 CPUtime=11.43 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 9616 0 -1 4202496 24193 0 1 0 1117 26 0 0 20 0 22 0 41630283 10060525568 80223 33554432000 1073741824 1073778376 140736199304368 140736199295504 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14882/statm: 2456183 80223 2293 9 0 2446860 0
[pid=14882/tid=14884] ppid=14879 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) S 14879 14882 9616 0 -1 4202560 2446 0 1 0 46 2 0 0 20 0 22 0 41630284 10060525568 80223 33554432000 1073741824 1073778376 140736199304368 140023295513464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14885] ppid=14879 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 9616 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 41630285 10060525568 80223 33554432000 1073741824 1073778376 140736199304368 140023257004840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14886] ppid=14879 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 9616 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 41630285 10060525568 80223 33554432000 1073741824 1073778376 140736199304368 140023255952040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14887] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630285 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140023254899752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14888] ppid=14879 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 9616 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 41630285 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140023253846952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14889] ppid=14879 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 9616 0 -1 4202560 120 0 0 0 1 0 0 0 20 0 22 0 41630285 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140023252793640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14890] ppid=14879 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 9616 0 -1 4202560 121 0 0 0 2 0 0 0 20 0 22 0 41630285 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140023251740840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14891] ppid=14879 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 9616 0 -1 4202560 79 0 0 0 4 0 0 0 20 0 22 0 41630285 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140023250688552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14892] ppid=14879 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 9616 0 -1 4202560 81 0 0 0 4 0 0 0 20 0 22 0 41630285 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140023131269544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14893] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 9616 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140023119071976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14894] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140023118018040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14895] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 9616 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140023116965640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14896] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140023115914128 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14897] ppid=14879 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 9616 0 -1 4202560 9628 0 0 0 142 3 0 0 20 0 22 0 41630289 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140022376294584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14898] ppid=14879 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14879 14882 9616 0 -1 4202560 10137 0 0 0 161 3 0 0 20 0 22 0 41630289 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140022375241784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14899] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14899/stat : 14899 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140022374189688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14900] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140022373137096 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14913] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14913/stat : 14913 (java) S 14879 14882 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41630484 10060525568 80735 33554432000 1073741824 1073778376 140736199304368 140022369428392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.43
Current children cumulated vsize (KiB) 9824732


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

[pid=14882/tid=14892] ppid=14879 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 9616 0 -1 4202560 598 0 0 0 217 16 0 0 20 0 22 0 41630285 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140023131269544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14893] ppid=14879 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 9616 0 -1 4202560 2212 0 0 0 304 5 0 0 20 0 22 0 41630287 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140023119071976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14894] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140023118018040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14895] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 9616 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140023116965640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14896] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140023115914128 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14897] ppid=14879 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 9616 0 -1 4202560 9646 0 0 0 156 3 0 0 20 0 22 0 41630289 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140022376294584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14898] ppid=14879 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14879 14882 9616 0 -1 4202560 10161 0 0 0 222 3 0 0 20 0 22 0 41630289 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140022375241784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14899] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14899/stat : 14899 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140022374189688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14900] ppid=14879 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14879 14882 9616 0 -1 4202560 47 0 0 0 12 16 0 0 20 0 22 0 41630289 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140022373137096 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14913] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14913/stat : 14913 (java) S 14879 14882 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41630484 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140022369428392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=15051] ppid=14879 vsize=9824732 CPUtime=83.66 cores=1,3,5,7
/proc/14882/task/15051/stat : 15051 (java) R 14879 14882 9616 0 -1 4202560 3 0 0 0 8365 1 0 0 20 0 22 0 41704075 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140022371531648 140023132399423 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=15052] ppid=14879 vsize=9824732 CPUtime=83.67 cores=1,3,5,7
/proc/14882/task/15052/stat : 15052 (java) R 14879 14882 9616 0 -1 4202560 12 0 0 0 8366 1 0 0 20 0 22 0 41704075 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140022368374416 140023131727982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=15053] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/15053/stat : 15053 (java) S 14879 14882 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41704075 10060525568 926366 33554432000 1073741824 1073778376 140736199304368 140022370481704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1640.5
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.00 4.05 4.04 5/217 15056
/proc/meminfo: memFree=23749660/32872528 swapFree=447868/480572
[pid=14882] ppid=14879 vsize=9824732 CPUtime=1760.97 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 9616 0 -1 4202496 32533 0 1 0 175878 219 0 0 20 0 22 0 41630283 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140736199295504 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14882/statm: 2456183 931491 2302 9 0 2446860 0
[pid=14882/tid=14884] ppid=14879 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) S 14879 14882 9616 0 -1 4202560 2454 0 1 0 51 4 0 0 20 0 22 0 41630284 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023295513464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14885] ppid=14879 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 9616 0 -1 4202560 562 0 0 0 277 17 0 0 20 0 22 0 41630285 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023257004840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14886] ppid=14879 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 9616 0 -1 4202560 586 0 0 0 251 17 0 0 20 0 22 0 41630285 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023255952040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14887] ppid=14879 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 9616 0 -1 4202560 478 0 0 0 244 14 0 0 20 0 22 0 41630285 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023254899752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14888] ppid=14879 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 9616 0 -1 4202560 465 0 0 0 206 14 0 0 20 0 22 0 41630285 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023253846952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14889] ppid=14879 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 9616 0 -1 4202560 630 0 0 0 246 12 0 0 20 0 22 0 41630285 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023252793640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14890] ppid=14879 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 9616 0 -1 4202560 665 0 0 0 265 16 0 0 20 0 22 0 41630285 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023251740840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14891] ppid=14879 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 9616 0 -1 4202560 595 0 0 0 244 15 0 0 20 0 22 0 41630285 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023250688552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14892] ppid=14879 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 9616 0 -1 4202560 604 0 0 0 230 16 0 0 20 0 22 0 41630285 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023131269544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14893] ppid=14879 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 9616 0 -1 4202560 2226 0 0 0 304 6 0 0 20 0 22 0 41630287 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023119071976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14894] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023118018040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14895] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 9616 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023116965640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14896] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140023115914128 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14897] ppid=14879 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 9616 0 -1 4202560 9646 0 0 0 156 3 0 0 20 0 22 0 41630289 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140022376294584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14898] ppid=14879 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14879 14882 9616 0 -1 4202560 10161 0 0 0 222 3 0 0 20 0 22 0 41630289 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140022375241784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14899] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14899/stat : 14899 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140022374189688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14900] ppid=14879 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14879 14882 9616 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 41630289 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140022373137096 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14913] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14913/stat : 14913 (java) S 14879 14882 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41630484 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140022369428392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=15051] ppid=14879 vsize=9824732 CPUtime=143.22 cores=1,3,5,7
/proc/14882/task/15051/stat : 15051 (java) R 14879 14882 9616 0 -1 4202560 7 0 0 0 14320 2 0 0 20 0 22 0 41704075 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140022371524752 140023132445427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=15052] ppid=14879 vsize=9824732 CPUtime=143.24 cores=1,3,5,7
/proc/14882/task/15052/stat : 15052 (java) R 14879 14882 9616 0 -1 4202560 16 0 0 0 14322 2 0 0 20 0 22 0 41704075 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140022368374736 140023132952528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=15053] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/15053/stat : 15053 (java) S 14879 14882 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41704075 10060525568 931491 33554432000 1073741824 1073778376 140736199304368 140022370481704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1760.97
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.401 s]
/proc/loadavg: 4.00 4.05 4.04 5/217 15056
/proc/meminfo: memFree=23747612/32872528 swapFree=447868/480572
[pid=14882] ppid=14879 vsize=9824732 CPUtime=1797.36 cores=1,3,5,7
/proc/14882/stat : 14882 (java) S 14879 14882 9616 0 -1 4202496 32539 0 1 0 179516 220 0 0 20 0 22 0 41630283 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140736199295504 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14882/statm: 2456183 932004 2302 9 0 2446860 0
[pid=14882/tid=14884] ppid=14879 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/14882/task/14884/stat : 14884 (java) S 14879 14882 9616 0 -1 4202560 2454 0 1 0 52 4 0 0 20 0 22 0 41630284 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023295513464 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14885] ppid=14879 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 9616 0 -1 4202560 562 0 0 0 281 17 0 0 20 0 22 0 41630285 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023257004840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14886] ppid=14879 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 9616 0 -1 4202560 586 0 0 0 253 17 0 0 20 0 22 0 41630285 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023255952040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14887] ppid=14879 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 9616 0 -1 4202560 478 0 0 0 251 14 0 0 20 0 22 0 41630285 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023254899752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14888] ppid=14879 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 9616 0 -1 4202560 465 0 0 0 208 14 0 0 20 0 22 0 41630285 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023253846952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14889] ppid=14879 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 9616 0 -1 4202560 630 0 0 0 253 12 0 0 20 0 22 0 41630285 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023252793640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14890] ppid=14879 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 9616 0 -1 4202560 665 0 0 0 267 16 0 0 20 0 22 0 41630285 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023251740840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14891] ppid=14879 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 9616 0 -1 4202560 595 0 0 0 251 15 0 0 20 0 22 0 41630285 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023250688552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14892] ppid=14879 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 9616 0 -1 4202560 605 0 0 0 239 16 0 0 20 0 22 0 41630285 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023131269544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14893] ppid=14879 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 9616 0 -1 4202560 2227 0 0 0 304 6 0 0 20 0 22 0 41630287 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023119071976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=14894] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023118018040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14895] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 9616 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 41630287 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023116965640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14896] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140023115914128 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14897] ppid=14879 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 9616 0 -1 4202560 9646 0 0 0 156 3 0 0 20 0 22 0 41630289 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140022376294584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14898] ppid=14879 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/14882/task/14898/stat : 14898 (java) S 14879 14882 9616 0 -1 4202560 10161 0 0 0 222 3 0 0 20 0 22 0 41630289 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140022375241784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=14899] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14899/stat : 14899 (java) S 14879 14882 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 41630289 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140022374189688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14882/tid=14900] ppid=14879 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/14882/task/14900/stat : 14900 (java) S 14879 14882 9616 0 -1 4202560 53 0 0 0 13 18 0 0 20 0 22 0 41630289 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140022373137096 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14882/tid=14913] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/14913/stat : 14913 (java) S 14879 14882 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41630484 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140022369428392 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=15051] ppid=14879 vsize=9824732 CPUtime=161.16 cores=1,3,5,7
/proc/14882/task/15051/stat : 15051 (java) R 14879 14882 9616 0 -1 4202560 8 0 0 0 16114 2 0 0 20 0 22 0 41704075 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140022371524752 140023131543418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14882/tid=15052] ppid=14879 vsize=9824732 CPUtime=161.17 cores=1,3,5,7
/proc/14882/task/15052/stat : 15052 (java) R 14879 14882 9616 0 -1 4202560 17 0 0 0 16115 2 0 0 20 0 22 0 41704075 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140022368374736 140023132453251 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14882/tid=15053] ppid=14879 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14882/task/15053/stat : 15053 (java) S 14879 14882 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 41704075 10060525568 932004 33554432000 1073741824 1073778376 140736199304368 140022370481704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.36
Current children cumulated vsize (KiB) 9824732

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 14882 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14882 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=479197
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=491621
# CPU time returned by wait4() is 1796.97
# while last known CPU time is 1797.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 900.478
CPU time (s): 1800.03
CPU user time (s): 1798.08
CPU system time (s): 1.95
CPU usage (%): 199.897
Max. virtual memory (cumulated for all children) (KiB): 9825268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.48
system time used= 2.49162
maximum resident set size= 3728128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32580
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24830
involuntary context switches= 25768

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.42518 second user time and 7.50086 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-20 06:10:02
IDJOB=4111041
IDBENCH=108712
IDSOLVER=2543
FILE ID=node104/4111041-1466395802
RUNJOBID= node104-1466384098-9633
PBS_JOBID= 19923270
Free space on /tmp= 71668 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f52-ACTotalLoss.seq-B-2-2-irabcde.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111041-1466395802/watcher-4111041-1466395802 -o /tmp/evaluation-result-4111041-1466395802/solver-4111041-1466395802 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466384098-9633 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4111041-1466395802.opb

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

MD5SUM BENCH= 2c37e5394854b0015bf970f4e03641b7
RANDOM SEED=633480787

node104.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.035
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.07
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.035
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	: 5332.55
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.035
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.035
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.035
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.035
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.035
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.035
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:        28157660 kB
Buffers:           74168 kB
Cached:           168568 kB
SwapCached:         1440 kB
Active:          3292308 kB
Inactive:         191616 kB
Active(anon):    3241676 kB
Inactive(anon):     1748 kB
Active(file):      50632 kB
Inactive(file):   189868 kB
Unevictable:      480572 kB
Mlocked:          447868 kB
SwapTotal:      67108856 kB
SwapFree:       67099148 kB
Dirty:              1084 kB
Writeback:             0 kB
AnonPages:       3721012 kB
Mapped:            15372 kB
Shmem:                 0 kB
Slab:             613472 kB
SReclaimable:      57352 kB
SUnreclaim:       556120 kB
KernelStack:        1608 kB
PageTables:        11288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3946348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3098624 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= 71664 MiB
End job on node104 at 2016-06-20 06:25:02