Trace number 4291696

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 - Hybrid 2018-07-02SAT (TO)783852 2400.12 2337.93

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay100_c18.xml
MD5SUMd8b461fac2d17be3b89e017753091d4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark750618
Best CPU time to get the best result obtained on this benchmark2520.06
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":"sum","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.68/0.56	c version: 2018-07-02
0.68/0.56	c seed: 1907595647
0.68/0.56	c timeout: 2400
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
3.51/1.93	c Parsing done, starting first complete search...
4.03/2.17	o 0
4.57/2.34	o 6527
4.57/2.34	o 18807
4.57/2.34	o 25334
4.57/2.34	o 35323
4.57/2.34	o 47975
4.57/2.34	o 64491
4.57/2.34	o 66925
4.57/2.34	o 80776
4.57/2.34	o 83210
4.57/2.34	o 87313
4.57/2.34	o 89747
4.57/2.34	o 90894
4.57/2.34	o 93328
4.57/2.34	o 108372
4.57/2.34	o 110806
4.57/2.34	o 130788
4.57/2.34	o 133222
4.57/2.34	o 140375
4.57/2.34	o 142809
4.57/2.34	o 146478
4.57/2.34	o 148912
4.57/2.34	o 163909
4.57/2.34	o 166343
4.57/2.34	o 177636
4.57/2.34	o 180070
4.57/2.34	o 185576
4.57/2.34	o 188010
4.57/2.34	o 189023
4.57/2.34	o 191457
4.57/2.34	o 191805
4.57/2.34	o 192536
4.57/2.34	o 199073
4.57/2.34	o 207013
4.57/2.34	o 209447
4.57/2.34	o 211141
4.57/2.34	o 213422
4.57/2.34	o 222324
4.57/2.34	o 224044
4.57/2.34	o 224392
4.57/2.34	o 226478
4.57/2.34	o 226826
4.57/2.34	o 228520
4.57/2.34	o 237280
4.57/2.34	o 246683
4.57/2.34	o 250130
4.57/2.34	o 251648
4.57/2.34	o 253342
4.57/2.34	o 254977
4.57/2.34	o 255393
4.57/2.34	o 258974
4.57/2.34	o 263510
4.57/2.34	o 265145
4.57/2.34	o 265561
4.57/2.34	o 269142
4.57/2.34	o 269540
4.57/2.34	o 271974
4.57/2.34	o 273668
4.57/2.34	o 278016
4.57/2.34	o 282863
4.57/2.34	o 284498
4.57/2.34	o 284914
4.57/2.34	o 288495
4.57/2.34	o 289631
4.57/2.34	o 292065
4.57/2.34	o 293021
4.57/2.34	o 293360
4.57/2.34	o 295054
4.57/2.34	o 296190
4.57/2.34	o 298624
4.57/2.34	o 299580
4.57/2.34	o 301188
4.57/2.34	o 302882
4.57/2.34	o 302939
4.57/2.34	o 306092
4.57/2.34	o 307786
4.57/2.35	o 309421
4.57/2.35	o 309837
4.57/2.36	o 311065
4.57/2.37	o 312021
4.85/2.40	o 312417
4.85/2.40	o 312818
4.85/2.40	o 315252
4.85/2.40	o 316138
4.85/2.41	o 316208
4.85/2.41	o 317094
5.16/2.52	o 318527
5.16/2.52	o 320961
5.16/2.52	o 321917
5.16/2.53	o 323194
5.16/2.53	o 324150
5.76/2.71	o 324428
5.76/2.71	o 324940
5.76/2.71	o 325552
5.76/2.71	o 328387
5.76/2.71	o 331489
5.76/2.71	o 334324
5.76/2.71	o 336557
5.76/2.74	o 336947
5.88/2.85	o 338053
5.88/2.86	o 338137
5.88/2.86	o 338527
5.88/2.86	o 339831
5.88/2.86	o 340221
5.98/2.97	o 340385
5.98/2.97	o 341689
5.98/2.97	o 342079
6.19/3.18	o 342275
6.19/3.18	o 342714
6.19/3.18	o 343855
6.19/3.18	o 345549
6.40/3.31	o 345713
6.40/3.31	o 347407
6.73/3.61	o 348741
6.73/3.62	o 350435
6.73/3.62	o 351576
6.73/3.62	o 353270
6.73/3.63	o 353809
6.73/3.63	o 355503
6.85/3.73	o 356544
6.85/3.73	o 357083
6.85/3.73	o 358777
7.16/4.02	o 358941
7.16/4.03	o 360635
7.76/4.67	o 363297
7.76/4.67	o 367446
7.76/4.67	o 374155
9.28/6.17	o 374333
9.28/6.17	o 376027
9.28/6.18	o 377221
9.28/6.18	o 378915
9.88/6.75	o 378940
11.58/8.41	o 379187
11.58/8.42	o 379798
11.58/8.42	o 379823
11.58/8.42	o 383947
11.58/8.42	o 383972
11.78/8.64	o 385510
11.78/8.64	o 385535
13.49/10.37	o 386024
13.49/10.37	o 386049
13.49/10.37	o 386461
13.49/10.37	o 386486
13.59/10.41	o 387614
13.59/10.41	o 387639
13.59/10.41	o 391061
13.59/10.41	o 391086
14.30/11.11	o 391512
14.30/11.11	o 391537
16.81/13.66	o 392526
16.81/13.66	o 395973
16.81/13.66	o 397139
16.81/13.66	o 397164
16.81/13.66	o 398231
16.81/13.66	o 399397
16.81/13.66	o 399422
16.81/13.68	o 401066
16.81/13.68	o 401091
16.81/13.68	o 402232
16.81/13.68	o 402257
16.91/13.75	o 402683
16.91/13.75	o 402708
17.41/14.24	o 403385
17.41/14.24	o 403408
17.41/14.24	o 404574
17.41/14.24	o 405666
17.41/14.24	o 406832
17.41/14.24	o 406857
18.11/14.99	o 407898
18.11/14.99	o 407923
18.21/15.09	o 408349
18.21/15.09	o 408374
19.53/16.31	o 408708
19.53/16.31	o 408733
19.83/16.62	o 408758
19.83/16.62	o 411016
19.83/16.62	o 411041
20.43/17.23	o 411164
20.43/17.23	o 411189
20.43/17.23	o 413999
20.43/17.23	o 414024
20.43/17.23	o 415165
20.43/17.23	o 415190
21.43/18.26	o 415616
21.43/18.26	o 415641
26.28/23.01	o 416658
26.28/23.01	o 418175
26.28/23.01	o 418200
26.28/23.01	o 419341
26.28/23.01	o 419366
26.28/23.02	o 419792
26.28/23.02	o 419817
31.58/28.39	o 420127
31.58/28.39	o 420152
31.58/28.39	o 424276
31.58/28.40	o 424301
33.48/30.24	o 425099
33.48/30.24	o 425124
50.60/47.36	o 425712
50.60/47.36	o 425737
79.02/75.79	o 426964
79.02/75.79	o 427577
79.02/75.79	o 427602
79.02/75.80	o 429799
79.02/75.80	o 429824
79.12/75.80	o 430412
79.12/75.80	o 430437
136.78/133.48	o 432259
136.78/133.48	o 432284
136.78/133.49	o 433082
136.78/133.49	o 433107
205.15/201.77	o 433840
205.15/201.77	o 433865
205.15/201.78	o 434663
205.15/201.78	o 434688
205.35/201.98	o 435357
205.35/201.98	o 435382
205.35/201.98	o 436180
205.35/201.98	o 436205
221.67/218.23	o 436785
221.97/218.51	o 437804
221.97/218.51	o 437829
221.97/218.51	o 439498
221.97/218.51	o 439523
221.97/218.52	o 439841
221.97/218.52	o 439866
221.97/218.52	o 440664
221.97/218.52	o 440689
244.70/241.27	c First complete search done, starting ALNS search...
244.98/241.43	o 441168
244.98/241.43	o 441865
244.98/241.44	o 441890
244.98/241.44	o 442724
244.98/241.44	o 442749
244.98/241.44	o 443426
244.98/241.44	o 443451
244.98/241.44	o 444123
244.98/241.44	o 444148
244.98/241.44	o 445322
244.98/241.44	o 446024
244.98/241.44	o 446049
244.98/241.44	o 446285
244.98/241.44	o 446310
244.98/241.45	o 446322
244.98/241.45	o 447853
244.98/241.45	o 448555
244.98/241.45	o 448580
244.98/241.46	o 449568
244.98/241.46	o 449593
244.98/241.46	o 450270
244.98/241.46	o 450295
244.98/241.46	o 451022
244.98/241.46	o 451724
244.98/241.46	o 451749
244.98/241.46	o 452805
244.98/241.46	o 452830
244.98/241.46	o 453507
244.98/241.46	o 453532
244.98/241.46	o 454259
244.98/241.46	o 454961
244.98/241.47	o 454986
244.98/241.47	o 455655
244.98/241.47	o 455680
244.98/241.47	o 456357
244.98/241.48	o 456382
244.98/241.48	o 457109
244.98/241.48	o 457811
244.98/241.48	o 457836
244.98/241.48	o 458306
244.98/241.48	o 458331
244.98/241.48	o 459008
244.98/241.48	o 459033
244.98/241.48	o 459760
244.98/241.48	o 460462
244.98/241.48	o 460487
245.10/241.54	o 461008
245.10/241.54	o 461033
245.10/241.54	o 461144
245.10/241.54	o 462207
245.10/241.54	o 462909
245.10/241.54	o 462934
245.10/241.54	o 463300
245.10/241.55	o 463325
245.10/241.55	o 463661
245.10/241.55	o 464363
245.10/241.55	o 464388
246.97/242.89	o 466336
246.97/242.89	o 467399
246.97/242.89	o 471784
246.97/242.89	o 482939
246.97/242.89	o 484002
246.97/242.89	o 485517
246.97/242.90	o 486580
246.97/242.90	o 487457
247.19/242.90	o 490035
247.19/242.90	o 491098
247.19/242.90	o 492610
247.19/242.90	o 493673
247.19/242.90	o 493708
247.19/242.90	o 502285
247.19/242.90	o 504863
247.19/242.90	o 506803
247.19/242.90	o 509381
247.19/242.90	o 511956
247.19/242.90	o 513019
247.19/242.90	o 514962
247.19/242.91	o 517537
247.19/242.91	o 518600
247.19/242.91	o 518603
247.19/242.91	o 520115
247.19/242.91	o 521178
247.19/242.91	o 522371
247.19/242.91	o 524946
247.19/242.91	o 524949
247.19/242.91	o 527524
247.19/242.91	o 528587
247.19/242.91	o 529738
247.19/242.91	o 532313
247.19/242.96	o 534613
247.19/242.96	o 544228
247.19/242.96	o 544253
247.19/242.96	o 549017
247.19/242.96	o 549042
247.19/242.97	o 551775
247.19/242.97	o 551800
250.31/245.31	o 553890
250.31/245.33	o 556118
250.31/245.33	o 558319
258.92/253.66	o 560221
259.05/253.70	o 560698
259.15/253.82	o 560723
259.26/253.94	o 562112
259.26/253.94	o 562137
259.26/253.98	o 563066
259.26/253.98	o 563091
259.26/253.98	o 565324
259.26/253.98	o 565349
259.26/253.99	o 567785
259.26/253.99	o 570043
259.26/253.99	o 570068
264.51/259.05	o 570090
264.51/259.05	o 570395
264.51/259.05	o 572668
264.51/259.05	o 572973
264.51/259.07	o 575020
264.51/259.07	o 575801
264.51/259.07	o 578379
264.51/259.07	o 578684
264.51/259.07	o 581214
264.51/259.07	o 581519
264.51/259.09	o 582022
264.51/259.09	o 582327
264.64/259.13	o 583248
264.64/259.13	o 583505
264.64/259.13	o 586083
264.64/259.13	o 586388
264.64/259.13	o 586597
264.64/259.14	o 586891
264.64/259.14	o 587100
264.64/259.14	o 587196
264.64/259.14	o 587405
264.64/259.19	o 587604
264.64/259.19	o 590182
264.64/259.19	o 590487
264.64/259.19	o 590990
264.64/259.19	o 591295
264.74/259.23	o 591504
264.84/259.33	o 593906
264.84/259.33	o 594163
264.84/259.33	o 596741
264.84/259.33	o 597046
264.84/259.33	o 597255
264.84/259.35	o 597549
264.84/259.35	o 597854
264.84/259.35	o 598063
265.05/259.53	o 599448
265.05/259.53	o 599657
265.05/259.53	o 599753
265.05/259.53	o 599962
265.05/259.58	o 602363
265.05/259.58	o 605722
265.05/259.58	o 608557
265.16/259.65	o 608862
265.26/259.72	o 609071
265.26/259.77	o 609439
265.26/259.77	o 610960
265.26/259.77	o 613538
265.26/259.77	o 614319
265.26/259.77	o 616897
265.26/259.79	o 617202
265.26/259.79	o 618580
265.26/259.79	o 620030
265.26/259.79	o 622608
265.26/259.80	o 622865
265.26/259.80	o 625443
265.36/259.80	o 625748
265.36/259.84	o 626406
265.36/259.84	o 626672
265.36/259.84	o 627651
265.36/259.84	o 628391
265.36/259.84	o 631750
265.36/259.84	o 634328
265.36/259.87	o 634633
265.46/259.92	o 636011
265.46/259.93	o 636316
265.46/259.94	o 636680
265.46/259.94	o 637461
265.46/259.94	o 640039
265.46/259.94	o 640296
265.46/259.94	o 642874
265.46/259.94	o 643179
265.77/260.27	o 643236
265.87/260.33	o 644686
265.87/260.34	o 647521
265.87/260.34	o 650099
265.97/260.42	o 650404
270.15/264.47	o 650811
270.15/264.48	o 651999
270.26/264.50	o 652786
270.26/264.50	o 653106
270.26/264.50	o 655364
270.26/264.50	o 656300
270.26/264.50	o 658558
289.04/282.95	o 660063
290.37/284.17	o 661475
294.16/287.87	o 662337
294.26/287.95	o 662576
294.26/287.95	o 663988
294.26/287.95	o 664417
294.26/287.95	o 666675
294.26/287.95	o 668087
303.40/296.87	o 668332
303.40/296.87	o 669662
303.40/296.87	o 671167
303.51/297.00	o 677695
303.51/297.00	o 679107
303.63/297.04	o 687920
303.63/297.10	o 688825
303.74/297.12	o 694433
303.74/297.12	o 696050
303.74/297.14	o 697462
303.74/297.18	o 707869
303.86/297.21	o 710447
331.28/324.09	o 710533
331.68/324.46	o 711273
331.68/324.46	o 711797
331.68/324.46	o 714632
341.02/333.54	o 715135
341.66/334.17	o 716232
341.66/334.17	o 720331
343.02/335.40	o 722409
351.72/344.00	o 723295
362.58/354.56	o 723903
362.58/354.56	o 726738
362.98/354.90	o 727471
362.98/355.00	o 728637
392.66/383.87	o 730664
392.66/383.89	o 733242
423.65/414.06	o 733632
557.06/543.90	o 734162
595.56/581.37	o 735151
595.56/581.37	o 736037
596.67/582.46	o 736710
596.97/582.75	o 737577
749.16/731.05	o 737990
749.16/731.05	o 740565
821.25/801.09	o 744519
912.81/890.20	o 745360
912.81/890.20	o 746688
912.81/890.20	o 747684
912.81/890.20	o 748296
912.81/890.20	o 751131
924.92/902.09	o 753056
944.20/920.84	o 756074
944.20/920.85	o 756960
1077.86/1051.16	o 757396
1149.39/1120.77	o 761619
1409.03/1373.74	o 763130
1433.24/1397.14	o 764016
1989.03/1937.98	o 765590
2031.85/1979.76	o 767270
2031.85/1979.76	o 768156
2055.75/2002.82	o 769930
2055.75/2002.82	o 772416
2103.28/2049.23	o 777388
2103.28/2049.24	o 779279
2286.76/2227.85	o 781433
2286.86/2227.94	o 783852
2400.09/2337.90	s SATISFIABLE
2400.09/2337.91	v <instantiation>
2400.09/2337.91	v 	<list>
2400.09/2337.91	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]
2400.09/2337.91	v 	</list>
2400.09/2337.91	v 	<values>
2400.09/2337.91	v 		1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 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 1 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 1 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 1 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 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 1 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 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 1 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 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 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 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 1 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 1 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 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 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 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 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 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 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 1 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 1 0 0 0 0 0 0 
2400.09/2337.91	v 	</values>
2400.09/2337.91	v </instantiation>

