Trace number 4291740

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-07-02SAT (TO)838075 19904.7 2520.25

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1778468
Best CPU time to get the best result obtained on this benchmark19807.9
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 1081127856
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
2.08/1.10	c Parsing done, starting search...
14.02/6.86	o 4173
14.02/6.86	o 31782
14.02/6.87	o 39929
14.81/6.92	o 44065
14.81/6.92	o 50520
14.81/6.92	o 58667
14.81/6.92	o 62803
14.81/6.93	o 67551
14.81/6.93	o 79286
14.81/6.93	o 84034
14.81/6.93	o 94417
14.81/6.93	o 98617
14.81/6.95	o 110900
14.81/6.95	o 111512
14.81/6.95	o 115648
14.81/6.95	o 122376
14.81/6.95	o 127124
14.81/6.95	o 131260
14.81/6.96	o 135392
14.81/6.96	o 138721
14.81/6.96	o 146868
14.81/6.96	o 151004
14.81/6.96	o 155752
14.81/6.96	o 157822
14.81/6.97	o 166061
14.81/6.98	o 168131
14.81/6.98	o 169058
14.81/6.98	o 180551
14.81/6.98	o 181478
14.81/6.98	o 182621
14.81/6.99	o 183548
14.81/6.99	o 187577
14.81/6.99	o 191758
14.81/6.99	o 202067
14.81/6.99	o 202994
14.81/6.99	o 205974
14.81/6.99	o 206901
14.81/6.99	o 216832
14.81/7.00	o 220739
14.81/7.00	o 221666
14.81/7.00	o 223600
14.81/7.00	o 224527
14.81/7.01	o 234519
14.81/7.01	o 235446
14.81/7.01	o 238426
14.81/7.01	o 239353
14.81/7.01	o 241287
14.81/7.01	o 242214
14.81/7.01	o 243211
14.81/7.02	o 244138
14.81/7.02	o 248565
14.81/7.02	o 252472
14.81/7.02	o 254396
14.81/7.03	o 255333
14.81/7.03	o 257257
14.81/7.03	o 258184
14.81/7.03	o 261218
14.81/7.03	o 265125
14.81/7.03	o 267986
14.81/7.04	o 268913
14.81/7.04	o 269910
15.67/7.05	o 270837
15.67/7.05	o 271972
15.67/7.05	o 272899
15.67/7.05	o 273896
15.67/7.05	o 274823
15.67/7.05	o 275164
15.67/7.05	o 277088
15.67/7.05	o 279300
15.67/7.05	o 281224
15.67/7.05	o 282270
15.67/7.06	o 283207
15.67/7.06	o 285131
15.67/7.06	o 287193
15.67/7.06	o 289117
15.67/7.06	o 290044
15.67/7.07	o 290714
15.67/7.07	o 291849
15.67/7.07	o 292776
15.67/7.07	o 293773
15.67/7.07	o 294700
15.67/7.07	o 296161
15.67/7.07	o 297088
15.67/7.07	o 297209
15.67/7.07	o 298255
15.67/7.08	o 301116
15.67/7.08	o 301538
15.67/7.09	o 301865
15.67/7.09	o 302911
15.67/7.09	o 305772
15.67/7.09	o 307696
15.67/7.09	o 308623
15.67/7.09	o 310084
15.67/7.10	o 311011
15.67/7.10	o 312537
15.67/7.10	o 313464
15.67/7.10	o 313812
15.67/7.10	o 316673
15.67/7.10	o 317600
15.67/7.10	o 318468
15.67/7.11	o 319395
15.67/7.11	o 321329
15.67/7.11	o 322256
15.67/7.11	o 323717
15.67/7.12	o 325015
15.67/7.12	o 325479
15.67/7.12	o 327403
15.67/7.13	o 327634
15.67/7.13	o 328383
15.67/7.13	o 329153
15.67/7.14	o 329288
16.65/7.14	o 329429
16.65/7.14	o 329669
16.65/7.14	o 330028
16.65/7.15	o 330215
16.65/7.15	o 330298
16.65/7.15	o 331225
16.65/7.16	o 332290
16.65/7.16	o 332362
16.65/7.16	o 333568
16.65/7.17	o 333612
16.65/7.17	o 334041
16.65/7.17	o 335956
16.65/7.18	o 336075
16.65/7.18	o 336602
16.65/7.18	o 337529
16.65/7.19	o 337980
16.65/7.19	o 338907
16.65/7.19	o 339802
16.65/7.20	o 341760
16.98/7.20	o 342190
16.98/7.20	o 343117
16.98/7.21	o 343438
16.98/7.21	o 344139
16.98/7.21	o 344621
16.98/7.22	o 345151
16.98/7.22	o 347051
16.98/7.23	o 347390
16.98/7.23	o 347585
16.98/7.24	o 348933
16.98/7.24	o 349379
16.98/7.24	o 349529
16.98/7.24	o 349854
16.98/7.25	o 350114
16.98/7.25	o 350976
16.98/7.25	o 352741
16.98/7.26	o 353515
16.98/7.27	o 353854
16.98/7.27	o 354193
16.98/7.28	o 355261
16.98/7.28	o 356123
16.98/7.28	o 357252
16.98/7.28	o 358179
16.98/7.29	o 358517
16.98/7.29	o 358627
16.98/7.29	o 358974
16.98/7.29	o 359108
16.98/7.30	o 359173
16.98/7.30	o 359543
16.98/7.30	o 360088
16.98/7.30	o 361015
17.42/7.30	o 361297
17.42/7.30	o 361415
17.42/7.31	o 362720
17.42/7.31	o 363647
17.42/7.31	o 363972
17.42/7.31	o 365077
17.42/7.31	o 366004
17.42/7.31	o 366740
17.42/7.32	o 366857
17.42/7.32	o 367321
17.42/7.32	o 367781
17.42/7.32	o 368024
17.42/7.32	o 369245
17.42/7.32	o 369704
17.42/7.32	o 369942
17.42/7.32	o 370172
17.42/7.32	o 370631
17.42/7.33	o 370653
17.42/7.33	o 371112
17.42/7.33	o 372015
17.42/7.33	o 373285
17.42/7.34	o 373466
17.42/7.34	o 373805
17.42/7.34	o 374393
17.42/7.34	o 374732
17.42/7.34	o 374991
17.42/7.34	o 375918
17.42/7.34	o 376257
17.42/7.35	o 377941
17.42/7.35	o 379511
17.42/7.35	o 380732
17.42/7.35	o 380906
17.42/7.36	o 381659
17.42/7.36	o 381848
17.42/7.36	o 382405
17.42/7.36	o 382864
17.42/7.36	o 383158
17.42/7.36	o 383626
17.42/7.36	o 384085
17.42/7.37	o 384617
17.42/7.37	o 384907
17.42/7.37	o 385042
17.42/7.37	o 385904
17.42/7.37	o 385969
17.42/7.37	o 386831
17.42/7.37	o 387640
17.42/7.37	o 388861
17.42/7.37	o 389091
17.42/7.37	o 390312
17.42/7.38	o 390651
17.42/7.38	o 391239
17.42/7.38	o 391578
17.42/7.38	o 392236
17.42/7.38	o 393163
17.42/7.38	o 393502
17.42/7.38	o 393785
17.42/7.38	o 394124
17.42/7.39	o 394636
17.42/7.39	o 395563
17.42/7.39	o 395766
17.42/7.39	o 396693
17.42/7.39	o 397383
17.42/7.39	o 397842
17.42/7.40	o 398292
17.42/7.40	o 399597
17.76/7.40	o 400524
17.76/7.40	o 400566
17.76/7.40	o 400800
17.76/7.40	o 401522
17.76/7.40	o 401981
17.76/7.41	o 402314
17.76/7.41	o 403319
17.76/7.41	o 403778
17.76/7.41	o 404246
17.76/7.41	o 404705
17.76/7.41	o 404751
17.76/7.41	o 405678
17.76/7.41	o 406039
17.76/7.41	o 406675
17.76/7.41	o 407602
17.76/7.42	o 407896
17.76/7.42	o 408823
17.76/7.42	o 410520
17.76/7.42	o 411447
17.76/7.42	o 411589
17.76/7.42	o 412048
17.76/7.42	o 412393
17.76/7.43	o 412857
17.76/7.43	o 413359
17.76/7.43	o 413854
17.76/7.43	o 414781
17.76/7.43	o 415240
17.76/7.43	o 415907
17.76/7.43	o 416221
17.76/7.44	o 417172
17.76/7.44	o 417748
17.76/7.44	o 418207
17.76/7.44	o 420207
17.76/7.44	o 420384
17.76/7.45	o 420843
17.76/7.45	o 421069
17.76/7.45	o 421732
17.76/7.45	o 422594
17.76/7.45	o 422912
17.76/7.45	o 423206
17.76/7.45	o 424133
17.76/7.46	o 424505
17.76/7.46	o 424799
17.76/7.46	o 425726
17.76/7.46	o 426067
17.76/7.46	o 426730
17.76/7.46	o 427592
17.76/7.46	o 427657
17.76/7.47	o 428519
17.76/7.47	o 428580
17.76/7.47	o 429254
17.76/7.47	o 429306
17.76/7.47	o 430233
17.76/7.47	o 430527
17.76/7.47	o 431454
17.76/7.47	o 431646
17.76/7.48	o 431940
17.76/7.48	o 432867
17.76/7.48	o 433561
17.76/7.48	o 434227
17.76/7.48	o 435154
17.76/7.48	o 435448
17.76/7.48	o 436375
17.76/7.48	o 436454
17.76/7.49	o 437340
17.76/7.49	o 438236
17.76/7.49	o 439457
17.76/7.49	o 439829
17.76/7.49	o 441050
17.76/7.49	o 441753
17.76/7.49	o 442974
17.76/7.49	o 443901
17.76/7.49	o 444855
17.76/7.49	o 446327
17.76/7.50	o 446658
17.76/7.50	o 448251
18.44/7.50	o 449178
18.44/7.50	o 449472
18.44/7.50	o 450399
18.44/7.51	o 451275
18.44/7.51	o 452202
18.44/7.51	o 452423
18.44/7.51	o 452717
18.44/7.51	o 453644
18.44/7.51	o 454016
18.44/7.51	o 454310
18.44/7.52	o 455237
18.44/7.52	o 457463
18.44/7.53	o 458988
18.44/7.53	o 459915
18.44/7.53	o 460583
18.44/7.53	o 461233
18.44/7.53	o 461537
18.44/7.53	o 462758
18.44/7.53	o 462816
18.44/7.53	o 463340
18.44/7.53	o 464933
18.44/7.53	o 466154
18.44/7.54	o 467081
18.44/7.54	o 467291
18.44/7.54	o 467957
18.44/7.54	o 468884
18.44/7.55	o 469239
18.44/7.55	o 469611
18.44/7.55	o 469905
18.44/7.55	o 470832
18.44/7.56	o 471947
18.44/7.56	o 472874
18.44/7.56	o 473168
18.44/7.56	o 474095
18.44/7.56	o 474467
18.44/7.56	o 474761
18.44/7.56	o 475688
18.44/7.56	o 476406
18.44/7.56	o 476700
18.44/7.56	o 477627
18.44/7.56	o 477999
18.44/7.57	o 478293
18.44/7.57	o 479220
18.44/7.57	o 479673
18.44/7.57	o 480045
18.44/7.57	o 480339
18.44/7.57	o 481266
18.44/7.57	o 481522
18.44/7.57	o 481816
18.44/7.57	o 482743
18.44/7.57	o 482817
18.44/7.57	o 483754
18.44/7.57	o 484115
18.44/7.58	o 485678
18.44/7.58	o 486605
18.44/7.58	o 486899
18.44/7.58	o 487826
18.44/7.58	o 488198
18.44/7.58	o 488492
18.44/7.58	o 489419
18.44/7.58	o 489712
18.44/7.58	o 490006
18.44/7.58	o 490933
18.44/7.58	o 491627
18.44/7.58	o 491921
18.44/7.58	o 492848
18.44/7.59	o 493220
18.44/7.59	o 493514
18.44/7.59	o 494441
18.44/7.59	o 494807
18.44/7.60	o 495501
18.44/7.60	o 495795
18.44/7.60	o 496722
18.44/7.60	o 497094
18.44/7.60	o 497388
18.44/7.60	o 498315
19.26/7.61	o 498474
19.26/7.61	o 499401
19.26/7.62	o 500818
19.26/7.62	o 501745
19.26/7.62	o 502039
19.26/7.62	o 502966
19.26/7.62	o 503338
19.26/7.62	o 503632
19.26/7.62	o 504559
19.26/7.62	o 505931
19.26/7.62	o 506858
19.26/7.62	o 507494
19.26/7.62	o 508421
19.26/7.62	o 508715
19.26/7.62	o 509642
19.26/7.62	o 510014
19.26/7.62	o 510308
19.26/7.62	o 511235
19.26/7.65	o 511604
19.26/7.65	o 512885
19.26/7.65	o 513812
19.26/7.65	o 514106
19.26/7.65	o 515033
19.26/7.65	o 515405
19.26/7.65	o 515699
19.26/7.66	o 516626
19.26/7.66	o 516822
19.26/7.67	o 516933
19.26/7.67	o 518154
19.26/7.67	o 519081
19.26/7.67	o 519175
19.26/7.67	o 520102
19.26/7.67	o 520396
19.26/7.67	o 521323
20.01/7.71	o 522086
20.01/7.72	o 522380
20.01/7.72	o 523307
20.01/7.72	o 523659
20.01/7.74	o 523794
20.01/7.74	o 524088
20.01/7.74	o 525015
20.01/7.74	o 525367
20.01/7.75	o 526186
20.01/7.75	o 526480
20.01/7.75	o 527407
20.01/7.75	o 527550
20.01/7.76	o 528517
20.01/7.76	o 529444
20.01/7.76	o 529538
20.01/7.76	o 530759
20.01/7.76	o 531686
20.01/7.76	o 532273
20.01/7.77	o 532367
20.01/7.77	o 533588
20.01/7.77	o 534515
20.01/7.77	o 535321
20.01/7.77	o 536248
20.01/7.77	o 536542
20.01/7.77	o 537469
20.01/7.78	o 537841
20.01/7.78	o 538135
20.01/7.78	o 539062
20.01/7.78	o 539457
20.01/7.78	o 540384
20.01/7.78	o 540678
20.01/7.78	o 541605
20.01/7.78	o 541977
20.01/7.78	o 542271
20.01/7.78	o 543198
20.01/7.79	o 544012
20.01/7.79	o 544939
20.01/7.79	o 545233
20.01/7.79	o 546160
20.01/7.79	o 546512
20.86/7.82	o 546581
20.86/7.84	o 547467
20.86/7.85	o 547714
20.86/7.85	o 548641
20.86/7.85	o 549455
20.86/7.85	o 550382
20.86/7.85	o 550676
20.86/7.85	o 551603
20.86/7.87	o 551955
20.86/7.89	o 552831
20.86/7.90	o 553361
20.86/7.90	o 553997
20.86/7.90	o 554924
20.86/7.90	o 555218
21.59/7.90	o 556145
21.59/7.90	o 556967
21.59/7.90	o 557781
21.59/7.91	o 558708
21.59/7.91	o 559002
21.59/7.91	o 559929
21.59/7.91	o 560281
23.25/8.15	o 560929
23.25/8.15	o 561223
23.25/8.15	o 562150
23.25/8.15	o 562397
23.25/8.15	o 563324
23.25/8.15	o 564138
23.25/8.16	o 565065
23.25/8.16	o 565359
23.25/8.16	o 566286
23.25/8.16	o 566638
23.98/8.30	o 566882
24.83/8.35	o 566957
24.83/8.35	o 567884
24.83/8.36	o 568178
24.83/8.36	o 569105
24.83/8.36	o 569452
24.83/8.37	o 569932
24.83/8.37	o 570758
24.83/8.37	o 572321
24.83/8.37	o 573025
24.83/8.37	o 574588
24.83/8.37	o 575515
24.83/8.37	o 575809
24.83/8.37	o 576736
24.83/8.37	o 576876
24.83/8.37	o 577219
24.83/8.37	o 577580
24.83/8.37	o 579143
24.83/8.37	o 580070
24.83/8.37	o 580364
24.83/8.38	o 581291
28.02/8.75	o 582784
28.02/8.76	o 583711
28.02/8.76	o 584005
28.02/8.76	o 584932
28.02/8.76	o 585304
28.02/8.76	o 585598
28.02/8.76	o 586525
28.02/8.76	o 586659
28.02/8.76	o 587586
28.02/8.76	o 587958
28.02/8.76	o 588252
28.02/8.76	o 589179
28.02/8.77	o 589487
28.02/8.77	o 589993
28.02/8.77	o 590920
28.02/8.77	o 591214
28.02/8.77	o 592141
28.78/8.81	o 592493
29.61/8.97	o 592715
29.61/8.97	o 593642
29.61/8.97	o 593776
29.61/8.97	o 594148
29.61/8.97	o 595369
29.61/8.97	o 596296
29.61/9.00	o 596604
29.61/9.00	o 597110
29.61/9.00	o 598331
29.61/9.00	o 599258
29.61/9.00	o 599610
32.73/9.38	o 599997
32.73/9.39	o 600349
39.87/10.20	o 600475
39.87/10.21	o 601214
39.87/10.21	o 601522
39.87/10.21	o 602028
39.87/10.21	o 602510
39.87/10.21	o 603249
39.87/10.21	o 603437
39.87/10.21	o 604176
40.67/10.35	o 604570
40.67/10.36	o 605309
40.67/10.36	o 605497
40.67/10.36	o 606236
40.67/10.37	o 606544
40.67/10.37	o 607050
40.67/10.37	o 607532
40.67/10.37	o 608271
40.67/10.37	o 608459
40.67/10.37	o 609198
41.47/10.41	o 609550
71.74/14.30	o 610092
71.74/14.30	o 610574
72.53/14.31	o 611313
72.53/14.31	o 611354
72.53/14.31	o 612093
75.76/14.79	o 612399
75.76/14.79	o 612693
75.76/14.80	o 612881
75.76/14.80	o 613620
76.58/14.81	o 613649
76.58/14.86	o 613998
76.58/14.87	o 614292
76.58/14.87	o 614480
76.58/14.87	o 615219
76.58/14.87	o 615591
76.58/14.87	o 615885
76.58/14.87	o 616073
76.58/14.87	o 616812
76.58/14.87	o 616841
76.58/14.88	o 617079
76.58/14.89	o 617273
76.58/14.89	o 617461
76.58/14.89	o 618200
76.58/14.89	o 618572
76.58/14.89	o 618866
76.58/14.89	o 619054
76.58/14.90	o 619793
76.58/14.90	o 619950
76.58/14.90	o 620689
76.58/14.90	o 621115
76.58/14.90	o 621409
76.58/14.90	o 621597
76.58/14.90	o 622336
76.58/14.90	o 622708
76.58/14.90	o 623002
76.58/14.90	o 623190
76.58/14.90	o 623929
77.39/14.91	o 623958
81.30/15.49	o 624237
81.30/15.49	o 624743
82.10/15.50	o 624931
82.10/15.50	o 625670
82.10/15.50	o 625964
82.10/15.50	o 626152
82.10/15.50	o 626891
82.10/15.50	o 626920
82.10/15.57	o 627243
82.10/15.58	o 627272
115.45/19.72	o 627334
115.45/19.72	o 627363
116.24/19.89	o 627630
116.24/19.90	o 628216
116.24/19.90	o 628444
116.24/19.90	o 628632
116.24/19.90	o 629371
116.24/19.90	o 629665
117.05/19.91	o 629853
117.05/19.91	o 630592
117.05/19.91	o 631178
117.05/19.91	o 631207
117.05/19.96	o 631933
117.05/19.96	o 632227
117.05/19.96	o 632415
117.05/19.96	o 633154
117.05/19.96	o 633526
117.05/19.96	o 633820
117.05/19.96	o 634008
117.05/19.96	o 634747
117.05/19.96	o 635333
117.05/19.97	o 635362
117.05/19.97	o 635561
117.05/19.97	o 635749
117.05/19.97	o 636488
117.05/19.97	o 636782
117.05/19.97	o 636970
117.05/19.97	o 637709
117.05/19.98	o 638295
117.05/19.98	o 638324
118.71/20.12	o 638883
118.71/20.13	o 638912
118.71/20.14	o 639469
118.71/20.14	o 639498
118.71/20.15	o 639697
118.71/20.15	o 639885
118.71/20.15	o 640624
118.71/20.15	o 640918
118.71/20.16	o 641106
118.71/20.16	o 641845
118.71/20.16	o 642431
118.71/20.16	o 642460
159.30/25.27	o 642476
159.30/25.27	o 643062
159.30/25.28	o 643350
159.30/25.28	o 643644
159.30/25.28	o 643832
159.30/25.28	o 644571
159.30/25.28	o 645157
159.30/25.28	o 645852
159.30/25.28	o 646040
159.30/25.28	o 646779
159.30/25.28	o 647073
159.30/25.28	o 647261
159.30/25.29	o 648000
159.30/25.29	o 648372
159.30/25.29	o 648666
159.30/25.29	o 648854
159.30/25.29	o 649593
159.30/25.29	o 650179
159.30/25.30	o 650208
160.12/25.40	o 650407
160.12/25.40	o 650595
160.93/25.41	o 651334
160.93/25.41	o 651628
160.93/25.41	o 651816
160.93/25.41	o 652555
160.93/25.41	o 653141
160.93/25.42	o 653170
166.53/26.16	o 653728
166.53/26.16	o 654100
166.53/26.17	o 654394
166.53/26.17	o 654582
166.53/26.17	o 655321
166.53/26.17	o 655907
166.53/26.17	o 655936
166.53/26.17	o 656104
166.53/26.17	o 656135
166.53/26.17	o 656323
166.53/26.17	o 657062
166.53/26.17	o 657356
166.53/26.17	o 657544
166.53/26.17	o 658283
166.53/26.17	o 658869
166.53/26.18	o 658898
168.04/26.31	o 659405
168.04/26.31	o 659991
168.04/26.32	o 660020
196.75/29.98	o 660146
196.75/29.99	o 660732
197.60/30.01	o 660981
197.60/30.02	o 661468
197.60/30.02	o 661762
197.60/30.02	o 661950
197.60/30.02	o 662689
197.60/30.02	o 663061
197.60/30.02	o 663355
197.60/30.02	o 663543
197.60/30.02	o 664282
197.60/30.02	o 664868
203.11/30.73	o 664901
203.11/30.73	o 665195
203.11/30.73	o 665383
203.11/30.74	o 666122
203.11/30.74	o 666708
203.11/30.75	o 667244
203.11/30.75	o 667830
244.55/35.96	o 668537
244.55/35.97	o 668831
244.55/35.97	o 669019
244.55/35.97	o 669758
244.55/35.97	o 670344
244.55/35.98	o 670683
244.55/35.98	o 670758
244.55/35.98	o 671497
244.55/35.98	o 671685
244.55/35.98	o 672424
244.55/35.98	o 672718
244.55/35.98	o 672906
244.55/35.98	o 673645
244.55/35.98	o 674231
276.40/39.98	o 674653
281.18/40.55	o 674808
281.18/40.56	o 675394
281.18/40.56	o 675622
281.18/40.56	o 675810
281.18/40.56	o 676549
281.18/40.56	o 676843
281.18/40.56	o 677031
281.18/40.56	o 677770
281.18/40.56	o 678356
286.04/41.17	o 678944
286.04/41.18	o 679530
286.04/41.18	o 679758
286.04/41.18	o 679946
286.04/41.18	o 680685
286.04/41.18	o 680979
286.04/41.18	o 681167
286.04/41.18	o 681906
286.04/41.18	o 682492
430.96/59.33	o 682580
430.96/59.34	o 682775
430.96/59.34	o 682963
430.96/59.34	o 683702
430.96/59.34	o 684288
501.84/68.27	o 684430
501.84/68.28	o 685169
501.84/68.28	o 685651
501.84/68.28	o 686390
501.84/68.28	o 687108
501.84/68.28	o 687296
501.84/68.28	o 688035
501.84/68.28	o 688160
501.84/68.28	o 688611
501.84/68.28	o 689538
501.84/68.29	o 690277
502.67/68.32	o 690475
502.67/68.33	o 690769
502.67/68.33	o 691696
502.67/68.33	o 692360
502.67/68.33	o 692548
502.67/68.33	o 693287
625.25/83.75	o 693666
625.25/83.76	o 693960
625.25/83.76	o 694887
625.25/83.76	o 695551
625.25/83.76	o 695739
625.25/83.76	o 696478
738.10/98.00	o 696989
738.10/98.01	o 696993
738.96/98.01	o 697283
738.96/98.01	o 697287
738.96/98.01	o 697471
738.96/98.01	o 698210
738.96/98.01	o 698214
738.96/98.01	o 698796
738.96/98.02	o 698800
744.43/98.76	o 699332
744.43/98.77	o 699336
744.43/98.77	o 699918
744.43/98.77	o 699922
797.57/105.42	o 700025
797.57/105.42	o 700029
797.57/105.42	o 700611
797.57/105.42	o 700615
797.57/105.42	o 700642
797.57/105.42	o 700646
797.57/105.42	o 700830
797.57/105.42	o 701569
797.57/105.42	o 701573
797.57/105.42	o 701863
797.57/105.42	o 701867
797.57/105.42	o 702051
797.57/105.43	o 702790
797.57/105.43	o 702794
797.57/105.43	o 703376
797.57/105.44	o 703380
798.35/105.53	o 703422
798.35/105.53	o 704161
798.35/105.54	o 704165
798.35/105.54	o 704747
798.35/105.54	o 704751
798.35/105.54	o 704778
798.35/105.54	o 704782
798.35/105.54	o 704966
798.35/105.54	o 705705
798.35/105.54	o 705709
798.35/105.54	o 705999
798.35/105.54	o 706003
798.35/105.54	o 706187
798.35/105.54	o 706926
798.35/105.54	o 706930
798.35/105.54	o 707512
798.35/105.54	o 707516
799.93/105.79	o 707740
799.93/105.80	o 707744
799.93/105.80	o 707928
799.93/105.80	o 708667
799.93/105.80	o 708671
799.93/105.80	o 708961
799.93/105.80	o 708965
799.93/105.80	o 709149
799.93/105.80	o 709888
799.93/105.80	o 709892
799.93/105.80	o 710474
799.93/105.80	o 710478
824.52/108.81	o 711010
824.52/108.82	o 711014
824.52/108.82	o 711596
824.52/108.82	o 711600
882.39/116.15	o 711944
882.39/116.17	o 711948
882.39/116.17	o 712238
882.39/116.17	o 712242
882.39/116.17	o 712426
882.39/116.17	o 713165
882.39/116.17	o 713169
882.39/116.17	o 713751
882.39/116.17	o 713755
883.10/116.27	o 713980
883.10/116.27	o 713984
883.10/116.28	o 714168
883.10/116.28	o 714907
883.10/116.28	o 714911
883.10/116.28	o 715201
883.10/116.28	o 715205
883.10/116.28	o 715389
883.10/116.28	o 716128
883.10/116.28	o 716132
883.10/116.28	o 716714
883.10/116.28	o 716718
883.10/116.28	o 716745
883.10/116.28	o 716749
883.10/116.28	o 716933
883.10/116.28	o 717672
883.10/116.28	o 717676
883.10/116.29	o 717966
883.10/116.29	o 717970
883.10/116.29	o 718154
883.10/116.29	o 718893
883.10/116.29	o 718897
883.10/116.29	o 719479
883.10/116.29	o 719483
883.90/116.31	o 720015
883.90/116.32	o 720019
883.90/116.32	o 720601
883.90/116.32	o 720605
1435.04/186.10	o 720879
1435.04/186.10	o 720883
1435.83/186.11	o 721465
1435.83/186.11	o 721469
1437.36/186.40	o 721792
1438.14/186.41	o 721796
1438.14/186.41	o 722086
1438.14/186.41	o 722090
1438.14/186.41	o 722274
1438.14/186.41	o 723013
1438.14/186.41	o 723017
1438.14/186.41	o 723599
1438.14/186.41	o 723603
1453.98/188.44	o 724031
1453.98/188.44	o 724035
1453.98/188.49	o 724259
1453.98/188.50	o 724263
1453.98/188.50	o 724447
1453.98/188.50	o 725186
1453.98/188.50	o 725190
1453.98/188.50	o 725480
1453.98/188.50	o 725484
1453.98/188.50	o 725668
1453.98/188.50	o 726407
1453.98/188.50	o 726411
1453.98/188.50	o 726993
1453.98/188.50	o 726997
1455.56/188.68	o 727045
1455.56/188.69	o 727049
1455.56/188.69	o 727242
1455.56/188.69	o 727246
1455.56/188.69	o 727273
1455.56/188.69	o 727277
1455.56/188.69	o 727461
1455.56/188.69	o 728200
1455.56/188.69	o 728204
1455.56/188.69	o 728494
1455.56/188.69	o 728498
1455.56/188.69	o 728682
1455.56/188.69	o 729421
1455.56/188.69	o 729425
1455.56/188.69	o 730007
1455.56/188.69	o 730011
1455.56/188.69	o 730543
1455.56/188.70	o 730547
1455.56/188.70	o 731129
1455.56/188.70	o 731133
1739.67/224.67	o 731158
1739.67/224.67	o 731162
1740.42/224.74	o 731435
1740.42/224.74	o 731439
1740.42/224.74	o 731623
1740.42/224.74	o 732362
1740.42/224.74	o 732366
1740.42/224.74	o 732948
1740.42/224.74	o 732952
1740.42/224.75	o 732979
1740.42/224.75	o 732983
1740.42/224.75	o 733167
1740.42/224.75	o 733906
1740.42/224.75	o 733910
1740.42/224.75	o 734200
1740.42/224.75	o 734204
1740.42/224.75	o 734388
1740.42/224.75	o 735127
1740.42/224.75	o 735131
1740.42/224.75	o 735713
1740.42/224.75	o 735717
1763.34/227.61	o 736249
1763.34/227.62	o 736253
1763.34/227.62	o 736835
1763.34/227.62	o 736839
1855.04/239.27	o 737084
1855.04/239.28	o 737088
1855.04/239.28	o 737115
1855.04/239.28	o 737119
1855.04/239.28	o 737303
1855.04/239.28	o 738042
1855.04/239.28	o 738046
1855.04/239.28	o 738336
1855.04/239.28	o 738340
1855.04/239.28	o 738524
1855.04/239.28	o 739263
1855.04/239.28	o 739267
1855.04/239.28	o 739849
1855.04/239.28	o 739853
1855.88/239.30	o 740385
1855.88/239.30	o 740389
1855.88/239.30	o 740971
1855.88/239.31	o 740975
2235.94/287.48	o 741156
2235.94/287.49	o 741160
2235.94/287.49	o 741895
2235.94/287.49	o 741899
2235.94/287.49	o 742481
2235.94/287.49	o 742485
2235.94/287.49	o 742563
2235.94/287.49	o 742567
2235.94/287.49	o 743149
2235.94/287.49	o 743153
2235.94/287.49	o 743563
2235.94/287.49	o 744302
2235.94/287.49	o 744306
2236.74/287.50	o 744490
2236.74/287.50	o 744494
2236.74/287.50	o 745229
2236.74/287.50	o 745233
2236.74/287.50	o 745523
2236.74/287.50	o 745527
2236.74/287.50	o 745711
2236.74/287.50	o 746450
2236.74/287.50	o 746454
2236.74/287.50	o 747036
2236.74/287.50	o 747040
2428.14/311.71	o 747042
2428.14/311.72	o 747046
2428.14/311.72	o 747628
2428.14/311.72	o 747632
2432.95/312.37	o 747905
2432.95/312.38	o 747909
2432.95/312.38	o 748093
2432.95/312.38	o 748832
2432.95/312.38	o 748836
2432.95/312.38	o 749418
2432.95/312.38	o 749422
2432.95/312.38	o 749795
2432.95/312.38	o 749799
2432.95/312.38	o 750376
2432.95/312.38	o 750380
2432.95/312.38	o 750670
2432.95/312.38	o 750674
2432.95/312.38	o 750858
2432.95/312.38	o 751597
2432.95/312.38	o 751601
2432.95/312.39	o 752183
2432.95/312.39	o 752187
4518.34/576.05	o 752610
4518.34/576.06	o 752614
4518.34/576.06	o 753196
4518.34/576.06	o 753200
4518.34/576.07	o 753558
4518.34/576.07	o 753562
4518.34/576.07	o 753746
4518.34/576.07	o 754485
4518.34/576.07	o 754489
4518.34/576.07	o 754779
4518.34/576.07	o 754783
4518.34/576.07	o 754967
4518.34/576.08	o 755706
4518.34/576.08	o 755710
4518.34/576.08	o 756292
4518.34/576.08	o 756296
4600.59/586.43	o 756877
4600.59/586.44	o 756881
4600.59/586.44	o 757463
4600.59/586.44	o 757467
5081.81/647.27	o 757784
5081.81/647.28	o 757788
5081.81/647.28	o 758078
5081.81/647.28	o 758082
5081.81/647.28	o 758266
5081.81/647.28	o 759005
5081.81/647.28	o 759009
5081.81/647.28	o 759591
5081.81/647.28	o 759595
6665.60/847.42	o 760088
6770.90/860.78	o 760278
6770.90/860.78	o 760282
6770.90/860.79	o 760864
6770.90/860.79	o 760868
6783.60/862.31	o 761372
6783.60/862.32	o 761991
6783.60/862.32	o 762116
6783.60/862.32	o 762567
6783.60/862.32	o 763306
6783.60/862.32	o 763494
6783.60/862.32	o 764233
6975.21/886.53	o 764305
6975.21/886.53	o 764309
6975.21/886.53	o 765044
6975.21/886.53	o 765048
6975.21/886.53	o 765630
6975.21/886.53	o 765634
6975.21/886.55	o 766315
6975.21/886.55	o 766319
6975.21/886.55	o 766901
6975.21/886.55	o 766905
6975.21/886.55	o 767564
6975.21/886.55	o 768303
6975.21/886.55	o 768307
6975.21/886.56	o 768491
6975.21/886.56	o 768495
6975.21/886.56	o 769230
6975.21/886.56	o 769234
6975.21/886.56	o 769524
6975.21/886.56	o 769528
6975.21/886.56	o 769712
6975.21/886.56	o 770451
6975.21/886.56	o 770455
6975.21/886.56	o 771037
6975.21/886.56	o 771041
7989.55/1014.71	o 771611
7989.55/1014.71	o 771615
7992.78/1015.13	o 772147
7992.78/1015.13	o 772886
7992.78/1015.14	o 772890
7992.78/1015.14	o 773505
7992.78/1015.14	o 773509
7992.78/1015.14	o 773630
7992.78/1015.14	o 773634
7992.78/1015.14	o 773823
7992.78/1015.14	o 774081
7992.78/1015.14	o 774820
7992.78/1015.14	o 775008
7992.78/1015.14	o 775747
7992.78/1015.14	o 775751
8174.04/1038.08	o 776402
8174.04/1038.09	o 776406
8442.27/1072.00	o 776511
8442.27/1072.00	o 777438
8442.27/1072.00	o 777442
8442.27/1072.00	o 777677
8442.27/1072.00	o 777681
8442.27/1072.00	o 778296
8442.27/1072.00	o 778300
8442.27/1072.00	o 778421
8442.27/1072.00	o 778425
8442.27/1072.00	o 778578
8442.27/1072.00	o 778872
8442.27/1072.00	o 779799
8442.27/1072.00	o 780538
8443.19/1072.03	o 780542
9678.59/1228.13	o 780802
9678.59/1228.13	o 781541
9678.59/1228.14	o 781545
9678.59/1228.14	o 781729
9678.59/1228.14	o 781733
9678.59/1228.14	o 782468
9678.59/1228.14	o 782472
9678.59/1228.14	o 782762
9678.59/1228.14	o 782766
9678.59/1228.14	o 782950
9678.59/1228.14	o 783689
9678.59/1228.14	o 783693
9703.06/1231.26	o 784275
9703.06/1231.26	o 784279
9740.35/1235.95	o 784860
9740.35/1235.97	o 784864
9740.35/1235.97	o 785446
9740.35/1235.97	o 785450
9740.35/1235.97	o 785767
9740.35/1235.97	o 785771
9740.35/1235.97	o 786353
9740.35/1235.97	o 786357
9740.35/1235.97	o 786988
9740.35/1235.97	o 786992
9740.35/1235.97	o 787574
9740.35/1235.97	o 787578
10337.41/1311.29	o 787582
10338.21/1311.31	o 787586
10338.21/1311.31	o 787750
10338.21/1311.31	o 788677
10338.21/1311.31	o 788960
10338.21/1311.31	o 789416
10338.21/1311.31	o 789699
10338.21/1311.31	o 789703
10338.21/1311.31	o 790300
10338.21/1311.32	o 790304
10338.21/1311.32	o 790583
10338.21/1311.32	o 790587
10339.79/1311.54	o 790714
10339.79/1311.54	o 790718
10339.79/1311.55	o 791050
10339.79/1311.55	o 791333
10339.79/1311.55	o 791337
10339.79/1311.55	o 791458
10339.79/1311.55	o 791462
10339.79/1311.55	o 791651
10339.79/1311.55	o 792071
10339.79/1311.55	o 792354
10339.79/1311.55	o 792553
10339.79/1311.55	o 793292
10339.79/1311.55	o 793575
10339.79/1311.55	o 793579
10339.79/1311.55	o 793640
10339.79/1311.55	o 793644
10339.79/1311.55	o 793923
10339.79/1311.55	o 793927
10339.79/1311.56	o 794111
10339.79/1311.56	o 794567
10339.79/1311.56	o 794850
10339.79/1311.56	o 794854
10339.79/1311.56	o 795186
10339.79/1311.56	o 795190
10339.79/1311.56	o 795469
10339.79/1311.56	o 795473
10339.79/1311.56	o 795594
10339.79/1311.56	o 795598
10339.79/1311.56	o 795787
10339.79/1311.56	o 796207
10339.79/1311.56	o 796490
10339.79/1311.56	o 796689
10339.79/1311.56	o 797428
10339.79/1311.56	o 797711
10339.79/1311.57	o 797715
10339.79/1311.59	o 797973
10339.79/1311.60	o 797977
10339.79/1311.60	o 798256
10339.79/1311.60	o 798260
10339.79/1311.60	o 798712
10339.79/1311.60	o 798995
10339.79/1311.60	o 798999
10339.79/1311.60	o 799331
10339.79/1311.60	o 799335
10339.79/1311.60	o 799614
10339.79/1311.60	o 799618
10339.79/1311.60	o 799739
10339.79/1311.60	o 799743
10339.79/1311.60	o 799932
10339.79/1311.60	o 800352
10339.79/1311.60	o 800635
10339.79/1311.60	o 800834
10340.59/1311.61	o 801573
10340.59/1311.61	o 801856
10340.59/1311.61	o 801860
11272.41/1429.47	o 801926
11272.41/1429.47	o 801930
11272.41/1429.47	o 802648
11272.41/1429.47	o 803387
11272.41/1429.47	o 803391
11272.41/1429.47	o 803575
11272.41/1429.47	o 803579
11272.41/1429.48	o 804314
11272.41/1429.48	o 804318
11272.41/1429.48	o 804608
11272.41/1429.48	o 804612
11272.41/1429.48	o 804796
11272.41/1429.48	o 805535
11272.41/1429.49	o 805539
11272.41/1429.49	o 806121
11272.41/1429.49	o 806125
11278.73/1430.27	o 806481
11278.73/1430.27	o 806485
11281.93/1430.62	o 806802
11281.93/1430.64	o 806806
11281.93/1430.64	o 807096
11281.93/1430.64	o 807100
11281.93/1430.64	o 807284
11281.93/1430.64	o 808023
11281.93/1430.64	o 808027
11281.93/1430.64	o 808609
11281.93/1430.64	o 808613
12414.92/1573.64	o 808915
12414.92/1573.64	o 808919
12414.92/1573.64	o 809209
12414.92/1573.64	o 809213
12414.92/1573.64	o 809397
12414.92/1573.64	o 810136
12414.92/1573.65	o 810140
12414.92/1573.65	o 810722
12414.92/1573.65	o 810726
12423.62/1574.78	o 811082
12423.62/1574.78	o 811086
16218.23/2054.03	o 811403
16218.23/2054.03	o 811407
16218.23/2054.03	o 811697
16218.23/2054.03	o 811701
16218.23/2054.03	o 811885
16218.23/2054.03	o 812624
16218.23/2054.03	o 812628
16218.23/2054.04	o 813210
16218.23/2054.04	o 813214
17305.21/2191.63	o 813250
17305.21/2191.63	o 813894
17305.21/2191.64	o 814177
17305.21/2191.64	o 814633
17305.21/2191.64	o 814916
17305.21/2191.64	o 814920
17547.92/2222.33	o 815153
17547.92/2222.34	o 815436
17547.92/2222.34	o 815440
17547.92/2222.34	o 815501
17547.92/2222.34	o 815505
17547.92/2222.34	o 815689
17547.92/2222.34	o 816428
17547.92/2222.35	o 816432
17547.92/2222.35	o 816711
17547.92/2222.35	o 816715
17547.92/2222.35	o 816901
17547.92/2222.35	o 817184
17547.92/2222.35	o 817188
17547.92/2222.35	o 817330
17547.92/2222.35	o 817334
17547.92/2222.35	o 817455
17547.92/2222.35	o 817459
17547.92/2222.35	o 817648
17547.92/2222.35	o 818068
17547.92/2222.35	o 818351
17547.92/2222.35	o 818550
17547.92/2222.35	o 819289
17547.92/2222.35	o 819572
17547.92/2222.35	o 819576
17685.95/2239.84	o 819839
17685.95/2239.84	o 819843
17685.95/2239.84	o 820474
17685.95/2239.84	o 820478
17685.95/2239.84	o 821060
17685.95/2239.84	o 821064
17908.78/2268.05	o 821067
17908.78/2268.05	o 821346
17908.78/2268.05	o 821350
17908.78/2268.06	o 821411
17908.78/2268.06	o 821599
17908.78/2268.06	o 822338
17908.78/2268.06	o 822621
17908.78/2268.06	o 822625
17908.78/2268.06	o 822957
17908.78/2268.06	o 822961
17908.78/2268.06	o 823240
17908.78/2268.06	o 823244
17908.78/2268.06	o 823365
17908.78/2268.06	o 823369
17908.78/2268.06	o 823558
17908.78/2268.07	o 823978
17908.78/2268.07	o 824261
17908.78/2268.07	o 824460
17908.78/2268.07	o 825199
17908.78/2268.07	o 825482
17908.78/2268.07	o 825486
17914.27/2268.78	o 825556
17914.27/2268.79	o 825560
17914.27/2268.79	o 825839
17914.27/2268.79	o 825843
17914.27/2268.79	o 826027
17914.27/2268.79	o 826483
17914.27/2268.79	o 826766
17914.27/2268.79	o 826770
17914.27/2268.79	o 827102
17914.27/2268.79	o 827106
17914.27/2268.79	o 827385
17914.27/2268.79	o 827389
17914.27/2268.80	o 827510
17914.27/2268.80	o 827514
17914.27/2268.80	o 827703
17914.27/2268.80	o 828123
17914.27/2268.80	o 828406
17914.27/2268.80	o 828605
17914.27/2268.80	o 829344
17914.27/2268.80	o 829627
17914.27/2268.80	o 829631
18976.35/2402.91	o 829827
18976.35/2402.91	o 829831
19066.48/2414.36	o 829855
19066.48/2414.37	o 830043
19066.48/2414.37	o 830782
19066.48/2414.37	o 831065
19066.48/2414.37	o 831069
19066.48/2414.37	o 831401
19066.48/2414.37	o 831405
19066.48/2414.37	o 831684
19066.48/2414.37	o 831688
19066.48/2414.37	o 831809
19066.48/2414.37	o 831813
19066.48/2414.37	o 832002
19066.48/2414.37	o 832422
19066.48/2414.37	o 832705
19066.48/2414.37	o 832904
19066.48/2414.37	o 833643
19066.48/2414.37	o 833926
19066.48/2414.38	o 833930
19075.12/2415.42	o 833935
19075.12/2415.43	o 833939
19075.92/2415.51	o 833989
19075.92/2415.51	o 834000
19075.92/2415.51	o 834283
19075.92/2415.51	o 834927
19075.92/2415.51	o 835210
19075.92/2415.51	o 835214
19075.92/2415.51	o 835546
19075.92/2415.51	o 835550
19075.92/2415.51	o 835829
19075.92/2415.51	o 835833
19075.92/2415.51	o 835954
19075.92/2415.52	o 835958
19075.92/2415.52	o 836147
19075.92/2415.52	o 836567
19075.92/2415.52	o 836850
19075.92/2415.52	o 837049
19075.92/2415.53	o 837788
19075.92/2415.53	o 838071
19075.92/2415.53	o 838075
19903.02/2520.08	s SATISFIABLE
19903.02/2520.08	v <instantiation>
19903.02/2520.08	v 	<list>
19903.02/2520.08	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]
19903.02/2520.08	v 	</list>
19903.02/2520.08	v 	<values>
19903.02/2520.08	v 		0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 
19903.02/2520.08	v 	</values>
19903.02/2520.08	v </instantiation>

