Trace number 4309265

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-08-14SAT (TO)801860 19919.8 2520.41

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1742369329
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
2.61/1.11	c Parsing done, starting search...
15.99/7.05	o 29757
15.99/7.06	o 35844
16.79/7.15	o 37904
17.49/7.23	o 43991
17.49/7.24	o 49932
17.49/7.24	o 54068
17.49/7.24	o 56642
17.49/7.24	o 60778
17.49/7.25	o 62729
17.49/7.25	o 66865
17.49/7.25	o 71613
18.25/7.31	o 73413
18.25/7.31	o 79500
18.25/7.31	o 85441
18.25/7.31	o 92151
18.25/7.32	o 98238
18.25/7.32	o 102986
18.25/7.32	o 110653
18.25/7.32	o 115401
18.25/7.32	o 117352
18.25/7.35	o 121488
18.25/7.35	o 123013
18.25/7.35	o 125145
18.25/7.35	o 129893
18.25/7.35	o 131232
18.25/7.37	o 135980
18.25/7.37	o 137505
18.25/7.37	o 140116
18.25/7.37	o 141641
18.25/7.37	o 142186
18.25/7.37	o 143711
18.25/7.37	o 146289
18.25/7.39	o 150425
18.25/7.39	o 152495
18.25/7.39	o 154020
18.25/7.39	o 154947
18.25/7.39	o 161718
19.05/7.40	o 162645
19.05/7.40	o 167805
19.05/7.40	o 168732
19.05/7.40	o 171941
19.05/7.40	o 172868
19.05/7.40	o 174303
19.05/7.40	o 178439
19.05/7.40	o 179366
19.05/7.42	o 183494
19.05/7.42	o 184421
19.05/7.42	o 189992
19.05/7.42	o 190919
19.05/7.42	o 194128
19.05/7.42	o 195055
19.05/7.42	o 198665
19.05/7.43	o 199076
19.05/7.43	o 205163
19.05/7.43	o 209299
19.05/7.43	o 210226
19.05/7.43	o 210265
19.05/7.43	o 216763
19.05/7.43	o 217690
19.05/7.43	o 222850
19.05/7.43	o 223777
19.05/7.44	o 226986
19.05/7.44	o 227913
19.05/7.44	o 229314
19.05/7.44	o 230241
19.05/7.44	o 233450
19.05/7.44	o 234377
19.05/7.44	o 235374
19.05/7.44	o 236301
19.05/7.44	o 237427
19.05/7.44	o 238354
19.05/7.45	o 239639
19.05/7.45	o 240566
19.05/7.45	o 241563
19.05/7.46	o 242490
19.05/7.47	o 242829
19.05/7.47	o 243458
19.05/7.47	o 243797
19.05/7.48	o 244591
19.05/7.48	o 245518
19.05/7.48	o 248754
19.05/7.48	o 250678
19.05/7.48	o 251605
19.05/7.48	o 251944
19.05/7.48	o 252890
19.05/7.49	o 253817
19.05/7.49	o 254156
19.05/7.49	o 254814
19.05/7.49	o 255153
19.05/7.49	o 255741
19.05/7.49	o 256080
19.84/7.54	o 256876
19.84/7.54	o 257803
19.84/7.54	o 258142
19.84/7.54	o 258800
19.84/7.54	o 259139
19.84/7.54	o 259727
19.84/7.56	o 260066
19.84/7.56	o 261590
19.84/7.56	o 262517
19.84/7.56	o 263823
19.84/7.58	o 265747
19.84/7.58	o 267809
19.84/7.58	o 269733
19.84/7.59	o 270660
19.84/7.59	o 270999
19.84/7.59	o 271945
19.84/7.59	o 273869
20.73/7.61	o 274208
20.73/7.61	o 274796
20.73/7.61	o 275135
20.73/7.63	o 276257
20.73/7.65	o 276596
20.73/7.65	o 277184
20.73/7.65	o 277523
20.73/7.67	o 277569
20.73/7.67	o 278496
20.73/7.67	o 281732
20.73/7.67	o 283656
20.73/7.67	o 284583
20.73/7.67	o 286044
20.73/7.67	o 286971
20.73/7.67	o 287310
20.73/7.69	o 287792
20.73/7.69	o 288256
20.73/7.69	o 290180
20.73/7.69	o 290519
20.73/7.69	o 291107
20.73/7.69	o 291446
20.73/7.70	o 291595
20.73/7.70	o 291934
20.73/7.70	o 291993
20.73/7.70	o 293454
20.73/7.70	o 294381
21.50/7.71	o 295227
21.50/7.71	o 295691
21.50/7.71	o 297615
21.50/7.72	o 299677
21.50/7.72	o 301601
21.50/7.72	o 302528
21.50/7.72	o 302867
21.50/7.73	o 303017
21.50/7.73	o 303813
21.50/7.73	o 304152
21.50/7.73	o 304740
21.50/7.73	o 305079
21.50/7.73	o 305737
21.50/7.73	o 306664
21.50/7.73	o 307003
21.50/7.74	o 307540
21.50/7.74	o 307879
21.50/7.75	o 308467
21.50/7.75	o 308806
21.50/7.75	o 309702
21.50/7.75	o 310041
21.50/7.75	o 310086
21.50/7.75	o 311013
21.50/7.75	o 311352
21.50/7.76	o 311460
21.50/7.76	o 311799
21.50/7.76	o 312387
21.50/7.76	o 312726
21.50/7.76	o 312911
21.50/7.76	o 313838
21.50/7.76	o 314177
21.50/7.76	o 314893
21.50/7.76	o 315232
21.50/7.77	o 315820
21.50/7.77	o 316159
21.50/7.77	o 316354
21.50/7.77	o 317351
21.50/7.77	o 318278
21.50/7.77	o 319739
21.50/7.77	o 320666
21.50/7.77	o 320843
21.50/7.77	o 321514
21.50/7.77	o 322441
21.50/7.77	o 323902
21.50/7.77	o 324829
21.50/7.77	o 325826
21.50/7.77	o 326753
21.50/7.77	o 327092
21.50/7.77	o 328038
21.50/7.77	o 328377
21.50/7.78	o 329962
21.50/7.78	o 330301
21.50/7.78	o 330889
21.50/7.78	o 331228
21.50/7.79	o 331659
21.50/7.79	o 332586
21.50/7.79	o 333845
21.50/7.79	o 335769
21.50/7.79	o 336233
22.24/7.80	o 338157
22.24/7.80	o 339084
22.24/7.80	o 339423
22.24/7.80	o 340369
22.24/7.80	o 341296
22.24/7.80	o 341635
22.24/7.80	o 342293
22.24/7.80	o 342632
22.24/7.81	o 343220
22.24/7.81	o 343559
22.24/7.81	o 343689
22.24/7.81	o 343839
22.24/7.81	o 344635
22.24/7.81	o 345562
22.24/7.81	o 346559
22.24/7.81	o 347486
22.24/7.82	o 347825
22.24/7.82	o 349345
22.24/7.82	o 349684
22.24/7.82	o 351290
22.24/7.82	o 351582
22.24/7.82	o 353506
22.24/7.82	o 355568
22.24/7.82	o 357492
22.24/7.82	o 357831
22.24/7.82	o 358419
22.24/7.83	o 358758
22.24/7.83	o 359704
22.24/7.83	o 361628
22.24/7.83	o 362555
22.24/7.83	o 362894
22.24/7.83	o 363226
22.24/7.83	o 363565
22.24/7.83	o 363750
22.24/7.84	o 364677
22.24/7.84	o 365016
22.24/7.84	o 365583
22.24/7.84	o 365922
22.24/7.84	o 366107
22.24/7.84	o 367034
22.24/7.84	o 367373
22.24/7.85	o 369225
22.24/7.85	o 369564
22.24/7.85	o 371285
22.24/7.85	o 371462
22.24/7.85	o 373386
22.24/7.85	o 375448
22.24/7.85	o 377372
22.24/7.85	o 377711
22.24/7.85	o 378299
22.24/7.86	o 378638
22.24/7.86	o 378823
22.24/7.86	o 379750
22.24/7.86	o 380089
22.24/7.86	o 380656
22.24/7.86	o 380995
22.24/7.86	o 381180
22.24/7.86	o 382107
22.24/7.86	o 382446
22.24/7.87	o 382740
22.24/7.87	o 383328
22.24/7.87	o 383667
22.24/7.87	o 384546
22.24/7.87	o 385163
22.24/7.88	o 385457
22.24/7.88	o 386384
22.24/7.88	o 387467
22.24/7.88	o 388394
22.24/7.88	o 389305
22.24/7.88	o 390232
22.24/7.88	o 390509
22.24/7.88	o 391730
22.24/7.88	o 392707
22.24/7.88	o 393928
22.24/7.89	o 394855
22.24/7.90	o 395766
22.24/7.90	o 396693
22.24/7.90	o 397113
22.24/7.90	o 397452
22.24/7.90	o 397779
22.24/7.90	o 398118
23.09/7.91	o 398282
23.09/7.92	o 398600
23.09/7.92	o 399597
23.09/7.92	o 400524
23.09/7.92	o 400900
23.09/7.92	o 401827
23.09/7.92	o 402493
23.09/7.92	o 403420
23.09/7.92	o 403714
23.09/7.92	o 404641
23.09/7.93	o 404715
23.09/7.93	o 404745
23.09/7.93	o 406308
23.09/7.93	o 407606
23.09/7.93	o 409169
23.09/7.93	o 410390
23.09/7.93	o 411317
23.09/7.93	o 411803
23.09/7.93	o 412730
23.09/7.94	o 412746
23.09/7.94	o 413107
23.09/7.94	o 413449
23.09/7.94	o 414670
23.09/7.94	o 414747
23.09/7.94	o 414933
23.09/7.94	o 416310
23.09/7.94	o 417531
23.09/7.94	o 418458
23.09/7.95	o 419050
23.09/7.95	o 420422
23.09/7.95	o 421643
23.09/7.95	o 421985
23.09/7.95	o 423206
23.09/7.96	o 424133
23.09/7.96	o 424505
23.09/7.96	o 424799
23.09/7.97	o 425726
23.09/7.97	o 426212
23.09/7.97	o 427139
23.09/7.97	o 427371
23.09/7.97	o 427713
23.09/7.97	o 428934
23.09/7.97	o 429306
23.09/7.97	o 430527
23.09/7.97	o 431454
23.09/7.98	o 431940
23.09/7.98	o 432867
23.09/7.98	o 433514
23.09/7.98	o 433524
23.09/7.98	o 434451
23.09/7.98	o 435448
23.09/7.99	o 436375
23.09/7.99	o 436499
23.09/8.00	o 437496
23.09/8.00	o 438423
23.09/8.00	o 438795
23.09/8.00	o 439089
23.09/8.00	o 440016
23.09/8.00	o 440313
23.09/8.00	o 440343
23.09/8.00	o 440685
23.09/8.00	o 441906
23.09/8.00	o 442833
23.89/8.01	o 443135
23.89/8.01	o 443375
23.89/8.01	o 444302
23.89/8.01	o 444596
23.89/8.01	o 445523
23.89/8.01	o 445721
23.89/8.01	o 446194
23.89/8.01	o 446658
23.89/8.01	o 446989
23.89/8.01	o 447019
23.89/8.01	o 447361
23.89/8.01	o 448582
23.89/8.02	o 449509
23.89/8.02	o 449880
23.89/8.02	o 450701
23.89/8.02	o 451496
23.89/8.02	o 451526
23.89/8.02	o 453089
23.89/8.02	o 454016
23.89/8.02	o 454310
23.89/8.02	o 455237
23.89/8.05	o 455764
23.89/8.05	o 456028
23.89/8.05	o 457591
23.89/8.05	o 458518
23.89/8.05	o 458812
23.89/8.05	o 459739
23.89/8.05	o 460163
23.89/8.05	o 461726
23.89/8.05	o 461756
23.89/8.05	o 463319
23.89/8.05	o 464540
23.89/8.05	o 465467
24.69/8.14	o 465761
24.69/8.14	o 466397
24.69/8.14	o 467324
24.69/8.14	o 467517
24.69/8.14	o 468312
24.69/8.14	o 468342
24.69/8.14	o 468684
24.69/8.14	o 469905
24.69/8.14	o 470832
24.69/8.15	o 471218
24.69/8.15	o 472145
24.69/8.15	o 472439
24.69/8.15	o 473366
24.69/8.15	o 474359
24.69/8.15	o 474389
24.69/8.15	o 474731
24.69/8.15	o 475952
24.69/8.16	o 476879
24.69/8.16	o 478401
24.69/8.16	o 478921
24.69/8.16	o 479071
24.69/8.16	o 479106
24.69/8.16	o 480669
24.69/8.16	o 481494
24.69/8.16	o 483057
24.69/8.16	o 484278
24.69/8.16	o 485205
24.69/8.17	o 485557
24.69/8.17	o 485929
24.69/8.17	o 486223
24.69/8.17	o 487150
24.69/8.17	o 487786
24.69/8.17	o 488713
24.69/8.18	o 488858
24.69/8.18	o 489060
24.69/8.18	o 489090
24.69/8.18	o 489432
24.69/8.18	o 490653
24.69/8.18	o 490700
24.69/8.18	o 490730
24.69/8.18	o 492293
24.69/8.18	o 493514
24.69/8.18	o 494441
24.69/8.19	o 495159
25.40/8.20	o 495531
25.40/8.20	o 495825
25.40/8.20	o 496752
25.40/8.20	o 497388
25.40/8.20	o 498315
25.40/8.22	o 498427
25.40/8.23	o 499354
25.40/8.23	o 499706
25.40/8.23	o 500342
25.40/8.23	o 501269
25.40/8.23	o 501935
25.40/8.23	o 502862
25.40/8.23	o 502987
25.40/8.23	o 503017
25.40/8.23	o 503359
25.40/8.23	o 504580
25.40/8.23	o 505507
25.40/8.25	o 505776
25.40/8.25	o 506442
25.40/8.25	o 507369
25.40/8.25	o 507663
25.40/8.25	o 508590
25.40/8.25	o 508715
25.40/8.25	o 509642
25.40/8.25	o 510308
25.40/8.25	o 511235
25.40/8.28	o 512191
25.40/8.29	o 513118
25.40/8.29	o 513981
25.40/8.29	o 514106
25.40/8.29	o 514136
25.40/8.29	o 514478
25.40/8.29	o 515699
25.40/8.29	o 516626
25.40/8.30	o 516822
26.20/8.35	o 517058
26.20/8.36	o 518279
26.20/8.36	o 519175
26.20/8.36	o 520396
26.20/8.36	o 521323
26.98/8.45	o 521383
26.98/8.45	o 522380
26.98/8.45	o 523307
26.98/8.45	o 523659
27.83/8.52	o 523990
27.83/8.54	o 524284
27.83/8.54	o 525211
27.83/8.54	o 525563
27.83/8.56	o 526330
27.83/8.57	o 527257
27.83/8.57	o 527365
27.83/8.57	o 528586
27.83/8.57	o 529513
27.83/8.57	o 529885
27.83/8.57	o 530179
27.83/8.57	o 531106
27.83/8.58	o 531217
27.83/8.58	o 531578
27.83/8.58	o 531920
27.83/8.58	o 533141
27.83/8.58	o 534068
27.83/8.58	o 534420
27.83/8.59	o 534515
27.83/8.59	o 534825
27.83/8.59	o 535639
27.83/8.59	o 536566
27.83/8.59	o 536860
27.83/8.59	o 537787
27.83/8.59	o 538139
28.56/8.60	o 538517
28.56/8.60	o 538636
28.56/8.60	o 539857
28.56/8.60	o 540784
28.56/8.64	o 541220
28.56/8.64	o 541514
28.56/8.65	o 542441
28.56/8.65	o 542793
28.56/8.65	o 543515
28.56/8.65	o 543867
28.56/8.65	o 544012
28.56/8.65	o 545233
28.56/8.65	o 546160
28.56/8.65	o 546512
30.97/8.93	o 547043
30.97/8.94	o 547162
30.97/8.94	o 548089
30.97/8.94	o 548383
30.97/8.94	o 549310
30.97/8.97	o 549455
30.97/8.98	o 550676
30.97/8.98	o 551603
30.97/8.98	o 551955
31.81/9.08	o 552238
31.81/9.09	o 552532
31.81/9.09	o 553459
31.81/9.09	o 553578
31.81/9.09	o 554799
31.81/9.09	o 555726
31.81/9.09	o 556562
31.81/9.09	o 556793
31.81/9.09	o 557087
31.81/9.09	o 558014
31.81/9.09	o 558133
31.81/9.09	o 559354
31.81/9.09	o 560281
38.11/9.88	o 560862
38.11/9.89	o 561156
38.11/9.89	o 562083
38.11/9.89	o 562919
38.11/9.89	o 563444
38.11/9.89	o 564371
38.86/9.90	o 564490
38.86/9.90	o 565711
38.86/9.90	o 566638
46.04/10.81	o 566906
46.04/10.82	o 567833
51.61/11.53	o 568747
51.61/11.53	o 569041
51.61/11.54	o 569968
51.61/11.54	o 570320
52.41/11.61	o 570586
52.41/11.61	o 571513
52.41/11.61	o 571738
52.41/11.61	o 572665
52.41/11.61	o 573331
52.41/11.61	o 574258
52.41/11.61	o 575457
52.41/11.61	o 576384
52.41/11.61	o 577050
52.41/11.61	o 577977
52.41/11.63	o 578791
52.41/11.63	o 579718
52.41/11.63	o 580012
52.41/11.63	o 580939
52.41/11.63	o 581291
53.21/11.72	o 581958
53.21/11.73	o 582252
53.21/11.73	o 583179
54.80/11.98	o 583947
54.80/11.99	o 584041
54.80/11.99	o 585262
54.80/11.99	o 586189
56.47/12.16	o 586928
61.19/12.78	o 587547
61.19/12.78	o 587865
61.19/12.79	o 588123
61.19/12.79	o 588862
61.19/12.79	o 589050
61.19/12.79	o 589789
66.71/13.46	o 589915
66.71/13.47	o 590103
66.71/13.47	o 590842
66.71/13.47	o 591124
66.71/13.47	o 591418
66.71/13.47	o 592345
66.71/13.47	o 593084
66.71/13.47	o 593227
66.71/13.47	o 593862
66.71/13.47	o 595047
66.71/13.47	o 595786
66.71/13.47	o 595974
66.71/13.47	o 596713
66.71/13.48	o 597289
66.71/13.48	o 598216
66.71/13.48	o 598955
73.08/14.25	o 599258
73.08/14.26	o 599610
92.25/16.61	o 599997
92.25/16.62	o 600349
157.59/24.96	o 601068
157.59/24.97	o 601995
157.59/24.97	o 602734
157.59/24.98	o 603086
158.44/25.07	o 603396
158.44/25.08	o 603645
158.44/25.08	o 604384
158.44/25.08	o 604572
158.44/25.08	o 605311
158.44/25.08	o 605663
158.44/25.10	o 606236
159.25/25.11	o 606544
159.25/25.11	o 607283
159.25/25.11	o 607590
159.25/25.11	o 607884
159.25/25.11	o 608811
159.25/25.11	o 609550
193.40/29.46	o 609633
193.40/29.47	o 610115
193.40/29.47	o 610854
193.40/29.47	o 610895
193.40/29.47	o 611634
193.40/29.48	o 612093
221.31/32.95	o 612828
221.31/32.97	o 613135
221.31/32.97	o 613874
221.31/32.97	o 614356
221.31/32.97	o 615095
221.31/32.97	o 615189
221.31/32.97	o 615671
221.31/32.97	o 616410
221.31/32.97	o 616598
221.31/32.97	o 617337
221.31/32.97	o 617796
221.31/32.97	o 618105
221.31/32.97	o 618681
221.31/32.97	o 619608
221.31/32.97	o 620347
221.31/32.98	o 620806
230.09/34.09	o 620823
230.09/34.09	o 620917
230.09/34.09	o 621399
230.09/34.09	o 622138
230.09/34.09	o 622326
230.09/34.09	o 623065
230.89/34.12	o 623524
237.20/34.98	o 623833
237.20/34.99	o 623927
237.20/34.99	o 624115
237.20/34.99	o 624854
237.20/34.99	o 625336
237.20/34.99	o 626075
237.20/34.99	o 626534
316.92/44.98	o 626855
317.78/45.02	o 627314
411.78/56.83	o 627612
411.78/56.83	o 627641
411.78/56.84	o 627995
411.78/56.85	o 628734
411.78/56.85	o 628763
411.78/56.85	o 628927
411.78/56.85	o 629666
411.78/56.85	o 629696
411.78/56.85	o 630520
411.78/56.85	o 631259
411.78/56.85	o 631613
411.78/56.85	o 631642
411.78/56.85	o 632352
411.78/56.85	o 632381
411.78/56.87	o 632526
411.78/56.87	o 633453
411.78/56.87	o 634192
411.78/56.87	o 634221
411.78/56.87	o 634604
411.78/56.87	o 635343
415.76/57.31	o 635461
415.76/57.31	o 635943
415.76/57.32	o 636682
415.76/57.33	o 636754
415.76/57.33	o 636783
415.76/57.34	o 636784
415.76/57.34	o 637608
415.76/57.34	o 638347
415.76/57.34	o 638376
415.76/57.35	o 638573
415.76/57.35	o 639071
415.76/57.35	o 639414
415.76/57.35	o 639672
415.76/57.35	o 640599
415.76/57.35	o 641338
416.56/57.45	o 641504
416.56/57.45	o 641533
416.56/57.46	o 641692
416.56/57.46	o 642431
416.56/57.46	o 642460
434.90/59.72	o 642610
434.90/59.72	o 642798
434.90/59.73	o 643537
454.83/62.27	o 643599
454.83/62.28	o 643628
454.83/62.28	o 644173
454.83/62.28	o 644202
454.83/62.28	o 644294
454.83/62.28	o 644323
454.83/62.28	o 644637
454.83/62.28	o 644998
454.83/62.29	o 645822
454.83/62.29	o 646561
454.83/62.29	o 646590
457.22/62.52	o 647014
457.22/62.52	o 647202
457.22/62.53	o 647941
457.22/62.53	o 648586
457.22/62.53	o 648615
457.22/62.53	o 648616
457.22/62.53	o 649252
457.22/62.53	o 649440
457.22/62.53	o 650179
457.22/62.53	o 650208
457.22/62.54	o 650903
457.22/62.54	o 651210
457.22/62.54	o 651504
457.22/62.54	o 652431
457.22/62.54	o 653170
458.74/62.72	o 653171
458.74/62.73	o 653198
458.74/62.73	o 653835
458.74/62.73	o 653864
458.74/62.73	o 654023
458.74/62.73	o 654762
458.74/62.73	o 654791
458.74/62.74	o 655465
458.74/62.74	o 655495
458.74/62.74	o 656319
458.74/62.74	o 657058
458.74/62.74	o 657724
458.74/62.74	o 657753
458.74/62.74	o 658031
458.74/62.74	o 658325
458.74/62.74	o 659252
458.74/62.74	o 659991
458.74/62.74	o 660020
541.70/73.15	o 660054
541.70/73.16	o 660242
541.70/73.16	o 660981
541.70/73.16	o 661008
541.70/73.16	o 661862
541.70/73.16	o 662601
541.70/73.16	o 662689
541.70/73.16	o 663543
541.70/73.16	o 664282
541.70/73.16	o 664868
585.45/78.62	o 665383
585.45/78.62	o 666122
585.45/78.62	o 666708
585.45/78.63	o 667244
585.45/78.63	o 667830
661.98/88.26	o 667880
661.98/88.28	o 667968
661.98/88.28	o 667998
661.98/88.28	o 668822
661.98/88.28	o 669561
661.98/88.28	o 670147
661.98/88.29	o 670683
661.98/88.30	o 671269
673.94/89.74	o 671596
673.94/89.75	o 671784
673.94/89.75	o 672523
673.94/89.75	o 673109
673.94/89.77	o 673645
673.94/89.78	o 674231
779.19/102.93	o 674317
779.19/102.93	o 675056
779.19/102.94	o 675642
780.05/103.08	o 675643
780.05/103.09	o 675670
780.05/103.09	o 676524
780.05/103.09	o 677263
780.05/103.09	o 677351
780.05/103.09	o 678205
780.05/103.09	o 678944
780.05/103.09	o 679530
780.05/103.09	o 680225
780.05/103.10	o 680240
780.05/103.10	o 681167
780.05/103.10	o 681906
780.05/103.10	o 682492
1159.35/150.69	o 682625
1160.14/150.70	o 683328
1160.14/150.70	o 683810
1160.14/150.70	o 684549
1160.14/150.70	o 684578
1160.14/150.70	o 685317
1160.14/150.70	o 685599
1160.14/150.71	o 685893
1160.14/150.71	o 686820
1160.14/150.71	o 687559
1160.95/150.87	o 688035
1160.95/150.88	o 688129
1160.95/150.88	o 688611
1160.95/150.88	o 689350
1160.95/150.88	o 689538
1160.95/150.88	o 690277
1160.95/150.88	o 690306
1160.95/150.88	o 691045
1160.95/150.88	o 691621
1160.95/150.88	o 692548
1160.95/150.88	o 693287
1445.59/186.58	o 693309
1445.59/186.59	o 693497
1445.59/186.59	o 694236
1445.59/186.59	o 694518
1445.59/186.59	o 694812
1445.59/186.59	o 695739
1445.59/186.59	o 696478
1956.58/250.69	o 696956
1956.58/250.70	o 696960
1957.38/250.72	o 697471
1957.38/250.73	o 697475
1957.38/250.73	o 698210
1957.38/250.73	o 698214
1957.38/250.73	o 698796
1957.38/250.73	o 698800
1957.38/250.74	o 699332
1957.38/250.74	o 699336
1957.38/250.75	o 699918
1957.38/250.75	o 699922
2089.73/267.32	o 700375
2089.73/267.33	o 701114
2089.73/267.33	o 701397
2090.53/267.46	o 701444
2090.53/267.47	o 701727
2090.53/267.47	o 702063
2090.53/267.47	o 702346
2090.53/267.47	o 702381
2090.53/267.47	o 702639
2090.53/267.47	o 703378
2090.53/267.47	o 703566
2090.53/267.47	o 704305
2090.53/267.47	o 704588
2166.27/276.97	o 704746
2166.27/276.98	o 704750
2167.12/277.07	o 704752
2167.12/277.08	o 705010
2167.12/277.08	o 705937
2167.12/277.08	o 706676
2167.12/277.08	o 707006
2167.12/277.08	o 707625
2167.12/277.08	o 708201
2167.12/277.08	o 708940
2167.12/277.08	o 709128
2167.12/277.08	o 709867
2349.61/299.92	o 710083
2349.61/299.93	o 710271
2349.61/299.93	o 711010
2349.61/299.93	o 711014
2349.61/299.93	o 711596
2349.61/299.93	o 711600
2598.22/331.15	o 711602
2598.22/331.16	o 711606
2598.22/331.16	o 712426
2598.22/331.16	o 713165
2598.22/331.16	o 713169
2598.22/331.16	o 713751
2598.22/331.17	o 713755
2601.34/331.60	o 714447
2601.34/331.60	o 714451
2602.14/331.61	o 714565
2602.14/331.61	o 714907
2602.14/331.61	o 715201
2602.14/331.61	o 715389
2602.14/331.61	o 716128
2602.14/331.61	o 716132
2602.14/331.61	o 716714
2602.14/331.61	o 716718
2602.14/331.61	o 717212
2602.14/331.61	o 717216
2602.14/331.61	o 717330
2602.14/331.61	o 717672
2602.14/331.61	o 717966
2602.14/331.61	o 718154
2602.14/331.62	o 718893
2602.14/331.62	o 718897
2602.14/331.62	o 719479
2602.14/331.62	o 719483
2605.40/332.05	o 720015
2605.40/332.05	o 720019
2605.40/332.05	o 720601
2605.40/332.05	o 720605
3488.07/442.98	o 720719
3488.07/442.98	o 720907
3488.07/442.99	o 721646
3488.07/442.99	o 721929
3564.91/452.70	o 722769
3565.71/452.71	o 723052
3565.71/452.71	o 723508
3565.71/452.71	o 723791
3595.01/456.40	o 724125
3595.01/456.41	o 724864
3595.01/456.41	o 725147
3595.01/456.44	o 725560
3595.01/456.44	o 725843
3595.01/456.45	o 725854
3595.01/456.45	o 726042
3595.01/456.45	o 726781
3595.01/456.45	o 727064
3595.01/456.48	o 727155
3595.01/456.48	o 727316
3595.01/456.49	o 727599
3595.01/456.49	o 728055
3595.01/456.49	o 728338
3595.01/456.49	o 728751
3595.01/456.49	o 729045
3595.01/456.49	o 729233
3595.01/456.49	o 729972
3595.01/456.49	o 730255
4036.78/512.28	o 730437
4036.78/512.29	o 730688
4036.78/512.29	o 731615
4036.78/512.29	o 732354
4481.23/568.33	o 732644
4481.23/568.34	o 732699
4481.23/568.34	o 732895
4481.23/568.34	o 733822
4481.23/568.34	o 734561
4481.23/568.35	o 734963
4481.23/568.35	o 735151
4481.23/568.35	o 735890
4481.23/568.35	o 736086
4481.23/568.37	o 737013
4481.23/568.37	o 737752
4524.05/573.78	o 737925
4525.65/573.95	o 737999
4525.65/573.95	o 738187
4525.65/573.95	o 738643
4525.65/573.95	o 738926
4525.65/573.95	o 739108
4525.65/573.96	o 739359
4525.65/573.96	o 740286
4525.65/573.96	o 741025
4525.65/573.98	o 741372
4525.65/573.99	o 741560
4525.65/573.99	o 742299
4526.56/574.02	o 742550
4526.56/574.02	o 743477
4526.56/574.02	o 744216
6874.48/870.85	o 744889
6874.48/870.87	o 745077
6874.48/870.87	o 745816
7164.97/907.63	o 746351
7164.97/907.64	o 747090
7164.97/907.65	o 747341
7164.97/907.65	o 748268
7164.97/907.65	o 749007
8207.63/1039.54	o 749269
8365.13/1059.43	o 749761
8365.13/1059.44	o 750044
8365.13/1059.44	o 750751
8365.13/1059.44	o 750939
8365.13/1059.44	o 751678
8365.13/1059.44	o 751961
8365.13/1059.46	o 752143
8365.13/1059.46	o 752394
8365.13/1059.47	o 753321
8365.13/1059.47	o 754060
10755.77/1361.81	o 754664
10850.02/1373.78	o 755196
10850.02/1373.79	o 755384
10850.02/1373.79	o 756123
10850.02/1373.79	o 756406
10850.86/1373.85	o 756967
10850.86/1373.85	o 757706
10850.86/1373.85	o 757989
10850.86/1373.85	o 758251
10850.86/1373.85	o 758534
10850.86/1373.85	o 758990
10850.86/1373.87	o 759273
10850.86/1373.87	o 759609
10850.86/1373.87	o 759892
10850.86/1373.87	o 759927
10850.86/1373.87	o 760630
10850.86/1373.87	o 760924
10850.86/1373.87	o 761112
10850.86/1373.87	o 761851
10850.86/1373.87	o 762134
10888.07/1378.53	o 762273
10888.07/1378.54	o 762567
10888.07/1378.54	o 763494
10888.07/1378.54	o 764233
16767.05/2121.84	o 764237
16767.05/2121.84	o 764241
16771.00/2122.34	o 764653
16771.00/2122.34	o 765135
16771.00/2122.34	o 765874
16771.00/2122.34	o 765878
16771.80/2122.45	o 765903
16771.80/2122.45	o 766359
16771.80/2122.45	o 766642
16771.80/2122.46	o 766646
16771.80/2122.46	o 766978
16771.80/2122.46	o 766982
16771.80/2122.46	o 767261
16771.80/2122.46	o 767265
16771.80/2122.46	o 767296
16771.80/2122.46	o 767579
16771.80/2122.46	o 768293
16771.80/2122.46	o 768481
16771.80/2122.46	o 769220
16771.80/2122.46	o 769503
16771.80/2122.46	o 769507
16771.80/2122.47	o 769678
16771.80/2122.47	o 769682
16771.80/2122.47	o 770381
16771.80/2122.47	o 770675
16771.80/2122.47	o 770863
16771.80/2122.47	o 771602
16771.80/2122.48	o 771606
16780.54/2123.57	o 771724
16780.54/2123.58	o 771728
16780.54/2123.58	o 772144
16780.54/2123.58	o 772427
16780.54/2123.58	o 772626
16780.54/2123.58	o 773365
16780.54/2123.58	o 773648
16780.54/2123.58	o 773652
16782.13/2123.78	o 773823
16782.13/2123.79	o 773827
16782.13/2123.79	o 774081
16782.13/2123.79	o 775008
16782.13/2123.79	o 775747
16782.13/2123.79	o 775751
16840.71/2131.18	o 775914
16840.71/2131.18	o 775918
16840.71/2131.19	o 776197
16840.71/2131.19	o 776201
16840.71/2131.19	o 776232
16840.71/2131.19	o 776515
16840.71/2131.19	o 776935
16840.71/2131.19	o 777229
16840.71/2131.19	o 777417
16840.71/2131.19	o 778156
16840.71/2131.19	o 778439
16840.71/2131.19	o 778443
16842.22/2131.37	o 778614
16842.22/2131.38	o 778618
16842.22/2131.38	o 778872
16842.22/2131.38	o 779799
16842.22/2131.38	o 780538
16842.22/2131.38	o 780542
17425.59/2205.09	o 780608
17425.59/2205.10	o 780891
17425.59/2205.10	o 780895
17425.59/2205.10	o 781227
17425.59/2205.10	o 781231
17425.59/2205.10	o 781510
17425.59/2205.10	o 781514
17425.59/2205.10	o 781792
17425.59/2205.10	o 781803
17425.59/2205.10	o 782086
17425.59/2205.10	o 782730
17425.59/2205.10	o 783013
17425.59/2205.10	o 783469
17425.59/2205.10	o 783752
17425.59/2205.10	o 783756
17996.74/2277.21	o 784019
17996.74/2277.21	o 784302
17996.74/2277.21	o 784306
17996.74/2277.21	o 784541
17996.74/2277.21	o 784545
17996.74/2277.21	o 784877
17996.74/2277.21	o 785160
17996.74/2277.21	o 785164
17996.74/2277.21	o 785195
17996.74/2277.21	o 785199
17996.74/2277.21	o 785453
17996.74/2277.21	o 786192
17996.74/2277.22	o 786380
17996.74/2277.22	o 787119
17996.74/2277.22	o 787123
17996.74/2277.22	o 787402
17996.74/2277.22	o 787406
17996.74/2277.24	o 787562
17996.74/2277.25	o 787845
17996.74/2277.25	o 787849
17996.74/2277.25	o 787950
17996.74/2277.25	o 787954
17996.74/2277.25	o 788233
17996.74/2277.25	o 788237
17996.74/2277.25	o 788268
17996.74/2277.25	o 788551
17996.74/2277.25	o 788971
17996.74/2277.25	o 789265
17996.74/2277.25	o 790192
17996.74/2277.25	o 790475
17996.74/2277.26	o 790479
17996.74/2277.26	o 790714
17996.74/2277.26	o 790718
17996.74/2277.26	o 791050
17996.74/2277.26	o 791333
17996.74/2277.26	o 791337
17996.74/2277.26	o 791626
17996.74/2277.26	o 791630
17996.74/2277.26	o 792553
17996.74/2277.26	o 792557
17996.74/2277.26	o 793292
17996.74/2277.26	o 793296
17996.74/2277.26	o 793575
17996.74/2277.26	o 793579
17996.74/2277.27	o 793828
17996.74/2277.27	o 794567
17996.74/2277.27	o 794850
17996.74/2277.27	o 794854
17996.74/2277.27	o 795186
17996.74/2277.27	o 795190
17996.74/2277.27	o 795469
17996.74/2277.27	o 795473
17996.74/2277.27	o 795594
17996.74/2277.27	o 795787
17996.74/2277.27	o 796207
17996.74/2277.27	o 796490
17996.74/2277.27	o 796501
17996.74/2277.27	o 796689
17996.74/2277.28	o 797428
17996.74/2277.28	o 797711
17996.74/2277.28	o 797715
18410.11/2329.47	o 797720
18410.11/2329.48	o 797724
18410.11/2329.48	o 797774
18410.11/2329.48	o 797785
18410.11/2329.48	o 797973
18410.11/2329.48	o 798712
18410.11/2329.48	o 798995
18410.11/2329.48	o 798999
18410.11/2329.48	o 799331
18410.11/2329.48	o 799335
18410.11/2329.48	o 799614
18410.11/2329.48	o 799618
18410.11/2329.48	o 799649
18410.11/2329.48	o 799932
18410.11/2329.48	o 800646
18410.11/2329.48	o 800834
18410.11/2329.48	o 801573
18410.11/2329.48	o 801856
18410.11/2329.49	o 801860
19917.07/2520.10	s SATISFIABLE
19917.07/2520.10	v <instantiation>
19917.07/2520.10	v 	<list>
19917.07/2520.10	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]
19917.07/2520.10	v 	</list>
19917.07/2520.10	v 	<values>
19917.07/2520.10	v 		0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19917.07/2520.10	v 	</values>
19917.07/2520.10	v </instantiation>

