Trace number 4291755

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-07-02SAT (TO)503367 19896.6 2520.24

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay100_c18.xml
MD5SUM229d8d70b2521f5ebfd70fdb2bbdf7b3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark624027
Best CPU time to get the best result obtained on this benchmark13808.4
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":416},{"degree":4,"count":329},{"degree":5,"count":277},{"degree":6,"count":189},{"degree":7,"count":160},{"degree":8,"count":116},{"degree":9,"count":93},{"degree":10,"count":77},{"degree":11,"count":48},{"degree":12,"count":46},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":17},{"degree":16,"count":13},{"degree":17,"count":17},{"degree":18,"count":7},{"degree":19,"count":5},{"degree":20,"count":7},{"degree":21,"count":7},{"degree":22,"count":3},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":3},{"degree":27,"count":2}]
Minimum constraint arity83
Maximum constraint arity128
Distribution of constraint arities[{"arity":83,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},{"arity":87,"count":1},{"arity":88,"count":1},{"arity":89,"count":2},{"arity":90,"count":1},{"arity":92,"count":2},{"arity":93,"count":1},{"arity":94,"count":2},{"arity":95,"count":2},{"arity":96,"count":3},{"arity":97,"count":3},{"arity":98,"count":4},{"arity":99,"count":1},{"arity":100,"count":3},{"arity":101,"count":5},{"arity":102,"count":4},{"arity":103,"count":4},{"arity":104,"count":4},{"arity":105,"count":7},{"arity":106,"count":6},{"arity":107,"count":6},{"arity":108,"count":1},{"arity":109,"count":4},{"arity":110,"count":3},{"arity":111,"count":2},{"arity":112,"count":2},{"arity":113,"count":1},{"arity":114,"count":2},{"arity":115,"count":2},{"arity":116,"count":3},{"arity":118,"count":1},{"arity":119,"count":2},{"arity":120,"count":2},{"arity":121,"count":2},{"arity":122,"count":2},{"arity":123,"count":1},{"arity":126,"count":1},{"arity":128,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":100}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 1445764025
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
2.03/1.10	c Parsing done, starting search...
16.93/9.81	o 5978
16.93/9.82	o 13306
16.93/9.82	o 24785
16.93/9.85	o 32113
16.93/9.86	o 46463
16.93/9.86	o 49017
16.93/9.87	o 67824
16.93/9.89	o 70258
17.68/9.91	o 74361
17.68/9.91	o 76795
17.68/9.91	o 83361
17.68/9.93	o 89898
17.68/9.94	o 92332
17.68/9.94	o 92685
17.68/9.95	o 95119
17.68/9.95	o 99485
17.68/9.98	o 101919
17.68/10.00	o 102998
17.68/10.01	o 104048
17.68/10.01	o 106482
18.43/10.02	o 108566
18.43/10.02	o 110151
18.43/10.03	o 112585
18.43/10.04	o 115132
18.43/10.04	o 121669
18.43/10.05	o 124103
18.43/10.09	o 124256
18.43/10.10	o 124986
19.33/10.12	o 125821
19.33/10.14	o 130102
19.33/10.14	o 132536
19.33/10.14	o 132621
19.33/10.15	o 132774
19.33/10.15	o 133148
19.33/10.16	o 133386
19.33/10.16	o 135185
19.33/10.17	o 140301
19.33/10.17	o 142735
19.33/10.17	o 142973
19.33/10.18	o 144279
19.33/10.19	o 146713
19.33/10.19	o 147726
19.33/10.19	o 150160
19.95/10.21	o 150508
19.95/10.24	o 150515
19.95/10.24	o 150863
19.95/10.24	o 151528
19.95/10.24	o 153962
19.95/10.24	o 154310
19.95/10.24	o 154574
19.95/10.24	o 154922
19.95/10.26	o 155156
19.95/10.26	o 155504
19.95/10.26	o 155530
19.95/10.26	o 155878
19.95/10.28	o 157437
19.95/10.29	o 157785
20.76/10.31	o 158228
20.76/10.31	o 158576
20.76/10.31	o 158884
20.76/10.31	o 162331
20.76/10.31	o 164765
20.76/10.31	o 165113
20.76/10.32	o 166060
20.76/10.32	o 168494
20.76/10.32	o 168842
20.76/10.32	o 169507
20.76/10.32	o 169855
20.76/10.33	o 171941
20.76/10.33	o 172289
20.76/10.36	o 172906
20.76/10.36	o 173212
20.76/10.36	o 173919
20.76/10.37	o 176353
20.76/10.37	o 177799
20.76/10.37	o 181246
20.76/10.38	o 183680
20.76/10.38	o 184028
20.76/10.39	o 184319
20.76/10.39	o 184667
20.76/10.40	o 184975
21.52/10.41	o 188422
21.52/10.41	o 190856
21.52/10.41	o 191204
21.52/10.43	o 191356
21.52/10.44	o 192021
21.52/10.45	o 194455
21.52/10.45	o 194803
21.52/10.45	o 195411
21.52/10.45	o 195759
21.52/10.46	o 196297
21.52/10.47	o 196645
21.52/10.47	o 197030
21.52/10.47	o 197336
21.52/10.48	o 198043
21.52/10.48	o 200477
21.52/10.48	o 201363
21.52/10.49	o 201433
21.52/10.49	o 202319
21.52/10.49	o 203098
21.52/10.49	o 204206
21.52/10.49	o 205219
21.52/10.49	o 207653
21.52/10.50	o 207819
21.52/10.50	o 211266
21.52/10.50	o 212334
21.52/10.50	o 212682
22.34/10.51	o 212930
22.34/10.51	o 218685
22.34/10.51	o 219033
22.34/10.51	o 219753
22.34/10.51	o 220101
22.34/10.51	o 222132
22.34/10.51	o 223200
22.34/10.52	o 223548
22.34/10.52	o 223826
22.34/10.52	o 224174
22.34/10.52	o 224894
22.34/10.52	o 225242
22.34/10.52	o 225850
22.34/10.53	o 226198
22.34/10.55	o 226429
22.34/10.55	o 227037
22.34/10.55	o 227385
22.34/10.57	o 227874
22.34/10.58	o 229568
22.34/10.58	o 229916
22.34/10.58	o 230636
22.34/10.58	o 230984
22.34/10.58	o 231592
22.34/10.59	o 231940
22.34/10.59	o 232717
22.34/10.59	o 232786
22.34/10.59	o 235927
23.11/10.60	o 238361
23.11/10.61	o 238978
23.11/10.62	o 239279
23.11/10.62	o 240165
23.11/10.62	o 241072
23.11/10.62	o 242140
23.11/10.62	o 242766
23.11/10.62	o 243834
23.11/10.62	o 244720
23.11/10.64	o 244790
23.11/10.64	o 245676
23.11/10.65	o 246209
23.11/10.65	o 246843
23.11/10.65	o 246913
23.11/10.65	o 247799
23.11/10.65	o 248537
23.11/10.65	o 248607
23.11/10.65	o 249493
23.11/10.66	o 251836
23.11/10.66	o 253751
23.91/10.71	o 253926
23.91/10.71	o 256360
23.91/10.76	o 257228
23.91/10.77	o 257560
23.91/10.77	o 261007
23.91/10.77	o 262075
23.91/10.77	o 262961
23.91/10.77	o 263663
23.91/10.77	o 264731
23.91/10.78	o 265617
23.91/10.78	o 267110
23.91/10.78	o 267996
23.91/10.78	o 268178
23.91/10.78	o 269064
23.91/10.78	o 269134
23.91/10.78	o 270020
23.91/10.78	o 270081
23.91/10.78	o 270889
23.91/10.78	o 271775
23.91/10.79	o 271845
23.91/10.79	o 272731
23.91/10.79	o 275050
23.91/10.79	o 276118
23.91/10.79	o 277004
23.91/10.79	o 277074
23.91/10.79	o 277960
24.71/10.81	o 278346
24.71/10.81	o 279232
24.71/10.82	o 279749
24.71/10.82	o 280371
24.71/10.82	o 281439
24.71/10.82	o 281771
24.71/10.82	o 285218
24.71/10.84	o 286286
24.71/10.84	o 287172
24.71/10.84	o 287242
24.71/10.84	o 288128
24.71/10.85	o 288998
24.71/10.85	o 289405
24.71/10.85	o 291784
24.71/10.85	o 292852
24.71/10.85	o 293738
24.71/10.85	o 296631
24.71/10.85	o 297517
24.71/10.85	o 297699
24.71/10.85	o 298585
24.71/10.85	o 299102
24.71/10.85	o 299536
24.71/10.85	o 299724
24.71/10.85	o 300792
24.71/10.85	o 301124
24.71/10.85	o 304571
24.71/10.85	o 305639
24.71/10.86	o 306525
24.71/10.86	o 306595
24.71/10.86	o 307481
24.71/10.86	o 307899
24.71/10.86	o 308785
24.71/10.87	o 309317
24.71/10.87	o 311696
24.71/10.87	o 312764
24.71/10.87	o 313650
24.71/10.87	o 314276
24.71/10.87	o 314458
24.71/10.87	o 315344
24.71/10.88	o 317122
24.71/10.88	o 317890
24.71/10.88	o 318322
24.71/10.88	o 319335
24.71/10.88	o 320263
24.71/10.88	o 321769
24.71/10.89	o 322537
24.71/10.89	o 322650
24.71/10.89	o 326097
24.71/10.89	o 327791
24.71/10.89	o 328677
25.50/10.90	o 329320
25.50/10.90	o 330206
25.50/10.90	o 330476
25.50/10.90	o 331362
25.50/10.90	o 331941
25.50/10.90	o 333085
25.50/10.90	o 334838
25.50/10.91	o 336532
25.50/10.91	o 337418
25.50/10.91	o 339347
25.50/10.91	o 340603
25.50/10.91	o 340859
25.50/10.91	o 342003
25.50/10.91	o 345450
25.50/10.91	o 346336
25.50/10.91	o 347144
25.50/10.91	o 348030
25.50/10.91	o 348673
25.50/10.91	o 349559
25.50/10.96	o 350256
25.50/10.96	o 352009
25.50/10.96	o 353703
25.50/10.96	o 354589
25.50/10.96	o 355232
25.50/10.96	o 356118
25.50/10.97	o 356538
25.50/10.97	o 357424
25.50/10.97	o 358067
25.50/10.97	o 358953
25.50/10.98	o 360833
25.50/10.98	o 361719
25.50/10.98	o 362527
25.50/10.98	o 363413
25.50/10.98	o 364056
25.50/10.98	o 364942
25.50/10.99	o 365309
25.50/10.99	o 366195
25.50/10.99	o 367003
25.50/10.99	o 367889
25.50/10.99	o 368532
25.50/10.99	o 369418
26.29/11.02	o 369840
26.29/11.02	o 370726
26.29/11.03	o 371534
26.29/11.03	o 372420
26.29/11.03	o 373063
26.29/11.03	o 373949
26.29/11.03	o 374463
26.29/11.03	o 376157
26.29/11.03	o 377043
26.29/11.03	o 377891
26.29/11.03	o 380452
26.29/11.03	o 381338
26.29/11.03	o 382146
26.29/11.03	o 383032
26.29/11.03	o 383675
26.29/11.03	o 384561
26.29/11.05	o 385874
26.29/11.05	o 386083
26.29/11.05	o 386782
26.29/11.06	o 387839
26.29/11.06	o 387970
26.29/11.06	o 389664
26.29/11.06	o 389873
26.29/11.06	o 390973
26.29/11.06	o 391182
26.29/11.06	o 392863
26.29/11.06	o 393515
26.29/11.06	o 395268
26.29/11.06	o 396962
26.29/11.06	o 397171
26.29/11.08	o 398603
26.29/11.08	o 399082
26.29/11.08	o 401727
26.29/11.08	o 404562
26.29/11.08	o 406256
26.29/11.09	o 407648
26.29/11.09	o 409289
26.29/11.09	o 409768
26.29/11.09	o 411943
26.29/11.09	o 413637
26.29/11.09	o 415278
26.29/11.09	o 415757
27.05/11.14	o 415771
27.05/11.14	o 416341
27.05/11.14	o 418035
27.05/11.14	o 419176
27.05/11.14	o 420870
27.05/11.14	o 421718
27.05/11.14	o 425165
27.05/11.14	o 426859
27.77/11.26	o 426961
28.57/11.34	o 427436
28.57/11.35	o 430883
28.57/11.35	o 432577
30.17/11.51	o 433458
30.97/11.60	o 437400
30.97/11.61	o 439094
33.35/11.95	o 439658
33.35/11.95	o 441352
80.38/17.97	o 442291
84.34/18.48	o 442630
84.34/18.49	o 443458
84.34/18.49	o 444022
84.34/18.49	o 445716
84.34/18.49	o 446925
84.34/18.49	o 448619
96.30/19.97	o 448843
96.30/19.98	o 450537
96.30/19.98	o 451101
96.30/19.98	o 452795
181.53/30.61	o 453310
181.53/30.62	o 453778
181.53/30.62	o 455472
181.53/30.62	o 456036
181.53/30.62	o 457730
214.96/34.86	o 458501
239.68/38.00	o 458695
239.68/38.00	o 460389
269.16/41.65	o 461002
300.21/45.50	o 462202
301.05/45.65	o 463692
301.05/45.66	o 465209
301.05/45.66	o 465277
301.05/45.66	o 465854
301.05/45.66	o 466418
301.05/45.66	o 468112
586.35/81.41	o 468524
586.35/81.41	o 469088
586.35/81.41	o 470782
693.15/94.89	o 471173
1141.17/151.07	o 472045
1141.17/151.07	o 472436
1516.56/198.17	o 472863
1516.56/198.19	o 475698
2527.81/325.10	o 476265
2534.13/325.83	o 476565
2534.13/325.83	o 477451
2719.85/349.15	o 478498
2785.90/357.46	o 478842
2785.90/357.50	o 478895
2787.50/357.62	o 479211
2787.50/357.63	o 479602
2787.50/357.63	o 480068
2787.50/357.63	o 480459
2787.50/357.63	o 480516
2787.50/357.63	o 480907
2787.50/357.63	o 481657
2787.50/357.63	o 483351
2787.50/357.63	o 483742
2825.77/362.42	o 483952
2825.77/362.42	o 484343
2832.89/363.37	o 484559
2832.89/363.37	o 484616
2832.89/363.37	o 485007
2832.89/363.37	o 485757
2832.89/363.37	o 487451
2832.89/363.38	o 487842
2851.22/365.62	o 488187
2851.22/365.63	o 488244
2851.22/365.63	o 488635
2851.22/365.63	o 488821
2851.22/365.63	o 489385
2851.22/365.63	o 491079
2851.22/365.63	o 491470
7268.16/923.20	o 491617
7268.89/923.21	o 491624
7268.89/923.21	o 492015
7268.89/923.21	o 492510
7268.89/923.21	o 492901
7516.06/954.40	o 493966
9688.75/1229.16	o 494174
9688.75/1229.17	o 496025
9688.75/1229.17	o 496432
9688.75/1229.17	o 497738
9688.75/1229.17	o 498145
10723.99/1360.03	o 498349
10723.99/1360.06	o 499920
10723.99/1360.06	o 500532
10723.99/1360.06	o 503367
19894.98/2520.10	s SATISFIABLE
19894.98/2520.11	v <instantiation>
19894.98/2520.11	v 	<list>
19894.98/2520.11	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
19894.98/2520.11	v 	</list>
19894.98/2520.11	v 	<values>
19894.98/2520.11	v 		0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19894.98/2520.11	v 	</values>
19894.98/2520.11	v </instantiation>

Verifier Data 

OK	503367

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (2344 MiB free)
  memory of node 1: 16384 MiB (6397 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291755-1532635439/watcher-4291755-1532635439 -o /tmp/evaluation-result-4291755-1532635439/solver-4291755-1532635439 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532632909-5558 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1445764025 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291755-1532635439.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6056, runsolver pid=6053


[startup+0.100152 s]*
/proc/loadavg: 8.28 8.57 8.66 4/201 6076
/proc/meminfo: memFree=8936052/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=26103424 memory=31296 CPUtime=0.11 cores=0-7
/proc/6056/stat : 6056 (java) S 6053 6056 5531 0 -1 1077944320 7257 0 0 0 10 1 0 0 20 0 20 0 81106732 26729906176 7824 33554432000 4194304 4196468 140735599566960 140735599549504 139765278191351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
/proc/6056/statm: 6525856 7824 3144 1 0 6487932 0
[pid=6056/tid=6058] ppid=6053 vsize=26103424 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 5531 0 -1 4202560 5318 0 0 0 8 0 0 0 20 0 20 0 81106733 26729906176 7887 33554432000 4194304 4196468 140735599566960 139765282425136 139765262271838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6059] ppid=6053 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 7887 33554432000 4194304 4196468 140735599566960 139765230812304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6060] ppid=6053 vsize=26103424 memory=140092693223040 CPUtime=0 cores=0-7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 7887 33554432000 4194304 4196468 140735599566960 139765229759504 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6061] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 7887 33554432000 4194304 4196468 140735599566960 139765228706704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6062] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 7887 33554432000 4194304 4196468 140735599566960 139765227653904 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6063] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 7887 33554432000 4194304 4196468 140735599566960 139765226601104 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6064] ppid=6053 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 7887 33554432000 4194304 4196468 140735599566960 139765225548304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6065] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 7887 33554432000 4194304 4196468 140735599566960 139765224495504 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6066] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 7887 33554432000 4194304 4196468 140735599566960 139765223442704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6067] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106735 26729906176 7887 33554432000 4194304 4196468 140735599566960 139764021656432 139765278202498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6068] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 5531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81106735 26729906176 7887 33554432000 4194304 4196468 140735599566960 139764020602400 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6069] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6069/stat : 6069 (java) S 6053 6056 5531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81106736 26729906176 7887 33554432000 4194304 4196468 140735599566960 139764019549552 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6070] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 7887 33554432000 4194304 4196468 140735599566960 139764018497872 139765278209947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6071] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6071/stat : 6071 (java) R 6053 6056 5531 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 7887 33554432000 4194304 4196468 140735599566960 139764017445232 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6072] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6072/stat : 6072 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 7887 33554432000 4194304 4196468 140735599566960 139764016392432 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6073] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6073/stat : 6073 (java) S 6053 6056 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 7887 33554432000 4194304 4196468 140735599566960 139764015339632 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6074] ppid=6053 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/6056/task/6074/stat : 6074 (java) R 6053 6056 5531 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 20 0 81106738 26729906176 7887 33554432000 4194304 4196468 140735599566960 139764014286832 139765262271838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6075] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6075/stat : 6075 (java) S 6053 6056 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 7887 33554432000 4194304 4196468 140735599566960 139764013235296 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6076] ppid=6053 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6056/task/6076/stat : 6076 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 7887 33554432000 4194304 4196468 140735599566960 139764012182576 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 31296 KiB