Verifier Data 

OK	838075

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291740-1532634768/watcher-4291740-1532634768 -o /tmp/evaluation-result-4291740-1532634768/solver-4291740-1532634768 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532633896-2368 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1081127856 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291740-1532634768.xml 

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

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

solver pid=2501, runsolver pid=2498

[startup+0.100132 s]*
/proc/loadavg: 5.78 5.46 6.14 2/199 2521
/proc/meminfo: memFree=23268616/32770624 swapFree=67108860/67108860
[pid=2501] ppid=2498 vsize=26103424 memory=30916 CPUtime=0.11 cores=0-7
/proc/2501/stat : 2501 (java) S 2498 2501 2339 0 -1 1077944320 7191 0 0 0 10 1 0 0 20 0 20 0 81040006 26729906176 7729 33554432000 4194304 4196468 140732769806496 140732769789040 140226509889271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
/proc/2501/statm: 6525856 7729 3138 1 0 6487932 0
[pid=2501/tid=2503] ppid=2498 vsize=26103424 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/2501/task/2503/stat : 2503 (java) R 2498 2501 2339 0 -1 4202560 5419 0 0 0 8 0 0 0 20 0 20 0 81040006 26729906176 7927 33554432000 4194304 4196468 140732769806496 140226514114960 140226493969758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2504] ppid=2498 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2501/task/2504/stat : 2504 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 7927 33554432000 4194304 4196468 140732769806496 140226462509584 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2505] ppid=2498 vsize=26103424 memory=140431860405888 CPUtime=0 cores=0-7
/proc/2501/task/2505/stat : 2505 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 7927 33554432000 4194304 4196468 140732769806496 140226461457040 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2506] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2506/stat : 2506 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 7927 33554432000 4194304 4196468 140732769806496 140226460403984 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2507] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2507/stat : 2507 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 7927 33554432000 4194304 4196468 140732769806496 140226459351440 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2508] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2508/stat : 2508 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 7930 33554432000 4194304 4196468 140732769806496 140226458299408 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2509] ppid=2498 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2501/task/2509/stat : 2509 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 7930 33554432000 4194304 4196468 140732769806496 140226457246864 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2510] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2510/stat : 2510 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 7930 33554432000 4194304 4196468 140732769806496 140226456193808 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2511] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2511/stat : 2511 (java) S 2498 2501 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 7930 33554432000 4194304 4196468 140732769806496 140226060483472 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2512] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2512/stat : 2512 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040009 26729906176 7930 33554432000 4194304 4196468 140732769806496 140225569302768 140226509900418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2513] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2513/stat : 2513 (java) S 2498 2501 2339 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81040009 26729906176 7930 33554432000 4194304 4196468 140732769806496 140225568248992 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2514] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2514/stat : 2514 (java) S 2498 2501 2339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81040009 26729906176 7930 33554432000 4194304 4196468 140732769806496 140225567195888 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2515] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2515/stat : 2515 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 7930 33554432000 4194304 4196468 140732769806496 140225566144464 140226509907867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2516] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2516/stat : 2516 (java) S 2498 2501 2339 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 7930 33554432000 4194304 4196468 140732769806496 140225565092592 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2517] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2517/stat : 2517 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 7930 33554432000 4194304 4196468 140732769806496 140225564040048 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2518] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2518/stat : 2518 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 7930 33554432000 4194304 4196468 140732769806496 140225562986992 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2519] ppid=2498 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/2501/task/2519/stat : 2519 (java) S 2498 2501 2339 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 81040012 26729906176 7930 33554432000 4194304 4196468 140732769806496 140225561934448 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2520] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2520/stat : 2520 (java) S 2498 2501 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 7930 33554432000 4194304 4196468 140732769806496 140225560881632 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2521] ppid=2498 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2501/task/2521/stat : 2521 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 7930 33554432000 4194304 4196468 140732769806496 140225559829168 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30916 KiB

