Trace number 4310548

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)1371551 252.137 240.636

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay200_c18.xml
MD5SUMb9a88cf563e94a20e010143964b9c3ad
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1371551
Best CPU time to get the best result obtained on this benchmark252.137
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}]
Minimum constraint arity36
Maximum constraint arity75
Distribution of constraint arities[{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":200}]
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.43/0.55	c version: 2018-08-14
0.43/1.08	c seed: 1241360839
0.43/1.08	c timeout: 252
0.43/1.08	c memlimit: 11000
0.43/1.08	c nbcore: 4
0.43/1.08	c Parsing instance...
3.51/2.36	c Parsing done, starting first complete search...
4.21/2.60	o 0
4.21/2.61	o 7837
4.21/2.61	o 8867
4.21/2.61	o 16704
4.21/2.61	o 22526
4.21/2.62	o 23615
4.21/2.62	o 24686
4.21/2.62	o 31434
4.21/2.62	o 32523
4.21/2.62	o 33300
4.21/2.63	o 41137
4.21/2.63	o 45541
4.21/2.63	o 47782
4.21/2.63	o 52462
4.21/2.64	o 73418
4.21/2.64	o 76886
4.21/2.64	o 90417
4.21/2.64	o 91506
4.21/2.64	o 96186
4.21/2.65	o 116003
4.21/2.65	o 123935
4.21/2.65	o 126902
4.21/2.65	o 130468
4.21/2.65	o 138320
4.21/2.65	o 140388
4.21/2.65	o 143834
4.21/2.66	o 144489
4.21/2.66	o 145902
4.21/2.66	o 150996
4.21/2.66	o 158833
4.21/2.66	o 165744
4.21/2.67	o 166322
4.21/2.67	o 169773
4.21/2.67	o 171377
4.21/2.67	o 172790
4.21/2.67	o 174578
4.21/2.68	o 176819
4.21/2.68	o 177289
4.21/2.68	o 179530
4.21/2.68	o 181598
4.21/2.68	o 182176
4.21/2.68	o 183386
4.21/2.68	o 185627
4.21/2.69	o 191716
4.21/2.69	o 197472
4.21/2.69	o 199713
4.21/2.69	o 201353
4.21/2.69	o 202336
4.21/2.69	o 204577
4.21/2.69	o 205811
4.21/2.69	o 209084
4.21/2.69	o 211325
4.21/2.70	o 212174
4.21/2.71	o 215398
4.21/2.71	o 215654
4.57/2.71	o 217281
4.57/2.71	o 218007
4.57/2.71	o 220248
4.57/2.71	o 221764
4.57/2.71	o 222020
4.57/2.72	o 222420
4.57/2.73	o 223112
4.57/2.73	o 225200
4.57/2.73	o 229604
4.57/2.73	o 229860
4.57/2.74	o 231405
4.57/2.74	o 231632
4.57/2.74	o 236599
4.57/2.76	o 236641
4.57/2.76	o 240083
4.57/2.76	o 245853
4.57/2.76	o 252215
4.57/2.77	o 256955
4.57/2.77	o 257182
4.57/2.77	o 257976
4.57/2.77	o 265114
4.57/2.77	o 266886
4.87/2.81	o 266952
4.87/2.81	o 267208
4.87/2.84	o 267999
4.87/2.84	o 270966
4.87/2.84	o 272803
4.87/2.87	o 276584
4.87/2.87	o 279551
4.87/2.87	o 281191
4.87/2.88	o 281790
4.87/2.88	o 284757
5.15/2.92	o 285571
5.15/2.92	o 287211
5.15/2.92	o 287421
5.15/2.92	o 290388
5.15/2.93	o 292028
5.15/2.93	o 293573
5.15/2.93	o 294472
5.15/2.94	o 294556
5.15/2.94	o 297352
5.15/2.94	o 300918
5.45/3.01	o 301391
5.45/3.01	o 303031
5.45/3.02	o 303115
5.45/3.02	o 303423
5.45/3.02	o 306989
5.45/3.02	o 308629
5.45/3.03	o 308761
5.45/3.03	o 310401
5.45/3.04	o 314024
5.45/3.04	o 314108
5.45/3.05	o 315664
5.45/3.05	o 315748
5.45/3.06	o 317520
5.45/3.09	o 318454
5.45/3.09	o 322020
5.45/3.09	o 323660
5.68/3.13	o 324899
5.68/3.13	o 324983
5.68/3.16	o 325285
5.68/3.16	o 325541
5.68/3.16	o 327086
5.68/3.17	o 332707
5.68/3.17	o 334347
5.79/3.24	o 335815
5.79/3.24	o 342177
5.99/3.42	o 342268
5.99/3.49	o 345617
6.09/3.50	o 346321
6.09/3.50	o 346412
6.09/3.58	o 347187
6.09/3.59	o 348035
6.09/3.59	o 353549
6.09/3.59	o 353915
6.09/3.59	o 354006
6.19/3.60	o 354253
6.19/3.60	o 354344
6.19/3.68	o 356980
6.19/3.68	o 359947
6.19/3.68	o 360038
6.30/3.74	o 361290
6.30/3.74	o 361381
6.30/3.74	o 365164
6.30/3.74	o 365255
6.30/3.74	o 366804
6.30/3.74	o 366895
6.30/3.79	o 367060
6.30/3.79	o 367151
6.41/3.81	o 367633
6.41/3.85	o 370386
6.41/3.86	o 371217
6.41/3.86	o 371308
6.41/3.86	o 376506
6.41/3.86	o 376597
6.41/3.87	o 376651
6.41/3.87	o 376742
6.41/3.87	o 379618
6.41/3.87	o 379709
6.82/4.29	o 384126
6.82/4.30	o 384217
6.92/4.32	o 386853
6.92/4.32	o 389820
6.92/4.32	o 389911
7.31/4.58	o 394697
7.31/4.58	o 394788
7.62/4.87	o 394953
7.62/4.87	o 395044
7.71/4.99	o 398065
7.71/4.99	o 398156
8.11/5.35	o 399348
8.11/5.35	o 399439
8.11/5.35	o 400652
8.11/5.35	o 400743
8.11/5.35	o 400908
8.11/5.35	o 400999
8.11/5.35	o 402680
8.11/5.35	o 402771
8.57/5.77	o 402875
8.57/5.81	o 403240
8.67/5.81	o 406207
10.36/7.55	o 407060
10.36/7.55	o 407642
10.46/7.63	o 407911
10.46/7.63	o 408493
10.46/7.63	o 408496
10.46/7.64	o 409078
10.46/7.64	o 409880
10.46/7.64	o 410287
10.46/7.64	o 410869
10.46/7.64	o 411425
10.46/7.69	o 411841
10.46/7.69	o 414808
10.46/7.69	o 418140
11.73/8.88	o 420900
11.73/8.88	o 421482
11.82/8.91	o 423066
11.82/8.91	o 426398
11.82/8.92	o 426980
14.93/12.00	o 428493
15.63/12.80	o 429555
15.63/12.80	o 431327
15.63/12.80	o 434659
15.74/12.87	o 435241
17.92/15.01	o 436826
17.92/15.01	o 437815
17.92/15.01	o 440158
17.92/15.05	o 440740
19.17/16.24	o 442935
19.17/16.24	o 443924
19.27/16.36	o 446267
28.00/25.03	o 446748
28.30/25.34	o 447338
28.30/25.34	o 447787
28.30/25.34	o 449110
28.30/25.34	o 450099
28.30/25.35	o 451119
28.30/25.35	o 452442
29.81/26.86	c First complete search done, starting ALNS search...
30.36/27.26	o 453583
30.36/27.26	o 453843
30.36/27.26	o 455130
30.36/27.27	o 456088
30.36/27.27	o 458696
30.36/27.27	o 458956
30.36/27.27	o 460241
30.36/27.27	o 460501
30.36/27.27	o 460648
30.36/27.27	o 461116
30.36/27.27	o 461198
30.36/27.27	o 463806
30.36/27.27	o 464066
30.36/27.27	o 465351
30.36/27.27	o 465611
30.36/27.28	o 466773
30.36/27.28	o 467033
30.36/27.28	o 468318
30.36/27.28	o 468578
30.89/27.67	o 468803
30.89/27.67	o 469983
30.89/27.67	o 470243
30.89/27.67	o 471059
30.89/27.67	o 471319
30.89/27.67	o 472279
30.89/27.67	o 473459
30.89/27.68	o 474535
30.89/27.68	o 474795
30.89/27.69	o 474853
30.89/27.69	o 475929
30.89/27.69	o 476189
30.89/27.70	o 476293
30.89/27.70	o 477109
30.89/27.70	o 477369
30.89/27.70	o 477485
30.89/27.71	o 478400
30.89/27.71	o 478660
31.17/27.71	o 479427
31.17/27.71	o 479910
31.17/27.71	o 480014
31.17/27.71	o 481090
31.17/27.71	o 481350
31.17/27.72	o 481942
31.17/27.72	o 483122
31.17/27.72	o 483738
31.17/27.72	o 484683
31.17/27.72	o 486346
31.17/27.72	o 487526
31.17/27.72	o 487786
31.17/27.72	o 488602
31.17/27.72	o 488862
31.17/27.73	o 489036
31.17/27.73	o 490216
31.17/27.73	o 491292
31.17/27.73	o 491552
31.17/27.73	o 492078
31.17/27.73	o 492338
31.17/27.73	o 492512
31.17/27.73	o 493692
31.17/27.73	o 494768
31.17/27.74	o 495028
31.17/27.80	o 495531
31.17/27.80	o 495791
31.17/27.80	o 496317
31.17/27.80	o 496577
31.17/27.80	o 496751
31.17/27.80	o 497931
31.17/27.81	o 499007
31.17/27.81	o 499267
31.30/27.86	o 499910
31.30/27.86	o 500170
31.65/28.13	o 500578
31.65/28.13	o 500838
31.65/28.14	o 501165
31.65/28.14	o 502241
31.65/28.14	o 502501
31.65/28.15	o 502978
31.65/28.15	o 503238
31.65/28.15	o 504054
31.65/28.15	o 504314
31.65/28.15	o 504537
31.65/28.15	o 504641
31.65/28.15	o 505717
31.65/28.15	o 505977
32.49/28.99	o 508009
32.49/28.99	o 508323
32.49/28.99	o 509503
32.49/28.99	o 512047
32.49/28.99	o 516440
32.49/28.99	o 516600
32.49/28.99	o 518166
32.49/28.99	o 522559
32.49/28.99	o 524565
32.49/29.00	o 528958
32.60/29.00	o 529650
32.60/29.00	o 534043
32.60/29.00	o 536049
32.60/29.00	o 540442
32.60/29.00	o 543206
32.60/29.00	o 545818
32.60/29.01	o 546510
32.60/29.01	o 546790
32.60/29.01	o 546950
32.60/29.01	o 552909
32.80/29.28	o 556563
32.80/29.28	o 557436
32.80/29.28	o 565101
32.80/29.28	o 569957
32.80/29.28	o 572612
32.80/29.28	o 577468
32.80/29.28	o 580277
32.80/29.28	o 585133
32.80/29.28	o 589527
32.80/29.28	o 594383
32.80/29.28	o 599105
32.80/29.29	o 603961
32.80/29.29	o 606386
32.80/29.29	o 608621
32.80/29.29	o 610140
32.80/29.29	o 612375
32.80/29.29	o 612828
32.80/29.29	o 615253
32.80/29.29	o 617488
33.93/30.07	o 622649
33.93/30.07	o 622871
33.93/30.08	o 623804
33.93/30.08	o 624026
33.93/30.08	o 626301
33.93/30.08	o 627456
33.93/30.08	o 636043
33.93/30.08	o 637198
33.93/30.08	o 637420
33.93/30.08	o 638931
33.93/30.08	o 639153
33.93/30.08	o 640086
33.93/30.08	o 640308
33.93/30.08	o 641851
33.93/30.08	o 643006
33.93/30.08	o 644739
33.93/30.09	o 645894
33.93/30.09	o 646116
33.93/30.09	o 646971
33.93/30.09	o 647193
33.93/30.09	o 648778
33.93/30.09	o 649933
33.93/30.09	o 651698
33.93/30.09	o 654586
33.93/30.09	o 655741
33.93/30.09	o 656818
33.93/30.09	o 657040
33.93/30.09	o 659955
33.93/30.09	o 661110
33.93/30.10	o 661332
33.93/30.10	o 662187
34.18/30.10	o 662409
34.18/30.10	o 664536
34.18/30.10	o 665691
34.18/30.10	o 666768
34.18/30.10	o 667541
34.18/30.10	o 668618
34.18/30.10	o 673349
34.18/30.10	o 674426
34.18/30.10	o 674504
34.18/30.10	o 675581
34.18/30.10	o 675803
34.18/30.10	o 677388
34.18/30.11	o 683196
34.18/30.11	o 684351
34.18/30.11	o 684573
34.18/30.11	o 685428
34.18/30.11	o 685650
34.18/30.11	o 686084
34.18/30.11	o 687161
34.18/30.11	o 687239
34.18/30.11	o 688316
34.18/30.11	o 688538
34.18/30.11	o 688637
34.18/30.11	o 688859
34.18/30.11	o 689714
34.18/30.11	o 689936
34.18/30.12	o 690918
34.18/30.12	o 691161
34.18/30.12	o 691239
34.18/30.12	o 692316
34.18/30.12	o 692538
34.18/30.12	o 692652
34.18/30.12	o 692874
34.18/30.12	o 692987
34.18/30.12	o 694385
34.18/30.12	o 695540
34.18/30.12	o 695762
34.18/30.12	o 696744
34.18/30.12	o 696966
34.18/30.12	o 696987
34.18/30.12	o 698142
34.18/30.13	o 698364
34.18/30.13	o 699219
34.18/30.13	o 699441
34.18/30.13	o 699532
34.18/30.13	o 700609
34.18/30.13	o 700831
34.18/30.13	o 701649
34.18/30.13	o 701871
34.18/30.13	o 701892
34.18/30.13	o 703047
34.18/30.13	o 703269
34.18/30.13	o 703282
34.18/30.13	o 703504
34.18/30.13	o 704437
34.18/30.14	o 704659
34.18/30.14	o 705514
34.18/30.14	o 705736
34.18/30.14	o 706322
34.18/30.14	o 706557
34.18/30.14	o 707712
34.18/30.14	o 708789
34.18/30.14	o 709011
34.18/30.14	o 709221
34.18/30.14	o 710524
34.18/30.14	o 711601
34.18/30.15	o 711823
34.18/30.15	o 711901
34.18/30.15	o 712756
34.18/30.15	o 712978
34.18/30.15	o 713585
34.18/30.15	o 713663
34.18/30.15	o 714740
34.18/30.15	o 714954
34.18/30.15	o 716031
34.18/30.15	o 716253
34.18/30.15	o 716288
34.18/30.15	o 716510
34.18/30.16	o 716895
34.18/30.16	o 717972
34.18/30.16	o 718194
34.18/30.16	o 718879
34.18/30.16	o 719015
34.18/30.16	o 720170
34.18/30.16	o 721247
34.18/30.16	o 721469
34.18/30.16	o 721504
34.18/30.16	o 721726
34.18/30.16	o 722358
34.18/30.17	o 722671
34.18/30.17	o 723748
34.18/30.17	o 724181
34.18/30.17	o 724230
34.18/30.17	o 725385
34.18/30.17	o 725628
34.18/30.17	o 726783
34.18/30.17	o 727860
34.18/30.17	o 728082
34.18/30.17	o 728903
34.18/30.17	o 729125
34.18/30.17	o 729160
34.18/30.18	o 729382
34.18/30.18	o 729980
34.18/30.18	o 730237
34.18/30.18	o 730459
34.18/30.18	o 731135
34.18/30.18	o 731357
34.18/30.18	o 731392
34.18/30.18	o 731614
34.18/30.18	o 731987
34.18/30.19	o 732209
34.18/30.19	o 732244
34.18/30.19	o 732466
34.29/30.21	o 732982
34.29/30.21	o 733239
34.29/30.21	o 733461
34.29/30.22	o 733948
34.29/30.22	o 734170
34.29/30.22	o 734205
34.29/30.22	o 734427
34.29/30.22	o 734440
34.29/30.22	o 734518
34.29/30.22	o 734743
34.29/30.22	o 735338
34.29/30.22	o 735595
34.29/30.22	o 735817
34.29/30.25	o 736605
34.29/30.25	o 736827
34.29/30.25	o 737278
34.29/30.26	o 737572
34.29/30.26	o 737808
34.29/30.26	o 738033
34.29/30.26	o 738885
34.29/30.26	o 739028
34.29/30.26	o 739880
34.29/30.26	o 740137
34.29/30.26	o 740359
34.29/30.27	o 741152
34.29/30.27	o 741266
34.29/30.27	o 741501
34.29/30.27	o 741579
34.29/30.27	o 742656
34.29/30.27	o 743508
34.29/30.28	o 743730
34.29/30.28	o 743859
34.29/30.28	o 744854
34.29/30.28	o 745706
34.29/30.28	o 745928
34.29/30.28	o 745963
34.29/30.28	o 746185
34.29/30.28	o 746783
34.29/30.29	o 747040
34.29/30.29	o 747262
34.29/30.29	o 747378
34.29/30.30	o 747456
34.29/30.30	o 748533
34.50/30.30	o 749385
34.50/30.30	o 749403
34.50/30.30	o 749721
34.50/30.30	o 749821
34.50/30.30	o 750367
34.50/30.30	o 751219
34.50/30.30	o 751757
34.50/30.30	o 752609
34.50/30.30	o 752969
34.50/30.31	o 753204
34.50/30.31	o 754359
34.50/30.31	o 755211
34.50/30.31	o 755436
34.50/30.31	o 756288
34.50/30.32	o 756479
34.50/30.32	o 756736
34.50/30.32	o 757634
34.50/30.32	o 757891
34.50/30.32	o 758711
34.50/30.32	o 758968
34.50/30.32	o 759563
34.50/30.32	o 759820
35.39/30.93	o 760375
35.39/30.94	o 760578
35.39/30.94	o 762458
35.39/30.94	o 765060
35.39/30.95	o 767485
35.39/30.95	o 769882
35.39/30.95	o 771766
35.39/30.95	o 771794
35.39/30.95	o 774191
35.39/30.95	o 775906
35.39/30.95	o 777439
35.39/30.95	o 778121
35.39/30.95	o 779836
35.39/30.95	o 780005
35.39/30.96	o 780033
35.39/30.96	o 782430
35.39/30.96	o 784145
37.65/33.03	o 787730
37.65/33.03	o 793800
37.65/33.03	o 793926
37.65/33.03	o 794290
37.65/33.04	o 795169
37.65/33.04	o 802834
37.65/33.04	o 810646
37.65/33.04	o 818311
37.65/33.05	o 821075
37.65/33.05	o 822361
37.65/33.06	o 827931
37.65/33.07	o 830695
37.65/33.07	o 831981
37.65/33.08	o 832836
37.65/33.08	o 834122
37.65/33.08	o 837376
37.65/33.08	o 840140
37.65/33.09	o 842281
37.65/33.10	o 843567
37.79/33.11	o 846315
37.79/33.11	o 848456
37.79/33.11	o 849742
40.10/35.38	o 851841
40.10/35.38	o 860321
40.10/35.38	o 860822
40.10/35.38	o 869302
40.10/35.38	o 874591
41.90/36.88	o 875508
41.90/36.88	o 876663
41.90/36.88	o 881467
41.90/36.89	o 882622
41.90/36.89	o 882757
41.90/36.89	o 884416
41.90/36.89	o 885571
41.90/36.89	o 890375
41.90/36.89	o 891530
47.39/41.99	o 891889
47.39/41.99	o 893604
47.51/42.00	o 894030
47.51/42.00	o 895745
47.51/42.03	o 896329
47.51/42.03	o 898044
47.61/42.15	o 898838
47.61/42.16	o 899264
47.61/42.16	o 900979
50.09/44.51	o 901261
50.09/44.51	o 902186
50.09/44.51	o 903551
50.09/44.51	o 904706
50.09/44.53	o 905432
50.09/44.53	o 905642
50.09/44.53	o 906797
50.09/44.55	o 907420
50.09/44.55	o 908575
50.09/44.55	o 908814
50.09/44.57	o 909938
50.09/44.57	o 911093
50.09/44.57	o 911332
50.09/44.57	o 912029
50.09/44.58	o 913184
50.09/44.58	o 913423
50.40/44.86	o 914529
50.40/44.86	o 915091
50.40/44.88	o 915368
50.40/44.88	o 916733
50.40/44.88	o 917888
50.40/44.89	o 918614
50.40/44.90	o 918824
50.40/44.90	o 919979
50.49/44.92	o 920218
50.69/45.16	o 920660
50.69/45.20	o 920899
50.79/45.28	o 921133
50.79/45.28	o 922288
50.79/45.28	o 922751
50.79/45.29	o 922990
50.99/45.46	o 923127
50.99/45.46	o 924492
50.99/45.46	o 925647
50.99/45.46	o 926110
50.99/45.47	o 926349
50.99/45.49	o 926373
50.99/45.49	o 926583
50.99/45.49	o 927738
50.99/45.49	o 928201
50.99/45.50	o 928440
51.30/45.79	o 929054
51.41/45.82	o 929293
51.70/46.12	o 929517
51.70/46.12	o 929756
51.80/46.20	o 929893
51.80/46.20	o 931258
51.80/46.20	o 932413
51.80/46.20	o 932876
51.80/46.25	o 933115
52.82/47.28	o 933955
52.82/47.28	o 938898
52.82/47.28	o 941699
52.82/47.28	o 944421
52.82/47.28	o 946563
52.82/47.28	o 949364
53.42/47.72	o 953031
53.42/47.72	o 954050
53.42/47.72	o 959779
53.42/47.72	o 960798
53.42/47.72	o 960808
54.13/48.49	o 961208
54.13/48.49	o 961343
54.24/48.50	o 962263
54.24/48.50	o 964919
54.24/48.50	o 966372
54.24/48.50	o 967325
54.24/48.50	o 967658
54.24/48.50	o 968611
54.24/48.50	o 968735
54.24/48.50	o 969688
54.24/48.50	o 969823
54.24/48.51	o 969858
54.24/48.51	o 971144
54.24/48.51	o 972221
54.24/48.51	o 972356
54.24/48.51	o 973174
54.24/48.51	o 973309
54.24/48.51	o 973367
54.24/48.51	o 973491
54.24/48.51	o 974444
54.24/48.51	o 974614
54.24/48.52	o 975691
54.24/48.52	o 975900
54.24/48.52	o 976977
54.24/48.52	o 977930
54.24/48.52	o 978065
54.24/48.52	o 978804
54.24/48.52	o 979757
54.24/48.52	o 979892
54.24/48.53	o 980016
54.24/48.53	o 980834
54.24/48.53	o 980969
54.24/48.53	o 981114
54.24/48.53	o 981447
54.24/48.53	o 982400
54.24/48.53	o 982524
54.24/48.53	o 983477
54.24/48.53	o 983612
54.24/48.53	o 984140
54.24/48.53	o 985426
54.24/48.53	o 986503
54.24/48.53	o 986796
54.24/48.54	o 987873
54.24/48.54	o 988082
54.24/48.54	o 989159
54.24/48.54	o 989700
54.24/48.54	o 990986
54.24/48.54	o 992063
54.24/48.54	o 992198
54.24/48.54	o 992343
54.24/48.54	o 993420
54.24/48.54	o 993555
54.24/48.54	o 993629
54.24/48.54	o 993764
54.24/48.55	o 994706
54.24/48.55	o 994841
54.24/48.57	o 1003631
54.24/48.57	o 1004708
54.24/48.57	o 1005640
55.36/49.68	o 1009022
55.36/49.69	o 1009032
55.49/49.72	o 1009508
55.49/49.73	o 1010527
55.49/49.73	o 1011379
55.49/49.73	o 1011482
55.49/49.73	o 1012334
55.49/49.73	o 1012501
55.49/49.73	o 1013353
55.49/49.73	o 1014207
55.49/49.73	o 1015226
55.49/49.73	o 1016078
55.49/49.74	o 1016497
55.49/49.74	o 1017349
55.49/49.76	o 1017516
55.49/49.76	o 1018368
55.49/49.77	o 1019140
55.49/49.77	o 1019708
55.49/49.77	o 1020979
55.49/49.77	o 1021998
55.49/49.77	o 1022850
55.49/49.79	o 1023104
55.49/49.79	o 1024977
55.49/49.79	o 1025829
55.59/49.81	o 1026734
55.59/49.81	o 1027169
55.59/49.81	o 1029459
55.59/49.84	o 1030311
55.59/49.84	o 1030478
55.59/49.84	o 1031330
55.59/49.87	o 1031975
55.59/49.87	o 1032994
55.59/49.88	o 1033248
55.59/49.88	o 1034267
55.59/49.88	o 1035440
55.59/49.88	o 1037730
55.59/49.88	o 1038749
55.59/49.88	o 1039184
55.59/49.88	o 1040455
55.59/49.88	o 1041474
55.59/49.90	o 1042326
57.82/52.00	o 1049891
57.82/52.00	o 1050148
57.82/52.04	o 1050705
57.82/52.04	o 1050965
57.82/52.04	o 1052070
57.82/52.05	o 1052330
58.87/53.01	o 1052368
58.87/53.01	o 1053438
58.87/53.01	o 1055169
58.87/53.01	o 1056239
58.87/53.02	o 1056496
58.87/53.02	o 1056850
58.87/53.02	o 1059651
58.87/53.02	o 1059908
58.87/53.02	o 1060721
58.87/53.02	o 1060978
58.99/53.10	o 1067635
58.99/53.10	o 1067895
58.99/53.18	o 1074248
58.99/53.18	o 1074505
59.10/53.24	o 1075331
59.10/53.27	o 1076923
59.10/53.28	o 1077183
59.10/53.28	o 1078547
59.10/53.28	o 1078729
59.10/53.28	o 1078860
59.10/53.28	o 1079701
59.10/53.28	o 1082346
59.10/53.28	o 1084141
59.10/53.28	o 1086786
59.10/53.28	o 1086830
59.10/53.28	o 1090316
59.10/53.28	o 1092961
59.10/53.28	o 1093221
59.10/53.28	o 1093301
59.10/53.29	o 1093882
59.10/53.29	o 1096527
59.10/53.29	o 1096787
59.21/53.34	o 1099193
59.21/53.34	o 1100125
59.21/53.34	o 1100571
59.21/53.35	o 1108810
59.21/53.35	o 1109742
59.21/53.35	o 1110117
59.21/53.35	o 1117424
59.21/53.35	o 1118356
59.32/53.41	o 1118658
59.32/53.41	o 1119944
59.32/53.41	o 1120876
59.52/53.65	o 1121694
59.52/53.65	o 1122771
59.52/53.65	o 1122849
59.52/53.66	o 1123926
59.66/53.78	o 1125839
59.66/53.79	o 1125974
59.66/53.80	o 1126011
59.66/53.80	o 1126784
59.66/53.80	o 1126919
59.66/53.80	o 1133487
59.66/53.80	o 1133622
59.66/53.80	o 1136391
59.66/53.80	o 1136526
59.66/53.80	o 1140253
59.66/53.80	o 1143157
59.66/53.80	o 1143292
59.79/53.89	o 1144327
59.79/53.89	o 1144747
59.79/53.89	o 1145960
59.79/53.89	o 1147037
59.79/53.89	o 1147325
59.79/53.89	o 1148402
59.79/53.90	o 1148889
59.89/53.91	o 1149533
59.89/53.91	o 1150821
59.89/53.91	o 1153111
59.89/53.91	o 1154476
59.89/53.91	o 1155553
59.89/53.91	o 1156167
59.89/53.91	o 1157380
59.89/53.92	o 1158457
62.34/56.37	o 1158858
62.34/56.37	o 1158868
62.34/56.37	o 1158993
62.34/56.37	o 1159003
62.34/56.37	o 1161491
62.34/56.37	o 1161626
62.34/56.37	o 1162568
62.34/56.37	o 1162703
62.34/56.37	o 1162713
62.34/56.38	o 1163271
62.34/56.38	o 1164348
62.34/56.38	o 1164358
62.34/56.38	o 1166981
62.34/56.38	o 1166991
62.34/56.38	o 1168058
62.34/56.38	o 1168068
62.34/56.39	o 1168193
62.34/56.39	o 1168203
62.55/56.51	o 1168497
62.55/56.52	o 1169429
62.55/56.53	o 1169439
65.04/58.94	o 1170224
65.04/58.95	o 1170576
65.04/58.95	o 1173934
65.04/58.95	o 1174286
65.04/58.95	o 1174543
65.14/59.02	o 1175711
65.14/59.02	o 1176730
65.14/59.02	o 1176866
65.14/59.02	o 1177885
65.14/59.03	o 1178769
65.14/59.03	o 1178883
65.14/59.03	o 1180373
65.14/59.03	o 1181528
65.14/59.03	o 1182547
65.14/59.04	o 1182899
65.24/59.19	o 1182924
65.24/59.19	o 1183184
65.24/59.19	o 1184000
65.24/59.19	o 1184260
65.24/59.19	o 1185084
65.24/59.19	o 1187400
65.24/59.19	o 1188476
65.24/59.20	o 1189690
65.24/59.20	o 1190766
65.24/59.20	o 1191026
65.35/59.20	o 1191786
65.35/59.20	o 1192046
65.35/59.23	o 1192181
65.35/59.23	o 1192941
65.35/59.23	o 1193201
65.35/59.27	o 1193358
65.35/59.27	o 1194513
65.35/59.27	o 1196847
65.35/59.27	o 1198002
65.35/59.28	o 1198133
65.35/59.29	o 1199288
68.81/62.59	o 1200176
69.02/62.76	o 1200625
69.02/62.77	o 1201249
69.02/62.77	o 1202614
69.02/62.77	o 1202826
69.02/62.77	o 1204191
72.94/66.60	o 1204225
72.94/66.60	o 1204994
72.94/66.60	o 1205251
72.94/66.60	o 1205254
72.94/66.60	o 1205511
72.94/66.64	o 1205581
72.94/66.64	o 1205838
73.35/67.03	o 1206981
73.35/67.03	o 1208888
73.35/67.06	o 1209052
73.35/67.06	o 1209984
73.35/67.08	o 1210844
73.35/67.08	o 1212559
73.35/67.08	o 1213714
73.35/67.08	o 1214646
73.45/67.10	o 1214838
73.45/67.10	o 1215621
73.45/67.10	o 1216553
73.45/67.13	o 1217543
73.45/67.13	o 1220188
73.45/67.13	o 1221443
73.45/67.13	o 1224088
73.65/67.34	o 1224152
73.65/67.34	o 1226329
73.65/67.34	o 1226393
73.86/67.55	o 1226894
73.86/67.55	o 1227029
74.36/68.01	o 1227723
74.36/68.03	o 1228529
74.36/68.03	o 1231433
74.46/68.16	o 1231440
74.46/68.16	o 1232517
74.46/68.16	o 1232519
74.46/68.16	o 1234096
74.46/68.16	o 1235173
74.66/68.30	o 1235661
74.66/68.30	o 1237238
74.66/68.36	o 1237315
74.66/68.37	o 1240219
74.76/68.40	o 1241796
74.86/68.52	o 1244056
74.86/68.52	o 1245432
74.86/68.53	o 1246297
74.86/68.53	o 1247673
74.96/68.61	o 1249407
74.96/68.61	o 1254727
74.96/68.61	o 1254842
74.96/68.68	o 1257927
74.96/68.68	o 1259389
74.96/68.68	o 1259504
77.52/71.14	o 1259823
77.72/71.36	o 1260171
77.72/71.36	o 1260235
77.72/71.37	o 1260568
77.72/71.37	o 1261330
77.72/71.37	o 1262145
77.72/71.37	o 1262406
77.72/71.37	o 1263221
77.72/71.37	o 1263285
77.72/71.37	o 1264298
77.72/71.37	o 1264362
81.29/74.86	o 1264462
81.29/74.86	o 1266177
81.29/74.86	o 1267109
81.29/74.86	o 1269218
81.29/74.86	o 1270150
81.29/74.86	o 1270933
81.29/74.86	o 1271865
81.29/74.86	o 1272882
81.29/74.86	o 1274597
81.29/74.87	o 1275529
81.49/75.08	o 1275819
81.49/75.08	o 1278279
81.49/75.08	o 1279211
81.59/75.18	o 1281943
81.59/75.18	o 1282875
81.59/75.18	o 1283658
81.59/75.18	o 1284590
81.79/75.34	o 1284734
81.79/75.34	o 1285666
87.94/81.46	o 1286811
87.94/81.46	o 1287887
87.94/81.46	o 1287888
87.94/81.46	o 1288964
89.97/83.48	o 1289395
89.97/83.48	o 1292159
89.97/83.48	o 1293709
93.44/86.73	o 1294285
93.44/86.76	o 1295763
93.44/86.76	o 1296695
93.44/86.76	o 1296839
93.44/86.76	o 1297771
93.73/87.00	o 1303254
93.73/87.00	o 1303606
112.98/105.97	o 1303626
112.98/105.97	o 1304409
112.98/105.98	o 1305341
113.18/106.11	o 1308089
113.60/106.58	o 1310591
113.60/106.58	o 1310943
113.60/106.58	o 1312306
113.60/106.58	o 1312658
116.27/109.17	o 1312771
116.27/109.17	o 1312835
116.27/109.18	o 1313273
116.27/109.18	o 1315180
116.27/109.18	o 1316257
116.27/109.18	o 1316321
120.90/113.65	o 1316640
120.90/113.65	o 1317653
120.90/113.65	o 1318005
120.90/113.65	o 1319964
120.90/113.65	o 1321329
120.90/113.65	o 1323530
120.90/113.65	o 1324895
120.90/113.65	o 1325247
130.12/122.63	o 1329234
134.63/127.09	o 1329699
134.63/127.09	o 1329763
134.63/127.09	o 1331271
134.63/127.09	o 1331474
134.63/127.09	o 1334238
134.63/127.09	o 1334302
145.64/137.76	o 1334853
145.64/137.77	o 1335045
145.64/137.77	o 1336760
145.86/137.98	o 1337112
150.37/142.37	o 1337685
150.37/142.37	o 1339050
152.11/144.08	o 1342125
152.11/144.09	o 1345835
152.11/144.09	o 1348076
157.84/149.52	o 1348827
157.84/149.52	o 1352490
158.24/149.91	o 1354205
167.27/158.70	o 1354955
198.57/189.04	o 1359011
198.57/189.04	o 1360376
198.57/189.04	o 1361308
198.97/189.42	o 1361392
199.11/189.58	o 1361820
213.90/203.87	o 1364309
226.42/216.08	o 1365828
226.66/216.29	o 1365985
226.66/216.29	o 1367021
226.66/216.29	o 1370684
226.85/216.45	o 1371551
252.09/240.60	s SATISFIABLE
252.09/240.60	v <instantiation>
252.09/240.60	v 	<list>
252.09/240.60	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]
252.09/240.60	v 	</list>
252.09/240.60	v 	<values>
252.09/240.60	v 		0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 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 1 0 0 0 0 1 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 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 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 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 
252.09/240.60	v 	</values>
252.09/240.60	v </instantiation>

Verifier Data 

OK	1371551

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310548-1534329045/watcher-4310548-1534329045 -o /tmp/evaluation-result-4310548-1534329045/solver-4310548-1534329045 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20537 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1241360839 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310548-1534329045.xml 

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

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

solver pid=20660, runsolver pid=20657

[startup+0.101071 s]*
/proc/loadavg: 1.40 1.39 1.42 6/219 20675
/proc/meminfo: memFree=18914848/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=14082736 memory=33440 CPUtime=0.12 cores=0,2,4,6
/proc/20660/stat : 20660 (java) S 20657 20660 20506 0 -1 1077944320 7309 0 0 0 10 2 0 0 20 0 15 0 250467709 14420721664 8360 33554432000 4194304 4196468 140730235785408 140730235767952 140476147281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
/proc/20660/statm: 3520684 8360 3140 1 0 3482761 0
[pid=20660/tid=20662] ppid=20657 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/20660/task/20662/stat : 20662 (java) R 20657 20660 20506 0 -1 4202560 5376 0 0 0 8 1 0 0 20 0 15 0 250467709 14420721664 8360 33554432000 4194304 4196468 140730235785408 140476151510368 140476131362172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20663] ppid=20657 vsize=14082736 memory=5793854984129661369 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20663/stat : 20663 (java) S 20657 20660 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475743005328 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20664] ppid=20657 vsize=14082736 memory=139733119768192 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20664/stat : 20664 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475741952528 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20665] ppid=20657 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20665/stat : 20665 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475740899728 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20666] ppid=20657 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20666/stat : 20666 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475739846928 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20667] ppid=20657 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20667/stat : 20667 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467711 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475622194032 140476147292802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20668] ppid=20657 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20668/stat : 20668 (java) S 20657 20660 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250467712 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475621140000 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20669] ppid=20657 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20669/stat : 20669 (java) S 20657 20660 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250467712 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475620087152 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20670] ppid=20657 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20670/stat : 20670 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475619035472 140476147300251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20671] ppid=20657 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20671/stat : 20671 (java) S 20657 20660 20506 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 250467714 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475617982832 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20672] ppid=20657 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20672/stat : 20672 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475616930032 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20673] ppid=20657 vsize=14082736 memory=139733119768192 CPUtime=0.01 cores=0,2,4,6
/proc/20660/task/20673/stat : 20673 (java) R 20657 20660 20506 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 15 0 250467714 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475615877232 140476139518782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20674] ppid=20657 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20674/stat : 20674 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475614824672 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20675] ppid=20657 vsize=14082736 memory=139733119768192 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20675/stat : 20675 (java) S 20657 20660 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467715 14420721664 8360 33554432000 4194304 4196468 140730235785408 140475613772976 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33440 KiB

