Trace number 4309263

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-08-14SAT (TO)503367 19902.6 2520.23

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.66/0.55	c version: 2018-08-14
0.66/0.55	c seed: 962131285
0.66/0.55	c timeout: 20160
0.66/0.55	c memlimit: 22000
0.66/0.55	c nbcore: 8
0.66/0.58	c Parsing instance...
2.11/1.09	c Parsing done, starting search...
17.80/9.90	o 5978
17.80/9.91	o 13306
17.80/9.91	o 24785
17.80/9.92	o 32113
17.80/9.92	o 46463
17.80/9.92	o 49017
17.80/9.92	o 67824
17.80/9.94	o 70258
17.80/9.94	o 74361
17.80/9.94	o 76795
17.80/9.94	o 83361
17.80/9.95	o 89898
17.80/9.95	o 92332
17.80/9.95	o 92685
17.80/9.95	o 95119
17.80/9.97	o 99485
17.80/9.97	o 101919
17.80/9.97	o 102998
17.80/9.97	o 104048
17.80/10.00	o 106482
17.80/10.00	o 108566
17.80/10.00	o 110151
17.80/10.00	o 112585
17.80/10.00	o 115132
18.52/10.01	o 121669
18.52/10.01	o 124103
18.52/10.01	o 124256
18.52/10.02	o 124986
18.52/10.02	o 125821
18.52/10.02	o 130102
18.52/10.02	o 132536
18.52/10.02	o 132621
18.52/10.03	o 132774
18.52/10.03	o 133148
18.52/10.03	o 133386
18.52/10.04	o 135185
18.52/10.05	o 140301
18.52/10.05	o 142735
18.52/10.05	o 142973
18.52/10.05	o 144279
18.52/10.06	o 146713
18.52/10.06	o 147726
18.52/10.06	o 150160
19.33/10.11	o 150508
19.33/10.14	o 151528
19.33/10.14	o 151876
19.33/10.14	o 153962
19.33/10.14	o 154310
19.33/10.14	o 154574
19.33/10.14	o 154922
19.33/10.16	o 155156
19.33/10.16	o 155504
19.33/10.16	o 155530
19.33/10.16	o 155878
19.33/10.21	o 157437
19.33/10.21	o 157785
19.33/10.21	o 158228
20.19/10.21	o 158576
20.19/10.21	o 158884
20.19/10.21	o 162331
20.19/10.21	o 164765
20.19/10.21	o 165113
20.19/10.22	o 166060
20.19/10.22	o 168494
20.19/10.22	o 168842
20.19/10.25	o 169507
20.19/10.25	o 169855
20.19/10.25	o 171941
20.19/10.25	o 172289
20.19/10.26	o 172906
20.19/10.27	o 173212
20.19/10.27	o 173919
20.19/10.27	o 176353
20.19/10.27	o 177799
20.19/10.27	o 181246
20.19/10.29	o 183680
20.19/10.29	o 184028
20.19/10.30	o 184319
21.00/10.32	o 184667
21.00/10.32	o 184975
21.00/10.32	o 188422
21.00/10.32	o 190856
21.00/10.32	o 191204
21.00/10.34	o 191356
21.00/10.34	o 192021
21.00/10.34	o 194455
21.00/10.34	o 194803
21.00/10.34	o 195411
21.00/10.34	o 195759
21.00/10.38	o 196297
21.00/10.40	o 196645
21.00/10.40	o 197030
21.00/10.40	o 197336
21.00/10.40	o 198043
21.00/10.40	o 200477
21.71/10.41	o 201363
21.71/10.41	o 201433
21.71/10.41	o 202319
21.71/10.41	o 203098
21.71/10.41	o 204206
21.71/10.41	o 205219
21.71/10.41	o 207653
21.71/10.42	o 208539
21.71/10.42	o 208609
21.71/10.42	o 209495
21.71/10.43	o 210084
21.71/10.43	o 211256
21.71/10.43	o 212142
21.71/10.43	o 214466
21.71/10.43	o 216900
21.71/10.44	o 217786
21.71/10.44	o 217856
21.71/10.44	o 218742
21.71/10.44	o 220982
21.71/10.44	o 221938
21.71/10.44	o 222174
21.71/10.44	o 223759
21.71/10.45	o 224772
21.71/10.46	o 227206
21.71/10.47	o 228146
21.71/10.48	o 228233
21.71/10.48	o 229290
21.71/10.48	o 231680
21.71/10.48	o 232737
21.71/10.48	o 233085
21.71/10.48	o 233465
21.71/10.48	o 234609
21.71/10.48	o 238056
21.71/10.48	o 238404
21.71/10.48	o 239113
21.71/10.48	o 239461
21.71/10.48	o 239934
21.71/10.49	o 240165
21.71/10.49	o 240387
21.71/10.49	o 241273
21.71/10.49	o 242140
21.71/10.49	o 242766
21.71/10.49	o 243834
21.71/10.49	o 244720
21.71/10.49	o 244790
21.71/10.49	o 245676
21.71/10.49	o 245845
21.71/10.49	o 246913
21.71/10.49	o 247539
22.49/10.50	o 248607
22.49/10.50	o 249493
22.49/10.50	o 249596
22.49/10.50	o 250482
22.49/10.51	o 250552
22.49/10.51	o 251438
22.49/10.51	o 251600
22.49/10.51	o 254201
22.49/10.51	o 255269
22.49/10.51	o 256155
22.49/10.51	o 257648
22.49/10.51	o 258534
22.49/10.51	o 258716
22.49/10.51	o 259602
22.49/10.52	o 260116
22.49/10.52	o 262495
22.49/10.52	o 263563
22.49/10.53	o 264507
22.49/10.54	o 266201
22.49/10.54	o 266917
22.49/10.54	o 267015
22.49/10.54	o 268709
22.49/10.54	o 273118
22.49/10.54	o 274812
22.49/10.55	o 275620
22.49/10.55	o 277314
22.49/10.55	o 277582
22.49/10.56	o 277680
22.49/10.56	o 279374
22.49/10.56	o 280630
22.49/10.56	o 280962
22.49/10.56	o 283783
22.49/10.56	o 285477
22.49/10.56	o 286285
22.49/10.56	o 287979
22.49/10.60	o 288141
23.27/10.61	o 289027
23.27/10.61	o 289835
23.27/10.61	o 290721
23.27/10.61	o 291320
23.27/10.61	o 292377
23.27/10.61	o 293014
23.27/10.61	o 294071
23.27/10.61	o 294957
23.27/10.63	o 295069
23.27/10.63	o 295936
23.27/10.63	o 297630
23.27/10.63	o 298516
23.27/10.63	o 300094
23.27/10.63	o 300980
23.27/10.63	o 301788
23.27/10.63	o 302674
23.27/10.63	o 304330
23.27/10.63	o 306024
23.27/10.64	o 306910
23.27/10.66	o 307521
23.27/10.67	o 307648
23.27/10.67	o 308534
23.27/10.67	o 309342
23.27/10.67	o 310228
23.27/10.67	o 310871
23.27/10.67	o 311757
23.27/10.67	o 312061
23.27/10.67	o 312713
23.27/10.67	o 313580
23.27/10.67	o 315274
23.27/10.67	o 316160
23.27/10.67	o 316803
23.27/10.67	o 317689
23.27/10.67	o 317816
23.27/10.67	o 319510
23.27/10.67	o 320396
23.27/10.68	o 321039
23.27/10.68	o 321925
23.27/10.68	o 322944
23.27/10.68	o 323830
23.27/10.68	o 326097
23.27/10.68	o 326983
23.27/10.68	o 327791
23.27/10.68	o 328677
23.27/10.68	o 329320
23.27/10.68	o 330206
24.04/10.74	o 331685
24.04/10.74	o 332571
24.04/10.74	o 333085
24.04/10.74	o 334838
24.04/10.74	o 336532
24.04/10.74	o 337418
24.04/10.74	o 338061
24.04/10.74	o 338947
24.04/10.74	o 339347
24.04/10.74	o 341041
24.04/10.74	o 342003
24.04/10.74	o 345450
24.04/10.75	o 347144
24.04/10.75	o 348030
24.04/10.75	o 348673
24.04/10.75	o 349559
24.04/10.75	o 350256
24.04/10.75	o 352009
24.04/10.75	o 353703
24.04/10.77	o 354589
24.04/10.77	o 355232
24.04/10.77	o 356118
24.04/10.77	o 356538
24.04/10.77	o 357424
24.04/10.77	o 358067
24.04/10.77	o 358953
24.04/10.78	o 359080
24.04/10.78	o 359966
24.04/10.78	o 360833
24.04/10.78	o 362527
24.04/10.78	o 363413
24.04/10.78	o 364056
24.04/10.78	o 364942
24.04/10.80	o 365309
24.04/10.80	o 367003
24.04/10.80	o 367889
24.04/10.80	o 368532
24.04/10.80	o 369418
24.79/10.83	o 369840
24.79/10.83	o 371534
24.79/10.83	o 373063
24.79/10.84	o 373949
24.79/10.84	o 374349
24.79/10.84	o 376043
24.79/10.84	o 377005
24.79/10.84	o 380452
24.79/10.84	o 382146
24.79/10.84	o 383032
24.79/10.85	o 383675
24.79/10.85	o 384561
24.79/10.89	o 385430
24.79/10.89	o 385778
24.79/10.89	o 387152
24.79/10.89	o 387500
24.79/10.89	o 387559
25.59/10.90	o 388905
25.59/10.90	o 389253
25.59/10.90	o 389725
25.59/10.90	o 391419
25.59/10.90	o 391767
25.59/10.90	o 391795
25.59/10.90	o 393141
25.59/10.90	o 393489
25.59/10.90	o 394450
25.59/10.90	o 394798
25.59/10.90	o 396091
25.59/10.91	o 396439
25.59/10.91	o 396570
25.59/10.91	o 396918
25.59/10.91	o 398083
25.59/10.91	o 400865
25.59/10.91	o 402559
25.59/10.91	o 402907
25.59/10.92	o 403421
25.59/10.92	o 404562
25.59/10.92	o 406256
25.59/10.93	o 407648
25.59/10.93	o 409289
25.59/10.93	o 409768
25.59/10.94	o 410190
25.59/10.94	o 411943
25.59/10.94	o 413637
25.59/10.94	o 415278
25.59/10.94	o 415757
25.59/10.97	o 416247
25.59/10.98	o 416341
25.59/10.99	o 418035
25.59/10.99	o 419176
25.59/10.99	o 420870
25.59/10.99	o 421718
25.59/10.99	o 425165
25.59/10.99	o 426859
26.39/11.06	o 426961
27.18/11.12	o 427436
27.18/11.13	o 429130
27.18/11.13	o 430883
27.18/11.13	o 432577
28.18/11.24	o 433458
28.97/11.35	o 433478
28.97/11.35	o 437400
28.97/11.36	o 439094
31.95/11.73	o 439658
31.95/11.73	o 441352
60.57/15.45	o 443370
60.57/15.45	o 443395
81.99/18.11	o 443795
81.99/18.11	o 445489
81.99/18.11	o 445514
83.65/18.37	o 447546
83.65/18.37	o 447571
88.36/18.98	o 448619
96.31/19.92	o 449892
96.31/19.99	o 450537
96.31/19.99	o 451101
96.31/20.00	o 452795
137.73/25.11	o 453133
137.73/25.12	o 453310
137.73/25.12	o 454827
137.73/25.12	o 455472
137.73/25.12	o 456036
137.73/25.12	o 457730
163.27/28.37	o 458501
183.10/30.89	o 458695
183.10/30.90	o 460389
194.33/32.29	o 461002
214.15/34.71	o 461761
214.15/34.71	o 462374
214.15/34.71	o 462536
214.15/34.71	o 462902
214.15/34.71	o 464596
214.15/34.71	o 465209
218.22/35.25	o 465277
218.22/35.26	o 465439
218.22/35.26	o 465854
218.22/35.26	o 466418
218.22/35.26	o 468112
399.03/57.96	o 469088
399.03/57.96	o 470782
473.99/67.40	o 471173
619.69/85.68	o 472045
619.69/85.68	o 472436
1383.79/181.57	o 472609
1383.79/181.58	o 472771
1383.79/181.58	o 473532
1383.79/181.58	o 475053
1383.79/181.58	o 475444
1428.39/187.12	o 475698
1498.53/195.98	o 476073
1498.53/195.99	o 476464
1498.53/195.99	o 476489
1570.20/204.94	o 476870
1690.29/220.05	o 477241
1690.29/220.06	o 477266
1690.29/220.06	o 478016
1690.29/220.06	o 478407
1690.29/220.06	o 478432
1724.62/224.34	o 478618
1724.62/224.35	o 478643
1867.05/242.23	o 478952
1882.94/244.27	o 480345
1882.94/244.28	o 481321
1882.94/244.28	o 483015
1882.94/244.29	o 483360
1882.94/244.29	o 483973
1882.94/244.29	o 484949
1882.94/244.29	o 486643
1916.36/248.43	o 487451
1916.36/248.43	o 487842
1918.71/248.75	o 487971
1918.71/248.78	o 488409
1918.71/248.80	o 488800
1918.71/248.80	o 488821
1918.71/248.80	o 489385
1918.71/248.80	o 491079
1918.71/248.80	o 491470
4277.54/545.23	o 491967
4277.54/545.23	o 492358
4277.54/545.23	o 492383
6920.29/878.79	o 492510
6920.29/878.80	o 492901
8430.65/1069.47	o 493966
11373.25/1441.31	o 494174
11373.25/1441.31	o 496025
11373.25/1441.32	o 496432
11378.74/1442.04	o 497738
11378.74/1442.05	o 498145
11527.47/1460.81	o 499263
11527.47/1460.82	o 502098
11533.79/1461.62	o 503367
19900.99/2520.02	s SATISFIABLE
19900.99/2520.02	v <instantiation>
19900.99/2520.02	v 	<list>
19900.99/2520.02	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]
19900.99/2520.02	v 	</list>
19900.99/2520.02	v 	<values>
19900.99/2520.02	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 
19900.99/2520.02	v 	</values>
19900.99/2520.02	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 (12204 MiB free)
  memory of node 1: 16384 MiB (11565 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309263-1534361504/watcher-4309263-1534361504 -o /tmp/evaluation-result-4309263-1534361504/solver-4309263-1534361504 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534353937-30420 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 962131285 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309263-1534361504.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
solver pid=31044, runsolver pid=31041
Current StackSize limit: 8192 KiB


[startup+0.100122 s]*
/proc/loadavg: 8.66 8.70 8.73 3/199 31064
/proc/meminfo: memFree=24323272/32770624 swapFree=67108372/67108860
[pid=31044] ppid=31041 vsize=26103420 memory=30872 CPUtime=0.11 cores=0-7
/proc/31044/stat : 31044 (java) S 31041 31044 30393 0 -1 1077944320 7187 0 0 0 10 1 0 0 20 0 20 0 253713624 26729902080 7718 33554432000 4194304 4196468 140736730620704 140736730603248 140274528263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
/proc/31044/statm: 6525855 7718 3135 1 0 6487932 0
[pid=31044/tid=31046] ppid=31041 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31044/task/31046/stat : 31046 (java) R 31041 31044 30393 0 -1 4202560 5277 0 0 0 8 1 0 0 20 0 20 0 253713625 26729902080 7784 33554432000 4194304 4196468 140736730620704 140274532462696 140274508539687 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31047] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31047/stat : 31047 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 7784 33554432000 4194304 4196468 140736730620704 140274450844304 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31048] ppid=31041 vsize=26103420 memory=139638806779520 CPUtime=0 cores=0-7
/proc/31044/task/31048/stat : 31048 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 7784 33554432000 4194304 4196468 140736730620704 140274449791504 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31049] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31049/stat : 31049 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 7784 33554432000 4194304 4196468 140736730620704 140274448738704 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31050] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31050/stat : 31050 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 7784 33554432000 4194304 4196468 140736730620704 140274447685904 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31051] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31051/stat : 31051 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 7784 33554432000 4194304 4196468 140736730620704 140274446634128 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31052] ppid=31041 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31044/task/31052/stat : 31052 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 7784 33554432000 4194304 4196468 140736730620704 140274445581328 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31053] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31053/stat : 31053 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 7784 33554432000 4194304 4196468 140736730620704 140274444528528 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31054] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31054/stat : 31054 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 7784 33554432000 4194304 4196468 140736730620704 140274443475728 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31055] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31055/stat : 31055 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713627 26729902080 7784 33554432000 4194304 4196468 140736730620704 140273203964272 140274528275074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31056] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31056/stat : 31056 (java) S 31041 31044 30393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253713628 26729902080 7784 33554432000 4194304 4196468 140736730620704 140273202910240 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31057] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31057/stat : 31057 (java) S 31041 31044 30393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253713628 26729902080 7850 33554432000 4194304 4196468 140736730620704 140273201857392 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31058] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31058/stat : 31058 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 7850 33554432000 4194304 4196468 140736730620704 140273200805712 140274528282523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31059] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31059/stat : 31059 (java) S 31041 31044 30393 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 7850 33554432000 4194304 4196468 140736730620704 140273199754096 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31060] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31060/stat : 31060 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 7850 33554432000 4194304 4196468 140736730620704 140273198701296 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31061] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31061/stat : 31061 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 7850 33554432000 4194304 4196468 140736730620704 140273197648496 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31062] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31062/stat : 31062 (java) S 31041 31044 30393 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 7850 33554432000 4194304 4196468 140736730620704 140273196595696 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31063] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31063/stat : 31063 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 7850 33554432000 4194304 4196468 140736730620704 140273195543136 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31064] ppid=31041 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31044/task/31064/stat : 31064 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713631 26729902080 7850 33554432000 4194304 4196468 140736730620704 140273194490416 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 30872 KiB