[startup+0.210213 s]*
/proc/loadavg: 5.78 5.46 6.14 5/199 2521
/proc/meminfo: memFree=23254912/32770624 swapFree=67108860/67108860
[pid=2501] ppid=2498 vsize=26103424 memory=43016 CPUtime=0.3 cores=0-7
/proc/2501/stat : 2501 (java) S 2498 2501 2339 0 -1 1077944320 10432 0 0 0 28 2 0 0 20 0 20 0 81040006 26729906176 10754 33554432000 4194304 4196468 140732769806496 140732769789040 140226509889271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
/proc/2501/statm: 6525856 10754 3340 1 0 6487932 0
[pid=2501/tid=2503] ppid=2498 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/2501/task/2503/stat : 2503 (java) R 2498 2501 2339 0 -1 4202560 8190 0 0 0 18 1 0 0 20 0 20 0 81040006 26729906176 10754 33554432000 4194304 4196468 140732769806496 140226514110400 140226489494481 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2504] ppid=2498 vsize=26103424 memory=11790 CPUtime=0 cores=0-7
/proc/2501/task/2504/stat : 2504 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 10754 33554432000 4194304 4196468 140732769806496 140226462509584 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2505] ppid=2498 vsize=26103424 memory=140431860408513 CPUtime=0 cores=0-7
/proc/2501/task/2505/stat : 2505 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 10754 33554432000 4194304 4196468 140732769806496 140226461457040 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2506] ppid=2498 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2501/task/2506/stat : 2506 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 10754 33554432000 4194304 4196468 140732769806496 140226460403984 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2507] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2507/stat : 2507 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 10754 33554432000 4194304 4196468 140732769806496 140226459351440 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2508] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2508/stat : 2508 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 10754 33554432000 4194304 4196468 140732769806496 140226458299408 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2509] ppid=2498 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2501/task/2509/stat : 2509 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 10754 33554432000 4194304 4196468 140732769806496 140226457246864 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2510] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2510/stat : 2510 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 10754 33554432000 4194304 4196468 140732769806496 140226456193808 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2511] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2511/stat : 2511 (java) S 2498 2501 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 10754 33554432000 4194304 4196468 140732769806496 140226060483472 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2512] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2512/stat : 2512 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040009 26729906176 10754 33554432000 4194304 4196468 140732769806496 140225569302768 140226509900418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2513] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2513/stat : 2513 (java) S 2498 2501 2339 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81040009 26729906176 10754 33554432000 4194304 4196468 140732769806496 140225568248992 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2514] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2514/stat : 2514 (java) S 2498 2501 2339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81040009 26729906176 10754 33554432000 4194304 4196468 140732769806496 140225567195888 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2515] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2515/stat : 2515 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 10754 33554432000 4194304 4196468 140732769806496 140225566144464 140226509907867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2516] ppid=2498 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/2501/task/2516/stat : 2516 (java) S 2498 2501 2339 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 20 0 81040012 26729906176 10754 33554432000 4194304 4196468 140732769806496 140225565092592 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2517] ppid=2498 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/2501/task/2517/stat : 2517 (java) S 2498 2501 2339 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 81040012 26729906176 10754 33554432000 4194304 4196468 140732769806496 140225564040048 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2518] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2518/stat : 2518 (java) S 2498 2501 2339 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 10754 33554432000 4194304 4196468 140732769806496 140225562986992 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2519] ppid=2498 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/2501/task/2519/stat : 2519 (java) R 2498 2501 2339 0 -1 4202560 318 0 0 0 6 0 0 0 20 0 20 0 81040012 26729906176 10754 33554432000 4194304 4196468 140732769806496 140225561933632 140226509910618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2520] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2520/stat : 2520 (java) S 2498 2501 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 10754 33554432000 4194304 4196468 140732769806496 140225560881632 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2521] ppid=2498 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2501/task/2521/stat : 2521 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 10754 33554432000 4194304 4196468 140732769806496 140225559829168 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43016 KiB