[startup+0.210153 s]*
/proc/loadavg: 8.28 8.57 8.66 4/201 6076
/proc/meminfo: memFree=8922224/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=26103424 memory=42980 CPUtime=0.3 cores=0-7
/proc/6056/stat : 6056 (java) S 6053 6056 5531 0 -1 1077944320 10421 0 0 0 28 2 0 0 20 0 20 0 81106732 26729906176 10745 33554432000 4194304 4196468 140735599566960 140735599549504 139765278191351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
/proc/6056/statm: 6525856 10745 3331 1 0 6487932 0
[pid=6056/tid=6058] ppid=6053 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 5531 0 -1 4202560 8191 0 0 0 18 1 0 0 20 0 20 0 81106733 26729906176 10745 33554432000 4194304 4196468 140735599566960 139765282414160 139765278213277 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6059] ppid=6053 vsize=26103424 memory=12918 CPUtime=0 cores=0-7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 10745 33554432000 4194304 4196468 140735599566960 139765230812304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6060] ppid=6053 vsize=26103424 memory=140092693228855 CPUtime=0 cores=0-7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 10745 33554432000 4194304 4196468 140735599566960 139765229759504 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6061] ppid=6053 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 10745 33554432000 4194304 4196468 140735599566960 139765228706704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6062] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 10745 33554432000 4194304 4196468 140735599566960 139765227653904 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6063] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 10745 33554432000 4194304 4196468 140735599566960 139765226601104 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6064] ppid=6053 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 10745 33554432000 4194304 4196468 140735599566960 139765225548304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6065] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 10745 33554432000 4194304 4196468 140735599566960 139765224495504 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6066] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 10745 33554432000 4194304 4196468 140735599566960 139765223442704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6067] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 5531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81106735 26729906176 10745 33554432000 4194304 4196468 140735599566960 139764021656432 139765278202498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6068] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 5531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81106735 26729906176 10745 33554432000 4194304 4196468 140735599566960 139764020602400 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6069] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6069/stat : 6069 (java) S 6053 6056 5531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81106736 26729906176 10745 33554432000 4194304 4196468 140735599566960 139764019549552 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6070] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 10745 33554432000 4194304 4196468 140735599566960 139764018497872 139765278209947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6071] ppid=6053 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/6056/task/6071/stat : 6071 (java) S 6053 6056 5531 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 81106738 26729906176 10745 33554432000 4194304 4196468 140735599566960 139764017445232 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6072] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6072/stat : 6072 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 10745 33554432000 4194304 4196468 140735599566960 139764016392432 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6073] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6073/stat : 6073 (java) S 6053 6056 5531 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 10745 33554432000 4194304 4196468 140735599566960 139764015339632 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6074] ppid=6053 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/6056/task/6074/stat : 6074 (java) S 6053 6056 5531 0 -1 1077944384 323 0 0 0 6 0 0 0 20 0 20 0 81106738 26729906176 10745 33554432000 4194304 4196468 140735599566960 139764014286832 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6075] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6075/stat : 6075 (java) S 6053 6056 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 10745 33554432000 4194304 4196468 140735599566960 139764013235296 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6076] ppid=6053 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6056/task/6076/stat : 6076 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 10745 33554432000 4194304 4196468 140735599566960 139764012182576 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 42980 KiB

