Trace number 4090551

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.77 1780.86

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM8648a4908eeb88d76ecf84cd5dcb68ad
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1800.06
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints116
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 5929
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5928
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.10	c version PB16.v20160501
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		501472288
0.06/0.11	c Max memory 		7480803328
0.06/0.11	c Total memory 		504102912
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization by upper bound
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Glucose 2.1 dynamic restart strategy
0.06/0.13	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.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-4090551-1466062182.wbo
0.06/0.13	c reading problem ... 
0.24/0.27	c ... done. Wall clock time 0.138s.
0.24/0.27	c declared #vars     3600
0.24/0.27	c internal #vars     3716
0.24/0.27	c #constraints  170
0.24/0.27	c constraints type 
0.24/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
0.24/0.27	c org.sat4j.minisat.constraints.card.MinWatchCard => 25
0.24/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 55
0.24/0.27	c 170 constraints processed.
0.24/0.27	c objective function length is 116 literals
1.04/0.79	c cleaning 2497 clauses out of 5000 with flag 28748/5000
1.44/1.04	c SATISFIABLE
1.44/1.04	c OPTIMIZING...
1.44/1.04	c Got one! Elapsed wall clock time (in seconds):0.914
1.44/1.04	o 169
1.92/1.46	c cleaning 4097 clauses out of 8201 with flag 17890/10698
2.73/2.28	c cleaning 5048 clauses out of 10102 with flag 57428/16696
3.63/3.14	c cleaning 6023 clauses out of 12054 with flag 104871/23696
4.64/4.18	c Got one! Elapsed wall clock time (in seconds):4.053
4.64/4.18	o 132
4.79/4.21	c Got one! Elapsed wall clock time (in seconds):4.079
4.79/4.21	o 21
5.84/5.25	c cleaning 9221 clauses out of 18442 with flag 32672/36107
6.94/6.38	c cleaning 7606 clauses out of 15219 with flag 73270/42105
8.14/7.59	c cleaning 7297 clauses out of 14613 with flag 122327/49105
9.54/8.93	c cleaning 7653 clauses out of 15317 with flag 180723/57106
11.14/10.51	c cleaning 8327 clauses out of 16663 with flag 246457/66105
13.14/12.50	c cleaning 9165 clauses out of 18336 with flag 315607/76105
15.11/14.42	c cleaning 10080 clauses out of 20173 with flag 405209/87107
15.40/14.74	c Got one! Elapsed wall clock time (in seconds):14.611
15.40/14.74	o 20
15.96/15.26	c cleaning 7806 clauses out of 15623 with flag 21737/92637
16.76/16.08	c cleaning 6903 clauses out of 13816 with flag 68201/98636
17.96/17.25	c cleaning 6949 clauses out of 13914 with flag 123824/105637
19.16/18.45	c cleaning 7478 clauses out of 14965 with flag 187174/113637
20.66/19.97	c cleaning 8238 clauses out of 16487 with flag 261599/122637
22.56/21.88	c cleaning 9116 clauses out of 18250 with flag 344747/132638
24.56/23.90	c cleaning 10058 clauses out of 20133 with flag 437113/143637
24.76/24.03	c Got one! Elapsed wall clock time (in seconds):23.899
24.76/24.03	o 17
25.50/24.76	c cleaning 7598 clauses out of 15205 with flag 35410/148767
26.50/25.74	c cleaning 6798 clauses out of 13607 with flag 89596/154767
27.71/26.92	c cleaning 6898 clauses out of 13810 with flag 151368/161768
29.11/28.33	c cleaning 7449 clauses out of 14913 with flag 225353/169769
29.11/28.35	c Got one! Elapsed wall clock time (in seconds):28.218
29.11/28.35	o 12
29.81/29.06	c cleaning 6299 clauses out of 12605 with flag 35075/174910
30.71/29.97	c cleaning 6150 clauses out of 12309 with flag 79146/180913
31.90/31.07	c cleaning 6576 clauses out of 13158 with flag 137263/187912
33.10/32.26	c cleaning 7286 clauses out of 14581 with flag 199983/195911
34.60/33.70	c cleaning 8144 clauses out of 16294 with flag 268324/204910
35.40/34.51	c cleaning 9062 clauses out of 18151 with flag 336270/214911
36.80/35.99	c cleaning 10028 clauses out of 20088 with flag 426871/225910
37.80/36.92	c Got one! Elapsed wall clock time (in seconds):36.788
37.80/36.92	o 11
38.53/37.52	c cleaning 10686 clauses out of 21379 with flag 38617/237229
39.23/38.21	c cleaning 8334 clauses out of 16692 with flag 84895/243228
39.93/38.94	c cleaning 7665 clauses out of 15358 with flag 142443/250228
40.63/39.69	c cleaning 7835 clauses out of 15694 with flag 202689/258229
40.73/39.76	c Got one! Elapsed wall clock time (in seconds):39.636
40.73/39.76	o 8
41.13/40.15	c cleaning 6535 clauses out of 13089 with flag 28849/263459
41.63/40.67	c cleaning 6267 clauses out of 12554 with flag 69488/269459
42.33/41.37	c cleaning 6641 clauses out of 13287 with flag 126016/276459
43.31/42.26	c cleaning 7316 clauses out of 14647 with flag 186992/284460
43.61/42.58	c Got one! Elapsed wall clock time (in seconds):42.453
43.61/42.58	o 7
43.81/42.75	c cleaning 6403 clauses out of 12837 with flag 12863/289966
44.31/43.26	c cleaning 6209 clauses out of 12433 with flag 54617/295965
44.81/43.79	c cleaning 6596 clauses out of 13226 with flag 99702/302967
45.61/44.57	c cleaning 7302 clauses out of 14629 with flag 158007/310966
46.71/45.67	c cleaning 8143 clauses out of 16326 with flag 232794/319965
48.01/46.98	c cleaning 9080 clauses out of 18185 with flag 313920/329967
49.62/48.55	c cleaning 10038 clauses out of 20105 with flag 405828/340967
50.31/49.26	c Got one! Elapsed wall clock time (in seconds):49.13
50.31/49.26	o 6
50.81/49.80	c cleaning 10371 clauses out of 20752 with flag 35469/351652
51.41/50.38	c cleaning 8182 clauses out of 16380 with flag 82028/357651
51.91/50.88	c cleaning 7577 clauses out of 15197 with flag 131679/364650
52.82/51.73	c cleaning 7777 clauses out of 15622 with flag 193965/372652
54.20/53.03	c cleaning 8396 clauses out of 16846 with flag 263009/381653
55.70/54.51	c cleaning 9198 clauses out of 18448 with flag 336246/391651
57.00/55.87	c Got one! Elapsed wall clock time (in seconds):55.74
57.00/55.87	o 5
57.50/56.32	c cleaning 12252 clauses out of 24524 with flag 34625/406925
58.10/56.99	c cleaning 9129 clauses out of 18271 with flag 84333/412924
58.90/57.77	c cleaning 8060 clauses out of 16144 with flag 148897/419926
59.82/58.65	c cleaning 8029 clauses out of 16082 with flag 222119/427924
60.92/59.70	c cleaning 8515 clauses out of 17053 with flag 301229/436924
62.22/61.06	c cleaning 9260 clauses out of 18539 with flag 393955/446925
63.82/62.65	c cleaning 10129 clauses out of 20280 with flag 490509/457926
65.92/64.72	c cleaning 11061 clauses out of 22149 with flag 599866/469924
68.21/66.90	c cleaning 12027 clauses out of 24089 with flag 715169/482925
69.52/68.29	c cleaning 12991 clauses out of 26061 with flag 815235/496924
71.21/69.94	c cleaning 14004 clauses out of 28071 with flag 915880/511925
73.31/72.09	c cleaning 15000 clauses out of 30066 with flag 1044060/527924
76.23/74.92	c cleaning 16002 clauses out of 32067 with flag 1181467/544925
79.32/78.05	c cleaning 17003 clauses out of 34066 with flag 1320474/562926
83.46/82.07	c cleaning 18002 clauses out of 36064 with flag 1464454/581927
87.66/86.26	c cleaning 18994 clauses out of 38061 with flag 1618175/601926
90.46/89.02	c cleaning 20010 clauses out of 40065 with flag 1764030/622924
94.36/92.96	c cleaning 21007 clauses out of 42056 with flag 1935277/644925
98.56/97.14	c cleaning 22004 clauses out of 44048 with flag 2113419/667924
104.16/102.62	c cleaning 23004 clauses out of 46045 with flag 2339739/691925
110.06/108.56	c cleaning 23997 clauses out of 48040 with flag 2591004/716924
116.93/115.28	c cleaning 25004 clauses out of 50044 with flag 2882950/742925
124.73/123.09	c cleaning 26002 clauses out of 52039 with flag 3179969/769924
130.00/128.18	c cleaning 26986 clauses out of 54037 with flag 3407942/797924
136.40/134.54	c cleaning 27997 clauses out of 56051 with flag 3643814/826924
143.78/141.72	c cleaning 29004 clauses out of 58055 with flag 3893077/856925
151.48/149.44	c cleaning 29997 clauses out of 60051 with flag 4166712/887925
161.23/159.09	c cleaning 31001 clauses out of 62056 with flag 4431470/919927
167.83/165.68	c cleaning 32000 clauses out of 64052 with flag 4687584/952924
172.59/170.32	c cleaning 32999 clauses out of 66052 with flag 4904103/986924
180.89/178.61	c cleaning 33994 clauses out of 68054 with flag 5172874/1021925
190.36/188.06	c cleaning 35001 clauses out of 70060 with flag 5454398/1057925
197.46/195.16	c cleaning 36001 clauses out of 72058 with flag 5749370/1094924
204.51/202.11	c cleaning 37028 clauses out of 74057 with flag 6015558/1132924
210.89/208.43	c cleaning 37991 clauses out of 76029 with flag 6307441/1171924
220.89/218.44	c cleaning 38991 clauses out of 78038 with flag 6637388/1211924
231.07/228.57	c cleaning 39999 clauses out of 80047 with flag 6991546/1252924
242.65/240.03	c cleaning 40998 clauses out of 82048 with flag 7340339/1294924
255.26/252.64	c cleaning 41998 clauses out of 84051 with flag 7705406/1337925
264.21/261.55	c cleaning 43013 clauses out of 86053 with flag 8085937/1381925
271.70/268.94	c cleaning 43999 clauses out of 88039 with flag 8417947/1426924
278.09/275.30	c cleaning 44990 clauses out of 90041 with flag 8735078/1472925
286.52/283.50	c cleaning 46006 clauses out of 92050 with flag 9058511/1519924
298.37/295.36	c cleaning 46993 clauses out of 94044 with flag 9429019/1567924
316.79/313.61	c cleaning 47994 clauses out of 96052 with flag 9849715/1616925
325.47/322.29	c cleaning 49012 clauses out of 98066 with flag 10202719/1666933
343.96/340.64	c cleaning 50000 clauses out of 100045 with flag 10635527/1717924
360.17/356.79	c cleaning 51016 clauses out of 102047 with flag 11096042/1769926
371.68/368.15	c cleaning 51996 clauses out of 104030 with flag 11431590/1822925
382.16/378.57	c cleaning 52993 clauses out of 106033 with flag 11791074/1876924
392.26/388.57	c cleaning 54000 clauses out of 108041 with flag 12187740/1931925
406.48/402.62	c cleaning 55004 clauses out of 110040 with flag 12579090/1987924
420.03/416.00	c cleaning 55984 clauses out of 112036 with flag 13012806/2044924
431.75/427.64	c cleaning 56994 clauses out of 114055 with flag 13388281/2102927
442.45/438.29	c cleaning 57997 clauses out of 116059 with flag 13783630/2161925
458.25/453.93	c cleaning 59003 clauses out of 118061 with flag 14190753/2221924
473.85/469.33	c cleaning 60008 clauses out of 120058 with flag 14555745/2282924
486.73/482.18	c cleaning 60999 clauses out of 122051 with flag 14966880/2344925
504.39/499.60	c cleaning 61998 clauses out of 124051 with flag 15429548/2407924
532.84/527.93	c cleaning 62999 clauses out of 126054 with flag 16024225/2471925
558.57/553.53	c cleaning 64002 clauses out of 128054 with flag 16595613/2536924
570.90/565.78	c cleaning 65024 clauses out of 130053 with flag 17019025/2602925
587.59/582.30	c cleaning 65995 clauses out of 132028 with flag 17489209/2669924
607.59/601.93	c cleaning 66998 clauses out of 134033 with flag 17991367/2737924
632.87/627.10	c cleaning 68012 clauses out of 136035 with flag 18488607/2806924
649.67/643.63	c cleaning 69007 clauses out of 138024 with flag 18939150/2876925
667.73/661.52	c cleaning 70006 clauses out of 140017 with flag 19396582/2947925
685.30/678.96	c cleaning 70989 clauses out of 142011 with flag 19871154/3019925
707.68/701.10	c cleaning 71995 clauses out of 144022 with flag 20313313/3092925
728.76/722.07	c cleaning 72991 clauses out of 146026 with flag 20751876/3166924
750.82/743.94	c cleaning 74001 clauses out of 148035 with flag 21182356/3241924
775.47/768.37	c cleaning 75005 clauses out of 150035 with flag 21621561/3317925
798.45/791.10	c cleaning 76008 clauses out of 152029 with flag 22079066/3394924
823.19/815.62	c cleaning 76993 clauses out of 154023 with flag 22548782/3472926
848.62/840.85	c cleaning 77989 clauses out of 156029 with flag 23020940/3551925
875.65/867.66	c cleaning 79001 clauses out of 158039 with flag 23484613/3631924
895.41/887.16	c cleaning 80000 clauses out of 160038 with flag 23996400/3712924
918.22/909.72	c cleaning 80982 clauses out of 162038 with flag 24486116/3794924
941.84/933.01	c cleaning 82005 clauses out of 164058 with flag 24996320/3877926
965.19/956.07	c cleaning 83015 clauses out of 166054 with flag 25524553/3961927
989.10/979.64	c cleaning 83991 clauses out of 168036 with flag 26076300/4046924
1015.10/1005.37	c cleaning 85023 clauses out of 170046 with flag 26594714/4132925
1040.58/1030.45	c cleaning 85979 clauses out of 172022 with flag 27161296/4219924
1064.91/1054.45	c cleaning 87022 clauses out of 174043 with flag 27740994/4307924
1090.87/1080.05	c cleaning 88008 clauses out of 176022 with flag 28293277/4396925
1120.03/1108.97	c cleaning 88994 clauses out of 178013 with flag 28852882/4486924
1144.74/1133.31	c cleaning 89998 clauses out of 180019 with flag 29420811/4577924
1177.58/1165.88	c cleaning 90992 clauses out of 182021 with flag 30038985/4669924
1210.36/1198.21	c cleaning 92003 clauses out of 184031 with flag 30608849/4762926
1242.05/1229.54	c cleaning 92992 clauses out of 186027 with flag 31198889/4856925
1274.24/1261.46	c cleaning 93991 clauses out of 188034 with flag 31782575/4951924
1307.59/1294.44	c cleaning 95007 clauses out of 190044 with flag 32357398/5047925
1346.13/1332.56	c cleaning 95993 clauses out of 192037 with flag 33004706/5144925
1374.90/1360.87	c cleaning 97022 clauses out of 194045 with flag 33639511/5242926
1409.93/1395.60	c cleaning 97991 clauses out of 196022 with flag 34230879/5341925
1443.29/1428.43	c cleaning 99000 clauses out of 198030 with flag 34850721/5441924
1482.48/1467.28	c cleaning 100005 clauses out of 200030 with flag 35466096/5542924
1522.45/1506.72	c cleaning 100993 clauses out of 202025 with flag 36077665/5644924
1560.04/1543.88	c cleaning 102005 clauses out of 204033 with flag 36719275/5747925
1598.67/1582.04	c cleaning 103001 clauses out of 206027 with flag 37344044/5851924
1636.90/1619.71	c cleaning 103994 clauses out of 208026 with flag 38004829/5956924
1675.38/1657.50	c cleaning 104999 clauses out of 210033 with flag 38672210/6062925
1716.07/1697.81	c cleaning 106010 clauses out of 212035 with flag 39322156/6169926
1756.44/1737.71	c cleaning 106993 clauses out of 214023 with flag 39985290/6277924
1797.45/1778.36	c cleaning 107993 clauses out of 216030 with flag 40655334/6386924
1800.01/1780.80	c starts		: 31987
1800.01/1780.80	c conflicts		: 6395636
1800.01/1780.80	c decisions		: 62311029
1800.01/1780.80	c propagations		: 254818242
1800.01/1780.80	c inspects		: 27539524011
1800.01/1780.80	c shortcuts		: 0
1800.01/1780.80	c learnt literals	: 0
1800.01/1780.80	c learnt binary clauses	: 0
1800.01/1780.80	c learnt ternary clauses	: 0
1800.01/1780.80	c learnt constraints	: 6395636
1800.01/1780.80	c ignored constraints	: 0
1800.01/1780.80	c root simplifications	: 0
1800.01/1780.80	c removed literals (reason simplification)	: 0
1800.01/1780.80	c reason swapping (by a shorter reason)	: 0
1800.01/1780.80	c Calls to reduceDB	: 155
1800.01/1780.80	c Number of update (reduction) of LBD	: 2998762
1800.01/1780.80	c Imported unit clauses	: 0
1800.01/1780.80	c number of reductions to clauses (during analyze)	: 0
1800.01/1780.80	c number of learned constraints concerned by reduction	: 0
1800.01/1780.80	c number of learning phase by resolution	: 0
1800.01/1780.80	c number of learning phase by cutting planes	: 0
1800.01/1780.80	c speed (assignments/second)	: 143113.70322319758
1800.01/1780.80	c non guided choices	1348032
1800.01/1780.83	c learnt constraints type 
1800.01/1780.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 116749
1800.01/1780.83	s SATISFIABLE
1800.01/1780.83	c Found 11 solution(s)
1800.01/1780.84	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 
1800.01/1780.84	c objective function=5
1800.01/1780.84	c Total wall clock time (in seconds): 1780.715