[startup+0.310562 s]*
/proc/loadavg: 5.78 5.46 6.14 2/199 2521
/proc/meminfo: memFree=23251624/32770624 swapFree=67108860/67108860
[pid=2501] ppid=2498 vsize=26103424 memory=46784 CPUtime=0.43 cores=0-7
/proc/2501/stat : 2501 (java) S 2498 2501 2339 0 -1 1077944320 10857 0 0 0 40 3 0 0 20 0 20 0 81040006 26729906176 11696 33554432000 4194304 4196468 140732769806496 140732769789040 140226509889271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
/proc/2501/statm: 6525856 11696 3372 1 0 6487932 0
[pid=2501/tid=2503] ppid=2498 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/2501/task/2503/stat : 2503 (java) R 2498 2501 2339 0 -1 4202560 8532 0 0 0 28 1 0 0 20 0 20 0 81040006 26729906176 11696 33554432000 4194304 4196468 140732769806496 140226514051008 140226488241584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2504] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2504/stat : 2504 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 11696 33554432000 4194304 4196468 140732769806496 140226462509584 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2505] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2505/stat : 2505 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 11696 33554432000 4194304 4196468 140732769806496 140226461457040 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2506] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2506/stat : 2506 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 11696 33554432000 4194304 4196468 140732769806496 140226460403984 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2507] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2507/stat : 2507 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 11696 33554432000 4194304 4196468 140732769806496 140226459351440 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2508] ppid=2498 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/2501/task/2508/stat : 2508 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 11696 33554432000 4194304 4196468 140732769806496 140226458299408 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2509] ppid=2498 vsize=26103424 memory=140431740466095 CPUtime=0 cores=0-7
/proc/2501/task/2509/stat : 2509 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 11696 33554432000 4194304 4196468 140732769806496 140226457246864 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2510] ppid=2498 vsize=26103424 memory=140431740468400 CPUtime=0 cores=0-7
/proc/2501/task/2510/stat : 2510 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 11696 33554432000 4194304 4196468 140732769806496 140226456193808 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2511] ppid=2498 vsize=26103424 memory=140431740470704 CPUtime=0 cores=0-7
/proc/2501/task/2511/stat : 2511 (java) S 2498 2501 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81040007 26729906176 11696 33554432000 4194304 4196468 140732769806496 140226060483472 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2512] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2512/stat : 2512 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040009 26729906176 11696 33554432000 4194304 4196468 140732769806496 140225569302768 140226509900418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2513] ppid=2498 vsize=26103424 memory=280863480948368 CPUtime=0 cores=0-7
/proc/2501/task/2513/stat : 2513 (java) S 2498 2501 2339 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81040009 26729906176 11696 33554432000 4194304 4196468 140732769806496 140225568248992 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2514] ppid=2498 vsize=26103424 memory=280863480955280 CPUtime=0 cores=0-7
/proc/2501/task/2514/stat : 2514 (java) S 2498 2501 2339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81040009 26729906176 11696 33554432000 4194304 4196468 140732769806496 140225567195888 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2515] ppid=2498 vsize=26103424 memory=280863480896560 CPUtime=0 cores=0-7
/proc/2501/task/2515/stat : 2515 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 11696 33554432000 4194304 4196468 140732769806496 140225566144464 140226509907867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2516] ppid=2498 vsize=26103424 memory=280863480969104 CPUtime=0.01 cores=0-7
/proc/2501/task/2516/stat : 2516 (java) S 2498 2501 2339 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 20 0 81040012 26729906176 11696 33554432000 4194304 4196468 140732769806496 140225565092592 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2517] ppid=2498 vsize=26103424 memory=280863480976016 CPUtime=0.02 cores=0-7
/proc/2501/task/2517/stat : 2517 (java) S 2498 2501 2339 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 20 0 81040012 26729906176 11696 33554432000 4194304 4196468 140732769806496 140225564040048 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2518] ppid=2498 vsize=26103424 memory=280863480973712 CPUtime=0 cores=0-7
/proc/2501/task/2518/stat : 2518 (java) S 2498 2501 2339 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 11696 33554432000 4194304 4196468 140732769806496 140225562986992 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2519] ppid=2498 vsize=26103424 memory=280863480990320 CPUtime=0.07 cores=0-7
/proc/2501/task/2519/stat : 2519 (java) S 2498 2501 2339 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 20 0 81040012 26729906176 11696 33554432000 4194304 4196468 140732769806496 140225561934448 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2520] ppid=2498 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2520/stat : 2520 (java) S 2498 2501 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 11696 33554432000 4194304 4196468 140732769806496 140225560881632 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2521] ppid=2498 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2501/task/2521/stat : 2521 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040012 26729906176 11696 33554432000 4194304 4196468 140732769806496 140225559829168 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46784 KiB