[startup+0.309526 s]*
/proc/loadavg: 8.28 8.57 8.66 2/201 6076
/proc/meminfo: memFree=8918812/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=26103424 memory=46776 CPUtime=0.43 cores=0-7
/proc/6056/stat : 6056 (java) S 6053 6056 5531 0 -1 1077944320 10850 0 0 0 41 2 0 0 20 0 20 0 81106732 26729906176 11694 33554432000 4194304 4196468 140735599566960 140735599549504 139765278191351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
/proc/6056/statm: 6525856 11694 3387 1 0 6487932 0
[pid=6056/tid=6058] ppid=6053 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 5531 0 -1 4202560 8534 0 0 0 28 1 0 0 20 0 20 0 81106733 26729906176 11694 33554432000 4194304 4196468 140735599566960 139765282353088 139765256543664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6059] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 11694 33554432000 4194304 4196468 140735599566960 139765230812304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6060] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 11694 33554432000 4194304 4196468 140735599566960 139765229759504 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6061] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 11694 33554432000 4194304 4196468 140735599566960 139765228706704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6062] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 11694 33554432000 4194304 4196468 140735599566960 139765227653904 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6063] ppid=6053 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 11694 33554432000 4194304 4196468 140735599566960 139765226601104 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6064] ppid=6053 vsize=26103424 memory=140092572267439 CPUtime=0 cores=0-7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 11694 33554432000 4194304 4196468 140735599566960 139765225548304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6065] ppid=6053 vsize=26103424 memory=140092572269744 CPUtime=0 cores=0-7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 11694 33554432000 4194304 4196468 140735599566960 139765224495504 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6066] ppid=6053 vsize=26103424 memory=140092572272048 CPUtime=0 cores=0-7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26729906176 11694 33554432000 4194304 4196468 140735599566960 139765223442704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6067] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 5531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81106735 26729906176 11694 33554432000 4194304 4196468 140735599566960 139764021656432 139765278202498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6068] ppid=6053 vsize=26103424 memory=280185144551056 CPUtime=0 cores=0-7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 5531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81106735 26729906176 11694 33554432000 4194304 4196468 140735599566960 139764020602400 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6069] ppid=6053 vsize=26103424 memory=280185144557968 CPUtime=0 cores=0-7
/proc/6056/task/6069/stat : 6069 (java) S 6053 6056 5531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81106736 26729906176 11694 33554432000 4194304 4196468 140735599566960 139764019549552 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6070] ppid=6053 vsize=26103424 memory=280185144499120 CPUtime=0 cores=0-7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 11694 33554432000 4194304 4196468 140735599566960 139764018497872 139765278209947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6071] ppid=6053 vsize=26103424 memory=280185144571792 CPUtime=0.02 cores=0-7
/proc/6056/task/6071/stat : 6071 (java) S 6053 6056 5531 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 20 0 81106738 26729906176 11694 33554432000 4194304 4196468 140735599566960 139764017445232 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6072] ppid=6053 vsize=26103424 memory=280185144578704 CPUtime=0 cores=0-7
/proc/6056/task/6072/stat : 6072 (java) S 6053 6056 5531 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 11694 33554432000 4194304 4196468 140735599566960 139764016392432 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6073] ppid=6053 vsize=26103424 memory=280185144576400 CPUtime=0 cores=0-7
/proc/6056/task/6073/stat : 6073 (java) S 6053 6056 5531 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 11694 33554432000 4194304 4196468 140735599566960 139764015339632 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6074] ppid=6053 vsize=26103424 memory=280185144593008 CPUtime=0.07 cores=0-7
/proc/6056/task/6074/stat : 6074 (java) S 6053 6056 5531 0 -1 1077944384 339 0 0 0 7 0 0 0 20 0 20 0 81106738 26729906176 11694 33554432000 4194304 4196468 140735599566960 139764014286832 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6075] ppid=6053 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6075/stat : 6075 (java) S 6053 6056 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 11694 33554432000 4194304 4196468 140735599566960 139764013235296 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6076] ppid=6053 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6056/task/6076/stat : 6076 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106738 26729906176 11694 33554432000 4194304 4196468 140735599566960 139764012182576 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46776 KiB