[startup+0.21018 s]*
/proc/loadavg: 8.66 8.70 8.73 3/199 31064
/proc/meminfo: memFree=24309940/32770624 swapFree=67108372/67108860
[pid=31044] ppid=31041 vsize=26103420 memory=42860 CPUtime=0.29 cores=0-7
/proc/31044/stat : 31044 (java) S 31041 31044 30393 0 -1 1077944320 10437 0 0 0 27 2 0 0 20 0 20 0 253713624 26729902080 10715 33554432000 4194304 4196468 140736730620704 140736730603248 140274528263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
/proc/31044/statm: 6525855 10715 3283 1 0 6487932 0
[pid=31044/tid=31046] ppid=31041 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/31044/task/31046/stat : 31046 (java) R 31041 31044 30393 0 -1 4202560 8232 0 0 0 18 1 0 0 20 0 20 0 253713625 26729902080 10715 33554432000 4194304 4196468 140736730620704 140274532490320 140274528285853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31047] ppid=31041 vsize=26103420 memory=11814 CPUtime=0 cores=0-7
/proc/31044/task/31047/stat : 31047 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 10715 33554432000 4194304 4196468 140736730620704 140274450844304 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31048] ppid=31041 vsize=26103420 memory=3689485176468772512 CPUtime=0 cores=0-7
/proc/31044/task/31048/stat : 31048 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 10715 33554432000 4194304 4196468 140736730620704 140274449791504 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31049] ppid=31041 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31044/task/31049/stat : 31049 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 10715 33554432000 4194304 4196468 140736730620704 140274448738704 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31050] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31050/stat : 31050 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 10715 33554432000 4194304 4196468 140736730620704 140274447685904 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31051] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31051/stat : 31051 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 10715 33554432000 4194304 4196468 140736730620704 140274446634128 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31052] ppid=31041 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31044/task/31052/stat : 31052 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 10715 33554432000 4194304 4196468 140736730620704 140274445581328 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31053] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31053/stat : 31053 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 10715 33554432000 4194304 4196468 140736730620704 140274444528528 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31054] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31054/stat : 31054 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 10715 33554432000 4194304 4196468 140736730620704 140274443475728 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31055] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31055/stat : 31055 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713627 26729902080 10715 33554432000 4194304 4196468 140736730620704 140273203964272 140274528275074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31056] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31056/stat : 31056 (java) S 31041 31044 30393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253713628 26729902080 10715 33554432000 4194304 4196468 140736730620704 140273202910240 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31057] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31057/stat : 31057 (java) S 31041 31044 30393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253713628 26729902080 10715 33554432000 4194304 4196468 140736730620704 140273201857392 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31058] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31058/stat : 31058 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 10715 33554432000 4194304 4196468 140736730620704 140273200805712 140274528282523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31059] ppid=31041 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/31044/task/31059/stat : 31059 (java) S 31041 31044 30393 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 20 0 253713630 26729902080 10715 33554432000 4194304 4196468 140736730620704 140273199754096 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31060] ppid=31041 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/31044/task/31060/stat : 31060 (java) S 31041 31044 30393 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 20 0 253713630 26729902080 10715 33554432000 4194304 4196468 140736730620704 140273198701296 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31061] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31061/stat : 31061 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 10715 33554432000 4194304 4196468 140736730620704 140273197648496 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31062] ppid=31041 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/31044/task/31062/stat : 31062 (java) S 31041 31044 30393 0 -1 1077944384 298 0 0 0 6 0 0 0 20 0 20 0 253713630 26729902080 10715 33554432000 4194304 4196468 140736730620704 140273196595696 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31063] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31063/stat : 31063 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 10715 33554432000 4194304 4196468 140736730620704 140273195543136 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31064] ppid=31041 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31044/task/31064/stat : 31064 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713631 26729902080 10715 33554432000 4194304 4196468 140736730620704 140273194490416 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 42860 KiB