Verifier Data 

OK	783852

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 (10133 MiB free)
  memory of node 1: 16384 MiB (10288 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291696-1532256997/watcher-4291696-1532256997 -o /tmp/evaluation-result-4291696-1532256997/solver-4291696-1532256997 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532226565-30210 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1907595647 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291696-1532256997.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1612, runsolver pid=1609

[startup+0.100091 s]*
/proc/loadavg: 1.70 1.60 1.52 3/215 1627
/proc/meminfo: memFree=20894388/32770624 swapFree=67108860/67108860
[pid=1612] ppid=1609 vsize=14082740 memory=31224 CPUtime=0.11 cores=0,2,4,6
/proc/1612/stat : 1612 (java) S 1609 1612 30179 0 -1 1077944320 6721 0 0 0 10 1 0 0 20 0 15 0 43262914 14420725760 7806 33554432000 4194304 4196468 140726059957232 140726059939776 140381838704375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
/proc/1612/statm: 3520685 7806 3139 1 0 3482761 0
[pid=1612/tid=1614] ppid=1609 vsize=14082740 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/1612/task/1614/stat : 1614 (java) R 1609 1612 30179 0 -1 4202560 5245 0 0 0 8 0 0 0 20 0 15 0 43262914 14420725760 8202 33554432000 4194304 4196468 140726059957232 140381842889056 140381818980189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1615] ppid=1609 vsize=14082740 memory=7948963741541478447 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1615/stat : 1615 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381753772688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1616] ppid=1609 vsize=14082740 memory=140144380208768 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1616/stat : 1616 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381752719888 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1617] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1617/stat : 1617 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381751667088 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1618] ppid=1609 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1618/stat : 1618 (java) S 1609 1612 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381750614288 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1619] ppid=1609 vsize=14082740 memory=140144380208768 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1619/stat : 1619 (java) S 1609 1612 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43262917 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381020445552 140381838715522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1620] ppid=1609 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1620/stat : 1620 (java) S 1609 1612 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43262917 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381019391520 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1621] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1621/stat : 1621 (java) S 1609 1612 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43262917 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381018338672 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1622] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1622/stat : 1622 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381017286992 140381838722971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1623] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1623/stat : 1623 (java) S 1609 1612 30179 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381016234352 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1624] ppid=1609 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1624/stat : 1624 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381015181552 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1625] ppid=1609 vsize=14082740 memory=140144380208768 CPUtime=0.01 cores=0,2,4,6
/proc/1612/task/1625/stat : 1625 (java) S 1609 1612 30179 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 15 0 43262920 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381014128752 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1626] ppid=1609 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1626/stat : 1626 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381013076192 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1627] ppid=1609 vsize=14082740 memory=140144380208768 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1627/stat : 1627 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 8268 33554432000 4194304 4196468 140726059957232 140381012024496 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31224 KiB