[startup+0.700846 s]
/proc/loadavg: 8.28 8.57 8.66 3/201 6076
/proc/meminfo: memFree=8895188/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=26105492 memory=87152 CPUtime=0.99 cores=0-7
/proc/6056/stat : 6056 (java) S 6053 6056 5531 0 -1 1077944320 17820 0 0 0 95 4 0 0 20 0 20 0 81106732 26732023808 21788 33554432000 4194304 4196468 140735599566960 140735599549504 139765278191351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
/proc/6056/statm: 6526373 21788 3477 1 0 6488444 0
[pid=6056/tid=6058] ppid=6053 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/6056/task/6058/stat : 6058 (java) R 6053 6056 5531 0 -1 4202560 15017 0 0 0 64 3 0 0 20 0 20 0 81106733 26732023808 21788 33554432000 4194304 4196468 140735599566960 139765282415520 139765278213277 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6059] ppid=6053 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26732023808 21788 33554432000 4194304 4196468 140735599566960 139765230812304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6060] ppid=6053 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81106734 26732023808 21788 33554432000 4194304 4196468 140735599566960 139765229759504 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6061] ppid=6053 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26732023808 21788 33554432000 4194304 4196468 140735599566960 139765228706704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6062] ppid=6053 vsize=26105492 memory=5668 CPUtime=0 cores=0-7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26732023808 21788 33554432000 4194304 4196468 140735599566960 139765227653904 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6063] ppid=6053 vsize=26105492 memory=4616 CPUtime=0 cores=0-7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26732023808 21788 33554432000 4194304 4196468 140735599566960 139765226601104 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6064] ppid=6053 vsize=26105492 memory=14076 CPUtime=0 cores=0-7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81106734 26732023808 21788 33554432000 4194304 4196468 140735599566960 139765225548304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6065] ppid=6053 vsize=26105492 memory=1204 CPUtime=0 cores=0-7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26732023808 21788 33554432000 4194304 4196468 140735599566960 139765224495504 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6066] ppid=6053 vsize=26105492 memory=15872 CPUtime=0 cores=0-7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81106734 26732023808 21788 33554432000 4194304 4196468 140735599566960 139765223442704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6067] ppid=6053 vsize=26105492 memory=4008 CPUtime=0 cores=0-7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 5531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81106735 26732023808 21788 33554432000 4194304 4196468 140735599566960 139764021656432 139765278202498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0

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