Verifier Data 

OK	5

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-4090551-1466062182/watcher-4090551-1466062182 -o /tmp/evaluation-result-4090551-1466062182/solver-4090551-1466062182 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466062122-8072 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090551-1466062182.wbo 

pid=8313
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.52 0.61 0.78 4/194 8316
/proc/meminfo: memFree=29992660/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/8316/stat : 8316 (runsolver) D 8313 8316 8056 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 1 0 8264981 24911872 159 33554432000 4194304 4338465 140733300208848 140733300206040 214369463735 0 0 4096 24578 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 6082 159 113 36 0 2655 0

[startup+0.102682 s]
/proc/loadavg: 1.52 0.61 0.78 4/194 8316
/proc/meminfo: memFree=29992660/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/8316/stat : 8316 (java) S 8313 8316 8056 0 -1 4202496 3882 0 1 0 6 0 0 0 20 0 18 0 8264981 9787879424 5012 33554432000 1073741824 1073778376 140733231817296 140733231808432 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 2389619 5019 2004 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 1.52 0.61 0.78 4/194 8316
/proc/meminfo: memFree=29992660/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/8316/stat : 8316 (java) S 8313 8316 8056 0 -1 4202496 4888 0 1 0 23 1 0 0 20 0 18 0 8264981 9787879424 6916 33554432000 1073741824 1073778376 140733231817296 140733231808432 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 2389619 6916 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300206 s]
/proc/loadavg: 1.52 0.61 0.78 4/194 8316
/proc/meminfo: memFree=29992660/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8316/stat : 8316 (java) S 8313 8316 8056 0 -1 4202496 5280 0 1 0 43 1 0 0 20 0 19 0 8264981 9856040960 8682 33554432000 1073741824 1073778376 140733231817296 140733231808432 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 2406260 8682 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9625040