Verifier Data 

OK	801860

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309265-1534361064/watcher-4309265-1534361064 -o /tmp/evaluation-result-4309265-1534361064/solver-4309265-1534361064 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534353454-1570 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1742369329 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309265-1534361064.xml 

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

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

solver pid=2225, runsolver pid=2222

[startup+0.100136 s]*
/proc/loadavg: 8.90 8.79 8.76 2/198 2245
/proc/meminfo: memFree=26884844/32770624 swapFree=67108804/67108860
[pid=2225] ppid=2222 vsize=26103420 memory=31516 CPUtime=0.12 cores=0-7
/proc/2225/stat : 2225 (java) S 2222 2225 1543 0 -1 1077944320 7331 0 0 0 10 2 0 0 20 0 20 0 253669603 26729902080 7879 33554432000 4194304 4196468 140729999574000 140729999556544 140116002934519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
/proc/2225/statm: 6525855 7879 3140 1 0 6487932 0
[pid=2225/tid=2227] ppid=2222 vsize=26103420 memory=-8452003605994325181 CPUtime=0.09 cores=0-7
/proc/2225/task/2227/stat : 2227 (java) R 2222 2225 1543 0 -1 4202560 5585 0 0 0 8 1 0 0 20 0 20 0 253669604 26729902080 8096 33554432000 4194304 4196468 140729999574000 140116007160208 140115986978149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2228] ppid=2222 vsize=26103420 memory=4342489072520795237 CPUtime=0 cores=0-7
/proc/2225/task/2228/stat : 2228 (java) S 2222 2225 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 8096 33554432000 4194304 4196468 140729999574000 140115955555344 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2229] ppid=2222 vsize=26103420 memory=140144503477888 CPUtime=0 cores=0-7
/proc/2225/task/2229/stat : 2229 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 8096 33554432000 4194304 4196468 140729999574000 140115954502800 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2230] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2230/stat : 2230 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 8096 33554432000 4194304 4196468 140729999574000 140115953449744 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2231] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2231/stat : 2231 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 8096 33554432000 4194304 4196468 140729999574000 140115952397200 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2232] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2232/stat : 2232 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 8096 33554432000 4194304 4196468 140729999574000 140115951344144 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2233] ppid=2222 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/2225/task/2233/stat : 2233 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 8096 33554432000 4194304 4196468 140729999574000 140115950291600 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2234] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2234/stat : 2234 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 8096 33554432000 4194304 4196468 140729999574000 140115949238544 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2235] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2235/stat : 2235 (java) S 2222 2225 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 8096 33554432000 4194304 4196468 140729999574000 140115948186000 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2236] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2236/stat : 2236 (java) S 2222 2225 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253669606 26729902080 8096 33554432000 4194304 4196468 140729999574000 140114208996080 140116002945666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2237] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2237/stat : 2237 (java) S 2222 2225 1543 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253669606 26729902080 8096 33554432000 4194304 4196468 140729999574000 140114207942304 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2238] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2238/stat : 2238 (java) S 2222 2225 1543 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253669606 26729902080 8096 33554432000 4194304 4196468 140729999574000 140114206889200 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2239] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2239/stat : 2239 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 8096 33554432000 4194304 4196468 140729999574000 140114205837776 140116002953115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2240] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2240/stat : 2240 (java) S 2222 2225 1543 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 8096 33554432000 4194304 4196468 140729999574000 140114204784976 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2241] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2241/stat : 2241 (java) S 2222 2225 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 8096 33554432000 4194304 4196468 140729999574000 140114203732336 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2242] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2242/stat : 2242 (java) S 2222 2225 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 8096 33554432000 4194304 4196468 140729999574000 140114202679280 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2243] ppid=2222 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/2225/task/2243/stat : 2243 (java) R 2222 2225 1543 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 253669609 26729902080 8096 33554432000 4194304 4196468 140729999574000 140114201626736 140116002945666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2244] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2244/stat : 2244 (java) S 2222 2225 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 8096 33554432000 4194304 4196468 140729999574000 140114200574944 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2245] ppid=2222 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/2225/task/2245/stat : 2245 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 8096 33554432000 4194304 4196468 140729999574000 140114199522480 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 31516 KiB