[startup+0.210239 s]*
/proc/loadavg: 1.70 1.60 1.52 4/215 1627
/proc/meminfo: memFree=20879008/32770624 swapFree=67108860/67108860
[pid=1612] ppid=1609 vsize=14082740 memory=46708 CPUtime=0.3 cores=0,2,4,6
/proc/1612/stat : 1612 (java) S 1609 1612 30179 0 -1 1077944320 10295 0 0 0 28 2 0 0 20 0 15 0 43262914 14420725760 11677 33554432000 4194304 4196468 140726059957232 140726059939776 140381838704375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
/proc/1612/statm: 3520685 11677 3372 1 0 3482761 0
[pid=1612/tid=1614] ppid=1609 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/1612/task/1614/stat : 1614 (java) S 1609 1612 30179 0 -1 1077944384 8037 0 0 0 19 1 0 0 20 0 15 0 43262914 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381842932560 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1615] ppid=1609 vsize=14082740 memory=4294967639 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1615/stat : 1615 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381753772688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1616] ppid=1609 vsize=14082740 memory=140144380237616 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1616/stat : 1616 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381752719888 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1617] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1617/stat : 1617 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381751667088 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1618] ppid=1609 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1618/stat : 1618 (java) S 1609 1612 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381750614288 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1619] ppid=1609 vsize=14082740 memory=140144380208768 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1619/stat : 1619 (java) S 1609 1612 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43262917 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381020445552 140381838715522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1620] ppid=1609 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1620/stat : 1620 (java) S 1609 1612 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43262917 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381019391520 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1621] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1621/stat : 1621 (java) S 1609 1612 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43262917 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381018338672 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1622] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1622/stat : 1622 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381017286992 140381838722971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1623] ppid=1609 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1612/task/1623/stat : 1623 (java) R 1609 1612 30179 0 -1 4202560 523 0 0 0 2 0 0 0 20 0 15 0 43262920 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381016234352 140381816595488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1624] ppid=1609 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1612/task/1624/stat : 1624 (java) R 1609 1612 30179 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 43262920 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381015181552 140381838715522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1625] ppid=1609 vsize=14082740 memory=140144380208768 CPUtime=0.06 cores=0,2,4,6
/proc/1612/task/1625/stat : 1625 (java) S 1609 1612 30179 0 -1 1077944384 281 0 0 0 6 0 0 0 20 0 15 0 43262920 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381014128752 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1626] ppid=1609 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1626/stat : 1626 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381013076192 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1627] ppid=1609 vsize=14082740 memory=140144380208768 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1627/stat : 1627 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 11677 33554432000 4194304 4196468 140726059957232 140381012024496 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46708 KiB