[startup+0.211388 s]*
/proc/loadavg: 1.40 1.39 1.42 7/219 20675
/proc/meminfo: memFree=18899592/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=14082736 memory=47084 CPUtime=0.31 cores=0,2,4,6
/proc/20660/stat : 20660 (java) S 20657 20660 20506 0 -1 1077944320 10360 0 0 0 28 3 0 0 20 0 15 0 250467709 14420721664 11771 33554432000 4194304 4196468 140730235785408 140730235767952 140476147281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
/proc/20660/statm: 3520684 11771 3368 1 0 3482761 0
[pid=20660/tid=20662] ppid=20657 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/20660/task/20662/stat : 20662 (java) R 20657 20660 20506 0 -1 4202560 8091 0 0 0 18 2 0 0 20 0 15 0 250467709 14420721664 11771 33554432000 4194304 4196468 140730235785408 140476151508848 140476125725959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20663] ppid=20657 vsize=14082736 memory=4211973459324558730 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20663/stat : 20663 (java) S 20657 20660 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475743005328 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20664] ppid=20657 vsize=14082736 memory=139733119768192 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20664/stat : 20664 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475741952528 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20665] ppid=20657 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20665/stat : 20665 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475740899728 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20666] ppid=20657 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20666/stat : 20666 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475739846928 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20667] ppid=20657 vsize=14082736 memory=139733119768192 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20667/stat : 20667 (java) S 20657 20660 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250467711 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475622194032 140476147292802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20668] ppid=20657 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20668/stat : 20668 (java) S 20657 20660 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250467712 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475621140000 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20669] ppid=20657 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20669/stat : 20669 (java) S 20657 20660 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250467712 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475620087152 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20670] ppid=20657 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20670/stat : 20670 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475619035472 140476147300251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20671] ppid=20657 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20660/task/20671/stat : 20671 (java) S 20657 20660 20506 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 250467714 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475617982832 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20672] ppid=20657 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20660/task/20672/stat : 20672 (java) S 20657 20660 20506 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 250467714 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475616930032 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20673] ppid=20657 vsize=14082736 memory=139733119768192 CPUtime=0.05 cores=0,2,4,6
/proc/20660/task/20673/stat : 20673 (java) R 20657 20660 20506 0 -1 4202560 274 0 0 0 5 0 0 0 20 0 15 0 250467714 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475615875192 140476128845193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20674] ppid=20657 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20674/stat : 20674 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475614824672 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20675] ppid=20657 vsize=14082736 memory=139733119768192 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20675/stat : 20675 (java) S 20657 20660 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467715 14420721664 11771 33554432000 4194304 4196468 140730235785408 140475613772976 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47084 KiB