[startup+0.210289 s]*
/proc/loadavg: 8.90 8.79 8.76 4/198 2245
/proc/meminfo: memFree=26871264/32770624 swapFree=67108804/67108860
[pid=2225] ppid=2222 vsize=26103420 memory=43300 CPUtime=0.3 cores=0-7
/proc/2225/stat : 2225 (java) S 2222 2225 1543 0 -1 1077944320 10489 0 0 0 27 3 0 0 20 0 20 0 253669603 26729902080 10825 33554432000 4194304 4196468 140729999574000 140729999556544 140116002934519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
/proc/2225/statm: 6525855 10825 3350 1 0 6487932 0
[pid=2225/tid=2227] ppid=2222 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/2225/task/2227/stat : 2227 (java) R 2222 2225 1543 0 -1 4202560 8277 0 0 0 18 2 0 0 20 0 20 0 253669604 26729902080 10825 33554432000 4194304 4196468 140729999574000 140116007161232 140115987015006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2228] ppid=2222 vsize=26103420 memory=13939 CPUtime=0 cores=0-7
/proc/2225/task/2228/stat : 2228 (java) S 2222 2225 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 10825 33554432000 4194304 4196468 140729999574000 140115955555344 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2229] ppid=2222 vsize=26103420 memory=140144503480474 CPUtime=0 cores=0-7
/proc/2225/task/2229/stat : 2229 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 10825 33554432000 4194304 4196468 140729999574000 140115954502800 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2230] ppid=2222 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/2225/task/2230/stat : 2230 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 10825 33554432000 4194304 4196468 140729999574000 140115953449744 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2231] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2231/stat : 2231 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 10825 33554432000 4194304 4196468 140729999574000 140115952397200 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2232] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2232/stat : 2232 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 10825 33554432000 4194304 4196468 140729999574000 140115951344144 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2233] ppid=2222 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/2225/task/2233/stat : 2233 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 10825 33554432000 4194304 4196468 140729999574000 140115950291600 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2234] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2234/stat : 2234 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 10825 33554432000 4194304 4196468 140729999574000 140115949238544 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2235] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2235/stat : 2235 (java) S 2222 2225 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 10825 33554432000 4194304 4196468 140729999574000 140115948186000 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2236] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2236/stat : 2236 (java) S 2222 2225 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253669606 26729902080 10825 33554432000 4194304 4196468 140729999574000 140114208996080 140116002945666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2237] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2237/stat : 2237 (java) S 2222 2225 1543 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253669606 26729902080 10825 33554432000 4194304 4196468 140729999574000 140114207942304 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2238] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2238/stat : 2238 (java) S 2222 2225 1543 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253669606 26729902080 10825 33554432000 4194304 4196468 140729999574000 140114206889200 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2239] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2239/stat : 2239 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 10825 33554432000 4194304 4196468 140729999574000 140114205837776 140116002953115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2240] ppid=2222 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/2225/task/2240/stat : 2240 (java) S 2222 2225 1543 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 20 0 253669609 26729902080 10825 33554432000 4194304 4196468 140729999574000 140114204784880 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2241] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2241/stat : 2241 (java) S 2222 2225 1543 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 10825 33554432000 4194304 4196468 140729999574000 140114203732336 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2242] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2242/stat : 2242 (java) S 2222 2225 1543 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 10825 33554432000 4194304 4196468 140729999574000 140114202679280 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2243] ppid=2222 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/2225/task/2243/stat : 2243 (java) R 2222 2225 1543 0 -1 4202560 289 0 0 0 6 0 0 0 20 0 20 0 253669609 26729902080 10825 33554432000 4194304 4196468 140729999574000 140114201621808 140115982396443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2244] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2244/stat : 2244 (java) S 2222 2225 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 10825 33554432000 4194304 4196468 140729999574000 140114200574944 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2245] ppid=2222 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/2225/task/2245/stat : 2245 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 10825 33554432000 4194304 4196468 140729999574000 140114199522480 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43300 KiB