[startup+0.310344 s]*
/proc/loadavg: 1.70 1.60 1.52 3/215 1627
/proc/meminfo: memFree=20874408/32770624 swapFree=67108860/67108860
[pid=1612] ppid=1609 vsize=14082740 memory=50600 CPUtime=0.43 cores=0,2,4,6
/proc/1612/stat : 1612 (java) S 1609 1612 30179 0 -1 1077944320 10724 0 0 0 41 2 0 0 20 0 15 0 43262914 14420725760 12650 33554432000 4194304 4196468 140726059957232 140726059939776 140381838704375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
/proc/1612/statm: 3520685 12650 3412 1 0 3482761 0
[pid=1612/tid=1614] ppid=1609 vsize=14082740 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/1612/task/1614/stat : 1614 (java) R 1609 1612 30179 0 -1 4202560 8422 0 0 0 28 1 0 0 20 0 15 0 43262914 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381842919760 140381818979709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1615] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1615/stat : 1615 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381753772688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1616] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1616/stat : 1616 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381752719888 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1617] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1617/stat : 1617 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381751667088 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1618] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1618/stat : 1618 (java) S 1609 1612 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43262915 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381750614288 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1619] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1619/stat : 1619 (java) S 1609 1612 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43262917 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381020445552 140381838715522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1620] ppid=1609 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1620/stat : 1620 (java) S 1609 1612 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43262917 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381019391520 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1621] ppid=1609 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1621/stat : 1621 (java) S 1609 1612 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43262917 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381018338672 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1622] ppid=1609 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1622/stat : 1622 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381017286992 140381838722971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1623] ppid=1609 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1612/task/1623/stat : 1623 (java) S 1609 1612 30179 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 15 0 43262920 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381016234352 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1624] ppid=1609 vsize=14082740 memory=140144246106575 CPUtime=0.01 cores=0,2,4,6
/proc/1612/task/1624/stat : 1624 (java) S 1609 1612 30179 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 43262920 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381015181552 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1625] ppid=1609 vsize=14082740 memory=140144380210313 CPUtime=0.08 cores=0,2,4,6
/proc/1612/task/1625/stat : 1625 (java) S 1609 1612 30179 0 -1 1077944384 298 0 0 0 8 0 0 0 20 0 15 0 43262920 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381014128752 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1626] ppid=1609 vsize=14082740 memory=140144246097359 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1626/stat : 1626 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381013076192 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1627] ppid=1609 vsize=14082740 memory=280288626345952 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1627/stat : 1627 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262920 14420725760 12650 33554432000 4194304 4196468 140726059957232 140381012024496 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50600 KiB