[startup+0.700231 s]
/proc/loadavg: 1.52 0.61 0.78 4/194 8316
/proc/meminfo: memFree=29992660/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/8316/stat : 8316 (java) S 8313 8316 8056 0 -1 4202496 6632 0 1 0 103 1 0 0 20 0 19 0 8264981 9856040960 10987 33554432000 1073741824 1073778376 140733231817296 140733231808432 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 2406260 10987 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 1.52 0.61 0.78 4/213 8335
/proc/meminfo: memFree=29949988/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=9625040 CPUtime=2.02 cores=0,2,4,6
/proc/8316/stat : 8316 (java) S 8313 8316 8056 0 -1 4202496 8652 0 1 0 200 2 0 0 20 0 19 0 8264981 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140733231808432 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 2406260 13702 2261 9 0 2396937 0
[pid=8316/tid=8318] ppid=8313 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/8316/task/8318/stat : 8318 (java) R 8313 8316 8056 0 -1 4202560 2424 0 1 0 143 2 0 0 20 0 19 0 8264983 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140413451770424 140413302801594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8319] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8319/stat : 8319 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140413424224808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8320] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8320/stat : 8320 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140413423172008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8321] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8321/stat : 8321 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140413422119208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8322] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8322/stat : 8322 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140413421066408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8323] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8323/stat : 8323 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140413291244584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8324] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8324/stat : 8324 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140413290191784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8325] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8325/stat : 8325 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140413289138984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8326] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8326/stat : 8326 (java) S 8313 8316 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140413288086184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8327] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8327/stat : 8327 (java) S 8313 8316 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140412805573096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8328] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8328/stat : 8328 (java) S 8313 8316 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140412804519160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8329] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8329/stat : 8329 (java) S 8313 8316 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140412803466248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8330] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8330/stat : 8330 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140412802414736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8331] ppid=8313 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/8316/task/8331/stat : 8331 (java) S 8313 8316 8056 0 -1 4202560 1644 0 0 0 22 0 0 0 20 0 19 0 8264989 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140412801362872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8332] ppid=8313 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/8316/task/8332/stat : 8332 (java) S 8313 8316 8056 0 -1 4202560 3305 0 0 0 32 0 0 0 20 0 19 0 8264989 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140412800310072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8333] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8333/stat : 8333 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140412799257464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8334] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8334/stat : 8334 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140412798204872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8335] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8335/stat : 8335 (java) S 8313 8316 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8265009 9856040960 13702 33554432000 1073741824 1073778376 140733231817296 140412797150376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 1.56 0.63 0.78 4/213 8335
/proc/meminfo: memFree=29939748/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=9625040 CPUtime=3.63 cores=0,2,4,6
/proc/8316/stat : 8316 (java) S 8313 8316 8056 0 -1 4202496 8660 0 1 0 361 2 0 0 20 0 19 0 8264981 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140733231808432 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 2406260 17798 2261 9 0 2396937 0
[pid=8316/tid=8318] ppid=8313 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/8316/task/8318/stat : 8318 (java) R 8313 8316 8056 0 -1 4202560 2432 0 1 0 303 2 0 0 20 0 19 0 8264983 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140413451772072 140413302801016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8319] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8319/stat : 8319 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140413424224808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8320] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8320/stat : 8320 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140413423172008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8321] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8321/stat : 8321 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140413422119208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8322] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8322/stat : 8322 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140413421066408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8323] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8323/stat : 8323 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140413291244584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8324] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8324/stat : 8324 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140413290191784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8325] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8325/stat : 8325 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140413289138984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8326] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8326/stat : 8326 (java) S 8313 8316 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140413288086184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8327] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8327/stat : 8327 (java) S 8313 8316 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140412805573096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8328] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8328/stat : 8328 (java) S 8313 8316 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140412804519160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8329] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8329/stat : 8329 (java) S 8313 8316 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140412803466248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8330] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8330/stat : 8330 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140412802414736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8331] ppid=8313 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/8316/task/8331/stat : 8331 (java) S 8313 8316 8056 0 -1 4202560 1644 0 0 0 23 0 0 0 20 0 19 0 8264989 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140412801362872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8332] ppid=8313 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/8316/task/8332/stat : 8332 (java) S 8313 8316 8056 0 -1 4202560 3305 0 0 0 32 0 0 0 20 0 19 0 8264989 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140412800310072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8333] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8333/stat : 8333 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140412799257464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8334] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8334/stat : 8334 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140412798204872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8335] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8335/stat : 8335 (java) S 8313 8316 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8265009 9856040960 17798 33554432000 1073741824 1073778376 140733231817296 140412797150376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 1.56 0.63 0.78 3/213 8335
/proc/meminfo: memFree=29909028/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=9625040 CPUtime=6.94 cores=0,2,4,6
/proc/8316/stat : 8316 (java) S 8313 8316 8056 0 -1 4202496 8763 0 1 0 691 3 0 0 20 0 19 0 8264981 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140733231808432 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 2406260 23821 2261 9 0 2396937 0
[pid=8316/tid=8318] ppid=8313 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/8316/task/8318/stat : 8318 (java) R 8313 8316 8056 0 -1 4202560 2448 0 1 0 623 2 0 0 20 0 19 0 8264983 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140413451763376 140413302801589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8319] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8319/stat : 8319 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140413424224808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8320] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8320/stat : 8320 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140413423172008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8321] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8321/stat : 8321 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140413422119208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8322] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8322/stat : 8322 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140413421066408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8323] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8323/stat : 8323 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140413291244584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8324] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8324/stat : 8324 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140413290191784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8325] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8325/stat : 8325 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140413289138984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8326] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8326/stat : 8326 (java) S 8313 8316 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8264984 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140413288086184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8327] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8327/stat : 8327 (java) S 8313 8316 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140412805573096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8328] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8328/stat : 8328 (java) S 8313 8316 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140412804519160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8329] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8329/stat : 8329 (java) S 8313 8316 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140412803466248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8330] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8330/stat : 8330 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140412802414736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8331] ppid=8313 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8316/task/8331/stat : 8331 (java) S 8313 8316 8056 0 -1 4202560 1731 0 0 0 29 0 0 0 20 0 19 0 8264989 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140412801362872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8332] ppid=8313 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/8316/task/8332/stat : 8332 (java) S 8313 8316 8056 0 -1 4202560 3305 0 0 0 37 0 0 0 20 0 19 0 8264989 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140412800310072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8333] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8333/stat : 8333 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140412799257464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8334] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8334/stat : 8334 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140412798204872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8335] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8335/stat : 8335 (java) S 8313 8316 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8265009 9856040960 23821 33554432000 1073741824 1073778376 140733231817296 140412797150376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 9625040


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