[startup+0.310881 s]*
/proc/loadavg: 1.40 1.39 1.42 7/219 20675
/proc/meminfo: memFree=18856044/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=14082736 memory=50380 CPUtime=0.43 cores=0,2,4,6
/proc/20660/stat : 20660 (java) S 20657 20660 20506 0 -1 1077944320 10733 0 0 0 40 3 0 0 20 0 15 0 250467709 14420721664 12595 33554432000 4194304 4196468 140730235785408 140730235767952 140476147281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
/proc/20660/statm: 3520684 12595 3370 1 0 3482761 0
[pid=20660/tid=20662] ppid=20657 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/20660/task/20662/stat : 20662 (java) R 20657 20660 20506 0 -1 4202560 8436 0 0 0 28 2 0 0 20 0 15 0 250467709 14420721664 12595 33554432000 4194304 4196468 140730235785408 140476151490352 140476128845184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20663] ppid=20657 vsize=14082736 memory=4211973459324558730 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20663/stat : 20663 (java) S 20657 20660 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475743005328 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20664] ppid=20657 vsize=14082736 memory=139733119770552 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20664/stat : 20664 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475741952528 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20665] ppid=20657 vsize=14082736 memory=139733003008524 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20665/stat : 20665 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475740899728 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20666] ppid=20657 vsize=14082736 memory=139733002997199 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20666/stat : 20666 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475739846928 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20667] ppid=20657 vsize=14082736 memory=139733119788724 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20667/stat : 20667 (java) S 20657 20660 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250467711 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475622194032 140476147292802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20668] ppid=20657 vsize=14082736 memory=139733003006383 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20668/stat : 20668 (java) S 20657 20660 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250467712 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475621140000 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20669] ppid=20657 vsize=14082736 memory=279466006003600 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20669/stat : 20669 (java) S 20657 20660 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250467712 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475620087152 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20670] ppid=20657 vsize=14082736 memory=279466006001296 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20670/stat : 20670 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475619035472 140476147300251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20671] ppid=20657 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20660/task/20671/stat : 20671 (java) S 20657 20660 20506 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 250467714 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475617982832 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20672] ppid=20657 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20660/task/20672/stat : 20672 (java) S 20657 20660 20506 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 250467714 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475616930032 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20673] ppid=20657 vsize=14082736 memory=139733119768192 CPUtime=0.07 cores=0,2,4,6
/proc/20660/task/20673/stat : 20673 (java) S 20657 20660 20506 0 -1 1077944384 294 0 0 0 7 0 0 0 20 0 15 0 250467714 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475615877232 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20674] ppid=20657 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20674/stat : 20674 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475614824672 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20675] ppid=20657 vsize=14082736 memory=139733119768192 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20675/stat : 20675 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467715 14420721664 12595 33554432000 4194304 4196468 140730235785408 140475613772976 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50380 KiB