[startup+0.700685 s]
/proc/loadavg: 1.70 1.60 1.52 3/215 1627
/proc/meminfo: memFree=20853672/32770624 swapFree=67108860/67108860
[pid=1612] ppid=1609 vsize=14084808 memory=88732 CPUtime=0.99 cores=0,2,4,6
/proc/1612/stat : 1612 (java) S 1609 1612 30179 0 -1 1077944320 17567 0 0 0 96 3 0 0 20 0 15 0 43262914 14422843392 22183 33554432000 4194304 4196468 140726059957232 140726059939776 140381838704375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
/proc/1612/statm: 3521202 22183 3499 1 0 3483273 0
[pid=1612/tid=1614] ppid=1609 vsize=14084808 memory=15868 CPUtime=0.67 cores=0,2,4,6
/proc/1612/task/1614/stat : 1614 (java) R 1609 1612 30179 0 -1 4202560 14843 0 0 0 65 2 0 0 20 0 15 0 43262914 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381842939552 140381822784862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1615] ppid=1609 vsize=14084808 memory=13888 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1615/stat : 1615 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381753772688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1616] ppid=1609 vsize=14084808 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1616/stat : 1616 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381752719888 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1617] ppid=1609 vsize=14084808 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1617/stat : 1617 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381751667088 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1618] ppid=1609 vsize=14084808 memory=140144246213472 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1618/stat : 1618 (java) S 1609 1612 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43262915 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381750614288 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1619] ppid=1609 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1619/stat : 1619 (java) S 1609 1612 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43262917 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381020445552 140381838715522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1620] ppid=1609 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1620/stat : 1620 (java) S 1609 1612 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43262917 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381019391520 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1621] ppid=1609 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1621/stat : 1621 (java) S 1609 1612 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43262917 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381018338672 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1622] ppid=1609 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1622/stat : 1622 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381017286992 140381838722971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1623] ppid=1609 vsize=14084808 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/1612/task/1623/stat : 1623 (java) S 1609 1612 30179 0 -1 1077944384 684 0 0 0 7 0 0 0 20 0 15 0 43262920 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381016234352 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1624] ppid=1609 vsize=14084808 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1612/task/1624/stat : 1624 (java) S 1609 1612 30179 0 -1 1077944384 255 0 0 0 7 0 0 0 20 0 15 0 43262920 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381015181552 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1625] ppid=1609 vsize=14084808 memory=6944656592387989600 CPUtime=0.15 cores=0,2,4,6
/proc/1612/task/1625/stat : 1625 (java) S 1609 1612 30179 0 -1 1077944384 404 0 0 0 15 0 0 0 20 0 15 0 43262920 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381014128752 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1626] ppid=1609 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1626/stat : 1626 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381013076192 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1627] ppid=1609 vsize=14084808 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1627/stat : 1627 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262920 14422843392 22183 33554432000 4194304 4196468 140726059957232 140381012024496 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88732 KiB

[startup+1.50081 s]
/proc/loadavg: 1.70 1.60 1.52 6/215 1627
/proc/meminfo: memFree=20813108/32770624 swapFree=67108860/67108860
[pid=1612] ppid=1609 vsize=14086856 memory=184480 CPUtime=2.79 cores=0,2,4,6
/proc/1612/stat : 1612 (java) S 1609 1612 30179 0 -1 1077944320 21609 0 0 0 273 6 0 0 20 0 15 0 43262914 14424940544 46120 33554432000 4194304 4196468 140726059957232 140726059939776 140381838704375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
/proc/1612/statm: 3521714 46120 3547 1 0 3483785 0
[pid=1612/tid=1614] ppid=1609 vsize=14086856 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/1612/task/1614/stat : 1614 (java) R 1609 1612 30179 0 -1 4202560 16656 0 0 0 142 4 0 0 20 0 15 0 43262914 14424940544 46120 33554432000 4194304 4196468 140726059957232 140381842937600 140381430279540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1615] ppid=1609 vsize=14086856 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1615/stat : 1615 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14424940544 46120 33554432000 4194304 4196468 140726059957232 140381753772688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1616] ppid=1609 vsize=14086856 memory=140144246213472 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1616/stat : 1616 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14424940544 46120 33554432000 4194304 4196468 140726059957232 140381752719888 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1617] ppid=1609 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1617/stat : 1617 (java) S 1609 1612 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43262915 14424940544 46120 33554432000 4194304 4196468 140726059957232 140381751667088 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1618] ppid=1609 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1618/stat : 1618 (java) S 1609 1612 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43262915 14424940544 46120 33554432000 4194304 4196468 140726059957232 140381750614288 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1619] ppid=1609 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1619/stat : 1619 (java) S 1609 1612 30179 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 43262917 14424940544 46120 33554432000 4194304 4196468 140726059957232 140381020445552 140381838715522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0

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