[startup+0.310441 s]*
/proc/loadavg: 8.90 8.79 8.76 2/198 2245
/proc/meminfo: memFree=26867480/32770624 swapFree=67108804/67108860
[pid=2225] ppid=2222 vsize=26103420 memory=46852 CPUtime=0.43 cores=0-7
/proc/2225/stat : 2225 (java) S 2222 2225 1543 0 -1 1077944320 10907 0 0 0 40 3 0 0 20 0 20 0 253669603 26729902080 11713 33554432000 4194304 4196468 140729999574000 140729999556544 140116002934519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
/proc/2225/statm: 6525855 11713 3377 1 0 6487932 0
[pid=2225/tid=2227] ppid=2222 vsize=26103420 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/2225/task/2227/stat : 2227 (java) R 2222 2225 1543 0 -1 4202560 8616 0 0 0 27 2 0 0 20 0 20 0 253669604 26729902080 11713 33554432000 4194304 4196468 140729999574000 140116007143248 140115987015006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2228] ppid=2222 vsize=26103420 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2225/task/2228/stat : 2228 (java) S 2222 2225 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 11713 33554432000 4194304 4196468 140729999574000 140115955555344 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2229] ppid=2222 vsize=26103420 memory=38224 CPUtime=0 cores=0-7
/proc/2225/task/2229/stat : 2229 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 11713 33554432000 4194304 4196468 140729999574000 140115954502800 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2230] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2230/stat : 2230 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 11713 33554432000 4194304 4196468 140729999574000 140115953449744 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2231] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2231/stat : 2231 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 11713 33554432000 4194304 4196468 140729999574000 140115952397200 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2232] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2232/stat : 2232 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 11713 33554432000 4194304 4196468 140729999574000 140115951344144 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2233] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2233/stat : 2233 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 11713 33554432000 4194304 4196468 140729999574000 140115950291600 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2234] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2234/stat : 2234 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 11713 33554432000 4194304 4196468 140729999574000 140115949238544 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2235] ppid=2222 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/2225/task/2235/stat : 2235 (java) S 2222 2225 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253669604 26729902080 11713 33554432000 4194304 4196468 140729999574000 140115948186000 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2236] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2236/stat : 2236 (java) S 2222 2225 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253669606 26729902080 11713 33554432000 4194304 4196468 140729999574000 140114208996080 140116002945666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2237] ppid=2222 vsize=26103420 memory=140144380310479 CPUtime=0 cores=0-7
/proc/2225/task/2237/stat : 2237 (java) S 2222 2225 1543 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253669606 26729902080 11713 33554432000 4194304 4196468 140729999574000 140114207942304 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2238] ppid=2222 vsize=26103420 memory=280288760623248 CPUtime=0 cores=0-7
/proc/2225/task/2238/stat : 2238 (java) S 2222 2225 1543 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253669606 26729902080 11713 33554432000 4194304 4196468 140729999574000 140114206889200 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2239] ppid=2222 vsize=26103420 memory=280288760639376 CPUtime=0 cores=0-7
/proc/2225/task/2239/stat : 2239 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 11713 33554432000 4194304 4196468 140729999574000 140114205837776 140116002953115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2240] ppid=2222 vsize=26103420 memory=280288760637072 CPUtime=0.01 cores=0-7
/proc/2225/task/2240/stat : 2240 (java) S 2222 2225 1543 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 20 0 253669609 26729902080 11713 33554432000 4194304 4196468 140729999574000 140114204784880 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2241] ppid=2222 vsize=26103420 memory=280288760643984 CPUtime=0.01 cores=0-7
/proc/2225/task/2241/stat : 2241 (java) S 2222 2225 1543 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 253669609 26729902080 11713 33554432000 4194304 4196468 140729999574000 140114203732336 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2242] ppid=2222 vsize=26103420 memory=280288760585264 CPUtime=0.01 cores=0-7
/proc/2225/task/2242/stat : 2242 (java) S 2222 2225 1543 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 253669609 26729902080 11713 33554432000 4194304 4196468 140729999574000 140114202679280 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2243] ppid=2222 vsize=26103420 memory=280288760657808 CPUtime=0.08 cores=0-7
/proc/2225/task/2243/stat : 2243 (java) S 2222 2225 1543 0 -1 1077944384 296 0 0 0 8 0 0 0 20 0 20 0 253669609 26729902080 11713 33554432000 4194304 4196468 140729999574000 140114201626736 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2244] ppid=2222 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2244/stat : 2244 (java) S 2222 2225 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 11713 33554432000 4194304 4196468 140729999574000 140114200574944 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2245] ppid=2222 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/2225/task/2245/stat : 2245 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669609 26729902080 11713 33554432000 4194304 4196468 140729999574000 140114199522480 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46852 KiB