[startup+0.701198 s]
/proc/loadavg: 5.78 5.46 6.14 2/199 2521
/proc/meminfo: memFree=23227688/32770624 swapFree=67108860/67108860
[pid=2501] ppid=2498 vsize=26105492 memory=87692 CPUtime=0.99 cores=0-7
/proc/2501/stat : 2501 (java) S 2498 2501 2339 0 -1 1077944320 17850 0 0 0 95 4 0 0 20 0 20 0 81040006 26732023808 21923 33554432000 4194304 4196468 140732769806496 140732769789040 140226509889271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
/proc/2501/statm: 6526373 21923 3499 1 0 6488444 0
[pid=2501/tid=2503] ppid=2498 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/2501/task/2503/stat : 2503 (java) R 2498 2501 2339 0 -1 4202560 15012 0 0 0 64 3 0 0 20 0 20 0 81040006 26732023808 21923 33554432000 4194304 4196468 140732769806496 140226514111936 140226509911197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2504] ppid=2498 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2504/stat : 2504 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26732023808 21923 33554432000 4194304 4196468 140732769806496 140226462509584 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2505] ppid=2498 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2505/stat : 2505 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26732023808 21923 33554432000 4194304 4196468 140732769806496 140226461457040 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2506] ppid=2498 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/2501/task/2506/stat : 2506 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26732023808 21923 33554432000 4194304 4196468 140732769806496 140226460403984 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2507] ppid=2498 vsize=26105492 memory=13040 CPUtime=0 cores=0-7
/proc/2501/task/2507/stat : 2507 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26732023808 21923 33554432000 4194304 4196468 140732769806496 140226459351440 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2508] ppid=2498 vsize=26105492 memory=796 CPUtime=0 cores=0-7
/proc/2501/task/2508/stat : 2508 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26732023808 21923 33554432000 4194304 4196468 140732769806496 140226458299408 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2509] ppid=2498 vsize=26105492 memory=1424 CPUtime=0 cores=0-7
/proc/2501/task/2509/stat : 2509 (java) S 2498 2501 2339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81040007 26732023808 21923 33554432000 4194304 4196468 140732769806496 140226457246864 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2510] ppid=2498 vsize=26105492 memory=1200 CPUtime=0 cores=0-7
/proc/2501/task/2510/stat : 2510 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040007 26732023808 21923 33554432000 4194304 4196468 140732769806496 140226456193808 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2511] ppid=2498 vsize=26105492 memory=15872 CPUtime=0 cores=0-7
/proc/2501/task/2511/stat : 2511 (java) S 2498 2501 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81040007 26732023808 21923 33554432000 4194304 4196468 140732769806496 140226060483472 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2512] ppid=2498 vsize=26105492 memory=13964 CPUtime=0 cores=0-7
/proc/2501/task/2512/stat : 2512 (java) S 2498 2501 2339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81040009 26732023808 21923 33554432000 4194304 4196468 140732769806496 140225569302768 140226509900418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0

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