/proc/6056/task/6079/stat : 6079 (java) S 6053 6056 5531 0 -1 1077944384 573 0 0 0 10 0 0 0 20 0 46 0 81107655 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763926422800 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6080] ppid=6053 vsize=27850528 memory=3267768 CPUtime=2473.38 cores=0-7
/proc/6056/task/6080/stat : 6080 (java) S 6053 6056 5531 0 -1 1077944384 77476 0 0 0 247268 70 0 0 20 0 46 0 81107656 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763925364016 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 54 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6081] ppid=6053 vsize=27850528 memory=1204 CPUtime=2474.04 cores=0-7
/proc/6056/task/6081/stat : 6081 (java) S 6053 6056 5531 0 -1 1077944384 77150 0 0 0 247339 65 0 0 20 0 46 0 81107656 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763924312912 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6082] ppid=6053 vsize=27850528 memory=15872 CPUtime=2469.2 cores=0-7
/proc/6056/task/6082/stat : 6082 (java) R 6053 6056 5531 0 -1 4202560 78631 0 0 0 246850 70 0 0 20 0 46 0 81107663 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763921159568 139765278201557 0 4 0 16800975 0 0 0 -1 1 0 0 56 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6083] ppid=6053 vsize=27850528 memory=4008 CPUtime=2474 cores=0-7
/proc/6056/task/6083/stat : 6083 (java) S 6053 6056 5531 0 -1 1077944384 77685 0 0 0 247330 70 0 0 20 0 46 0 81107663 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763920107360 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6084] ppid=6053 vsize=27850528 memory=1232 CPUtime=2472.41 cores=0-7
/proc/6056/task/6084/stat : 6084 (java) R 6053 6056 5531 0 -1 4202560 76656 0 0 0 247180 61 0 0 20 0 46 0 81107663 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763919058752 139764903362508 0 4 0 16800975 0 0 0 -1 3 0 0 52 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6085] ppid=6053 vsize=27850528 memory=2340 CPUtime=2470.96 cores=0-7
/proc/6056/task/6085/stat : 6085 (java) R 6053 6056 5531 0 -1 4202560 76901 0 0 0 247030 66 0 0 20 0 46 0 81107663 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763918005008 139765278203286 0 4 0 16800975 0 0 0 -1 4 0 0 59 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6086] ppid=6053 vsize=27850528 memory=1576 CPUtime=0.05 cores=0-7
/proc/6056/task/6086/stat : 6086 (java) S 6053 6056 5531 0 -1 1077944384 289 0 0 0 5 0 0 0 20 0 46 0 81107664 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763916957072 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6087] ppid=6053 vsize=27850528 memory=928 CPUtime=2474.84 cores=0-7
/proc/6056/task/6087/stat : 6087 (java) S 6053 6056 5531 0 -1 1077944384 80704 0 0 0 247415 69 0 0 20 0 46 0 81107666 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763915898288 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 57 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6088] ppid=6053 vsize=27850528 memory=2240 CPUtime=0 cores=0-7
/proc/6056/task/6088/stat : 6088 (java) S 6053 6056 5531 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 46 0 81107666 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763914851472 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6089] ppid=6053 vsize=27850528 memory=4124 CPUtime=2473.81 cores=0-7
/proc/6056/task/6089/stat : 6089 (java) R 6053 6056 5531 0 -1 4202560 77804 0 0 0 247320 61 0 0 20 0 46 0 81107668 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763913790480 139764896652077 0 4 0 16800975 0 0 0 -1 0 0 0 54 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6090] ppid=6053 vsize=27850528 memory=2200 CPUtime=0 cores=0-7
/proc/6056/task/6090/stat : 6090 (java) S 6053 6056 5531 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 46 0 81107727 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763910611856 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6091] ppid=6053 vsize=27850528 memory=7284 CPUtime=0 cores=0-7
/proc/6056/task/6091/stat : 6091 (java) S 6053 6056 5531 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 46 0 81107731 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763909560080 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6092] ppid=6053 vsize=27850528 memory=840 CPUtime=0 cores=0-7
/proc/6056/task/6092/stat : 6092 (java) S 6053 6056 5531 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 46 0 81107731 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763908507280 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6093] ppid=6053 vsize=27850528 memory=1800 CPUtime=0 cores=0-7
/proc/6056/task/6093/stat : 6093 (java) S 6053 6056 5531 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 46 0 81107731 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763907454480 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6094] ppid=6053 vsize=27850528 memory=916 CPUtime=0 cores=0-7
/proc/6056/task/6094/stat : 6094 (java) S 6053 6056 5531 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 46 0 81107732 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763906401680 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6095] ppid=6053 vsize=27850528 memory=4136 CPUtime=0 cores=0-7
/proc/6056/task/6095/stat : 6095 (java) S 6053 6056 5531 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 81107732 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763905348880 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6096] ppid=6053 vsize=27850528 memory=4104 CPUtime=0 cores=0-7
/proc/6056/task/6096/stat : 6096 (java) S 6053 6056 5531 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 46 0 81107732 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763904296080 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6097] ppid=6053 vsize=27850528 memory=2408 CPUtime=0 cores=0-7
/proc/6056/task/6097/stat : 6097 (java) S 6053 6056 5531 0 -1 1077944384 372 0 0 0 0 0 0 0 20 0 46 0 81107732 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763903243280 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6098] ppid=6053 vsize=27850528 memory=1724 CPUtime=0 cores=0-7
/proc/6056/task/6098/stat : 6098 (java) S 6053 6056 5531 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 46 0 81107736 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763902190480 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6099] ppid=6053 vsize=27850528 memory=1004 CPUtime=0 cores=0-7
/proc/6056/task/6099/stat : 6099 (java) S 6053 6056 5531 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 46 0 81107740 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763901138704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6100] ppid=6053 vsize=27850528 memory=1952 CPUtime=0 cores=0-7
/proc/6056/task/6100/stat : 6100 (java) S 6053 6056 5531 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 46 0 81107742 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763900085904 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6101] ppid=6053 vsize=27850528 memory=1708 CPUtime=0 cores=0-7
/proc/6056/task/6101/stat : 6101 (java) S 6053 6056 5531 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 46 0 81107745 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763899033104 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6102] ppid=6053 vsize=27850528 memory=792 CPUtime=0 cores=0-7
/proc/6056/task/6102/stat : 6102 (java) S 6053 6056 5531 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 46 0 81107747 28518940672 817454 33554432000 4194304 4196468 140735599566960 139763897980304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
Current children cumulated CPU time: 19895 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 3269816 KiB

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