[startup+0.700943 s]
/proc/loadavg: 8.90 8.79 8.76 2/198 2245
/proc/meminfo: memFree=26843668/32770624 swapFree=67108804/67108860
[pid=2225] ppid=2222 vsize=26105488 memory=87672 CPUtime=1 cores=0-7
/proc/2225/stat : 2225 (java) S 2222 2225 1543 0 -1 1077944320 17848 0 0 0 94 6 0 0 20 0 20 0 253669603 26732019712 21918 33554432000 4194304 4196468 140729999574000 140729999556544 140116002934519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
/proc/2225/statm: 6526372 21918 3499 1 0 6488444 0
[pid=2225/tid=2227] ppid=2222 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/2225/task/2227/stat : 2227 (java) R 2222 2225 1543 0 -1 4202560 15076 0 0 0 63 4 0 0 20 0 20 0 253669604 26732019712 21918 33554432000 4194304 4196468 140729999574000 140116007157840 140116002956445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2228] ppid=2222 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2228/stat : 2228 (java) S 2222 2225 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253669604 26732019712 21918 33554432000 4194304 4196468 140729999574000 140115955555344 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2229] ppid=2222 vsize=26105488 memory=280288761029312 CPUtime=0 cores=0-7
/proc/2225/task/2229/stat : 2229 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26732019712 21918 33554432000 4194304 4196468 140729999574000 140115954502800 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2230] ppid=2222 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/2225/task/2230/stat : 2230 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26732019712 21918 33554432000 4194304 4196468 140729999574000 140115953449744 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2231] ppid=2222 vsize=26105488 memory=1260 CPUtime=0 cores=0-7
/proc/2225/task/2231/stat : 2231 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26732019712 21918 33554432000 4194304 4196468 140729999574000 140115952397200 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2232] ppid=2222 vsize=26105488 memory=14872 CPUtime=0 cores=0-7
/proc/2225/task/2232/stat : 2232 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26732019712 21918 33554432000 4194304 4196468 140729999574000 140115951344144 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2233] ppid=2222 vsize=26105488 memory=3296 CPUtime=0 cores=0-7
/proc/2225/task/2233/stat : 2233 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26732019712 21918 33554432000 4194304 4196468 140729999574000 140115950291600 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2234] ppid=2222 vsize=26105488 memory=15292 CPUtime=0 cores=0-7
/proc/2225/task/2234/stat : 2234 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253669604 26732019712 21918 33554432000 4194304 4196468 140729999574000 140115949238544 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2235] ppid=2222 vsize=26105488 memory=38224 CPUtime=0 cores=0-7
/proc/2225/task/2235/stat : 2235 (java) S 2222 2225 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253669604 26732019712 21918 33554432000 4194304 4196468 140729999574000 140115948186000 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2236] ppid=2222 vsize=26105488 memory=496 CPUtime=0 cores=0-7
/proc/2225/task/2236/stat : 2236 (java) S 2222 2225 1543 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253669606 26732019712 21918 33554432000 4194304 4196468 140729999574000 140114208996080 140116002945666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0

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