[startup+1.17974 s]*
/proc/loadavg: 1.40 1.39 1.42 5/219 20675
/proc/meminfo: memFree=18812568/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=14086852 memory=95140 CPUtime=1.23 cores=0,2,4,6
/proc/20660/stat : 20660 (java) S 20657 20660 20506 0 -1 1077944320 18063 0 0 0 117 6 0 0 20 0 15 0 250467709 14424936448 23760 33554432000 4194304 4196468 140730235785408 140730235767952 140476147281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
/proc/20660/statm: 3521713 23760 3510 1 0 3483785 0
[pid=20660/tid=20662] ppid=20657 vsize=14086852 memory=6735269665583770266 CPUtime=0.78 cores=0,2,4,6
/proc/20660/task/20662/stat : 20662 (java) R 20657 20660 20506 0 -1 4202560 15180 0 0 0 73 5 0 0 20 0 15 0 250467709 14424936448 23785 33554432000 4194304 4196468 140730235785408 140476151516528 140475780639984 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20663] ppid=20657 vsize=14086852 memory=4211973459324558730 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20663/stat : 20663 (java) S 20657 20660 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467710 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475743005328 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20664] ppid=20657 vsize=14086852 memory=139733119768192 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20664/stat : 20664 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475741952528 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20665] ppid=20657 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20665/stat : 20665 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475740899728 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20666] ppid=20657 vsize=14086852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20666/stat : 20666 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475739846928 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20667] ppid=20657 vsize=14086852 memory=139733119768192 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20667/stat : 20667 (java) S 20657 20660 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250467711 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475622194032 140476147292802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20668] ppid=20657 vsize=14086852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20668/stat : 20668 (java) S 20657 20660 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250467712 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475621140000 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20669] ppid=20657 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20669/stat : 20669 (java) S 20657 20660 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250467712 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475620087152 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20670] ppid=20657 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20670/stat : 20670 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475619035472 140476147300251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20671] ppid=20657 vsize=14086852 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/20660/task/20671/stat : 20671 (java) S 20657 20660 20506 0 -1 1077944384 624 0 0 0 14 0 0 0 20 0 15 0 250467714 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475617982832 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20672] ppid=20657 vsize=14086852 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/20660/task/20672/stat : 20672 (java) S 20657 20660 20506 0 -1 1077944384 365 0 0 0 9 0 0 0 20 0 15 0 250467714 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475616930032 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20673] ppid=20657 vsize=14086852 memory=139733119768192 CPUtime=0.2 cores=0,2,4,6
/proc/20660/task/20673/stat : 20673 (java) R 20657 20660 20506 0 -1 4202560 514 0 0 0 20 0 0 0 20 0 15 0 250467714 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475615877232 140476131362142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20674] ppid=20657 vsize=14086852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20674/stat : 20674 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475614824672 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20675] ppid=20657 vsize=14086852 memory=139733119768192 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20675/stat : 20675 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467715 14424936448 23785 33554432000 4194304 4196468 140730235785408 140475613772976 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 95140 KiB