[startup+0.310493 s]*
/proc/loadavg: 8.66 8.70 8.73 2/199 31064
/proc/meminfo: memFree=24306404/32770624 swapFree=67108372/67108860
[pid=31044] ppid=31041 vsize=26103420 memory=46940 CPUtime=0.43 cores=0-7
/proc/31044/stat : 31044 (java) S 31041 31044 30393 0 -1 1077944320 10879 0 0 0 40 3 0 0 20 0 20 0 253713624 26729902080 11735 33554432000 4194304 4196468 140736730620704 140736730603248 140274528263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
/proc/31044/statm: 6525855 11735 3414 1 0 6487932 0
[pid=31044/tid=31046] ppid=31041 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31044/task/31046/stat : 31046 (java) R 31041 31044 30393 0 -1 4202560 8573 0 0 0 28 1 0 0 20 0 20 0 253713625 26729902080 11735 33554432000 4194304 4196468 140736730620704 140274532464840 140274512344414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31047] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31047/stat : 31047 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 11735 33554432000 4194304 4196468 140736730620704 140274450844304 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31048] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31048/stat : 31048 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 11735 33554432000 4194304 4196468 140736730620704 140274449791504 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31049] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31049/stat : 31049 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 11735 33554432000 4194304 4196468 140736730620704 140274448738704 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31050] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31050/stat : 31050 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 11735 33554432000 4194304 4196468 140736730620704 140274447685904 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31051] ppid=31041 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/31044/task/31051/stat : 31051 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 11735 33554432000 4194304 4196468 140736730620704 140274446634128 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31052] ppid=31041 vsize=26103420 memory=139638647911343 CPUtime=0 cores=0-7
/proc/31044/task/31052/stat : 31052 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 11735 33554432000 4194304 4196468 140736730620704 140274445581328 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31053] ppid=31041 vsize=26103420 memory=139638647913648 CPUtime=0 cores=0-7
/proc/31044/task/31053/stat : 31053 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 11735 33554432000 4194304 4196468 140736730620704 140274444528528 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31054] ppid=31041 vsize=26103420 memory=139638647915952 CPUtime=0 cores=0-7
/proc/31044/task/31054/stat : 31054 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253713626 26729902080 11735 33554432000 4194304 4196468 140736730620704 140274443475728 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31055] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31055/stat : 31055 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713627 26729902080 11735 33554432000 4194304 4196468 140736730620704 140273203964272 140274528275074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31056] ppid=31041 vsize=26103420 memory=279277295838864 CPUtime=0 cores=0-7
/proc/31044/task/31056/stat : 31056 (java) S 31041 31044 30393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253713628 26729902080 11735 33554432000 4194304 4196468 140736730620704 140273202910240 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31057] ppid=31041 vsize=26103420 memory=279277295845776 CPUtime=0 cores=0-7
/proc/31044/task/31057/stat : 31057 (java) S 31041 31044 30393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253713628 26729902080 11735 33554432000 4194304 4196468 140736730620704 140273201857392 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31058] ppid=31041 vsize=26103420 memory=279277295787056 CPUtime=0 cores=0-7
/proc/31044/task/31058/stat : 31058 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 11735 33554432000 4194304 4196468 140736730620704 140273200805712 140274528282523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31059] ppid=31041 vsize=26103420 memory=279277295859600 CPUtime=0.01 cores=0-7
/proc/31044/task/31059/stat : 31059 (java) S 31041 31044 30393 0 -1 1077944384 535 0 0 0 1 0 0 0 20 0 20 0 253713630 26729902080 11735 33554432000 4194304 4196468 140736730620704 140273199754096 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31060] ppid=31041 vsize=26103420 memory=279277295866512 CPUtime=0.01 cores=0-7
/proc/31044/task/31060/stat : 31060 (java) S 31041 31044 30393 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 20 0 253713630 26729902080 11735 33554432000 4194304 4196468 140736730620704 140273198701296 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31061] ppid=31041 vsize=26103420 memory=279277295864208 CPUtime=0 cores=0-7
/proc/31044/task/31061/stat : 31061 (java) S 31041 31044 30393 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 11735 33554432000 4194304 4196468 140736730620704 140273197648496 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31062] ppid=31041 vsize=26103420 memory=279277295880816 CPUtime=0.07 cores=0-7
/proc/31044/task/31062/stat : 31062 (java) S 31041 31044 30393 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 20 0 253713630 26729902080 11735 33554432000 4194304 4196468 140736730620704 140273196595696 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31063] ppid=31041 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31063/stat : 31063 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253713630 26729902080 11735 33554432000 4194304 4196468 140736730620704 140273195543136 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31064] ppid=31041 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/31044/task/31064/stat : 31064 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713631 26729902080 11735 33554432000 4194304 4196468 140736730620704 140273194490416 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46940 KiB