/proc/1612/task/1614/stat : 1614 (java) R 1609 1612 30179 0 -1 4202560 136825 0 0 0 224088 50 0 0 20 0 15 0 43262914 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381842941456 140381431038747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1615] ppid=1609 vsize=14093000 memory=904928 CPUtime=17.83 cores=0,2,4,6
/proc/1612/task/1615/stat : 1615 (java) S 1609 1612 30179 0 -1 1077944384 13616 0 0 0 1713 70 0 0 20 0 15 0 43262915 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381753772688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1616] ppid=1609 vsize=14093000 memory=1093968 CPUtime=17.79 cores=0,2,4,6
/proc/1612/task/1616/stat : 1616 (java) S 1609 1612 30179 0 -1 1077944384 12547 0 0 0 1708 71 0 0 20 0 15 0 43262915 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381752719888 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1617] ppid=1609 vsize=14093000 memory=1104100 CPUtime=17.81 cores=0,2,4,6
/proc/1612/task/1617/stat : 1617 (java) S 1609 1612 30179 0 -1 1077944384 16137 0 0 0 1711 70 0 0 20 0 15 0 43262915 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381751667088 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1618] ppid=1609 vsize=14093000 memory=1093968 CPUtime=17.82 cores=0,2,4,6
/proc/1612/task/1618/stat : 1618 (java) S 1609 1612 30179 0 -1 1077944384 13987 0 0 0 1713 69 0 0 20 0 15 0 43262915 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381750614288 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1619] ppid=1609 vsize=14093000 memory=0 CPUtime=1.93 cores=0,2,4,6
/proc/1612/task/1619/stat : 1619 (java) S 1609 1612 30179 0 -1 1077944384 59849 0 0 0 169 24 0 0 20 0 15 0 43262917 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381020445552 140381838715522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1620] ppid=1609 vsize=14093000 memory=1105160 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1620/stat : 1620 (java) S 1609 1612 30179 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 43262917 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381019391584 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1621] ppid=1609 vsize=14093000 memory=1105160 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1621/stat : 1621 (java) S 1609 1612 30179 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 43262917 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381018338688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1622] ppid=1609 vsize=14093000 memory=1105160 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1622/stat : 1622 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381017286992 140381838722971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1623] ppid=1609 vsize=14093000 memory=1105160 CPUtime=2.51 cores=0,2,4,6
/proc/1612/task/1623/stat : 1623 (java) S 1609 1612 30179 0 -1 1077944384 17345 0 0 0 248 3 0 0 20 0 15 0 43262920 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381016234352 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1624] ppid=1609 vsize=14093000 memory=4140 CPUtime=2.65 cores=0,2,4,6
/proc/1612/task/1624/stat : 1624 (java) S 1609 1612 30179 0 -1 1077944384 14093 0 0 0 262 3 0 0 20 0 15 0 43262920 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381015181552 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1625] ppid=1609 vsize=14093000 memory=1105160 CPUtime=1.23 cores=0,2,4,6
/proc/1612/task/1625/stat : 1625 (java) S 1609 1612 30179 0 -1 1077944384 19794 0 0 0 120 3 0 0 20 0 15 0 43262920 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381014128752 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1626] ppid=1609 vsize=14093000 memory=1105160 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1626/stat : 1626 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381013076192 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1627] ppid=1609 vsize=14093000 memory=4140 CPUtime=1.28 cores=0,2,4,6
/proc/1612/task/1627/stat : 1627 (java) S 1609 1612 30179 0 -1 1077944384 1344 0 0 0 64 64 0 0 20 0 15 0 43262920 14431232000 276290 33554432000 4194304 4196468 140726059957232 140381012024496 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1105160 KiB