[pid=2225/tid=2255] ppid=2222 vsize=27850524 memory=5464804 CPUtime=2459.5 cores=0-7
/proc/2225/task/2255/stat : 2255 (java) R 2222 2225 1543 0 -1 4202560 64445 0 0 0 245892 58 0 0 20 0 46 0 253670235 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113864347952 140115614304546 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2256] ppid=2222 vsize=27850524 memory=3708 CPUtime=0 cores=0-7
/proc/2225/task/2256/stat : 2256 (java) S 2222 2225 1543 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 46 0 253670235 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113863300240 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2257] ppid=2222 vsize=27850524 memory=69048 CPUtime=0.1 cores=0-7
/proc/2225/task/2257/stat : 2257 (java) S 2222 2225 1543 0 -1 1077944384 283 0 0 0 10 0 0 0 20 0 46 0 253670235 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113862247696 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2258] ppid=2222 vsize=27850524 memory=2080 CPUtime=0.01 cores=0-7
/proc/2225/task/2258/stat : 2258 (java) S 2222 2225 1543 0 -1 1077944384 585 0 0 0 1 0 0 0 20 0 46 0 253670235 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113861194640 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2259] ppid=2222 vsize=27850524 memory=8112282956445269571 CPUtime=0.01 cores=0-7
/proc/2225/task/2259/stat : 2259 (java) S 2222 2225 1543 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 46 0 253670309 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113858008080 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2260] ppid=2222 vsize=27850524 memory=8112282956445269571 CPUtime=0.01 cores=0-7
/proc/2225/task/2260/stat : 2260 (java) S 2222 2225 1543 0 -1 1077944384 883 0 0 0 1 0 0 0 20 0 46 0 253670310 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113856956048 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2261] ppid=2222 vsize=27850524 memory=5466852 CPUtime=0.01 cores=0-7
/proc/2225/task/2261/stat : 2261 (java) S 2222 2225 1543 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 46 0 253670310 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113855903504 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2262] ppid=2222 vsize=27850524 memory=5468900 CPUtime=0 cores=0-7
/proc/2225/task/2262/stat : 2262 (java) S 2222 2225 1543 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 46 0 253670312 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113854850448 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2263] ppid=2222 vsize=27850524 memory=1036 CPUtime=0.01 cores=0-7
/proc/2225/task/2263/stat : 2263 (java) S 2222 2225 1543 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 46 0 253670314 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113853797904 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2264] ppid=2222 vsize=27850524 memory=1736 CPUtime=0.01 cores=0-7
/proc/2225/task/2264/stat : 2264 (java) S 2222 2225 1543 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 46 0 253670318 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113852744848 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2265] ppid=2222 vsize=27850524 memory=752 CPUtime=0.01 cores=0-7
/proc/2225/task/2265/stat : 2265 (java) S 2222 2225 1543 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 46 0 253670321 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113851692304 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2266] ppid=2222 vsize=27850524 memory=836 CPUtime=0.01 cores=0-7
/proc/2225/task/2266/stat : 2266 (java) S 2222 2225 1543 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 46 0 253670321 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113850639248 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2267] ppid=2222 vsize=27850524 memory=1084 CPUtime=0.01 cores=0-7
/proc/2225/task/2267/stat : 2267 (java) S 2222 2225 1543 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 46 0 253670323 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113849586704 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2268] ppid=2222 vsize=27850524 memory=5468900 CPUtime=0.01 cores=0-7
/proc/2225/task/2268/stat : 2268 (java) S 2222 2225 1543 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 46 0 253670325 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113848534672 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2269] ppid=2222 vsize=27850524 memory=2176 CPUtime=0.01 cores=0-7
/proc/2225/task/2269/stat : 2269 (java) S 2222 2225 1543 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 46 0 253670327 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140113847482128 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2270] ppid=2222 vsize=27850524 memory=3984 CPUtime=0.01 cores=0-7
/proc/2225/task/2270/stat : 2270 (java) S 2222 2225 1543 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 46 0 253670329 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140112704824720 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2271] ppid=2222 vsize=27850524 memory=1408 CPUtime=0.01 cores=0-7
/proc/2225/task/2271/stat : 2271 (java) S 2222 2225 1543 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 46 0 253670329 28518936576 1367225 33554432000 4194304 4196468 140729999574000 140112703772176 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
Current children cumulated CPU time: 19776.8 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 5468900 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.60 8.68 8.70 10/224 2332
/proc/meminfo: memFree=21433056/32770624 swapFree=67108804/67108860
[pid=2225] ppid=2222 vsize=27850524 memory=5470948 CPUtime=19917.1 cores=0-7
/proc/2225/stat : 2225 (java) S 2222 2225 1543 0 -1 1077944320 1643813 0 0 0 1990687 1020 0 0 20 0 46 0 253669603 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140729999556544 140116002934519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
/proc/2225/statm: 6962631 1367737 3625 1 0 6924182 0
[pid=2225/tid=2227] ppid=2222 vsize=27850524 memory=1399051139730258233 CPUtime=6.15 cores=0-7
/proc/2225/task/2227/stat : 2227 (java) S 2222 2225 1543 0 -1 1077944384 21774 0 0 0 605 10 0 0 20 0 46 0 253669604 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140116007171984 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2228] ppid=2222 vsize=27850524 memory=4126316290023845779 CPUtime=11.53 cores=0-7
/proc/2225/task/2228/stat : 2228 (java) S 2222 2225 1543 0 -1 1077944384 115720 0 0 0 1096 57 0 0 20 0 46 0 253669604 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140115955555344 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2229] ppid=2222 vsize=27850524 memory=3984 CPUtime=11.54 cores=0-7
/proc/2225/task/2229/stat : 2229 (java) S 2222 2225 1543 0 -1 1077944384 93751 0 0 0 1098 56 0 0 20 0 46 0 253669604 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140115954502800 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2230] ppid=2222 vsize=27850524 memory=1408 CPUtime=11.56 cores=0-7
/proc/2225/task/2230/stat : 2230 (java) S 2222 2225 1543 0 -1 1077944384 97719 0 0 0 1101 55 0 0 20 0 46 0 253669604 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140115953449744 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2231] ppid=2222 vsize=27850524 memory=4560 CPUtime=11.51 cores=0-7
/proc/2225/task/2231/stat : 2231 (java) S 2222 2225 1543 0 -1 1077944384 108878 0 0 0 1090 61 0 0 20 0 46 0 253669604 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140115952397200 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2232] ppid=2222 vsize=27850524 memory=5468900 CPUtime=11.59 cores=0-7
/proc/2225/task/2232/stat : 2232 (java) S 2222 2225 1543 0 -1 1077944384 101654 0 0 0 1101 58 0 0 20 0 46 0 253669604 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140115951344144 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2233] ppid=2222 vsize=27850524 memory=1916 CPUtime=11.56 cores=0-7
/proc/2225/task/2233/stat : 2233 (java) S 2222 2225 1543 0 -1 1077944384 105831 0 0 0 1099 57 0 0 20 0 46 0 253669604 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140115950291600 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2234] ppid=2222 vsize=27850524 memory=7528 CPUtime=11.55 cores=0-7
/proc/2225/task/2234/stat : 2234 (java) S 2222 2225 1543 0 -1 1077944384 105258 0 0 0 1100 55 0 0 20 0 46 0 253669604 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140115949238544 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2235] ppid=2222 vsize=27850524 memory=808 CPUtime=11.49 cores=0-7
/proc/2225/task/2235/stat : 2235 (java) S 2222 2225 1543 0 -1 1077944384 105022 0 0 0 1094 55 0 0 20 0 46 0 253669604 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140115948186000 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2236] ppid=2222 vsize=27850524 memory=1399051139730258233 CPUtime=7.3 cores=0-7
/proc/2225/task/2236/stat : 2236 (java) S 2222 2225 1543 0 -1 1077944384 165433 0 0 0 663 67 0 0 20 0 46 0 253669606 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114208996080 140116002945666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2237] ppid=2222 vsize=27850524 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2225/task/2237/stat : 2237 (java) S 2222 2225 1543 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 253669606 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114207942368 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2238] ppid=2222 vsize=27850524 memory=38256 CPUtime=0 cores=0-7
/proc/2225/task/2238/stat : 2238 (java) S 2222 2225 1543 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 46 0 253669606 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114206889216 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2239] ppid=2222 vsize=27850524 memory=4195447490462202311 CPUtime=0 cores=0-7
/proc/2225/task/2239/stat : 2239 (java) S 2222 2225 1543 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 253669609 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114205837776 140116002953115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2240] ppid=2222 vsize=27850524 memory=4195447490462202311 CPUtime=1.84 cores=0-7
/proc/2225/task/2240/stat : 2240 (java) S 2222 2225 1543 0 -1 1077944384 9180 0 0 0 181 3 0 0 20 0 46 0 253669609 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114204784880 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2241] ppid=2222 vsize=27850524 memory=496 CPUtime=2.03 cores=0-7
/proc/2225/task/2241/stat : 2241 (java) S 2222 2225 1543 0 -1 1077944384 12701 0 0 0 201 2 0 0 20 0 46 0 253669609 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114203732336 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2242] ppid=2222 vsize=27850524 memory=1616 CPUtime=1.85 cores=0-7
/proc/2225/task/2242/stat : 2242 (java) S 2222 2225 1543 0 -1 1077944384 5704 0 0 0 184 1 0 0 20 0 46 0 253669609 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114202679280 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2243] ppid=2222 vsize=27850524 memory=932 CPUtime=1.2 cores=0-7
/proc/2225/task/2243/stat : 2243 (java) S 2222 2225 1543 0 -1 1077944384 16128 0 0 0 118 2 0 0 20 0 46 0 253669609 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114201626736 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2244] ppid=2222 vsize=27850524 memory=1168 CPUtime=0 cores=0-7
/proc/2225/task/2244/stat : 2244 (java) S 2222 2225 1543 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 253669609 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114200574944 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2245] ppid=2222 vsize=27850524 memory=1984 CPUtime=0.68 cores=0-7
/proc/2225/task/2245/stat : 2245 (java) S 2222 2225 1543 0 -1 1077944384 8568 0 0 0 36 32 0 0 20 0 46 0 253669609 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114199522480 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2246] ppid=2222 vsize=27850524 memory=1796 CPUtime=0.02 cores=0-7
/proc/2225/task/2246/stat : 2246 (java) S 2222 2225 1543 0 -1 1077944384 2623 0 0 0 2 0 0 0 20 0 46 0 253670187 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114188178384 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2247] ppid=2222 vsize=27850524 memory=916 CPUtime=1.99 cores=0-7
/proc/2225/task/2247/stat : 2247 (java) S 2222 2225 1543 0 -1 1077944384 16359 0 0 0 97 102 0 0 20 0 46 0 253670204 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140114185029024 140116002945666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2248] ppid=2222 vsize=27850524 memory=3708 CPUtime=2477.36 cores=0-7
/proc/2225/task/2248/stat : 2248 (java) R 2222 2225 1543 0 -1 4202560 66740 0 0 0 247676 60 0 0 20 0 46 0 253670226 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113873811480 140115616500851 0 4 0 16800975 0 0 0 -1 7 0 0 35 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2249] ppid=2222 vsize=27850524 memory=69048 CPUtime=2473.78 cores=0-7
/proc/2225/task/2249/stat : 2249 (java) R 2222 2225 1543 0 -1 4202560 66190 0 0 0 247321 57 0 0 20 0 46 0 253670227 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113872760064 140115616612880 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2250] ppid=2222 vsize=27850524 memory=2080 CPUtime=2474.19 cores=0-7
/proc/2225/task/2250/stat : 2250 (java) R 2222 2225 1543 0 -1 4202560 64691 0 0 0 247358 61 0 0 20 0 46 0 253670227 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113871706896 140115618267652 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2251] ppid=2222 vsize=27850524 memory=1036 CPUtime=2473.1 cores=0-7
/proc/2225/task/2251/stat : 2251 (java) R 2222 2225 1543 0 -1 4202560 68492 0 0 0 247249 61 0 0 20 0 46 0 253670234 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113868559832 140115615025189 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2252] ppid=2222 vsize=27850524 memory=5468900 CPUtime=2475.87 cores=0-7
/proc/2225/task/2252/stat : 2252 (java) R 2222 2225 1543 0 -1 4202560 68274 0 0 0 247524 63 0 0 20 0 46 0 253670234 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113867507008 140115614894183 0 4 0 16800975 0 0 0 -1 3 0 0 39 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2253] ppid=2222 vsize=27850524 memory=288230574492221466 CPUtime=2474.61 cores=0-7
/proc/2225/task/2253/stat : 2253 (java) R 2222 2225 1543 0 -1 4202560 73536 0 0 0 247395 66 0 0 20 0 46 0 253670234 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113866451416 140115614894149 0 4 0 16800975 0 0 0 -1 5 0 0 34 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2254] ppid=2222 vsize=27850524 memory=288230583166042425 CPUtime=2475.26 cores=0-7
/proc/2225/task/2254/stat : 2254 (java) R 2222 2225 1543 0 -1 4202560 70019 0 0 0 247466 60 0 0 20 0 46 0 253670235 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113865400768 140115618267652 0 4 0 16800975 0 0 0 -1 0 0 0 37 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2255] ppid=2222 vsize=27850524 memory=16103675756021563 CPUtime=2476.96 cores=0-7
/proc/2225/task/2255/stat : 2255 (java) R 2222 2225 1543 0 -1 4202560 64861 0 0 0 247638 58 0 0 20 0 46 0 253670235 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113864345496 140115615355175 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2256] ppid=2222 vsize=27850524 memory=7528 CPUtime=0 cores=0-7
/proc/2225/task/2256/stat : 2256 (java) S 2222 2225 1543 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 46 0 253670235 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113863300240 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2257] ppid=2222 vsize=27850524 memory=808 CPUtime=0.1 cores=0-7
/proc/2225/task/2257/stat : 2257 (java) S 2222 2225 1543 0 -1 1077944384 283 0 0 0 10 0 0 0 20 0 46 0 253670235 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113862247696 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2258] ppid=2222 vsize=27850524 memory=1399051139730258233 CPUtime=0.01 cores=0-7
/proc/2225/task/2258/stat : 2258 (java) S 2222 2225 1543 0 -1 1077944384 585 0 0 0 1 0 0 0 20 0 46 0 253670235 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113861194640 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2259] ppid=2222 vsize=27850524 memory=4126316290023845779 CPUtime=0.01 cores=0-7
/proc/2225/task/2259/stat : 2259 (java) S 2222 2225 1543 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 46 0 253670309 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113858008080 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2260] ppid=2222 vsize=27850524 memory=28829630602021044 CPUtime=0.01 cores=0-7
/proc/2225/task/2260/stat : 2260 (java) S 2222 2225 1543 0 -1 1077944384 883 0 0 0 1 0 0 0 20 0 46 0 253670310 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113856956048 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2261] ppid=2222 vsize=27850524 memory=288283398462789216 CPUtime=0.01 cores=0-7
/proc/2225/task/2261/stat : 2261 (java) S 2222 2225 1543 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 46 0 253670310 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113855903504 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2262] ppid=2222 vsize=27850524 memory=280288763483808 CPUtime=0 cores=0-7
/proc/2225/task/2262/stat : 2262 (java) S 2222 2225 1543 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 46 0 253670312 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113854850448 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2263] ppid=2222 vsize=27850524 memory=5788080250817173328 CPUtime=0.01 cores=0-7
/proc/2225/task/2263/stat : 2263 (java) S 2222 2225 1543 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 46 0 253670314 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113853797904 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2264] ppid=2222 vsize=27850524 memory=5788361725793883984 CPUtime=0.01 cores=0-7
/proc/2225/task/2264/stat : 2264 (java) S 2222 2225 1543 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 46 0 253670318 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113852744848 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2265] ppid=2222 vsize=27850524 memory=5788924675814348624 CPUtime=0.01 cores=0-7
/proc/2225/task/2265/stat : 2265 (java) S 2222 2225 1543 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 46 0 253670321 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113851692304 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2266] ppid=2222 vsize=27850524 memory=28829630602021044 CPUtime=0.01 cores=0-7
/proc/2225/task/2266/stat : 2266 (java) S 2222 2225 1543 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 46 0 253670321 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113850639248 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2267] ppid=2222 vsize=27850524 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/2225/task/2267/stat : 2267 (java) S 2222 2225 1543 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 46 0 253670323 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113849586704 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2268] ppid=2222 vsize=27850524 memory=288230583166042425 CPUtime=0.01 cores=0-7
/proc/2225/task/2268/stat : 2268 (java) S 2222 2225 1543 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 46 0 253670325 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113848534672 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2269] ppid=2222 vsize=27850524 memory=16103675756021563 CPUtime=0.01 cores=0-7
/proc/2225/task/2269/stat : 2269 (java) S 2222 2225 1543 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 46 0 253670327 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140113847482128 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2270] ppid=2222 vsize=27850524 memory=0 CPUtime=0.01 cores=0-7
/proc/2225/task/2270/stat : 2270 (java) S 2222 2225 1543 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 46 0 253670329 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140112704824720 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
[pid=2225/tid=2271] ppid=2222 vsize=27850524 memory=4689 CPUtime=0.01 cores=0-7
/proc/2225/task/2271/stat : 2271 (java) S 2222 2225 1543 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 46 0 253670329 28518936576 1367737 33554432000 4194304 4196468 140729999574000 140112703772176 140116002944725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16175104 140729999582285 140729999582469 140729999582469 140729999585231 0
Current children cumulated CPU time: 19917.1 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 5470948 KiB

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