[startup+1.50079 s]
/proc/loadavg: 1.40 1.39 1.42 6/219 20675
/proc/meminfo: memFree=18810344/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=14086852 memory=120740 CPUtime=2.17 cores=0,2,4,6
/proc/20660/stat : 20660 (java) S 20657 20660 20506 0 -1 1077944320 22277 0 0 0 208 9 0 0 20 0 15 0 250467709 14424936448 30185 33554432000 4194304 4196468 140730235785408 140730235767952 140476147281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
/proc/20660/statm: 3521713 30185 3553 1 0 3483785 0
[pid=20660/tid=20662] ppid=20657 vsize=14086852 memory=8851400225972064177 CPUtime=1.09 cores=0,2,4,6
/proc/20660/task/20662/stat : 20662 (java) R 20657 20660 20506 0 -1 4202560 17278 0 0 0 102 7 0 0 20 0 15 0 250467709 14424936448 30185 33554432000 4194304 4196468 140730235785408 140476151515504 140476147293590 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20663] ppid=20657 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20663/stat : 20663 (java) S 20657 20660 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467710 14424936448 30185 33554432000 4194304 4196468 140730235785408 140475743005328 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20664] ppid=20657 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20664/stat : 20664 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14424936448 30185 33554432000 4194304 4196468 140730235785408 140475741952528 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20665] ppid=20657 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20665/stat : 20665 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14424936448 30185 33554432000 4194304 4196468 140730235785408 140475740899728 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20666] ppid=20657 vsize=14086852 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20666/stat : 20666 (java) S 20657 20660 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467710 14424936448 30185 33554432000 4194304 4196468 140730235785408 140475739846928 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20667] ppid=20657 vsize=14086852 memory=6363681283794813024 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20667/stat : 20667 (java) S 20657 20660 20506 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 250467711 14424936448 30185 33554432000 4194304 4196468 140730235785408 140475622194032 140476147292802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0

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