[startup+2322.3 s]
/proc/loadavg: 0.61 0.74 0.93 2/194 1771
/proc/meminfo: memFree=21844740/32770624 swapFree=67108860/67108860
[pid=1612] ppid=1609 vsize=14093000 memory=1044288 CPUtime=2383.85 cores=0,2,4,6
/proc/1612/stat : 1612 (java) S 1609 1612 30179 0 -1 1077944320 309061 0 0 0 237971 414 0 0 20 0 15 0 43262914 14431232000 261072 33554432000 4194304 4196468 140726059957232 140726059939776 140381838704375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
/proc/1612/statm: 3523250 261072 3615 1 0 3485321 0
[pid=1612/tid=1614] ppid=1609 vsize=14093000 memory=1044288 CPUtime=2300.84 cores=0,2,4,6
/proc/1612/task/1614/stat : 1614 (java) R 1609 1612 30179 0 -1 4202560 138015 0 0 0 230034 50 0 0 20 0 15 0 43262914 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381842941392 140381429661739 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1615] ppid=1609 vsize=14093000 memory=1103560 CPUtime=18.34 cores=0,2,4,6
/proc/1612/task/1615/stat : 1615 (java) S 1609 1612 30179 0 -1 1077944384 13797 0 0 0 1762 72 0 0 20 0 15 0 43262915 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381753772688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1616] ppid=1609 vsize=14093000 memory=1065476 CPUtime=18.3 cores=0,2,4,6
/proc/1612/task/1616/stat : 1616 (java) S 1609 1612 30179 0 -1 1077944384 12741 0 0 0 1757 73 0 0 20 0 15 0 43262915 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381752719888 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1617] ppid=1609 vsize=14093000 memory=1054888 CPUtime=18.3 cores=0,2,4,6
/proc/1612/task/1617/stat : 1617 (java) S 1609 1612 30179 0 -1 1077944384 16309 0 0 0 1759 71 0 0 20 0 15 0 43262915 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381751667088 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1618] ppid=1609 vsize=14093000 memory=1044288 CPUtime=18.33 cores=0,2,4,6
/proc/1612/task/1618/stat : 1618 (java) S 1609 1612 30179 0 -1 1077944384 14296 0 0 0 1762 71 0 0 20 0 15 0 43262915 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381750614288 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1619] ppid=1609 vsize=14093000 memory=1044288 CPUtime=1.95 cores=0,2,4,6
/proc/1612/task/1619/stat : 1619 (java) S 1609 1612 30179 0 -1 1077944384 59873 0 0 0 171 24 0 0 20 0 15 0 43262917 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381020445552 140381838715522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1620] ppid=1609 vsize=14093000 memory=1044116 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1620/stat : 1620 (java) S 1609 1612 30179 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 43262917 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381019391584 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1621] ppid=1609 vsize=14093000 memory=1044288 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1621/stat : 1621 (java) S 1609 1612 30179 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 43262917 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381018338688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1622] ppid=1609 vsize=14093000 memory=1065476 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1622/stat : 1622 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381017286992 140381838722971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1623] ppid=1609 vsize=14093000 memory=1065336 CPUtime=2.51 cores=0,2,4,6
/proc/1612/task/1623/stat : 1623 (java) S 1609 1612 30179 0 -1 1077944384 17347 0 0 0 248 3 0 0 20 0 15 0 43262920 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381016234352 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1624] ppid=1609 vsize=14093000 memory=1065336 CPUtime=2.65 cores=0,2,4,6
/proc/1612/task/1624/stat : 1624 (java) S 1609 1612 30179 0 -1 1077944384 14096 0 0 0 262 3 0 0 20 0 15 0 43262920 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381015181552 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1625] ppid=1609 vsize=14093000 memory=1044116 CPUtime=1.23 cores=0,2,4,6
/proc/1612/task/1625/stat : 1625 (java) S 1609 1612 30179 0 -1 1077944384 19796 0 0 0 120 3 0 0 20 0 15 0 43262920 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381014128752 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1626] ppid=1609 vsize=14093000 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1626/stat : 1626 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381013076192 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1627] ppid=1609 vsize=14093000 memory=65 CPUtime=1.32 cores=0,2,4,6
/proc/1612/task/1627/stat : 1627 (java) S 1609 1612 30179 0 -1 1077944384 1350 0 0 0 66 66 0 0 20 0 15 0 43262920 14431232000 261072 33554432000 4194304 4196468 140726059957232 140381012024496 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
Current children cumulated CPU time: 2383.85 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1044288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2337.9 s]
/proc/loadavg: 0.70 0.76 0.93 2/194 1771
/proc/meminfo: memFree=21876584/32770624 swapFree=67108860/67108860
[pid=1612] ppid=1609 vsize=14093000 memory=1011976 CPUtime=2400.09 cores=0,2,4,6
/proc/1612/stat : 1612 (java) S 1609 1612 30179 0 -1 1077944320 311986 0 0 0 239594 415 0 0 20 0 15 0 43262914 14431232000 252994 33554432000 4194304 4196468 140726059957232 140726059939776 140381838704375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
/proc/1612/statm: 3523250 252994 3615 1 0 3485321 0
[pid=1612/tid=1614] ppid=1609 vsize=14093000 memory=1296 CPUtime=2316.2 cores=0,2,4,6
/proc/1612/task/1614/stat : 1614 (java) R 1609 1612 30179 0 -1 4202560 138330 0 0 0 231570 50 0 0 20 0 15 0 43262914 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381842941408 140381429661726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1615] ppid=1609 vsize=14093000 memory=1011968 CPUtime=18.55 cores=0,2,4,6
/proc/1612/task/1615/stat : 1615 (java) S 1609 1612 30179 0 -1 1077944384 13878 0 0 0 1783 72 0 0 20 0 15 0 43262915 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381753772688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1616] ppid=1609 vsize=14093000 memory=1011968 CPUtime=18.51 cores=0,2,4,6
/proc/1612/task/1616/stat : 1616 (java) S 1609 1612 30179 0 -1 1077944384 12858 0 0 0 1778 73 0 0 20 0 15 0 43262915 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381752719888 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1617] ppid=1609 vsize=14093000 memory=1033512 CPUtime=18.52 cores=0,2,4,6
/proc/1612/task/1617/stat : 1617 (java) S 1609 1612 30179 0 -1 1077944384 16348 0 0 0 1780 72 0 0 20 0 15 0 43262915 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381751667088 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1618] ppid=1609 vsize=14093000 memory=1103560 CPUtime=18.54 cores=0,2,4,6
/proc/1612/task/1618/stat : 1618 (java) S 1609 1612 30179 0 -1 1077944384 14385 0 0 0 1783 71 0 0 20 0 15 0 43262915 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381750614288 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1619] ppid=1609 vsize=14093000 memory=1065476 CPUtime=1.97 cores=0,2,4,6
/proc/1612/task/1619/stat : 1619 (java) S 1609 1612 30179 0 -1 1077944384 62131 0 0 0 173 24 0 0 20 0 15 0 43262917 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381020445552 140381838715522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1620] ppid=1609 vsize=14093000 memory=1044288 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1620/stat : 1620 (java) S 1609 1612 30179 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 43262917 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381019391584 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1621] ppid=1609 vsize=14093000 memory=1044288 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1621/stat : 1621 (java) S 1609 1612 30179 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 43262917 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381018338688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1622] ppid=1609 vsize=14093000 memory=1022740 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1622/stat : 1622 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381017286992 140381838722971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1623] ppid=1609 vsize=14093000 memory=1022740 CPUtime=2.51 cores=0,2,4,6
/proc/1612/task/1623/stat : 1623 (java) S 1609 1612 30179 0 -1 1077944384 17347 0 0 0 248 3 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381016234352 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1624] ppid=1609 vsize=14093000 memory=1011968 CPUtime=2.65 cores=0,2,4,6
/proc/1612/task/1624/stat : 1624 (java) S 1609 1612 30179 0 -1 1077944384 14096 0 0 0 262 3 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381015181552 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1625] ppid=1609 vsize=14093000 memory=1011968 CPUtime=1.23 cores=0,2,4,6
/proc/1612/task/1625/stat : 1625 (java) S 1609 1612 30179 0 -1 1077944384 19797 0 0 0 120 3 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381014128752 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1626] ppid=1609 vsize=14093000 memory=1011976 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1626/stat : 1626 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381013076192 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1627] ppid=1609 vsize=14093000 memory=4140 CPUtime=1.32 cores=0,2,4,6
/proc/1612/task/1627/stat : 1627 (java) S 1609 1612 30179 0 -1 1077944384 1375 0 0 0 66 66 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381012024496 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1011976 KiB

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

[startup+2337.93 s]
# the end of solver process 1612 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.97 s, system=4.15905 s

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