[startup+0.700919 s]
/proc/loadavg: 8.66 8.70 8.73 2/199 31064
/proc/meminfo: memFree=24282304/32770624 swapFree=67108372/67108860
[pid=31044] ppid=31041 vsize=26105488 memory=87860 CPUtime=0.98 cores=0-7
/proc/31044/stat : 31044 (java) S 31041 31044 30393 0 -1 1077944320 17848 0 0 0 93 5 0 0 20 0 20 0 253713624 26732019712 21965 33554432000 4194304 4196468 140736730620704 140736730603248 140274528263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
/proc/31044/statm: 6526372 21965 3498 1 0 6488444 0
[pid=31044/tid=31046] ppid=31041 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/31044/task/31046/stat : 31046 (java) R 31041 31044 30393 0 -1 4202560 15057 0 0 0 64 3 0 0 20 0 20 0 253713625 26732019712 21965 33554432000 4194304 4196468 140736730620704 140274532488096 140274495853335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31047] ppid=31041 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31047/stat : 31047 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26732019712 21965 33554432000 4194304 4196468 140736730620704 140274450844304 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31048] ppid=31041 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31048/stat : 31048 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26732019712 21965 33554432000 4194304 4196468 140736730620704 140274449791504 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31049] ppid=31041 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/31044/task/31049/stat : 31049 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26732019712 21965 33554432000 4194304 4196468 140736730620704 140274448738704 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31050] ppid=31041 vsize=26105488 memory=11628 CPUtime=0 cores=0-7
/proc/31044/task/31050/stat : 31050 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26732019712 21965 33554432000 4194304 4196468 140736730620704 140274447685904 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31051] ppid=31041 vsize=26105488 memory=752 CPUtime=0 cores=0-7
/proc/31044/task/31051/stat : 31051 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26732019712 21965 33554432000 4194304 4196468 140736730620704 140274446634128 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31052] ppid=31041 vsize=26105488 memory=1276 CPUtime=0 cores=0-7
/proc/31044/task/31052/stat : 31052 (java) S 31041 31044 30393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253713626 26732019712 21965 33554432000 4194304 4196468 140736730620704 140274445581328 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31053] ppid=31041 vsize=26105488 memory=1068 CPUtime=0 cores=0-7
/proc/31044/task/31053/stat : 31053 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713626 26732019712 21965 33554432000 4194304 4196468 140736730620704 140274444528528 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31054] ppid=31041 vsize=26105488 memory=14884 CPUtime=0 cores=0-7
/proc/31044/task/31054/stat : 31054 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253713626 26732019712 21965 33554432000 4194304 4196468 140736730620704 140274443475728 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31055] ppid=31041 vsize=26105488 memory=38168 CPUtime=0 cores=0-7
/proc/31044/task/31055/stat : 31055 (java) S 31041 31044 30393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253713627 26732019712 21965 33554432000 4194304 4196468 140736730620704 140273203964272 140274528275074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0

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