/proc/20660/task/20662/stat : 20662 (java) R 20657 20660 20506 0 -1 4202560 36003 0 0 0 16039 38 0 0 20 0 15 0 250467709 14431227904 434782 33554432000 4194304 4196468 140730235785408 140476151518592 140475789403599 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20663] ppid=20657 vsize=14092996 memory=0 CPUtime=0.9 cores=0,2,4,6
/proc/20660/task/20663/stat : 20663 (java) S 20657 20660 20506 0 -1 1077944384 3047 0 0 0 80 10 0 0 20 0 15 0 250467710 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475743005328 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20664] ppid=20657 vsize=14092996 memory=6791534058613427641 CPUtime=0.91 cores=0,2,4,6
/proc/20660/task/20664/stat : 20664 (java) S 20657 20660 20506 0 -1 1077944384 1603 0 0 0 80 11 0 0 20 0 15 0 250467710 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475741952528 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20665] ppid=20657 vsize=14092996 memory=-7003737579269690708 CPUtime=0.9 cores=0,2,4,6
/proc/20660/task/20665/stat : 20665 (java) S 20657 20660 20506 0 -1 1077944384 2436 0 0 0 79 11 0 0 20 0 15 0 250467710 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475740899728 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20666] ppid=20657 vsize=14092996 memory=1160 CPUtime=0.92 cores=0,2,4,6
/proc/20660/task/20666/stat : 20666 (java) S 20657 20660 20506 0 -1 1077944384 2320 0 0 0 81 11 0 0 20 0 15 0 250467710 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475739846928 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20667] ppid=20657 vsize=14092996 memory=10852 CPUtime=0.11 cores=0,2,4,6
/proc/20660/task/20667/stat : 20667 (java) S 20657 20660 20506 0 -1 1077944384 2449 0 0 0 9 2 0 0 20 0 15 0 250467711 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475622194032 140476147292802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20668] ppid=20657 vsize=14092996 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20668/stat : 20668 (java) S 20657 20660 20506 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 250467712 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475621140064 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20669] ppid=20657 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20669/stat : 20669 (java) S 20657 20660 20506 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250467712 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475620087168 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20670] ppid=20657 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20670/stat : 20670 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475619035472 140476147300251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20671] ppid=20657 vsize=14092996 memory=932 CPUtime=2.68 cores=0,2,4,6
/proc/20660/task/20671/stat : 20671 (java) S 20657 20660 20506 0 -1 1077944384 8203 0 0 0 266 2 0 0 20 0 15 0 250467714 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475617982832 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20672] ppid=20657 vsize=14092996 memory=1580 CPUtime=2.5 cores=0,2,4,6
/proc/20660/task/20672/stat : 20672 (java) S 20657 20660 20506 0 -1 1077944384 9720 0 0 0 248 2 0 0 20 0 15 0 250467714 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475616930032 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20673] ppid=20657 vsize=14092996 memory=2240 CPUtime=1.2 cores=0,2,4,6
/proc/20660/task/20673/stat : 20673 (java) S 20657 20660 20506 0 -1 1077944384 13611 0 0 0 117 3 0 0 20 0 15 0 250467714 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475615877232 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20674] ppid=20657 vsize=14092996 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20674/stat : 20674 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475614824672 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20675] ppid=20657 vsize=14092996 memory=2100 CPUtime=0.08 cores=0,2,4,6
/proc/20660/task/20675/stat : 20675 (java) S 20657 20660 20506 0 -1 1077944384 1017 0 0 0 5 3 0 0 20 0 15 0 250467715 14431227904 434782 33554432000 4194304 4196468 140730235785408 140475613772976 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
Current children cumulated CPU time: 171.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1739128 KiB