[startup+2337.9 s]
/proc/loadavg: 0.70 0.76 0.93 2/194 1771
/proc/meminfo: memFree=21876584/32770624 swapFree=67108860/67108860
[pid=1612] ppid=1609 vsize=14093000 memory=1011976 CPUtime=2400.09 cores=0,2,4,6
/proc/1612/stat : 1612 (java) S 1609 1612 30179 0 -1 1077944320 311986 0 0 0 239594 415 0 0 20 0 15 0 43262914 14431232000 252994 33554432000 4194304 4196468 140726059957232 140726059939776 140381838704375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
/proc/1612/statm: 3523250 252994 3615 1 0 3485321 0
[pid=1612/tid=1614] ppid=1609 vsize=14093000 memory=1296 CPUtime=2316.2 cores=0,2,4,6
/proc/1612/task/1614/stat : 1614 (java) R 1609 1612 30179 0 -1 4202560 138330 0 0 0 231570 50 0 0 20 0 15 0 43262914 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381842941408 140381429661726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1615] ppid=1609 vsize=14093000 memory=1011968 CPUtime=18.55 cores=0,2,4,6
/proc/1612/task/1615/stat : 1615 (java) S 1609 1612 30179 0 -1 1077944384 13878 0 0 0 1783 72 0 0 20 0 15 0 43262915 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381753772688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1616] ppid=1609 vsize=14093000 memory=1011968 CPUtime=18.51 cores=0,2,4,6
/proc/1612/task/1616/stat : 1616 (java) S 1609 1612 30179 0 -1 1077944384 12858 0 0 0 1778 73 0 0 20 0 15 0 43262915 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381752719888 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1617] ppid=1609 vsize=14093000 memory=1033512 CPUtime=18.52 cores=0,2,4,6
/proc/1612/task/1617/stat : 1617 (java) S 1609 1612 30179 0 -1 1077944384 16348 0 0 0 1780 72 0 0 20 0 15 0 43262915 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381751667088 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1618] ppid=1609 vsize=14093000 memory=1103560 CPUtime=18.54 cores=0,2,4,6
/proc/1612/task/1618/stat : 1618 (java) S 1609 1612 30179 0 -1 1077944384 14385 0 0 0 1783 71 0 0 20 0 15 0 43262915 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381750614288 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1619] ppid=1609 vsize=14093000 memory=1065476 CPUtime=1.97 cores=0,2,4,6
/proc/1612/task/1619/stat : 1619 (java) S 1609 1612 30179 0 -1 1077944384 62131 0 0 0 173 24 0 0 20 0 15 0 43262917 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381020445552 140381838715522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1620] ppid=1609 vsize=14093000 memory=1044288 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1620/stat : 1620 (java) S 1609 1612 30179 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 43262917 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381019391584 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1621] ppid=1609 vsize=14093000 memory=1044288 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1621/stat : 1621 (java) S 1609 1612 30179 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 43262917 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381018338688 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1622] ppid=1609 vsize=14093000 memory=1022740 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1622/stat : 1622 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381017286992 140381838722971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1623] ppid=1609 vsize=14093000 memory=1022740 CPUtime=2.51 cores=0,2,4,6
/proc/1612/task/1623/stat : 1623 (java) S 1609 1612 30179 0 -1 1077944384 17347 0 0 0 248 3 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381016234352 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1624] ppid=1609 vsize=14093000 memory=1011968 CPUtime=2.65 cores=0,2,4,6
/proc/1612/task/1624/stat : 1624 (java) S 1609 1612 30179 0 -1 1077944384 14096 0 0 0 262 3 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381015181552 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1625] ppid=1609 vsize=14093000 memory=1011968 CPUtime=1.23 cores=0,2,4,6
/proc/1612/task/1625/stat : 1625 (java) S 1609 1612 30179 0 -1 1077944384 19797 0 0 0 120 3 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381014128752 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1626] ppid=1609 vsize=14093000 memory=1011976 CPUtime=0 cores=0,2,4,6
/proc/1612/task/1626/stat : 1626 (java) S 1609 1612 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381013076192 140381838714581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
[pid=1612/tid=1627] ppid=1609 vsize=14093000 memory=4140 CPUtime=1.32 cores=0,2,4,6
/proc/1612/task/1627/stat : 1627 (java) S 1609 1612 30179 0 -1 1077944384 1375 0 0 0 66 66 0 0 20 0 15 0 43262920 14431232000 252994 33554432000 4194304 4196468 140726059957232 140381012024496 140381838715522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140726059959380 140726059959561 140726059959561 140726059962319 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1011976 KiB

Child status: 143
Real time (s): 2337.93
CPU time (s): 2400.12
CPU user time (s): 2395.97
CPU system time (s): 4.15905
CPU usage (%): 102.66
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1136788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.97
system time used= 4.15905
maximum resident set size= 1136932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93312
involuntary context switches= 4545


# summary of solver processes directly reported to runsolver:
#   pid: 1612
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2395.97
#   total CPU system time (s): 4.15905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5801 second user time and 21.5253 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-22 12:56:37
IDJOB=4291696
IDBENCH=141145
IDSOLVER=2746
FILE ID=node138/4291696-1532256997
RUNJOBID= node138-1532226565-30210
PBS_JOBID= 21018959
Free space on /tmp= 59072 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay100_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291696-1532256997/watcher-4291696-1532256997 -o /tmp/evaluation-result-4291696-1532256997/solver-4291696-1532256997 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532226565-30210 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1907595647 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291696-1532256997.xml

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

MD5SUM BENCH= d8b461fac2d17be3b89e017753091d4e
RANDOM SEED=1907595647

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20912248 kB
MemAvailable:   30023820 kB
Buffers:          242672 kB
Cached:          9110156 kB
SwapCached:            0 kB
Active:          4264864 kB
Inactive:        7070212 kB
Active(anon):    1984976 kB
Inactive(anon):    16972 kB
Active(file):    2279888 kB
Inactive(file):  7053240 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35716 kB
Writeback:            16 kB
AnonPages:       1989284 kB
Mapped:            49204 kB
Shmem:             17036 kB
Slab:             215628 kB
SReclaimable:     188556 kB
SUnreclaim:        27072 kB
KernelStack:        3536 kB
PageTables:        11700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2580040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1820672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 59072 MiB
End job on node138 at 2018-07-22 13:35:36