/proc/31044/task/31066/stat : 31066 (java) S 31041 31044 30393 0 -1 1077944384 13698 0 0 0 101 81 0 0 20 0 46 0 253714524 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273179996960 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31067] ppid=31041 vsize=27850524 memory=0 CPUtime=2475.4 cores=0-7
/proc/31044/task/31067/stat : 31067 (java) R 31041 31044 30393 0 -1 4202560 62006 0 0 0 247489 51 0 0 20 0 46 0 253714546 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273176841968 140274125127754 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31068] ppid=31041 vsize=27850524 memory=0 CPUtime=2475.04 cores=0-7
/proc/31044/task/31068/stat : 31068 (java) R 31041 31044 30393 0 -1 4202560 64189 0 0 0 247457 47 0 0 20 0 46 0 253714547 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273175790688 140274125644949 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31069] ppid=31041 vsize=27850524 memory=290763849282617370 CPUtime=0.12 cores=0-7
/proc/31044/task/31069/stat : 31069 (java) S 31041 31044 30393 0 -1 1077944384 605 0 0 0 12 0 0 0 20 0 46 0 253714547 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273174742544 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31070] ppid=31041 vsize=27850524 memory=288230596050944315 CPUtime=2474.13 cores=0-7
/proc/31044/task/31070/stat : 31070 (java) R 31041 31044 30393 0 -1 4202560 65976 0 0 0 247368 45 0 0 20 0 46 0 253714554 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273171585384 140274125646068 0 4 0 16800975 0 0 0 -1 1 0 0 30 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31071] ppid=31041 vsize=27850524 memory=13567081090131041 CPUtime=0.11 cores=0-7
/proc/31044/task/31071/stat : 31071 (java) S 31041 31044 30393 0 -1 1077944384 228 0 0 0 11 0 0 0 20 0 46 0 253714554 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273170539792 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31072] ppid=31041 vsize=27850524 memory=14884 CPUtime=0.12 cores=0-7
/proc/31044/task/31072/stat : 31072 (java) S 31041 31044 30393 0 -1 1077944384 152 0 0 0 12 0 0 0 20 0 46 0 253714554 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273169486992 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31073] ppid=31041 vsize=27850524 memory=38200 CPUtime=2472.65 cores=0-7
/proc/31044/task/31073/stat : 31073 (java) R 31041 31044 30393 0 -1 4202560 68244 0 0 0 247216 49 0 0 20 0 46 0 253714554 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273168426664 140274124960410 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31074] ppid=31041 vsize=27850524 memory=13756 CPUtime=0.09 cores=0-7
/proc/31044/task/31074/stat : 31074 (java) S 31041 31044 30393 0 -1 1077944384 144 0 0 0 9 0 0 0 20 0 46 0 253714555 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273167381392 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31075] ppid=31041 vsize=27850524 memory=13412 CPUtime=2473.23 cores=0-7
/proc/31044/task/31075/stat : 31075 (java) R 31041 31044 30393 0 -1 4202560 61790 0 0 0 247272 51 0 0 20 0 46 0 253714555 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273166322280 140274125829938 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31076] ppid=31041 vsize=27850524 memory=303430025850662080 CPUtime=2474.07 cores=0-7
/proc/31044/task/31076/stat : 31076 (java) R 31041 31044 30393 0 -1 4202560 64836 0 0 0 247355 52 0 0 20 0 46 0 253714555 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273165268904 140274123052396 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31077] ppid=31041 vsize=27850524 memory=14413709204281824 CPUtime=2476.45 cores=0-7
/proc/31044/task/31077/stat : 31077 (java) R 31041 31044 30393 0 -1 4202560 64478 0 0 0 247597 48 0 0 20 0 46 0 253714571 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273164216808 140274124152219 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31078] ppid=31041 vsize=27850524 memory=302920951967001792 CPUtime=2473.66 cores=0-7
/proc/31044/task/31078/stat : 31078 (java) R 31041 31044 30393 0 -1 4202560 66256 0 0 0 247315 51 0 0 20 0 46 0 253714572 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273163166520 140274512836342 0 4 0 16800975 0 0 0 -1 6 0 0 37 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31079] ppid=31041 vsize=27850524 memory=2061828 CPUtime=0.01 cores=0-7
/proc/31044/task/31079/stat : 31079 (java) S 31041 31044 30393 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 46 0 253714572 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273095009552 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31080] ppid=31041 vsize=27850524 memory=288230596050944315 CPUtime=0.01 cores=0-7
/proc/31044/task/31080/stat : 31080 (java) S 31041 31044 30393 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 46 0 253714572 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273091822736 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31081] ppid=31041 vsize=27850524 memory=13567081090131041 CPUtime=0 cores=0-7
/proc/31044/task/31081/stat : 31081 (java) S 31041 31044 30393 0 -1 1077944384 569 0 0 0 0 0 0 0 20 0 46 0 253714572 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273090769936 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31082] ppid=31041 vsize=27850524 memory=2144 CPUtime=0.01 cores=0-7
/proc/31044/task/31082/stat : 31082 (java) S 31041 31044 30393 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 46 0 253714572 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273089717136 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31083] ppid=31041 vsize=27850524 memory=1752 CPUtime=0.01 cores=0-7
/proc/31044/task/31083/stat : 31083 (java) S 31041 31044 30393 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 46 0 253714617 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273088665360 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31084] ppid=31041 vsize=27850524 memory=7822038051842261661 CPUtime=0 cores=0-7
/proc/31044/task/31084/stat : 31084 (java) S 31041 31044 30393 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 46 0 253714617 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273087612560 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31085] ppid=31041 vsize=27850524 memory=4715433313220523562 CPUtime=0 cores=0-7
/proc/31044/task/31085/stat : 31085 (java) S 31041 31044 30393 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 46 0 253714618 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273086559760 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31086] ppid=31041 vsize=27850524 memory=-6520471753822164382 CPUtime=0 cores=0-7
/proc/31044/task/31086/stat : 31086 (java) S 31041 31044 30393 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 46 0 253714618 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273085506960 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31087] ppid=31041 vsize=27850524 memory=-8707038579349950309 CPUtime=0 cores=0-7
/proc/31044/task/31087/stat : 31087 (java) S 31041 31044 30393 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 46 0 253714618 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273084454160 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31088] ppid=31041 vsize=27850524 memory=8514701219730522529 CPUtime=0 cores=0-7
/proc/31044/task/31088/stat : 31088 (java) S 31041 31044 30393 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 46 0 253714618 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273083401360 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31089] ppid=31041 vsize=27850524 memory=4713745541279610410 CPUtime=0 cores=0-7
/proc/31044/task/31089/stat : 31089 (java) S 31041 31044 30393 0 -1 1077944384 646 0 0 0 0 0 0 0 20 0 46 0 253714619 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273082348560 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31090] ppid=31041 vsize=27850524 memory=8514726395714825349 CPUtime=0 cores=0-7
/proc/31044/task/31090/stat : 31090 (java) S 31041 31044 30393 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 46 0 253714622 28518936576 515457 33554432000 4194304 4196468 140736730620704 140273081295760 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
Current children cumulated CPU time: 19901 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 2061828 KiB

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