[startup+222.301 s]
/proc/loadavg: 1.40 1.40 1.41 3/219 20678
/proc/meminfo: memFree=15315192/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=14092996 memory=1722448 CPUtime=232.89 cores=0,2,4,6
/proc/20660/stat : 20660 (java) S 20657 20660 20506 0 -1 1077944320 95788 0 0 0 23181 108 0 0 20 0 15 0 250467709 14431227904 430612 33554432000 4194304 4196468 140730235785408 140730235767952 140476147281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
/proc/20660/statm: 3523249 430612 3607 1 0 3485321 0
[pid=20660/tid=20662] ppid=20657 vsize=14092996 memory=1240 CPUtime=220.18 cores=0,2,4,6
/proc/20660/task/20662/stat : 20662 (java) R 20657 20660 20506 0 -1 4202560 40729 0 0 0 21980 38 0 0 20 0 15 0 250467709 14431227904 430612 33554432000 4194304 4196468 140730235785408 140476151518720 140475790531998 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20663] ppid=20657 vsize=14092996 memory=2416 CPUtime=1.41 cores=0,2,4,6
/proc/20660/task/20663/stat : 20663 (java) S 20657 20660 20506 0 -1 1077944384 3468 0 0 0 129 12 0 0 20 0 15 0 250467710 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475743005328 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20664] ppid=20657 vsize=14092996 memory=1796 CPUtime=1.43 cores=0,2,4,6
/proc/20660/task/20664/stat : 20664 (java) S 20657 20660 20506 0 -1 1077944384 2766 0 0 0 129 14 0 0 20 0 15 0 250467710 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475741952528 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20665] ppid=20657 vsize=14092996 memory=1712208 CPUtime=1.43 cores=0,2,4,6
/proc/20660/task/20665/stat : 20665 (java) S 20657 20660 20506 0 -1 1077944384 2744 0 0 0 129 14 0 0 20 0 15 0 250467710 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475740899728 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20666] ppid=20657 vsize=14092996 memory=1712208 CPUtime=1.43 cores=0,2,4,6
/proc/20660/task/20666/stat : 20666 (java) S 20657 20660 20506 0 -1 1077944384 2673 0 0 0 130 13 0 0 20 0 15 0 250467710 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475739846928 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20667] ppid=20657 vsize=14092996 memory=920 CPUtime=0.15 cores=0,2,4,6
/proc/20660/task/20667/stat : 20667 (java) S 20657 20660 20506 0 -1 1077944384 2726 0 0 0 12 3 0 0 20 0 15 0 250467711 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475622194032 140476147292802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20668] ppid=20657 vsize=14092996 memory=3796 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20668/stat : 20668 (java) S 20657 20660 20506 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 250467712 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475621140064 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20669] ppid=20657 vsize=14092996 memory=2556 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20669/stat : 20669 (java) S 20657 20660 20506 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250467712 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475620087168 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20670] ppid=20657 vsize=14092996 memory=2300 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20670/stat : 20670 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475619035472 140476147300251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20671] ppid=20657 vsize=14092996 memory=1408 CPUtime=2.73 cores=0,2,4,6
/proc/20660/task/20671/stat : 20671 (java) S 20657 20660 20506 0 -1 1077944384 9269 0 0 0 271 2 0 0 20 0 15 0 250467714 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475617982832 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20672] ppid=20657 vsize=14092996 memory=1704 CPUtime=2.68 cores=0,2,4,6
/proc/20660/task/20672/stat : 20672 (java) S 20657 20660 20506 0 -1 1077944384 12872 0 0 0 266 2 0 0 20 0 15 0 250467714 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475616930032 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20673] ppid=20657 vsize=14092996 memory=796 CPUtime=1.23 cores=0,2,4,6
/proc/20660/task/20673/stat : 20673 (java) S 20657 20660 20506 0 -1 1077944384 15918 0 0 0 120 3 0 0 20 0 15 0 250467714 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475615877232 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20674] ppid=20657 vsize=14092996 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20674/stat : 20674 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475614824672 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20675] ppid=20657 vsize=14092996 memory=876 CPUtime=0.11 cores=0,2,4,6
/proc/20660/task/20675/stat : 20675 (java) S 20657 20660 20506 0 -1 1077944384 1170 0 0 0 7 4 0 0 20 0 15 0 250467715 14431227904 430612 33554432000 4194304 4196468 140730235785408 140475613772976 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
Current children cumulated CPU time: 232.89 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1722448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+240.601 s]
/proc/loadavg: 1.13 1.34 1.39 2/202 20709
/proc/meminfo: memFree=17429204/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=14092996 memory=1718344 CPUtime=252.09 cores=0,2,4,6
/proc/20660/stat : 20660 (java) S 20657 20660 20506 0 -1 1077944320 103276 0 0 0 25097 112 0 0 20 0 15 0 250467709 14431227904 429586 33554432000 4194304 4196468 140730235785408 140730235767952 140476147281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
/proc/20660/statm: 3523249 429586 3622 1 0 3485321 0
[pid=20660/tid=20662] ppid=20657 vsize=14092996 memory=2100 CPUtime=238.16 cores=0,2,4,6
/proc/20660/task/20662/stat : 20662 (java) R 20657 20660 20506 0 -1 4202560 41962 0 0 0 23778 38 0 0 20 0 15 0 250467709 14431227904 429586 33554432000 4194304 4196468 140730235785408 140476151518832 140475790353368 0 4 0 16800975 0 0 0 -1 4 0 0 39 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20663] ppid=20657 vsize=14092996 memory=1718340 CPUtime=1.7 cores=0,2,4,6
/proc/20660/task/20663/stat : 20663 (java) S 20657 20660 20506 0 -1 1077944384 3738 0 0 0 157 13 0 0 20 0 15 0 250467710 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475743005328 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20664] ppid=20657 vsize=14092996 memory=1712680 CPUtime=1.72 cores=0,2,4,6
/proc/20660/task/20664/stat : 20664 (java) S 20657 20660 20506 0 -1 1077944384 3128 0 0 0 157 15 0 0 20 0 15 0 250467710 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475741952528 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20665] ppid=20657 vsize=14092996 memory=1697288 CPUtime=1.71 cores=0,2,4,6
/proc/20660/task/20665/stat : 20665 (java) S 20657 20660 20506 0 -1 1077944384 3130 0 0 0 157 14 0 0 20 0 15 0 250467710 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475740899728 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20666] ppid=20657 vsize=14092996 memory=1725308 CPUtime=1.72 cores=0,2,4,6
/proc/20660/task/20666/stat : 20666 (java) S 20657 20660 20506 0 -1 1077944384 3091 0 0 0 158 14 0 0 20 0 15 0 250467710 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475739846928 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20667] ppid=20657 vsize=14092996 memory=1725308 CPUtime=0.17 cores=0,2,4,6
/proc/20660/task/20667/stat : 20667 (java) S 20657 20660 20506 0 -1 1077944384 6486 0 0 0 14 3 0 0 20 0 15 0 250467711 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475622194032 140476147292802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20668] ppid=20657 vsize=14092996 memory=1718340 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20668/stat : 20668 (java) S 20657 20660 20506 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 250467712 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475621140064 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20669] ppid=20657 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20669/stat : 20669 (java) S 20657 20660 20506 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250467712 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475620087168 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20670] ppid=20657 vsize=14092996 memory=164 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20670/stat : 20670 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475619035472 140476147300251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20671] ppid=20657 vsize=14092996 memory=1722448 CPUtime=2.76 cores=0,2,4,6
/proc/20660/task/20671/stat : 20671 (java) S 20657 20660 20506 0 -1 1077944384 10059 0 0 0 274 2 0 0 20 0 15 0 250467714 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475617982832 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20672] ppid=20657 vsize=14092996 memory=0 CPUtime=2.68 cores=0,2,4,6
/proc/20660/task/20672/stat : 20672 (java) S 20657 20660 20506 0 -1 1077944384 12872 0 0 0 266 2 0 0 20 0 15 0 250467714 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475616930032 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20673] ppid=20657 vsize=14092996 memory=10852 CPUtime=1.24 cores=0,2,4,6
/proc/20660/task/20673/stat : 20673 (java) S 20657 20660 20506 0 -1 1077944384 16187 0 0 0 121 3 0 0 20 0 15 0 250467714 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475615877232 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20674] ppid=20657 vsize=14092996 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20674/stat : 20674 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475614824672 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20675] ppid=20657 vsize=14092996 memory=1697288 CPUtime=0.12 cores=0,2,4,6
/proc/20660/task/20675/stat : 20675 (java) S 20657 20660 20506 0 -1 1077944384 1170 0 0 0 7 5 0 0 20 0 15 0 250467715 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475613772976 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1718344 KiB

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