/proc/2501/task/2525/stat : 2525 (java) R 2498 2501 2339 0 -1 4202560 67826 0 0 0 247495 60 0 0 20 0 46 0 81040610 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225541122776 140226138725054 0 4 0 16800975 0 0 0 -1 2 0 0 33 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2526] ppid=2498 vsize=27850528 memory=3044400 CPUtime=2474.4 cores=0-7
/proc/2501/task/2526/stat : 2526 (java) R 2498 2501 2339 0 -1 4202560 62499 0 0 0 247383 57 0 0 20 0 46 0 81040610 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225540071032 140226143151182 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2527] ppid=2498 vsize=27850528 memory=3044400 CPUtime=2474.82 cores=0-7
/proc/2501/task/2527/stat : 2527 (java) R 2498 2501 2339 0 -1 4202560 62473 0 0 0 247420 62 0 0 20 0 46 0 81040617 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225536922976 140226138391415 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2528] ppid=2498 vsize=27850528 memory=1228 CPUtime=2474.5 cores=0-7
/proc/2501/task/2528/stat : 2528 (java) R 2498 2501 2339 0 -1 4202560 68456 0 0 0 247397 53 0 0 20 0 46 0 81040618 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225535868032 140226142493848 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2529] ppid=2498 vsize=27850528 memory=1944 CPUtime=2474.4 cores=0-7
/proc/2501/task/2529/stat : 2529 (java) R 2498 2501 2339 0 -1 4202560 71839 0 0 0 247384 56 0 0 20 0 46 0 81040618 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225534816448 140226139927229 0 4 0 16800975 0 0 0 -1 6 0 0 32 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2530] ppid=2498 vsize=27850528 memory=1004 CPUtime=0.01 cores=0-7
/proc/2501/task/2530/stat : 2530 (java) S 2498 2501 2339 0 -1 1077944384 719 0 0 0 1 0 0 0 20 0 46 0 81040618 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225533768592 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2531] ppid=2498 vsize=27850528 memory=8540 CPUtime=0.07 cores=0-7
/proc/2501/task/2531/stat : 2531 (java) S 2498 2501 2339 0 -1 1077944384 723 0 0 0 7 0 0 0 20 0 46 0 81040618 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225532716048 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2532] ppid=2498 vsize=27850528 memory=13040 CPUtime=0.06 cores=0-7
/proc/2501/task/2532/stat : 2532 (java) S 2498 2501 2339 0 -1 1077944384 294 0 0 0 6 0 0 0 20 0 46 0 81040618 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225531664016 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2533] ppid=2498 vsize=27850528 memory=1296 CPUtime=2475.75 cores=0-7
/proc/2501/task/2533/stat : 2533 (java) R 2498 2501 2339 0 -1 4202560 64923 0 0 0 247514 61 0 0 20 0 46 0 81040618 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225530605616 140226494461696 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2534] ppid=2498 vsize=27850528 memory=2412 CPUtime=0.01 cores=0-7
/proc/2501/task/2534/stat : 2534 (java) S 2498 2501 2339 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 46 0 81040619 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225529558416 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2535] ppid=2498 vsize=27850528 memory=1840 CPUtime=2473.61 cores=0-7
/proc/2501/task/2535/stat : 2535 (java) R 2498 2501 2339 0 -1 4202560 63017 0 0 0 247308 53 0 0 20 0 46 0 81040619 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225528500152 140226141790137 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2536] ppid=2498 vsize=27850528 memory=5788 CPUtime=0.01 cores=0-7
/proc/2501/task/2536/stat : 2536 (java) S 2498 2501 2339 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 46 0 81040629 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225527452816 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2537] ppid=2498 vsize=27850528 memory=4612 CPUtime=0.01 cores=0-7
/proc/2501/task/2537/stat : 2537 (java) S 2498 2501 2339 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 46 0 81040693 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225524266256 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2538] ppid=2498 vsize=27850528 memory=1708 CPUtime=0.01 cores=0-7
/proc/2501/task/2538/stat : 2538 (java) S 2498 2501 2339 0 -1 1077944384 673 0 0 0 1 0 0 0 20 0 46 0 81040694 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225523213200 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2539] ppid=2498 vsize=27850528 memory=3044400 CPUtime=0.01 cores=0-7
/proc/2501/task/2539/stat : 2539 (java) S 2498 2501 2339 0 -1 1077944384 566 0 0 0 1 0 0 0 20 0 46 0 81040695 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225522160656 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2540] ppid=2498 vsize=27850528 memory=301741373374332954 CPUtime=0.01 cores=0-7
/proc/2501/task/2540/stat : 2540 (java) S 2498 2501 2339 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 46 0 81040697 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225521108624 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2541] ppid=2498 vsize=27850528 memory=288230596050944315 CPUtime=0.01 cores=0-7
/proc/2501/task/2541/stat : 2541 (java) S 2498 2501 2339 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 46 0 81040697 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225520056080 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2542] ppid=2498 vsize=27850528 memory=15821084087813536 CPUtime=0.01 cores=0-7
/proc/2501/task/2542/stat : 2542 (java) S 2498 2501 2339 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 46 0 81040697 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225519003024 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2543] ppid=2498 vsize=27850528 memory=1228 CPUtime=0.01 cores=0-7
/proc/2501/task/2543/stat : 2543 (java) S 2498 2501 2339 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 46 0 81040697 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225517950480 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2544] ppid=2498 vsize=27850528 memory=1944 CPUtime=0.01 cores=0-7
/proc/2501/task/2544/stat : 2544 (java) S 2498 2501 2339 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 46 0 81040697 28518940672 761100 33554432000 4194304 4196468 140732769806496 140225516897424 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2545] ppid=2498 vsize=27850528 memory=1004 CPUtime=0.01 cores=0-7
/proc/2501/task/2545/stat : 2545 (java) S 2498 2501 2339 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 46 0 81040697 28518940672 761100 33554432000 4194304 4196468 140732769806496 140224592602384 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2546] ppid=2498 vsize=27850528 memory=6512 CPUtime=0.01 cores=0-7
/proc/2501/task/2546/stat : 2546 (java) S 2498 2501 2339 0 -1 1077944384 298 0 0 0 1 0 0 0 20 0 46 0 81040697 28518940672 761100 33554432000 4194304 4196468 140732769806496 140224591549328 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2547] ppid=2498 vsize=27850528 memory=1576 CPUtime=0.01 cores=0-7
/proc/2501/task/2547/stat : 2547 (java) S 2498 2501 2339 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 46 0 81040697 28518940672 761100 33554432000 4194304 4196468 140732769806496 140224590496784 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
Current children cumulated CPU time: 19903 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 3044400 KiB

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