[startup+2520.23 s]
# the end of solver process 31044 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19894 s, system=8.57503 s

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

[startup+2520.2 s]*
/proc/loadavg: 8.34 8.60 8.72 2/223 31150
/proc/meminfo: memFree=22285380/32770624 swapFree=67108372/67108860
[pid=31044] ppid=31041 vsize=28050216 memory=2063276 CPUtime=19902.5 cores=0-7
/proc/31044/stat : 31044 (java) S 31041 31044 30393 0 -1 1077944320 1222380 0 0 0 1989397 856 0 0 20 0 44 0 253713624 28723421184 515819 33554432000 4194304 4196468 140736730620704 140736730603248 140274528263927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
/proc/31044/statm: 7012554 515819 3628 1 0 6974105 0
[pid=31044/tid=31046] ppid=31041 vsize=28050216 memory=4872558044660077418 CPUtime=9.12 cores=0-7
/proc/31044/task/31046/stat : 31046 (java) S 31041 31044 30393 0 -1 1077944384 22378 0 0 0 904 8 0 0 20 0 44 0 253713625 28723421184 515819 33554432000 4194304 4196468 140736730620704 140274532500912 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31047] ppid=31041 vsize=28050216 memory=4126316290023845779 CPUtime=9.98 cores=0-7
/proc/31044/task/31047/stat : 31047 (java) S 31041 31044 30393 0 -1 1077944384 69851 0 0 0 952 46 0 0 20 0 44 0 253713626 28723421184 515819 33554432000 4194304 4196468 140736730620704 140274450844304 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31048] ppid=31041 vsize=28050216 memory=488 CPUtime=10.04 cores=0-7
/proc/31044/task/31048/stat : 31048 (java) S 31041 31044 30393 0 -1 1077944384 74203 0 0 0 958 46 0 0 20 0 44 0 253713626 28723421184 515819 33554432000 4194304 4196468 140736730620704 140274449791504 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31049] ppid=31041 vsize=28050216 memory=1616 CPUtime=10.04 cores=0-7
/proc/31044/task/31049/stat : 31049 (java) S 31041 31044 30393 0 -1 1077944384 49649 0 0 0 956 48 0 0 20 0 44 0 253713626 28723421184 515819 33554432000 4194304 4196468 140736730620704 140274448738704 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31050] ppid=31041 vsize=28050216 memory=1172 CPUtime=10.02 cores=0-7
/proc/31044/task/31050/stat : 31050 (java) S 31041 31044 30393 0 -1 1077944384 62004 0 0 0 958 44 0 0 20 0 44 0 253713626 28723421184 515819 33554432000 4194304 4196468 140736730620704 140274447685904 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31051] ppid=31041 vsize=28050216 memory=932 CPUtime=10.02 cores=0-7
/proc/31044/task/31051/stat : 31051 (java) S 31041 31044 30393 0 -1 1077944384 64654 0 0 0 957 45 0 0 20 0 44 0 253713626 28723421184 515819 33554432000 4194304 4196468 140736730620704 140274446634128 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31052] ppid=31041 vsize=28050216 memory=2061828 CPUtime=10.03 cores=0-7
/proc/31044/task/31052/stat : 31052 (java) S 31041 31044 30393 0 -1 1077944384 62866 0 0 0 958 45 0 0 20 0 44 0 253713626 28723421184 515819 33554432000 4194304 4196468 140736730620704 140274445581328 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31053] ppid=31041 vsize=28050216 memory=2061828 CPUtime=10.08 cores=0-7
/proc/31044/task/31053/stat : 31053 (java) S 31041 31044 30393 0 -1 1077944384 62213 0 0 0 964 44 0 0 20 0 44 0 253713626 28723421184 515819 33554432000 4194304 4196468 140736730620704 140274444528528 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31054] ppid=31041 vsize=28050216 memory=4400 CPUtime=10.02 cores=0-7
/proc/31044/task/31054/stat : 31054 (java) S 31041 31044 30393 0 -1 1077944384 56622 0 0 0 956 46 0 0 20 0 44 0 253713626 28723421184 515819 33554432000 4194304 4196468 140736730620704 140274443475728 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31055] ppid=31041 vsize=28050216 memory=1620 CPUtime=7.46 cores=0-7
/proc/31044/task/31055/stat : 31055 (java) S 31041 31044 30393 0 -1 1077944384 106570 0 0 0 656 90 0 0 20 0 44 0 253713627 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273203963776 140274528275074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31056] ppid=31041 vsize=28050216 memory=1220 CPUtime=0 cores=0-7
/proc/31044/task/31056/stat : 31056 (java) S 31041 31044 30393 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 44 0 253713628 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273202910304 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31057] ppid=31041 vsize=28050216 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/31044/task/31057/stat : 31057 (java) S 31041 31044 30393 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 44 0 253713628 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273201857408 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31059] ppid=31041 vsize=28050216 memory=38200 CPUtime=1.71 cores=0-7
/proc/31044/task/31059/stat : 31059 (java) R 31041 31044 30393 0 -1 4202560 10184 0 0 0 168 3 0 0 20 0 44 0 253713630 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273199754392 140274509785083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31060] ppid=31041 vsize=28050216 memory=3988 CPUtime=1.73 cores=0-7
/proc/31044/task/31060/stat : 31060 (java) S 31041 31044 30393 0 -1 1077944384 7990 0 0 0 171 2 0 0 20 0 44 0 253713630 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273198685808 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31061] ppid=31041 vsize=28050216 memory=1924 CPUtime=1.64 cores=0-7
/proc/31044/task/31061/stat : 31061 (java) S 31041 31044 30393 0 -1 1077944384 6451 0 0 0 162 2 0 0 20 0 44 0 253713630 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273197648496 140274528275074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31062] ppid=31041 vsize=28050216 memory=7532 CPUtime=1.2 cores=0-7
/proc/31044/task/31062/stat : 31062 (java) S 31041 31044 30393 0 -1 1077944384 19550 0 0 0 118 2 0 0 20 0 44 0 253713630 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273196595264 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31063] ppid=31041 vsize=28050216 memory=808 CPUtime=0 cores=0-7
/proc/31044/task/31063/stat : 31063 (java) S 31041 31044 30393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 253713630 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273195543136 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31065] ppid=31041 vsize=28050216 memory=752 CPUtime=0.01 cores=0-7
/proc/31044/task/31065/stat : 31065 (java) S 31041 31044 30393 0 -1 1077944384 1492 0 0 0 1 0 0 0 20 0 44 0 253714508 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273183146656 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31067] ppid=31041 vsize=28050216 memory=1276 CPUtime=2475.5 cores=0-7
/proc/31044/task/31067/stat : 31067 (java) S 31041 31044 30393 0 -1 1077944384 62008 0 0 0 247499 51 0 0 20 0 44 0 253714546 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273176842080 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31068] ppid=31041 vsize=28050216 memory=1068 CPUtime=2475.23 cores=0-7
/proc/31044/task/31068/stat : 31068 (java) S 31041 31044 30393 0 -1 1077944384 64190 0 0 0 247476 47 0 0 20 0 44 0 253714547 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273175789472 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31069] ppid=31041 vsize=28050216 memory=14884 CPUtime=0.12 cores=0-7
/proc/31044/task/31069/stat : 31069 (java) S 31041 31044 30393 0 -1 1077944384 639 0 0 0 12 0 0 0 20 0 44 0 253714547 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273174742544 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31070] ppid=31041 vsize=28050216 memory=38200 CPUtime=2474.3 cores=0-7
/proc/31044/task/31070/stat : 31070 (java) S 31041 31044 30393 0 -1 1077944384 65977 0 0 0 247385 45 0 0 20 0 44 0 253714554 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273171586528 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31071] ppid=31041 vsize=28050216 memory=13756 CPUtime=0.12 cores=0-7
/proc/31044/task/31071/stat : 31071 (java) S 31041 31044 30393 0 -1 1077944384 390 0 0 0 12 0 0 0 20 0 44 0 253714554 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273170539792 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31072] ppid=31041 vsize=28050216 memory=3316 CPUtime=0.12 cores=0-7
/proc/31044/task/31072/stat : 31072 (java) S 31041 31044 30393 0 -1 1077944384 264 0 0 0 12 0 0 0 20 0 44 0 253714554 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273169486992 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31073] ppid=31041 vsize=28050216 memory=488 CPUtime=2472.81 cores=0-7
/proc/31044/task/31073/stat : 31073 (java) S 31041 31044 30393 0 -1 1077944384 68245 0 0 0 247232 49 0 0 20 0 44 0 253714554 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273168428128 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31074] ppid=31041 vsize=28050216 memory=1616 CPUtime=0.09 cores=0-7
/proc/31044/task/31074/stat : 31074 (java) S 31041 31044 30393 0 -1 1077944384 165 0 0 0 9 0 0 0 20 0 44 0 253714555 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273167381392 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31075] ppid=31041 vsize=28050216 memory=1172 CPUtime=2473.4 cores=0-7
/proc/31044/task/31075/stat : 31075 (java) S 31041 31044 30393 0 -1 1077944384 61791 0 0 0 247289 51 0 0 20 0 44 0 253714555 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273166323744 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31076] ppid=31041 vsize=28050216 memory=932 CPUtime=2474.27 cores=0-7
/proc/31044/task/31076/stat : 31076 (java) S 31041 31044 30393 0 -1 1077944384 64838 0 0 0 247375 52 0 0 20 0 44 0 253714555 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273165269344 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31077] ppid=31041 vsize=28050216 memory=6416 CPUtime=2476.63 cores=0-7
/proc/31044/task/31077/stat : 31077 (java) S 31041 31044 30393 0 -1 1077944384 64478 0 0 0 247615 48 0 0 20 0 44 0 253714571 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273164218144 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31078] ppid=31041 vsize=28050216 memory=1572 CPUtime=2473.83 cores=0-7
/proc/31044/task/31078/stat : 31078 (java) S 31041 31044 30393 0 -1 1077944384 66256 0 0 0 247332 51 0 0 20 0 44 0 253714572 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273163165152 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31079] ppid=31041 vsize=28050216 memory=928 CPUtime=0.01 cores=0-7
/proc/31044/task/31079/stat : 31079 (java) S 31041 31044 30393 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 44 0 253714572 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273095009552 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31080] ppid=31041 vsize=28050216 memory=2196 CPUtime=0.01 cores=0-7
/proc/31044/task/31080/stat : 31080 (java) S 31041 31044 30393 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 44 0 253714572 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273091822736 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31081] ppid=31041 vsize=28050216 memory=3988 CPUtime=0 cores=0-7
/proc/31044/task/31081/stat : 31081 (java) S 31041 31044 30393 0 -1 1077944384 597 0 0 0 0 0 0 0 20 0 44 0 253714572 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273090769936 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31082] ppid=31041 vsize=28050216 memory=1924 CPUtime=0.02 cores=0-7
/proc/31044/task/31082/stat : 31082 (java) S 31041 31044 30393 0 -1 1077944384 678 0 0 0 2 0 0 0 20 0 44 0 253714572 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273089717136 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31083] ppid=31041 vsize=28050216 memory=7532 CPUtime=0.01 cores=0-7
/proc/31044/task/31083/stat : 31083 (java) S 31041 31044 30393 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 44 0 253714617 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273088665360 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31084] ppid=31041 vsize=28050216 memory=808 CPUtime=0 cores=0-7
/proc/31044/task/31084/stat : 31084 (java) S 31041 31044 30393 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 44 0 253714617 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273087612560 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31085] ppid=31041 vsize=28050216 memory=1796 CPUtime=0 cores=0-7
/proc/31044/task/31085/stat : 31085 (java) S 31041 31044 30393 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 44 0 253714618 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273086559760 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31086] ppid=31041 vsize=28050216 memory=916 CPUtime=0 cores=0-7
/proc/31044/task/31086/stat : 31086 (java) S 31041 31044 30393 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 44 0 253714618 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273085506960 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31087] ppid=31041 vsize=28050216 memory=5736 CPUtime=0 cores=0-7
/proc/31044/task/31087/stat : 31087 (java) S 31041 31044 30393 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 44 0 253714618 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273084454160 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31088] ppid=31041 vsize=28050216 memory=4104 CPUtime=0 cores=0-7
/proc/31044/task/31088/stat : 31088 (java) S 31041 31044 30393 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 44 0 253714618 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273083401360 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31089] ppid=31041 vsize=28050216 memory=1408 CPUtime=0.01 cores=0-7
/proc/31044/task/31089/stat : 31089 (java) S 31041 31044 30393 0 -1 1077944384 864 0 0 0 1 0 0 0 20 0 44 0 253714619 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273082348560 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31090] ppid=31041 vsize=28050216 memory=4632 CPUtime=0 cores=0-7
/proc/31044/task/31090/stat : 31090 (java) S 31041 31044 30393 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 44 0 253714622 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273081295760 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
[pid=31044/tid=31148] ppid=31041 vsize=28050216 memory=2061828 CPUtime=0 cores=0-7
/proc/31044/task/31148/stat : 31148 (java) S 31041 31044 30393 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 44 0 253965627 28723421184 515819 33554432000 4194304 4196468 140736730620704 140273080243056 140274528274133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140736730625102 140736730625285 140736730625285 140736730628047 0
Current children cumulated CPU time: 19902.5 s
Current children cumulated vsize: 28050216 KiB
Current children cumulated memory: 2063276 KiB