[startup+240.636 s]
# the end of solver process 20660 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.001 s, system=1.13646 s

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

[startup+240.601 s]
/proc/loadavg: 1.13 1.34 1.39 2/202 20709
/proc/meminfo: memFree=17429204/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=14092996 memory=1718344 CPUtime=252.09 cores=0,2,4,6
/proc/20660/stat : 20660 (java) S 20657 20660 20506 0 -1 1077944320 103276 0 0 0 25097 112 0 0 20 0 15 0 250467709 14431227904 429586 33554432000 4194304 4196468 140730235785408 140730235767952 140476147281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
/proc/20660/statm: 3523249 429586 3622 1 0 3485321 0
[pid=20660/tid=20662] ppid=20657 vsize=14092996 memory=2100 CPUtime=238.16 cores=0,2,4,6
/proc/20660/task/20662/stat : 20662 (java) R 20657 20660 20506 0 -1 4202560 41962 0 0 0 23778 38 0 0 20 0 15 0 250467709 14431227904 429586 33554432000 4194304 4196468 140730235785408 140476151518832 140475790353368 0 4 0 16800975 0 0 0 -1 4 0 0 39 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20663] ppid=20657 vsize=14092996 memory=1718340 CPUtime=1.7 cores=0,2,4,6
/proc/20660/task/20663/stat : 20663 (java) S 20657 20660 20506 0 -1 1077944384 3738 0 0 0 157 13 0 0 20 0 15 0 250467710 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475743005328 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20664] ppid=20657 vsize=14092996 memory=1712680 CPUtime=1.72 cores=0,2,4,6
/proc/20660/task/20664/stat : 20664 (java) S 20657 20660 20506 0 -1 1077944384 3128 0 0 0 157 15 0 0 20 0 15 0 250467710 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475741952528 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20665] ppid=20657 vsize=14092996 memory=1697288 CPUtime=1.71 cores=0,2,4,6
/proc/20660/task/20665/stat : 20665 (java) S 20657 20660 20506 0 -1 1077944384 3130 0 0 0 157 14 0 0 20 0 15 0 250467710 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475740899728 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20666] ppid=20657 vsize=14092996 memory=1725308 CPUtime=1.72 cores=0,2,4,6
/proc/20660/task/20666/stat : 20666 (java) S 20657 20660 20506 0 -1 1077944384 3091 0 0 0 158 14 0 0 20 0 15 0 250467710 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475739846928 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20667] ppid=20657 vsize=14092996 memory=1725308 CPUtime=0.17 cores=0,2,4,6
/proc/20660/task/20667/stat : 20667 (java) S 20657 20660 20506 0 -1 1077944384 6486 0 0 0 14 3 0 0 20 0 15 0 250467711 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475622194032 140476147292802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20668] ppid=20657 vsize=14092996 memory=1718340 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20668/stat : 20668 (java) S 20657 20660 20506 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 250467712 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475621140064 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20669] ppid=20657 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20669/stat : 20669 (java) S 20657 20660 20506 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250467712 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475620087168 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20670] ppid=20657 vsize=14092996 memory=164 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20670/stat : 20670 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475619035472 140476147300251 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20671] ppid=20657 vsize=14092996 memory=1722448 CPUtime=2.76 cores=0,2,4,6
/proc/20660/task/20671/stat : 20671 (java) S 20657 20660 20506 0 -1 1077944384 10059 0 0 0 274 2 0 0 20 0 15 0 250467714 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475617982832 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20672] ppid=20657 vsize=14092996 memory=0 CPUtime=2.68 cores=0,2,4,6
/proc/20660/task/20672/stat : 20672 (java) S 20657 20660 20506 0 -1 1077944384 12872 0 0 0 266 2 0 0 20 0 15 0 250467714 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475616930032 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20673] ppid=20657 vsize=14092996 memory=10852 CPUtime=1.24 cores=0,2,4,6
/proc/20660/task/20673/stat : 20673 (java) S 20657 20660 20506 0 -1 1077944384 16187 0 0 0 121 3 0 0 20 0 15 0 250467714 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475615877232 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20674] ppid=20657 vsize=14092996 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/20660/task/20674/stat : 20674 (java) S 20657 20660 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467714 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475614824672 140476147291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
[pid=20660/tid=20675] ppid=20657 vsize=14092996 memory=1697288 CPUtime=0.12 cores=0,2,4,6
/proc/20660/task/20675/stat : 20675 (java) S 20657 20660 20506 0 -1 1077944384 1170 0 0 0 7 5 0 0 20 0 15 0 250467715 14431227904 429586 33554432000 4194304 4196468 140730235785408 140475613772976 140476147292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12394496 140730235794522 140730235794702 140730235794702 140730235797455 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1718344 KiB

Child status: 143
Real time (s): 240.636
CPU time (s): 252.137
CPU user time (s): 251.001
CPU system time (s): 1.13646
CPU usage (%): 104.779
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2003044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.001
system time used= 1.13647
maximum resident set size= 2010468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103482
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13654
involuntary context switches= 450


# summary of solver processes directly reported to runsolver:
#   pid: 20660
#   total CPU time (s): 252.137
#   total CPU user time (s): 251.001
#   total CPU system time (s): 1.13646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53655 second user time and 2.30891 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-15 12:30:45
IDJOB=4310548
IDBENCH=141158
IDSOLVER=2796
FILE ID=node139/4310548-1534329045
RUNJOBID= node139-1534329043-20537
PBS_JOBID= 21038153
Free space on /tmp= 34988 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay200_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310548-1534329045/watcher-4310548-1534329045 -o /tmp/evaluation-result-4310548-1534329045/solver-4310548-1534329045 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20537 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1241360839 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310548-1534329045.xml

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

MD5SUM BENCH= b9a88cf563e94a20e010143964b9c3ad
RANDOM SEED=1241360839

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        18934012 kB
MemAvailable:   31687924 kB
Buffers:          270068 kB
Cached:         12582796 kB
SwapCached:            0 kB
Active:          6424300 kB
Inactive:        6689296 kB
Active(anon):     214200 kB
Inactive(anon):   106808 kB
Active(file):    6210100 kB
Inactive(file):  6582488 kB
Unevictable:        7192 kB
Mlocked:            7192 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             71652 kB
Writeback:             0 kB
AnonPages:        269536 kB
Mapped:            78672 kB
Shmem:             57996 kB
Slab:             417536 kB
SReclaimable:     389784 kB
SUnreclaim:        27752 kB
KernelStack:        3856 kB
PageTables:         6644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1330544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 34956 MiB
End job on node139 at 2018-08-15 12:34:46