[startup+2520.41 s]
# the end of solver process 2225 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19909.6 s, system=10.2683 s

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

[startup+2520.4 s]*
/proc/loadavg: 8.60 8.68 8.70 2/180 2335
/proc/meminfo: memFree=26784864/32770624 swapFree=67108804/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.41
CPU time (s): 19919.8
CPU user time (s): 19909.6
CPU system time (s): 10.2683
CPU usage (%): 790.34
Max. virtual memory (cumulated for all children) (KiB): 28050216
Max. memory (cumulated for all children) (KiB): 5642156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19909.6
system time used= 10.2683
maximum resident set size= 5645300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1652815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 736584
involuntary context switches= 426920


# summary of solver processes directly reported to runsolver:
#   pid: 2225
#   total CPU time (s): 19919.8
#   total CPU user time (s): 19909.6
#   total CPU system time (s): 10.2683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.2441 second user time and 35.8816 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-15 21:24:24
IDJOB=4309265
IDBENCH=141155
IDSOLVER=2793
FILE ID=node105/4309265-1534361064
RUNJOBID= node105-1534353454-1570
PBS_JOBID= 21038261
Free space on /tmp= 49280 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay300_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309265-1534361064/watcher-4309265-1534361064 -o /tmp/evaluation-result-4309265-1534361064/solver-4309265-1534361064 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534353454-1570 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1742369329 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309265-1534361064.xml

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

MD5SUM BENCH= 39aa8271d93aad234a0495f796e0a456
RANDOM SEED=1742369329

node105.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.32
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.32
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.32
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.32
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:        26902248 kB
MemAvailable:   31894176 kB
Buffers:          228164 kB
Cached:          5015996 kB
SwapCached:           16 kB
Active:          2285120 kB
Inactive:        3012652 kB
Active(anon):       5312 kB
Inactive(anon):   108668 kB
Active(file):    2279808 kB
Inactive(file):  2903984 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             35616 kB
Writeback:             0 kB
AnonPages:         60524 kB
Mapped:            54472 kB
Shmem:             57940 kB
Slab:             265260 kB
SReclaimable:     236596 kB
SUnreclaim:        28664 kB
KernelStack:        3216 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 49244 MiB
End job on node105 at 2018-08-15 22:06:25