[pid=8316/tid=8328] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8328/stat : 8328 (java) S 8313 8316 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 122702 33554432000 1073741824 1073778376 140733231817296 140412804519160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8329] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8329/stat : 8329 (java) S 8313 8316 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 122702 33554432000 1073741824 1073778376 140733231817296 140412803466248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8330] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8330/stat : 8330 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 122702 33554432000 1073741824 1073778376 140733231817296 140412802414736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8331] ppid=8313 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8316/task/8331/stat : 8331 (java) S 8313 8316 8056 0 -1 4202560 6917 0 0 0 52 2 0 0 20 0 19 0 8264989 9856040960 122702 33554432000 1073741824 1073778376 140733231817296 140412801362872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8332] ppid=8313 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/8316/task/8332/stat : 8332 (java) S 8313 8316 8056 0 -1 4202560 3305 0 0 0 38 0 0 0 20 0 19 0 8264989 9856040960 122702 33554432000 1073741824 1073778376 140733231817296 140412800310072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8333] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8333/stat : 8333 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 122702 33554432000 1073741824 1073778376 140733231817296 140412799257464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8334] ppid=8313 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/8316/task/8334/stat : 8334 (java) S 8313 8316 8056 0 -1 4202560 93 0 0 0 22 27 0 0 20 0 19 0 8264989 9856040960 122702 33554432000 1073741824 1073778376 140733231817296 140412798204872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8335] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8335/stat : 8335 (java) S 8313 8316 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8265009 9856040960 122702 33554432000 1073741824 1073778376 140733231817296 140412797150376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1619.3
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.17 2.22 1.97 7/213 8441
/proc/meminfo: memFree=29784288/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=9625040 CPUtime=1680.24 cores=0,2,4,6
/proc/8316/stat : 8316 (java) S 8313 8316 8056 0 -1 4202496 22801 0 1 0 167911 113 0 0 20 0 19 0 8264981 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140733231808432 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 2406260 121406 2286 9 0 2396937 0
[pid=8316/tid=8318] ppid=8313 vsize=9625040 CPUtime=1649.79 cores=0,2,4,6
/proc/8316/task/8318/stat : 8318 (java) R 8313 8316 8056 0 -1 4202560 2689 0 1 0 164949 30 0 0 20 0 19 0 8264983 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140413451771320 140413302727041 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8319] ppid=8313 vsize=9625040 CPUtime=2.93 cores=0,2,4,6
/proc/8316/task/8319/stat : 8319 (java) S 8313 8316 8056 0 -1 4202560 893 0 0 0 281 12 0 0 20 0 19 0 8264984 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140413424224808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8320] ppid=8313 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/8316/task/8320/stat : 8320 (java) S 8313 8316 8056 0 -1 4202560 783 0 0 0 294 11 0 0 20 0 19 0 8264984 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140413423172008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8321] ppid=8313 vsize=9625040 CPUtime=2.93 cores=0,2,4,6
/proc/8316/task/8321/stat : 8321 (java) S 8313 8316 8056 0 -1 4202560 702 0 0 0 282 11 0 0 20 0 19 0 8264984 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140413422119208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8322] ppid=8313 vsize=9625040 CPUtime=2.88 cores=0,2,4,6
/proc/8316/task/8322/stat : 8322 (java) S 8313 8316 8056 0 -1 4202560 950 0 0 0 279 9 0 0 20 0 19 0 8264984 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140413421066408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8323] ppid=8313 vsize=9625040 CPUtime=2.9 cores=0,2,4,6
/proc/8316/task/8323/stat : 8323 (java) S 8313 8316 8056 0 -1 4202560 891 0 0 0 281 9 0 0 20 0 19 0 8264984 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140413291244584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8324] ppid=8313 vsize=9625040 CPUtime=3.12 cores=0,2,4,6
/proc/8316/task/8324/stat : 8324 (java) S 8313 8316 8056 0 -1 4202560 1185 0 0 0 301 11 0 0 20 0 19 0 8264984 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140413290191784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8325] ppid=8313 vsize=9625040 CPUtime=2.89 cores=0,2,4,6
/proc/8316/task/8325/stat : 8325 (java) S 8313 8316 8056 0 -1 4202560 1102 0 0 0 279 10 0 0 20 0 19 0 8264984 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140413289138984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8326] ppid=8313 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/8316/task/8326/stat : 8326 (java) S 8313 8316 8056 0 -1 4202560 1308 0 0 0 294 11 0 0 20 0 19 0 8264984 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140413288086184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8327] ppid=8313 vsize=9625040 CPUtime=5.63 cores=0,2,4,6
/proc/8316/task/8327/stat : 8327 (java) S 8313 8316 8056 0 -1 4202560 717 0 0 0 558 5 0 0 20 0 19 0 8264986 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140412805573096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8328] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8328/stat : 8328 (java) S 8313 8316 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140412804519160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8329] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8329/stat : 8329 (java) S 8313 8316 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140412803466248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8330] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8330/stat : 8330 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140412802414736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8331] ppid=8313 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8316/task/8331/stat : 8331 (java) S 8313 8316 8056 0 -1 4202560 6917 0 0 0 52 2 0 0 20 0 19 0 8264989 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140412801362872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8332] ppid=8313 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/8316/task/8332/stat : 8332 (java) S 8313 8316 8056 0 -1 4202560 3305 0 0 0 38 0 0 0 20 0 19 0 8264989 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140412800310072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8333] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8333/stat : 8333 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140412799257464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8334] ppid=8313 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/8316/task/8334/stat : 8334 (java) S 8313 8316 8056 0 -1 4202560 95 0 0 0 24 27 0 0 20 0 19 0 8264989 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140412798204872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8335] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8335/stat : 8335 (java) S 8313 8316 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8265009 9856040960 121406 33554432000 1073741824 1073778376 140733231817296 140412797150376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1680.24
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.17 2.21 1.98 3/213 8442
/proc/meminfo: memFree=29720076/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=9625040 CPUtime=1740.94 cores=0,2,4,6
/proc/8316/stat : 8316 (java) S 8313 8316 8056 0 -1 4202496 22824 0 1 0 173979 115 0 0 20 0 19 0 8264981 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140733231808432 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 2406260 121037 2286 9 0 2396937 0
[pid=8316/tid=8318] ppid=8313 vsize=9625040 CPUtime=1709.33 cores=0,2,4,6
/proc/8316/task/8318/stat : 8318 (java) R 8313 8316 8056 0 -1 4202560 2697 0 1 0 170903 30 0 0 20 0 19 0 8264983 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140413451771200 140413302793186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8319] ppid=8313 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/8316/task/8319/stat : 8319 (java) S 8313 8316 8056 0 -1 4202560 899 0 0 0 293 12 0 0 20 0 19 0 8264984 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140413424224808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8320] ppid=8313 vsize=9625040 CPUtime=3.19 cores=0,2,4,6
/proc/8316/task/8320/stat : 8320 (java) S 8313 8316 8056 0 -1 4202560 783 0 0 0 308 11 0 0 20 0 19 0 8264984 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140413423172008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8321] ppid=8313 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/8316/task/8321/stat : 8321 (java) S 8313 8316 8056 0 -1 4202560 702 0 0 0 292 11 0 0 20 0 19 0 8264984 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140413422119208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8322] ppid=8313 vsize=9625040 CPUtime=2.98 cores=0,2,4,6
/proc/8316/task/8322/stat : 8322 (java) S 8313 8316 8056 0 -1 4202560 950 0 0 0 289 9 0 0 20 0 19 0 8264984 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140413421066408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8323] ppid=8313 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/8316/task/8323/stat : 8323 (java) S 8313 8316 8056 0 -1 4202560 891 0 0 0 297 9 0 0 20 0 19 0 8264984 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140413291244584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8324] ppid=8313 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/8316/task/8324/stat : 8324 (java) S 8313 8316 8056 0 -1 4202560 1185 0 0 0 314 11 0 0 20 0 19 0 8264984 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140413290191784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8325] ppid=8313 vsize=9625040 CPUtime=3.02 cores=0,2,4,6
/proc/8316/task/8325/stat : 8325 (java) S 8313 8316 8056 0 -1 4202560 1102 0 0 0 292 10 0 0 20 0 19 0 8264984 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140413289138984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8326] ppid=8313 vsize=9625040 CPUtime=3.11 cores=0,2,4,6
/proc/8316/task/8326/stat : 8326 (java) S 8313 8316 8056 0 -1 4202560 1308 0 0 0 300 11 0 0 20 0 19 0 8264984 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140413288086184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8327] ppid=8313 vsize=9625040 CPUtime=5.83 cores=0,2,4,6
/proc/8316/task/8327/stat : 8327 (java) S 8313 8316 8056 0 -1 4202560 722 0 0 0 578 5 0 0 20 0 19 0 8264986 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140412805573096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8328] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8328/stat : 8328 (java) S 8313 8316 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140412804519160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8329] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8329/stat : 8329 (java) S 8313 8316 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140412803466248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8330] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8330/stat : 8330 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140412802414736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8331] ppid=8313 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8316/task/8331/stat : 8331 (java) S 8313 8316 8056 0 -1 4202560 6917 0 0 0 52 2 0 0 20 0 19 0 8264989 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140412801362872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8332] ppid=8313 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/8316/task/8332/stat : 8332 (java) S 8313 8316 8056 0 -1 4202560 3305 0 0 0 38 0 0 0 20 0 19 0 8264989 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140412800310072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8333] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8333/stat : 8333 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140412799257464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8334] ppid=8313 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/8316/task/8334/stat : 8334 (java) S 8313 8316 8056 0 -1 4202560 99 0 0 0 25 28 0 0 20 0 19 0 8264989 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140412798204872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8335] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8335/stat : 8335 (java) S 8313 8316 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8265009 9856040960 121037 33554432000 1073741824 1073778376 140733231817296 140412797150376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1740.94
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.8 s]
/proc/loadavg: 2.29 2.23 2.00 4/212 8443
/proc/meminfo: memFree=29773528/32872528 swapFree=1286144/1433312
[pid=8316] ppid=8313 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/8316/stat : 8316 (java) S 8313 8316 8056 0 -1 4202496 22885 0 1 0 179885 116 0 0 20 0 19 0 8264981 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140733231808432 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8316/statm: 2406260 120791 2286 9 0 2396937 0
[pid=8316/tid=8318] ppid=8313 vsize=9625040 CPUtime=1767.26 cores=0,2,4,6
/proc/8316/task/8318/stat : 8318 (java) R 8313 8316 8056 0 -1 4202560 2705 0 1 0 176695 31 0 0 20 0 19 0 8264983 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140413451771200 140413302840124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8319] ppid=8313 vsize=9625040 CPUtime=3.16 cores=0,2,4,6
/proc/8316/task/8319/stat : 8319 (java) S 8313 8316 8056 0 -1 4202560 899 0 0 0 304 12 0 0 20 0 19 0 8264984 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140413424224808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8320] ppid=8313 vsize=9625040 CPUtime=3.27 cores=0,2,4,6
/proc/8316/task/8320/stat : 8320 (java) S 8313 8316 8056 0 -1 4202560 783 0 0 0 316 11 0 0 20 0 19 0 8264984 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140413423172008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8321] ppid=8313 vsize=9625040 CPUtime=3.14 cores=0,2,4,6
/proc/8316/task/8321/stat : 8321 (java) S 8313 8316 8056 0 -1 4202560 702 0 0 0 303 11 0 0 20 0 19 0 8264984 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140413422119208 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8322] ppid=8313 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/8316/task/8322/stat : 8322 (java) S 8313 8316 8056 0 -1 4202560 950 0 0 0 299 9 0 0 20 0 19 0 8264984 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140413421066408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8323] ppid=8313 vsize=9625040 CPUtime=3.14 cores=0,2,4,6
/proc/8316/task/8323/stat : 8323 (java) S 8313 8316 8056 0 -1 4202560 891 0 0 0 305 9 0 0 20 0 19 0 8264984 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140413291244584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8324] ppid=8313 vsize=9625040 CPUtime=3.34 cores=0,2,4,6
/proc/8316/task/8324/stat : 8324 (java) S 8313 8316 8056 0 -1 4202560 1185 0 0 0 323 11 0 0 20 0 19 0 8264984 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140413290191784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8325] ppid=8313 vsize=9625040 CPUtime=3.12 cores=0,2,4,6
/proc/8316/task/8325/stat : 8325 (java) S 8313 8316 8056 0 -1 4202560 1102 0 0 0 302 10 0 0 20 0 19 0 8264984 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140413289138984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8316/tid=8326] ppid=8313 vsize=9625040 CPUtime=3.22 cores=0,2,4,6
/proc/8316/task/8326/stat : 8326 (java) S 8313 8316 8056 0 -1 4202560 1315 0 0 0 311 11 0 0 20 0 19 0 8264984 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140413288086184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8327] ppid=8313 vsize=9625040 CPUtime=6.18 cores=0,2,4,6
/proc/8316/task/8327/stat : 8327 (java) S 8313 8316 8056 0 -1 4202560 764 0 0 0 613 5 0 0 20 0 19 0 8264986 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140412805573096 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8328] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8328/stat : 8328 (java) S 8313 8316 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140412804519160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8329] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8329/stat : 8329 (java) S 8313 8316 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8264986 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140412803466248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8330] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8330/stat : 8330 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140412802414736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8316/tid=8331] ppid=8313 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8316/task/8331/stat : 8331 (java) S 8313 8316 8056 0 -1 4202560 6917 0 0 0 52 2 0 0 20 0 19 0 8264989 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140412801362872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8332] ppid=8313 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/8316/task/8332/stat : 8332 (java) S 8313 8316 8056 0 -1 4202560 3305 0 0 0 38 0 0 0 20 0 19 0 8264989 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140412800310072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8333] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8333/stat : 8333 (java) S 8313 8316 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8264989 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140412799257464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8316/tid=8334] ppid=8313 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/8316/task/8334/stat : 8334 (java) S 8313 8316 8056 0 -1 4202560 103 0 0 0 25 30 0 0 20 0 19 0 8264989 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140412798204872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8316/tid=8335] ppid=8313 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8316/task/8335/stat : 8335 (java) S 8313 8316 8056 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8265009 9856040960 120791 33554432000 1073741824 1073778376 140733231817296 140412797150376 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1780.86
CPU time (s): 1800.77
CPU user time (s): 1799.11
CPU system time (s): 1.66075
CPU usage (%): 101.118
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.66075
maximum resident set size= 684344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22930
page faults= 1
swaps= 0
block input operations= 8
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44135
involuntary context switches= 46330

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6901 second user time and 16.3675 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-16 09:29:42
IDJOB=4090551
IDBENCH=78675
IDSOLVER=2551
FILE ID=node130/4090551-1466062182
RUNJOBID= node130-1466062122-8072
PBS_JOBID= 19904009
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090551-1466062182/watcher-4090551-1466062182 -o /tmp/evaluation-result-4090551-1466062182/solver-4090551-1466062182 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466062122-8072 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090551-1466062182.wbo

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

MD5SUM BENCH= 8648a4908eeb88d76ecf84cd5dcb68ad
RANDOM SEED=1186471057

node130.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		: 2666.365
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	: 5332.73
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		: 2666.365
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		: 2666.365
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		: 2666.365
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		: 2666.365
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		: 2666.365
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.53
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		: 2666.365
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.56
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		: 2666.365
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:        29993196 kB
Buffers:            2188 kB
Cached:            45476 kB
SwapCached:          700 kB
Active:           728168 kB
Inactive:          18044 kB
Active(anon):     700860 kB
Inactive(anon):      308 kB
Active(file):      27308 kB
Inactive(file):    17736 kB
Unevictable:     1433312 kB
Mlocked:         1286144 kB
SwapTotal:      67108856 kB
SwapFree:       67098984 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:       2131888 kB
Mapped:            14844 kB
Shmem:                 0 kB
Slab:             565152 kB
SReclaimable:       8524 kB
SUnreclaim:       556628 kB
KernelStack:        1568 kB
PageTables:         8360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3131464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    811008 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= 71748 MiB
End job on node130 at 2016-06-16 09:59:23