[startup+2520.24 s]
# the end of solver process 6056 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19886.3 s, system=10.3605 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.21 s]
/proc/loadavg: 7.87 8.51 8.65 9/224 6136
/proc/meminfo: memFree=5690828/32770624 swapFree=67108860/67108860
[pid=6056] ppid=6053 vsize=27984684 memory=3265568 CPUtime=19896.5 cores=0-7
/proc/6056/stat : 6056 (java) S 6053 6056 5531 0 -1 1077944320 1847845 0 0 0 1988615 1034 0 0 20 0 46 0 81106732 28656316416 816392 33554432000 4194304 4196468 140735599566960 140735599549504 139765278191351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
/proc/6056/statm: 6996171 816392 3628 1 0 6957721 0
[pid=6056/tid=6058] ppid=6053 vsize=27984684 memory=8552 CPUtime=9.15 cores=0-7
/proc/6056/task/6058/stat : 6058 (java) S 6053 6056 5531 0 -1 1077944384 23544 0 0 0 906 9 0 0 20 0 46 0 81106733 28656316416 816392 33554432000 4194304 4196468 140735599566960 139765282430032 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6059] ppid=6053 vsize=27984684 memory=1444 CPUtime=10.81 cores=0-7
/proc/6056/task/6059/stat : 6059 (java) S 6053 6056 5531 0 -1 1077944384 107784 0 0 0 1029 52 0 0 20 0 46 0 81106734 28656316416 816392 33554432000 4194304 4196468 140735599566960 139765230812304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6060] ppid=6053 vsize=27984684 memory=5668 CPUtime=10.76 cores=0-7
/proc/6056/task/6060/stat : 6060 (java) S 6053 6056 5531 0 -1 1077944384 109660 0 0 0 1032 44 0 0 20 0 46 0 81106734 28656316416 816392 33554432000 4194304 4196468 140735599566960 139765229759504 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6061] ppid=6053 vsize=27984684 memory=4616 CPUtime=10.81 cores=0-7
/proc/6056/task/6061/stat : 6061 (java) S 6053 6056 5531 0 -1 1077944384 115502 0 0 0 1035 46 0 0 20 0 46 0 81106734 28656316416 816392 33554432000 4194304 4196468 140735599566960 139765228706704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6062] ppid=6053 vsize=27984684 memory=14076 CPUtime=10.8 cores=0-7
/proc/6056/task/6062/stat : 6062 (java) S 6053 6056 5531 0 -1 1077944384 121682 0 0 0 1032 48 0 0 20 0 46 0 81106734 28656316416 816392 33554432000 4194304 4196468 140735599566960 139765227653904 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6063] ppid=6053 vsize=27984684 memory=1204 CPUtime=10.8 cores=0-7
/proc/6056/task/6063/stat : 6063 (java) S 6053 6056 5531 0 -1 1077944384 114939 0 0 0 1031 49 0 0 20 0 46 0 81106734 28656316416 816392 33554432000 4194304 4196468 140735599566960 139765226601104 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6064] ppid=6053 vsize=27984684 memory=15872 CPUtime=10.83 cores=0-7
/proc/6056/task/6064/stat : 6064 (java) S 6053 6056 5531 0 -1 1077944384 114802 0 0 0 1037 46 0 0 20 0 46 0 81106734 28656316416 816392 33554432000 4194304 4196468 140735599566960 139765225548304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6065] ppid=6053 vsize=27984684 memory=4008 CPUtime=10.75 cores=0-7
/proc/6056/task/6065/stat : 6065 (java) S 6053 6056 5531 0 -1 1077944384 110317 0 0 0 1033 42 0 0 20 0 46 0 81106734 28656316416 816392 33554432000 4194304 4196468 140735599566960 139765224495504 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6066] ppid=6053 vsize=27984684 memory=18460 CPUtime=10.82 cores=0-7
/proc/6056/task/6066/stat : 6066 (java) S 6053 6056 5531 0 -1 1077944384 109345 0 0 0 1032 50 0 0 20 0 46 0 81106734 28656316416 816392 33554432000 4194304 4196468 140735599566960 139765223442704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6067] ppid=6053 vsize=27984684 memory=14952 CPUtime=7.86 cores=0-7
/proc/6056/task/6067/stat : 6067 (java) S 6053 6056 5531 0 -1 1077944384 217272 0 0 0 668 118 0 0 20 0 46 0 81106735 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764021656432 139765278202498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6068] ppid=6053 vsize=27984684 memory=1788 CPUtime=0 cores=0-7
/proc/6056/task/6068/stat : 6068 (java) S 6053 6056 5531 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 81106735 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764020602464 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6069] ppid=6053 vsize=27984684 memory=644 CPUtime=0 cores=0-7
/proc/6056/task/6069/stat : 6069 (java) S 6053 6056 5531 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 46 0 81106736 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764019549568 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6070] ppid=6053 vsize=27984684 memory=952 CPUtime=0 cores=0-7
/proc/6056/task/6070/stat : 6070 (java) S 6053 6056 5531 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 46 0 81106738 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764018497872 139765278209947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6071] ppid=6053 vsize=27984684 memory=1232 CPUtime=1.62 cores=0-7
/proc/6056/task/6071/stat : 6071 (java) R 6053 6056 5531 0 -1 4202560 8653 0 0 0 160 2 0 0 20 0 46 0 81106738 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764017443520 139765261578092 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6072] ppid=6053 vsize=27984684 memory=2340 CPUtime=1.5 cores=0-7
/proc/6056/task/6072/stat : 6072 (java) S 6053 6056 5531 0 -1 1077944384 4980 0 0 0 149 1 0 0 20 0 46 0 81106738 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764016392432 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6073] ppid=6053 vsize=27984684 memory=1576 CPUtime=1.58 cores=0-7
/proc/6056/task/6073/stat : 6073 (java) S 6053 6056 5531 0 -1 1077944384 7545 0 0 0 156 2 0 0 20 0 46 0 81106738 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764015339632 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6074] ppid=6053 vsize=27984684 memory=928 CPUtime=1.28 cores=0-7
/proc/6056/task/6074/stat : 6074 (java) R 6053 6056 5531 0 -1 1077944384 19042 0 0 0 126 2 0 0 20 0 46 0 81106738 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764014286832 139765278202498 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6075] ppid=6053 vsize=27984684 memory=2240 CPUtime=0 cores=0-7
/proc/6056/task/6075/stat : 6075 (java) S 6053 6056 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 81106738 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764013235296 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6076] ppid=6053 vsize=27984684 memory=4124 CPUtime=0.77 cores=0-7
/proc/6056/task/6076/stat : 6076 (java) S 6053 6056 5531 0 -1 1077944384 10658 0 0 0 32 45 0 0 20 0 46 0 81106738 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764012182576 139765278202498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6077] ppid=6053 vsize=27984684 memory=2200 CPUtime=0.01 cores=0-7
/proc/6056/task/6077/stat : 6077 (java) S 6053 6056 5531 0 -1 1077944384 972 0 0 0 1 0 0 0 20 0 46 0 81107616 28656316416 816392 33554432000 4194304 4196468 140735599566960 139764009223328 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6079] ppid=6053 vsize=27984684 memory=288230574492221466 CPUtime=0.1 cores=0-7
/proc/6056/task/6079/stat : 6079 (java) S 6053 6056 5531 0 -1 1077944384 573 0 0 0 10 0 0 0 20 0 46 0 81107655 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763926422800 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6080] ppid=6053 vsize=27984684 memory=301741382048153913 CPUtime=2473.56 cores=0-7
/proc/6056/task/6080/stat : 6080 (java) R 6053 6056 5531 0 -1 4202560 77476 0 0 0 247286 70 0 0 20 0 46 0 81107656 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763925364152 139764904205153 0 4 0 16800975 0 0 0 -1 6 0 0 54 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6081] ppid=6053 vsize=27984684 memory=16104758104558012 CPUtime=2474.22 cores=0-7
/proc/6056/task/6081/stat : 6081 (java) R 6053 6056 5531 0 -1 4202560 77151 0 0 0 247357 65 0 0 20 0 46 0 81107656 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763924311272 140735600315763 0 4 0 16800975 0 0 0 -1 4 0 0 51 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6082] ppid=6053 vsize=27984684 memory=4137293581110450563 CPUtime=2469.36 cores=0-7
/proc/6056/task/6082/stat : 6082 (java) R 6053 6056 5531 0 -1 4202560 78631 0 0 0 246866 70 0 0 20 0 46 0 81107663 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763921161400 139764902162509 0 4 0 16800975 0 0 0 -1 7 0 0 56 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6083] ppid=6053 vsize=27984684 memory=8761640388318109335 CPUtime=2474.18 cores=0-7
/proc/6056/task/6083/stat : 6083 (java) R 6053 6056 5531 0 -1 4202560 77685 0 0 0 247348 70 0 0 20 0 46 0 81107663 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763920109624 139764904206992 0 4 0 16800975 0 0 0 -1 5 0 0 46 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6084] ppid=6053 vsize=27984684 memory=-7522837583129307271 CPUtime=2472.59 cores=0-7
/proc/6056/task/6084/stat : 6084 (java) R 6053 6056 5531 0 -1 4202560 76657 0 0 0 247198 61 0 0 20 0 46 0 81107663 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763919056608 139764904205823 0 4 0 16800975 0 0 0 -1 3 0 0 52 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6085] ppid=6053 vsize=27984684 memory=7016714186490735262 CPUtime=2471.12 cores=0-7
/proc/6056/task/6085/stat : 6085 (java) R 6053 6056 5531 0 -1 4202560 76902 0 0 0 247046 66 0 0 20 0 46 0 81107663 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763918002504 139764902162704 0 4 0 16800975 0 0 0 -1 3 0 0 59 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6086] ppid=6053 vsize=27984684 memory=8761640388318109335 CPUtime=0.05 cores=0-7
/proc/6056/task/6086/stat : 6086 (java) S 6053 6056 5531 0 -1 1077944384 315 0 0 0 5 0 0 0 20 0 46 0 81107664 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763916957072 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6087] ppid=6053 vsize=27984684 memory=6944656592455360608 CPUtime=2475 cores=0-7
/proc/6056/task/6087/stat : 6087 (java) R 6053 6056 5531 0 -1 4202560 80705 0 0 0 247431 69 0 0 20 0 46 0 81107666 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763915898424 139764904205290 0 4 0 16800975 0 0 0 -1 1 0 0 57 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6088] ppid=6053 vsize=27984684 memory=3269816 CPUtime=0 cores=0-7
/proc/6056/task/6088/stat : 6088 (java) S 6053 6056 5531 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 46 0 81107666 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763914851472 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6089] ppid=6053 vsize=27984684 memory=4137293581110450563 CPUtime=2473.98 cores=0-7
/proc/6056/task/6089/stat : 6089 (java) R 6053 6056 5531 0 -1 4202560 77805 0 0 0 247337 61 0 0 20 0 46 0 81107668 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763913791224 139764904075683 0 4 0 16800975 0 0 0 -1 2 0 0 54 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6090] ppid=6053 vsize=27984684 memory=6944938067432061290 CPUtime=0 cores=0-7
/proc/6056/task/6090/stat : 6090 (java) S 6053 6056 5531 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 46 0 81107727 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763910611856 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6091] ppid=6053 vsize=27984684 memory=3269816 CPUtime=0.01 cores=0-7
/proc/6056/task/6091/stat : 6091 (java) S 6053 6056 5531 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 46 0 81107731 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763909560080 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6092] ppid=6053 vsize=27984684 memory=1444 CPUtime=0 cores=0-7
/proc/6056/task/6092/stat : 6092 (java) S 6053 6056 5531 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 46 0 81107731 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763908507280 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6093] ppid=6053 vsize=27984684 memory=840 CPUtime=0 cores=0-7
/proc/6056/task/6093/stat : 6093 (java) S 6053 6056 5531 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 46 0 81107731 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763907454480 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6094] ppid=6053 vsize=27984684 memory=1800 CPUtime=0 cores=0-7
/proc/6056/task/6094/stat : 6094 (java) S 6053 6056 5531 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 46 0 81107732 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763906401680 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6095] ppid=6053 vsize=27984684 memory=916 CPUtime=0.01 cores=0-7
/proc/6056/task/6095/stat : 6095 (java) S 6053 6056 5531 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 46 0 81107732 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763905348880 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6096] ppid=6053 vsize=27984684 memory=4136 CPUtime=0.01 cores=0-7
/proc/6056/task/6096/stat : 6096 (java) S 6053 6056 5531 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 46 0 81107732 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763904296080 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6097] ppid=6053 vsize=27984684 memory=4104 CPUtime=0 cores=0-7
/proc/6056/task/6097/stat : 6097 (java) S 6053 6056 5531 0 -1 1077944384 372 0 0 0 0 0 0 0 20 0 46 0 81107732 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763903243280 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6098] ppid=6053 vsize=27984684 memory=1408 CPUtime=0 cores=0-7
/proc/6056/task/6098/stat : 6098 (java) S 6053 6056 5531 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 46 0 81107736 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763902190480 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6099] ppid=6053 vsize=27984684 memory=4616 CPUtime=0 cores=0-7
/proc/6056/task/6099/stat : 6099 (java) S 6053 6056 5531 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 46 0 81107740 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763901138704 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6100] ppid=6053 vsize=27984684 memory=3269816 CPUtime=0 cores=0-7
/proc/6056/task/6100/stat : 6100 (java) S 6053 6056 5531 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 46 0 81107742 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763900085904 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6101] ppid=6053 vsize=27984684 memory=8112282956445269571 CPUtime=0.01 cores=0-7
/proc/6056/task/6101/stat : 6101 (java) S 6053 6056 5531 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 46 0 81107745 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763899033104 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
[pid=6056/tid=6102] ppid=6053 vsize=27984684 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6056/task/6102/stat : 6102 (java) S 6053 6056 5531 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 46 0 81107747 28656316416 816392 33554432000 4194304 4196468 140735599566960 139763897980304 139765278201557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19394560 140735599576141 140735599576325 140735599576325 140735599579087 0
Current children cumulated CPU time: 19896.5 s
Current children cumulated vsize: 27984684 KiB
Current children cumulated memory: 3265568 KiB