[startup+2520.25 s]
# the end of solver process 2501 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19894.2 s, system=10.4803 s

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

[startup+2520.2 s]
/proc/loadavg: 8.58 8.62 8.51 9/224 2606
/proc/meminfo: memFree=20242548/32770624 swapFree=67108860/67108860
[pid=2501] ppid=2498 vsize=27984684 memory=3045204 CPUtime=19904.5 cores=0-7
/proc/2501/stat : 2501 (java) S 2498 2501 2339 0 -1 1077944320 1841063 0 0 0 1989402 1046 0 0 20 0 48 0 81040006 28656316416 761301 33554432000 4194304 4196468 140732769806496 140732769789040 140226509889271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
/proc/2501/statm: 6996171 761301 3628 1 0 6957721 0
[pid=2501/tid=2503] ppid=2498 vsize=27984684 memory=2244 CPUtime=5.57 cores=0-7
/proc/2501/task/2503/stat : 2503 (java) S 2498 2501 2339 0 -1 1077944384 22292 0 0 0 550 7 0 0 20 0 48 0 81040006 28656316416 761301 33554432000 4194304 4196468 140732769806496 140226514126736 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2504] ppid=2498 vsize=27984684 memory=4132 CPUtime=10.27 cores=0-7
/proc/2501/task/2504/stat : 2504 (java) S 2498 2501 2339 0 -1 1077944384 118157 0 0 0 969 58 0 0 20 0 48 0 81040007 28656316416 761301 33554432000 4194304 4196468 140732769806496 140226462509584 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2505] ppid=2498 vsize=27984684 memory=2200 CPUtime=10.29 cores=0-7
/proc/2501/task/2505/stat : 2505 (java) S 2498 2501 2339 0 -1 1077944384 127328 0 0 0 964 65 0 0 20 0 48 0 81040007 28656316416 761301 33554432000 4194304 4196468 140732769806496 140226461457040 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2506] ppid=2498 vsize=27984684 memory=1796 CPUtime=10.35 cores=0-7
/proc/2501/task/2506/stat : 2506 (java) S 2498 2501 2339 0 -1 1077944384 126129 0 0 0 972 63 0 0 20 0 48 0 81040007 28656316416 761301 33554432000 4194304 4196468 140732769806496 140226460403984 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2507] ppid=2498 vsize=27984684 memory=7532 CPUtime=10.27 cores=0-7
/proc/2501/task/2507/stat : 2507 (java) S 2498 2501 2339 0 -1 1077944384 129328 0 0 0 965 62 0 0 20 0 48 0 81040007 28656316416 761301 33554432000 4194304 4196468 140732769806496 140226459351440 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2508] ppid=2498 vsize=27984684 memory=288230574492221466 CPUtime=10.25 cores=0-7
/proc/2501/task/2508/stat : 2508 (java) S 2498 2501 2339 0 -1 1077944384 132346 0 0 0 965 60 0 0 20 0 48 0 81040007 28656316416 761301 33554432000 4194304 4196468 140732769806496 140226458299408 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2509] ppid=2498 vsize=27984684 memory=288230596050944315 CPUtime=10.26 cores=0-7
/proc/2501/task/2509/stat : 2509 (java) S 2498 2501 2339 0 -1 1077944384 127477 0 0 0 969 57 0 0 20 0 48 0 81040007 28656316416 761301 33554432000 4194304 4196468 140732769806496 140226457246864 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2510] ppid=2498 vsize=27984684 memory=15821084087813536 CPUtime=10.31 cores=0-7
/proc/2501/task/2510/stat : 2510 (java) S 2498 2501 2339 0 -1 1077944384 127191 0 0 0 971 60 0 0 20 0 48 0 81040007 28656316416 761301 33554432000 4194304 4196468 140732769806496 140226456193808 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2511] ppid=2498 vsize=27984684 memory=4612 CPUtime=10.33 cores=0-7
/proc/2501/task/2511/stat : 2511 (java) S 2498 2501 2339 0 -1 1077944384 111315 0 0 0 968 65 0 0 20 0 48 0 81040007 28656316416 761301 33554432000 4194304 4196468 140732769806496 140226060483472 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2512] ppid=2498 vsize=27984684 memory=1708 CPUtime=8.49 cores=0-7
/proc/2501/task/2512/stat : 2512 (java) S 2498 2501 2339 0 -1 1077944384 197947 0 0 0 739 110 0 0 20 0 48 0 81040009 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225569302768 140226509900418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2513] ppid=2498 vsize=27984684 memory=1228 CPUtime=0 cores=0-7
/proc/2501/task/2513/stat : 2513 (java) S 2498 2501 2339 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 48 0 81040009 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225568249056 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2514] ppid=2498 vsize=27984684 memory=1944 CPUtime=0 cores=0-7
/proc/2501/task/2514/stat : 2514 (java) S 2498 2501 2339 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 48 0 81040009 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225567195904 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2515] ppid=2498 vsize=27984684 memory=1004 CPUtime=0 cores=0-7
/proc/2501/task/2515/stat : 2515 (java) S 2498 2501 2339 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 48 0 81040012 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225566144464 140226509907867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2516] ppid=2498 vsize=27984684 memory=8540 CPUtime=1.64 cores=0-7
/proc/2501/task/2516/stat : 2516 (java) S 2498 2501 2339 0 -1 1077944384 11027 0 0 0 162 2 0 0 20 0 48 0 81040012 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225565092592 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2517] ppid=2498 vsize=27984684 memory=13040 CPUtime=1.59 cores=0-7
/proc/2501/task/2517/stat : 2517 (java) R 2498 2501 2339 0 -1 4202560 9164 0 0 0 157 2 0 0 20 0 48 0 81040012 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225564039808 140226491408886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2518] ppid=2498 vsize=27984684 memory=21689584849848 CPUtime=1.48 cores=0-7
/proc/2501/task/2518/stat : 2518 (java) R 2498 2501 2339 0 -1 1077944384 9469 0 0 0 146 2 0 0 20 0 48 0 81040012 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225562986992 140226509900418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2519] ppid=2498 vsize=27984684 memory=7595154111418098259 CPUtime=1.31 cores=0-7
/proc/2501/task/2519/stat : 2519 (java) S 2498 2501 2339 0 -1 1077944384 19363 0 0 0 128 3 0 0 20 0 48 0 81040012 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225561934448 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2520] ppid=2498 vsize=27984684 memory=7595154111418098259 CPUtime=0 cores=0-7
/proc/2501/task/2520/stat : 2520 (java) S 2498 2501 2339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 81040012 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225560881632 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2521] ppid=2498 vsize=27984684 memory=7595154111418098259 CPUtime=0.73 cores=0-7
/proc/2501/task/2521/stat : 2521 (java) S 2498 2501 2339 0 -1 1077944384 9881 0 0 0 45 28 0 0 20 0 48 0 81040012 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225559829168 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 55 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2522] ppid=2498 vsize=27984684 memory=2244 CPUtime=0.03 cores=0-7
/proc/2501/task/2522/stat : 2522 (java) S 2498 2501 2339 0 -1 1077944384 2467 0 0 0 3 0 0 0 20 0 48 0 81040572 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225548480976 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2523] ppid=2498 vsize=27984684 memory=4132 CPUtime=1.96 cores=0-7
/proc/2501/task/2523/stat : 2523 (java) S 2498 2501 2339 0 -1 1077944384 21719 0 0 0 86 110 0 0 20 0 48 0 81040593 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225545331504 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2524] ppid=2498 vsize=27984684 memory=2200 CPUtime=2474.52 cores=0-7
/proc/2501/task/2524/stat : 2524 (java) R 2498 2501 2339 0 -1 4202560 67593 0 0 0 247395 57 0 0 20 0 48 0 81040609 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225542175320 140226139927124 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2525] ppid=2498 vsize=27984684 memory=1796 CPUtime=2475.73 cores=0-7
/proc/2501/task/2525/stat : 2525 (java) R 2498 2501 2339 0 -1 4202560 67826 0 0 0 247513 60 0 0 20 0 48 0 81040610 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225541123952 140226143155488 0 4 0 16800975 0 0 0 -1 6 0 0 33 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2526] ppid=2498 vsize=27984684 memory=7532 CPUtime=2474.57 cores=0-7
/proc/2501/task/2526/stat : 2526 (java) R 2498 2501 2339 0 -1 4202560 62502 0 0 0 247400 57 0 0 20 0 48 0 81040610 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225540071032 140226143109820 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2527] ppid=2498 vsize=27984684 memory=840 CPUtime=2474.99 cores=0-7
/proc/2501/task/2527/stat : 2527 (java) R 2498 2501 2339 0 -1 4202560 62474 0 0 0 247437 62 0 0 20 0 48 0 81040617 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225536919888 140226142095550 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2528] ppid=2498 vsize=27984684 memory=916 CPUtime=2474.67 cores=0-7
/proc/2501/task/2528/stat : 2528 (java) R 2498 2501 2339 0 -1 4202560 68459 0 0 0 247414 53 0 0 20 0 48 0 81040618 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225535868032 140226143151227 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2529] ppid=2498 vsize=27984684 memory=4148 CPUtime=2474.54 cores=0-7
/proc/2501/task/2529/stat : 2529 (java) R 2498 2501 2339 0 -1 4202560 71840 0 0 0 247398 56 0 0 20 0 48 0 81040618 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225534814232 140226143719963 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2530] ppid=2498 vsize=27984684 memory=1404 CPUtime=0.02 cores=0-7
/proc/2501/task/2530/stat : 2530 (java) S 2498 2501 2339 0 -1 1077944384 906 0 0 0 2 0 0 0 20 0 48 0 81040618 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225533768592 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2531] ppid=2498 vsize=27984684 memory=4508 CPUtime=0.07 cores=0-7
/proc/2501/task/2531/stat : 2531 (java) S 2498 2501 2339 0 -1 1077944384 725 0 0 0 7 0 0 0 20 0 48 0 81040618 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225532716048 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2532] ppid=2498 vsize=27984684 memory=3044400 CPUtime=0.06 cores=0-7
/proc/2501/task/2532/stat : 2532 (java) S 2498 2501 2339 0 -1 1077944384 294 0 0 0 6 0 0 0 20 0 48 0 81040618 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225531664016 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2533] ppid=2498 vsize=27984684 memory=4100 CPUtime=2475.91 cores=0-7
/proc/2501/task/2533/stat : 2533 (java) R 2498 2501 2339 0 -1 4202560 64925 0 0 0 247530 61 0 0 20 0 48 0 81040618 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225530604056 140226143155866 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2534] ppid=2498 vsize=27984684 memory=4508 CPUtime=0.01 cores=0-7
/proc/2501/task/2534/stat : 2534 (java) S 2498 2501 2339 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 48 0 81040619 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225529558416 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2535] ppid=2498 vsize=27984684 memory=3044400 CPUtime=2473.78 cores=0-7
/proc/2501/task/2535/stat : 2535 (java) R 2498 2501 2339 0 -1 4202560 63019 0 0 0 247325 53 0 0 20 0 48 0 81040619 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225528499960 140226142095641 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2536] ppid=2498 vsize=27984684 memory=8112282956445269571 CPUtime=0.01 cores=0-7
/proc/2501/task/2536/stat : 2536 (java) S 2498 2501 2339 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 48 0 81040629 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225527452816 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2537] ppid=2498 vsize=27984684 memory=288230596050944315 CPUtime=0.01 cores=0-7
/proc/2501/task/2537/stat : 2537 (java) S 2498 2501 2339 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 48 0 81040693 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225524266256 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2538] ppid=2498 vsize=27984684 memory=15821084087813536 CPUtime=0.01 cores=0-7
/proc/2501/task/2538/stat : 2538 (java) S 2498 2501 2339 0 -1 1077944384 675 0 0 0 1 0 0 0 20 0 48 0 81040694 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225523213200 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2539] ppid=2498 vsize=27984684 memory=15872 CPUtime=0.01 cores=0-7
/proc/2501/task/2539/stat : 2539 (java) S 2498 2501 2339 0 -1 1077944384 569 0 0 0 1 0 0 0 20 0 48 0 81040695 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225522160656 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2540] ppid=2498 vsize=27984684 memory=13996 CPUtime=0.01 cores=0-7
/proc/2501/task/2540/stat : 2540 (java) S 2498 2501 2339 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 48 0 81040697 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225521108624 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2541] ppid=2498 vsize=27984684 memory=23932 CPUtime=0.02 cores=0-7
/proc/2501/task/2541/stat : 2541 (java) R 2498 2501 2339 0 -1 1077944384 629 0 0 0 2 0 0 0 20 0 48 0 81040697 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225520056080 140226509899477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2542] ppid=2498 vsize=27984684 memory=1296 CPUtime=0.01 cores=0-7
/proc/2501/task/2542/stat : 2542 (java) S 2498 2501 2339 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 48 0 81040697 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225519003024 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2543] ppid=2498 vsize=27984684 memory=3044400 CPUtime=0.01 cores=0-7
/proc/2501/task/2543/stat : 2543 (java) R 2498 2501 2339 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 48 0 81040697 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225517950480 140226509899477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2544] ppid=2498 vsize=27984684 memory=1840 CPUtime=0.03 cores=0-7
/proc/2501/task/2544/stat : 2544 (java) R 2498 2501 2339 0 -1 1077944384 602 0 0 0 3 0 0 0 20 0 48 0 81040697 28656316416 761301 33554432000 4194304 4196468 140732769806496 140225516897424 140226509899477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2545] ppid=2498 vsize=27984684 memory=5788 CPUtime=0.01 cores=0-7
/proc/2501/task/2545/stat : 2545 (java) S 2498 2501 2339 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 48 0 81040697 28656316416 761301 33554432000 4194304 4196468 140732769806496 140224592602384 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2546] ppid=2498 vsize=27984684 memory=4612 CPUtime=0.01 cores=0-7
/proc/2501/task/2546/stat : 2546 (java) S 2498 2501 2339 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 48 0 81040697 28656316416 761301 33554432000 4194304 4196468 140732769806496 140224591545504 140226509900418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
[pid=2501/tid=2547] ppid=2498 vsize=27984684 memory=3044400 CPUtime=0.01 cores=0-7
/proc/2501/task/2547/stat : 2547 (java) S 2498 2501 2339 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 48 0 81040697 28656316416 761301 33554432000 4194304 4196468 140732769806496 140224590496784 140226509899477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140732769809485 140732769809669 140732769809669 140732769812431 0
Current children cumulated CPU time: 19904.5 s
Current children cumulated vsize: 27984684 KiB
Current children cumulated memory: 3045204 KiB