Child status: 143
Real time (s): 2520.23
CPU time (s): 19902.6
CPU user time (s): 19894
CPU system time (s): 8.57503
CPU usage (%): 789.711
Max. virtual memory (cumulated for all children) (KiB): 28050216
Max. memory (cumulated for all children) (KiB): 2063276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19894
system time used= 8.57503
maximum resident set size= 2064200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1222407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 700212
involuntary context switches= 426258


# summary of solver processes directly reported to runsolver:
#   pid: 31044
#   total CPU time (s): 19902.6
#   total CPU user time (s): 19894
#   total CPU system time (s): 8.57503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.9292 second user time and 33.2984 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-15 21:31:44
IDJOB=4309263
IDBENCH=141157
IDSOLVER=2793
FILE ID=node137/4309263-1534361504
RUNJOBID= node137-1534353937-30420
PBS_JOBID= 21038262
Free space on /tmp= 35832 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
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-4309263-1534361504/watcher-4309263-1534361504 -o /tmp/evaluation-result-4309263-1534361504/solver-4309263-1534361504 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534353937-30420 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 962131285 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309263-1534361504.xml

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

MD5SUM BENCH= 229d8d70b2521f5ebfd70fdb2bbdf7b3
RANDOM SEED=962131285

node137.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	: 5333.54
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.56
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	: 5333.54
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.56
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	: 5333.54
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.56
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	: 5333.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24340692 kB
MemAvailable:   31889144 kB
Buffers:          182716 kB
Cached:          7597460 kB
SwapCached:            8 kB
Active:          4058112 kB
Inactive:        3780848 kB
Active(anon):       5896 kB
Inactive(anon):   113400 kB
Active(file):    4052216 kB
Inactive(file):  3667448 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:             35932 kB
Writeback:             0 kB
AnonPages:         65576 kB
Mapped:            56272 kB
Shmem:             57816 kB
Slab:             285656 kB
SReclaimable:     257248 kB
SUnreclaim:        28408 kB
KernelStack:        3248 kB
PageTables:         4612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 35796 MiB
End job on node137 at 2018-08-15 22:13:45