Child status: 143
Real time (s): 2520.24
CPU time (s): 19896.6
CPU user time (s): 19886.3
CPU system time (s): 10.3605
CPU usage (%): 789.474
Max. virtual memory (cumulated for all children) (KiB): 27984684
Max. memory (cumulated for all children) (KiB): 3270244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19886.3
system time used= 10.3605
maximum resident set size= 3270912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1847879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 738924
involuntary context switches= 428327


# summary of solver processes directly reported to runsolver:
#   pid: 6056
#   total CPU time (s): 19896.6
#   total CPU user time (s): 19886.3
#   total CPU system time (s): 10.3605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.2765 second user time and 35.6476 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-26 22:03:59
IDJOB=4291755
IDBENCH=141157
IDSOLVER=2745
FILE ID=node106/4291755-1532635439
RUNJOBID= node106-1532632909-5558
PBS_JOBID= 21022173
Free space on /tmp= 46168 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay100_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291755-1532635439/watcher-4291755-1532635439 -o /tmp/evaluation-result-4291755-1532635439/solver-4291755-1532635439 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532632909-5558 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1445764025 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291755-1532635439.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 229d8d70b2521f5ebfd70fdb2bbdf7b3
RANDOM SEED=1445764025

node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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:       32770624 kB
MemFree:         8952472 kB
MemAvailable:   31924480 kB
Buffers:          242032 kB
Cached:         22628832 kB
SwapCached:            0 kB
Active:          3019596 kB
Inactive:       19907884 kB
Active(anon):      33964 kB
Inactive(anon):    50636 kB
Active(file):    2985632 kB
Inactive(file): 19857248 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35932 kB
Writeback:             0 kB
AnonPages:         63296 kB
Mapped:            40480 kB
Shmem:             25228 kB
Slab:             584460 kB
SReclaimable:     557588 kB
SUnreclaim:        26872 kB
KernelStack:        3216 kB
PageTables:         5796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46132 MiB
End job on node106 at 2018-07-26 22:45:59