Child status: 143
Real time (s): 2520.25
CPU time (s): 19904.7
CPU user time (s): 19894.2
CPU system time (s): 10.4803
CPU usage (%): 789.791
Max. virtual memory (cumulated for all children) (KiB): 27984684
Max. memory (cumulated for all children) (KiB): 3045204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19894.2
system time used= 10.4803
maximum resident set size= 3045616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1841150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 818142
involuntary context switches= 431784


# summary of solver processes directly reported to runsolver:
#   pid: 2501
#   total CPU time (s): 19904.7
#   total CPU user time (s): 19894.2
#   total CPU system time (s): 10.4803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.5404 second user time and 38.3607 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-26 21:52:48
IDJOB=4291740
IDBENCH=141154
IDSOLVER=2745
FILE ID=node137/4291740-1532634768
RUNJOBID= node137-1532633896-2368
PBS_JOBID= 21022185
Free space on /tmp= 48160 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291740-1532634768/watcher-4291740-1532634768 -o /tmp/evaluation-result-4291740-1532634768/solver-4291740-1532634768 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532633896-2368 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1081127856 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291740-1532634768.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1081127856

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23286560 kB
MemAvailable:   31928504 kB
Buffers:          170128 kB
Cached:          8657968 kB
SwapCached:            0 kB
Active:          3397044 kB
Inactive:        5488108 kB
Active(anon):       1400 kB
Inactive(anon):    83296 kB
Active(file):    3395644 kB
Inactive(file):  5404812 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36136 kB
Writeback:            16 kB
AnonPages:         64188 kB
Mapped:            40980 kB
Shmem:             25228 kB
Slab:             297456 kB
SReclaimable:     269948 kB
SUnreclaim:        27508 kB
KernelStack:        3184 kB
PageTables:         4616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48124 MiB
End job on node137 at 2018-07-26 22:34:49