Trace number 4291735

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-07-02SAT (TO)959629 19931.9 2520.27

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay500_c18.xml
MD5SUMd1d7e4f351cab0858660dafd89ccc193
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2920520
Best CPU time to get the best result obtained on this benchmark19972.2
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints500
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree37
Distribution of variable degrees[{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}]
Minimum constraint arity7
Maximum constraint arity42
Distribution of constraint arities[{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":500}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 255765539
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.51/1.12	c Parsing done, starting search...
13.91/6.03	o 29551
13.91/6.04	o 45677
13.91/6.05	o 53107
13.91/6.05	o 60244
13.91/6.06	o 83800
13.91/6.06	o 97092
13.91/6.06	o 101850
13.91/6.07	o 103052
13.91/6.07	o 105613
13.91/6.07	o 110371
13.91/6.07	o 114355
13.91/6.07	o 117970
13.91/6.09	o 123876
13.91/6.09	o 128634
13.91/6.09	o 133081
13.91/6.09	o 136696
14.58/6.11	o 140019
14.58/6.11	o 141348
14.58/6.11	o 142783
14.58/6.11	o 146106
14.58/6.12	o 148801
14.58/6.12	o 152124
14.58/6.12	o 154204
14.58/6.12	o 157527
14.58/6.12	o 160222
14.58/6.13	o 163545
14.58/6.13	o 166017
14.58/6.13	o 166309
14.58/6.13	o 169632
14.58/6.14	o 171067
14.58/6.14	o 174390
14.58/6.14	o 175046
14.58/6.14	o 178369
14.58/6.15	o 186153
14.58/6.15	o 190600
14.58/6.15	o 194215
14.58/6.16	o 196131
14.58/6.16	o 196442
14.58/6.16	o 197274
14.58/6.16	o 200889
14.58/6.16	o 201253
14.58/6.16	o 204868
14.58/6.16	o 208191
14.58/6.17	o 208387
14.58/6.17	o 210941
14.58/6.17	o 214920
14.58/6.17	o 215116
14.58/6.17	o 218243
14.58/6.17	o 218439
14.58/6.17	o 218535
14.58/6.18	o 221858
14.58/6.18	o 222054
14.58/6.18	o 222085
14.58/6.18	o 223149
14.58/6.18	o 223345
14.58/6.18	o 223928
14.58/6.18	o 227907
14.58/6.18	o 228103
14.58/6.18	o 231522
14.58/6.18	o 231718
14.58/6.19	o 231897
14.58/6.19	o 233886
14.58/6.19	o 235487
14.58/6.19	o 239102
14.58/6.19	o 240431
14.58/6.19	o 241574
14.58/6.19	o 245189
14.58/6.19	o 245385
14.58/6.19	o 248512
15.31/6.20	o 248708
15.31/6.20	o 249151
15.31/6.20	o 249515
15.31/6.21	o 253130
15.31/6.21	o 257095
15.31/6.21	o 257164
15.31/6.21	o 258735
15.31/6.21	o 259203
15.31/6.21	o 263182
15.31/6.22	o 266797
15.31/6.22	o 270120
15.31/6.22	o 270316
15.31/6.22	o 270940
15.31/6.22	o 271136
15.31/6.22	o 271232
15.31/6.22	o 274555
15.31/6.22	o 274751
15.31/6.22	o 275211
15.31/6.23	o 275407
15.31/6.23	o 278534
15.31/6.23	o 278730
15.31/6.23	o 280155
15.31/6.23	o 280224
15.31/6.23	o 281484
15.31/6.23	o 281795
15.31/6.23	o 282263
15.31/6.23	o 282627
15.31/6.23	o 282919
15.31/6.24	o 286242
15.31/6.24	o 286438
15.31/6.24	o 288202
15.31/6.24	o 288398
15.31/6.25	o 289137
15.31/6.25	o 291097
15.31/6.25	o 291293
15.31/6.25	o 291684
15.31/6.25	o 291753
15.31/6.25	o 293013
15.31/6.25	o 293324
15.31/6.25	o 293792
15.31/6.25	o 294156
15.31/6.26	o 294282
15.31/6.26	o 297073
15.31/6.26	o 297771
15.31/6.27	o 300259
15.31/6.27	o 303154
15.31/6.27	o 303454
15.31/6.27	o 306349
15.31/6.27	o 307069
15.31/6.27	o 309964
15.31/6.27	o 311652
15.31/6.28	o 312287
15.31/6.28	o 313156
15.31/6.28	o 315267
15.31/6.29	o 315548
15.31/6.29	o 316051
15.31/6.29	o 316101
15.31/6.29	o 320066
16.04/6.30	o 322890
16.04/6.30	o 323681
16.04/6.30	o 323877
16.04/6.31	o 326097
16.04/6.31	o 328829
16.04/6.32	o 329614
16.04/6.32	o 331389
16.04/6.32	o 332035
16.04/6.33	o 333757
16.04/6.33	o 334005
16.04/6.33	o 335079
16.04/6.33	o 335134
16.04/6.33	o 337716
16.04/6.34	o 337912
16.04/6.34	o 338227
16.04/6.34	o 338933
16.04/6.34	o 340623
16.04/6.34	o 342194
16.04/6.34	o 343026
16.04/6.35	o 345847
16.04/6.35	o 346641
16.04/6.35	o 348929
16.04/6.36	o 349007
16.04/6.36	o 349921
16.04/6.36	o 350088
16.04/6.37	o 351442
16.04/6.37	o 352983
16.04/6.37	o 352986
16.04/6.37	o 354577
16.04/6.38	o 356953
16.04/6.38	o 357922
16.04/6.38	o 359848
16.04/6.39	o 361091
16.04/6.40	o 361181
16.04/6.40	o 362016
16.51/6.40	o 362851
16.51/6.40	o 364326
16.51/6.40	o 365878
16.51/6.40	o 366287
16.51/6.40	o 368773
16.51/6.41	o 370004
16.51/6.41	o 371844
16.51/6.41	o 374364
16.51/6.42	o 374377
16.51/6.42	o 376933
16.51/6.42	o 378343
16.51/6.42	o 378688
16.51/6.42	o 380755
16.51/6.43	o 380758
16.51/6.43	o 384373
16.51/6.43	o 384781
16.51/6.43	o 386333
16.51/6.43	o 386842
16.51/6.44	o 387268
16.51/6.44	o 388497
16.51/6.44	o 388851
16.51/6.44	o 391746
16.51/6.44	o 392377
16.51/6.44	o 392937
16.51/6.45	o 394282
16.51/6.45	o 395501
16.51/6.45	o 396345
16.51/6.45	o 397776
16.51/6.46	o 398929
16.51/6.46	o 400442
16.51/6.46	o 401576
16.51/6.46	o 403337
16.51/6.46	o 404286
16.51/6.48	o 405533
16.51/6.48	o 405562
16.51/6.48	o 406805
16.51/6.48	o 406891
16.51/6.48	o 406896
16.51/6.48	o 408789
16.51/6.48	o 409786
16.51/6.48	o 410030
16.51/6.48	o 411791
16.51/6.49	o 412510
16.51/6.49	o 413828
16.51/6.49	o 414739
16.51/6.49	o 415873
16.51/6.49	o 417634
16.51/6.50	o 418502
16.51/6.50	o 421397
16.77/6.50	o 421865
16.77/6.50	o 422083
16.77/6.50	o 422102
16.77/6.50	o 424327
16.77/6.51	o 425548
16.77/6.51	o 428443
16.77/6.51	o 429163
16.77/6.51	o 432058
16.77/6.51	o 433087
16.77/6.51	o 435982
16.77/6.52	o 437743
16.77/6.52	o 437944
16.77/6.52	o 439705
16.77/6.52	o 440705
16.77/6.52	o 442930
16.77/6.52	o 444691
16.77/6.54	o 444747
16.77/6.55	o 447194
16.77/6.55	o 447427
16.77/6.55	o 447503
16.77/6.55	o 451118
16.77/6.55	o 451351
16.77/6.55	o 452879
16.77/6.55	o 453112
16.77/6.55	o 453296
16.77/6.55	o 454315
16.77/6.55	o 456076
16.77/6.55	o 456642
16.77/6.56	o 458282
16.77/6.56	o 458750
16.77/6.56	o 459114
16.77/6.56	o 462729
16.77/6.56	o 464490
16.77/6.56	o 465202
16.77/6.56	o 465413
16.77/6.56	o 466125
16.77/6.56	o 466957
16.77/6.56	o 467886
16.77/6.57	o 468197
16.77/6.57	o 469126
16.77/6.57	o 469337
16.77/6.57	o 469791
16.77/6.57	o 471031
16.77/6.57	o 471242
16.77/6.57	o 471960
16.77/6.57	o 472171
16.77/6.57	o 473189
16.77/6.57	o 473256
16.77/6.58	o 474185
16.77/6.58	o 474487
16.77/6.58	o 474698
16.77/6.58	o 475208
16.77/6.58	o 475787
16.77/6.59	o 476078
16.77/6.59	o 476289
16.77/6.59	o 476447
16.77/6.59	o 476660
16.77/6.59	o 476884
16.77/6.60	o 477374
16.77/6.60	o 477585
17.38/6.60	o 478303
17.38/6.60	o 478514
17.38/6.60	o 478645
17.38/6.60	o 478856
17.38/6.60	o 479936
17.38/6.60	o 480169
17.38/6.61	o 480569
17.38/6.61	o 480802
17.38/6.61	o 481092
17.38/6.61	o 483255
17.38/6.61	o 485016
17.38/6.61	o 485249
17.38/6.61	o 485480
17.38/6.61	o 485713
17.38/6.61	o 487241
17.38/6.61	o 487474
17.38/6.62	o 487519
17.38/6.62	o 488266
17.38/6.62	o 488477
17.38/6.62	o 488481
17.38/6.62	o 488714
17.38/6.62	o 488750
17.38/6.62	o 488936
17.38/6.62	o 489147
17.38/6.62	o 489400
17.38/6.63	o 489752
17.38/6.63	o 489963
17.38/6.64	o 490710
17.38/6.64	o 490921
17.38/6.65	o 491161
17.38/6.65	o 491372
17.38/6.65	o 492008
17.38/6.65	o 492475
17.38/6.65	o 492686
17.38/6.66	o 493528
17.38/6.66	o 494353
17.38/6.66	o 494564
17.38/6.66	o 495473
17.38/6.66	o 495689
17.38/6.67	o 496618
17.38/6.67	o 496829
17.38/6.67	o 497248
17.38/6.67	o 497458
17.38/6.67	o 498698
17.38/6.67	o 498931
17.38/6.67	o 499219
17.38/6.67	o 499452
17.38/6.68	o 499899
17.38/6.68	o 500110
17.38/6.68	o 500459
17.38/6.68	o 500723
17.38/6.68	o 500956
17.38/6.68	o 501885
17.38/6.68	o 502538
17.38/6.68	o 503778
17.38/6.68	o 504707
17.38/6.69	o 504723
17.38/6.69	o 505963
17.38/6.69	o 506025
17.38/6.69	o 506954
17.38/6.70	o 507195
17.38/6.70	o 508124
17.71/6.70	o 508902
17.71/6.70	o 509113
17.71/6.70	o 509567
17.71/6.70	o 510807
17.71/6.70	o 511220
17.71/6.71	o 511727
17.71/6.71	o 511938
17.71/6.71	o 512052
17.71/6.71	o 512120
17.71/6.71	o 512121
17.71/6.71	o 512480
17.71/6.71	o 512981
17.71/6.71	o 513133
17.71/6.72	o 513714
17.71/6.72	o 514643
17.71/6.72	o 515191
17.71/6.72	o 515433
17.71/6.72	o 515894
17.71/6.72	o 515951
17.71/6.73	o 516880
17.71/6.73	o 517254
17.71/6.73	o 517465
17.71/6.73	o 518169
17.71/6.73	o 518365
17.71/6.73	o 518380
17.71/6.73	o 518576
17.71/6.74	o 518657
17.71/6.74	o 518846
17.71/6.74	o 519775
17.71/6.74	o 519849
17.71/6.74	o 520252
17.71/6.74	o 520408
17.71/6.74	o 520619
17.71/6.75	o 520964
17.71/6.75	o 521197
17.71/6.75	o 521680
17.71/6.75	o 521891
17.71/6.75	o 522356
17.71/6.75	o 522877
17.71/6.75	o 523188
17.71/6.75	o 524117
17.71/6.76	o 524285
17.71/6.76	o 525070
17.71/6.76	o 525999
17.71/6.77	o 526340
17.71/6.77	o 527866
17.71/6.77	o 529106
17.71/6.77	o 529339
17.71/6.77	o 530035
17.71/6.77	o 530279
17.71/6.78	o 531208
17.71/6.78	o 531419
17.71/6.78	o 531612
17.71/6.78	o 532261
17.71/6.78	o 532472
17.71/6.78	o 532474
17.71/6.78	o 532777
17.71/6.78	o 532973
17.71/6.79	o 532988
17.71/6.79	o 533184
17.71/6.79	o 533298
17.71/6.79	o 533609
17.71/6.79	o 534538
17.71/6.79	o 534749
17.71/6.79	o 534945
17.71/6.79	o 535095
17.71/6.79	o 535306
17.71/6.80	o 535408
17.71/6.80	o 535719
17.71/6.80	o 536648
17.71/6.80	o 536859
17.71/6.80	o 537553
17.71/6.80	o 537749
18.08/6.81	o 538489
18.08/6.81	o 538700
18.08/6.81	o 539418
18.08/6.81	o 539629
18.08/6.81	o 540376
18.08/6.81	o 540687
18.08/6.81	o 541616
18.08/6.81	o 541812
18.08/6.81	o 541876
18.08/6.82	o 542040
18.08/6.82	o 542234
18.08/6.82	o 542693
18.08/6.82	o 542904
18.08/6.82	o 543157
18.08/6.82	o 543989
18.08/6.82	o 544918
18.08/6.82	o 545129
18.08/6.83	o 545658
18.08/6.83	o 546898
18.08/6.83	o 547752
18.08/6.83	o 547963
18.08/6.83	o 548023
18.08/6.83	o 548252
18.08/6.83	o 549492
18.08/6.83	o 550013
18.08/6.83	o 551253
18.08/6.84	o 551503
18.08/6.84	o 551714
18.08/6.84	o 552103
18.08/6.84	o 552707
18.08/6.84	o 552918
18.08/6.84	o 553097
18.08/6.84	o 553408
18.08/6.84	o 554337
18.08/6.84	o 554548
18.08/6.85	o 554868
18.08/6.85	o 555101
18.08/6.85	o 555584
18.08/6.85	o 555795
18.08/6.85	o 556513
18.08/6.85	o 556724
18.08/6.85	o 557370
18.08/6.85	o 557566
18.08/6.85	o 558299
18.08/6.85	o 558495
18.08/6.86	o 558610
18.08/6.86	o 559539
18.08/6.86	o 559735
18.08/6.86	o 560365
18.08/6.86	o 560576
18.08/6.86	o 561197
18.08/6.86	o 562126
18.08/6.86	o 562337
18.08/6.86	o 562414
18.08/6.87	o 562724
18.08/6.87	o 563964
18.08/6.87	o 564175
18.08/6.87	o 564893
18.08/6.87	o 565104
18.08/6.88	o 565126
18.08/6.88	o 565337
18.08/6.88	o 565519
18.08/6.88	o 567047
18.08/6.88	o 567280
18.08/6.88	o 568287
18.08/6.88	o 568520
18.08/6.88	o 569216
18.08/6.88	o 569449
18.08/6.88	o 569660
18.08/6.88	o 570435
18.08/6.88	o 570668
18.08/6.88	o 570879
18.08/6.88	o 571055
18.08/6.89	o 571676
18.08/6.89	o 572605
18.08/6.89	o 572816
18.08/6.89	o 572916
18.08/6.89	o 573127
18.08/6.89	o 573845
18.08/6.89	o 574056
18.08/6.89	o 574078
18.66/6.90	o 574289
18.66/6.90	o 574336
18.66/6.90	o 575265
18.66/6.90	o 575576
18.66/6.90	o 576505
18.66/6.90	o 576738
18.66/6.90	o 577739
18.66/6.90	o 577972
18.66/6.90	o 578198
18.66/6.90	o 579438
18.66/6.90	o 580423
18.66/6.90	o 581663
18.66/6.90	o 581896
18.66/6.91	o 582592
18.66/6.91	o 582825
18.66/6.91	o 583036
18.66/6.91	o 583320
18.66/6.91	o 583631
18.66/6.91	o 584560
18.66/6.91	o 584609
18.66/6.91	o 585849
18.66/6.91	o 586370
18.66/6.91	o 587610
18.66/6.91	o 588539
18.66/6.91	o 588750
18.66/6.91	o 588932
18.66/6.91	o 590693
18.66/6.91	o 591622
18.66/6.91	o 591833
18.66/6.91	o 591933
18.66/6.91	o 592144
18.66/6.91	o 592862
18.66/6.92	o 593073
18.66/6.92	o 593095
18.66/6.92	o 593306
18.66/6.92	o 593492
18.66/6.92	o 594324
18.66/6.92	o 595253
18.66/6.92	o 595564
18.66/6.92	o 596493
18.66/6.92	o 596726
18.66/6.92	o 596893
18.66/6.92	o 597126
18.66/6.92	o 597672
18.66/6.94	o 598036
18.66/6.94	o 598186
18.66/6.94	o 599426
18.66/6.94	o 600411
18.66/6.94	o 601651
18.66/6.94	o 601884
18.66/6.94	o 602580
18.66/6.94	o 602813
18.66/6.94	o 603024
18.66/6.94	o 603217
18.66/6.94	o 603428
18.66/6.94	o 603983
18.66/6.94	o 604382
18.66/6.94	o 605305
18.66/6.95	o 606545
18.66/6.95	o 607066
18.66/6.95	o 608306
18.66/6.95	o 609235
18.66/6.95	o 609446
18.66/6.95	o 610681
18.66/6.95	o 610892
18.66/6.95	o 611610
18.66/6.95	o 611821
18.66/6.95	o 611921
18.66/6.95	o 612850
18.66/6.95	o 613061
18.66/6.95	o 613083
18.66/6.95	o 613294
18.66/6.95	o 613334
18.66/6.95	o 614035
18.66/6.95	o 614855
18.66/6.95	o 615784
18.66/6.95	o 616095
18.66/6.95	o 617024
18.66/6.95	o 617949
18.66/6.95	o 618470
18.66/6.95	o 619710
18.66/6.95	o 620639
18.66/6.96	o 620872
18.66/6.96	o 621083
18.66/6.97	o 621085
18.66/6.97	o 621296
18.66/6.97	o 621318
18.66/6.97	o 621529
18.66/6.97	o 621546
18.66/6.97	o 621779
18.66/6.97	o 622475
18.66/6.97	o 622708
18.66/6.97	o 623460
18.66/6.97	o 623771
18.66/6.97	o 624700
18.66/6.98	o 624933
18.66/6.98	o 625144
18.66/6.98	o 625732
18.66/6.98	o 625943
18.66/6.98	o 625965
18.66/6.98	o 626176
19.51/7.02	o 626637
19.51/7.02	o 626848
19.51/7.02	o 626967
19.51/7.02	o 627896
19.51/7.02	o 628107
19.51/7.02	o 628333
19.51/7.02	o 628544
19.51/7.02	o 629311
19.51/7.02	o 630551
19.51/7.02	o 631072
19.51/7.02	o 632312
19.51/7.03	o 632523
19.51/7.03	o 633241
19.51/7.03	o 633452
19.51/7.03	o 633497
19.51/7.03	o 633961
19.51/7.03	o 634482
19.51/7.03	o 635722
19.51/7.03	o 636651
19.51/7.03	o 636862
19.51/7.04	o 636998
19.51/7.05	o 637028
19.51/7.05	o 637239
19.51/7.05	o 637298
19.51/7.05	o 637509
19.51/7.05	o 638378
19.51/7.05	o 639307
19.51/7.05	o 639518
19.51/7.05	o 639587
19.51/7.06	o 640022
19.51/7.06	o 640233
19.51/7.06	o 640545
19.51/7.06	o 640854
19.51/7.06	o 641468
19.51/7.06	o 642708
19.51/7.06	o 643229
19.51/7.06	o 644469
19.51/7.06	o 644680
19.51/7.06	o 645398
19.51/7.06	o 645609
19.51/7.06	o 645910
19.51/7.07	o 646374
19.51/7.07	o 646895
19.51/7.07	o 648135
19.51/7.07	o 649064
19.51/7.07	o 649275
19.51/7.07	o 649335
19.51/7.07	o 649546
19.51/7.07	o 649981
19.51/7.07	o 650449
19.51/7.07	o 650813
19.51/7.07	o 651274
19.51/7.07	o 652203
19.51/7.07	o 653499
19.51/7.07	o 654428
19.51/7.08	o 654639
19.51/7.08	o 654739
19.51/7.08	o 654950
19.51/7.08	o 655668
19.51/7.08	o 655879
21.02/7.23	o 655918
21.02/7.23	o 656129
21.02/7.24	o 656438
21.02/7.24	o 656773
21.02/7.24	o 657208
21.02/7.24	o 657916
21.02/7.24	o 658377
21.02/7.24	o 659306
21.02/7.24	o 659362
21.02/7.24	o 660602
21.02/7.24	o 661531
21.02/7.24	o 661742
21.02/7.24	o 661928
21.02/7.24	o 662028
21.02/7.24	o 662957
21.02/7.24	o 663168
21.82/7.31	o 663836
21.82/7.31	o 664047
21.82/7.34	o 664068
21.82/7.35	o 665097
21.82/7.35	o 665308
21.82/7.35	o 666026
21.82/7.35	o 666237
22.62/7.41	o 667072
22.62/7.42	o 667283
22.62/7.42	o 667415
23.42/7.55	o 667589
23.42/7.56	o 667899
23.42/7.56	o 668110
23.42/7.56	o 668274
23.42/7.56	o 669415
23.42/7.56	o 670344
23.42/7.56	o 670412
23.42/7.56	o 671513
23.42/7.56	o 672498
23.42/7.56	o 673738
23.42/7.56	o 674667
23.42/7.56	o 674878
24.22/7.62	o 675429
24.22/7.63	o 675640
24.22/7.63	o 676994
24.22/7.63	o 678755
24.22/7.63	o 678966
24.22/7.63	o 679684
24.22/7.63	o 679895
24.22/7.63	o 679995
24.22/7.63	o 680924
24.22/7.63	o 681135
26.56/7.90	o 681853
26.56/7.90	o 682064
26.56/7.90	o 683093
26.56/7.90	o 683304
26.56/7.90	o 684022
26.56/7.90	o 684233
26.56/7.91	o 684543
26.56/7.91	o 684754
26.56/7.91	o 684918
26.56/7.91	o 684921
26.56/7.91	o 685850
26.56/7.91	o 685906
26.56/7.91	o 687146
26.56/7.91	o 688075
26.56/7.91	o 688310
26.56/7.91	o 689142
26.56/7.91	o 690071
26.56/7.91	o 690382
26.56/7.91	o 691311
26.56/7.91	o 691522
26.56/7.92	o 691654
27.42/8.05	o 691661
27.42/8.06	o 691872
27.42/8.06	o 692957
27.42/8.06	o 693886
27.42/8.06	o 694097
27.42/8.07	o 694495
27.42/8.07	o 694706
27.42/8.07	o 695480
27.42/8.07	o 695791
27.42/8.07	o 696720
27.42/8.07	o 696931
27.42/8.09	o 697102
27.42/8.09	o 697313
27.42/8.09	o 697509
28.21/8.12	o 697717
28.21/8.12	o 697928
28.21/8.12	o 698445
28.21/8.13	o 699374
28.21/8.13	o 699585
28.21/8.13	o 700670
28.21/8.13	o 700881
28.21/8.13	o 701599
28.21/8.13	o 701810
28.21/8.13	o 702208
28.21/8.13	o 702419
28.21/8.13	o 702672
28.21/8.13	o 703504
28.21/8.13	o 704433
28.21/8.13	o 704644
28.21/8.14	o 705338
28.21/8.14	o 705549
28.21/8.16	o 706411
28.21/8.16	o 707243
28.21/8.16	o 708172
28.21/8.16	o 708383
30.54/8.41	o 708388
30.54/8.43	o 709032
30.54/8.44	o 710272
30.54/8.44	o 710483
30.54/8.44	o 711201
30.54/8.44	o 711412
32.93/8.73	o 712294
32.93/8.74	o 713223
32.93/8.74	o 713434
34.51/8.93	o 713918
34.51/8.94	o 714129
35.36/9.03	o 714242
35.36/9.04	o 715171
35.36/9.04	o 715382
35.36/9.04	o 715841
35.36/9.04	o 716052
35.36/9.04	o 716305
35.36/9.04	o 716826
35.36/9.04	o 717137
35.36/9.04	o 718066
35.36/9.04	o 718277
35.36/9.04	o 718675
35.36/9.04	o 718886
35.36/9.06	o 719139
35.36/9.06	o 719660
35.36/9.06	o 719971
35.36/9.06	o 720900
35.36/9.06	o 721111
37.70/9.32	o 721276
37.70/9.32	o 721487
37.70/9.32	o 722261
37.70/9.32	o 723501
37.70/9.32	o 723712
37.70/9.32	o 724430
37.70/9.32	o 724641
37.70/9.36	o 724722
37.70/9.37	o 725440
37.70/9.37	o 725651
38.50/9.49	o 725816
38.50/9.49	o 726801
38.50/9.49	o 728041
38.50/9.49	o 728970
38.50/9.49	o 729181
41.68/9.87	o 729456
41.68/9.87	o 730385
41.68/9.87	o 730596
44.12/10.18	o 730761
44.12/10.19	o 731225
44.12/10.19	o 731746
44.12/10.19	o 732986
44.12/10.19	o 733197
44.12/10.19	o 733915
44.12/10.19	o 734126
46.45/10.42	o 734396
46.45/10.42	o 734607
50.44/10.93	o 735027
50.44/10.94	o 736267
50.44/10.94	o 737196
50.44/10.94	o 737407
76.69/14.27	o 737427
76.69/14.28	o 738145
76.69/14.28	o 738356
76.69/14.28	o 738810
76.69/14.28	o 738853
76.69/14.28	o 739121
76.69/14.28	o 740050
76.69/14.28	o 740261
87.11/15.59	o 740378
87.84/15.61	o 740688
87.84/15.61	o 740999
87.84/15.61	o 741928
87.84/15.61	o 742139
87.84/15.61	o 742196
87.84/15.61	o 742407
87.84/15.61	o 743125
87.84/15.61	o 743336
92.63/16.28	o 743538
92.63/16.29	o 744128
92.63/16.29	o 744396
92.63/16.29	o 745325
92.63/16.29	o 745536
92.63/16.29	o 745777
92.63/16.29	o 745988
92.63/16.29	o 746771
92.63/16.29	o 746814
92.63/16.29	o 748011
92.63/16.29	o 748222
92.63/16.29	o 748940
92.63/16.29	o 749151
99.86/17.13	o 749322
99.86/17.14	o 750040
99.86/17.14	o 750251
100.59/17.28	o 750302
100.59/17.28	o 751177
100.59/17.28	o 751388
100.59/17.28	o 751641
100.59/17.28	o 752162
100.59/17.28	o 752205
100.59/17.28	o 752473
100.59/17.28	o 753402
100.59/17.28	o 753613
100.59/17.28	o 754571
100.59/17.28	o 754782
100.59/17.28	o 755500
100.59/17.28	o 755711
100.59/17.28	o 755964
100.59/17.28	o 756485
100.59/17.28	o 756528
100.59/17.28	o 756796
100.59/17.28	o 757725
100.59/17.28	o 757936
105.37/17.85	o 758630
105.37/17.86	o 759559
105.37/17.86	o 759770
113.35/18.80	o 760069
113.35/18.81	o 760280
123.76/20.17	o 761356
123.76/20.18	o 761567
123.76/20.18	o 762285
123.76/20.18	o 762496
123.76/20.18	o 763261
123.76/20.18	o 764190
123.76/20.18	o 764401
142.01/22.43	o 764888
142.01/22.43	o 765099
142.01/22.43	o 765817
142.01/22.43	o 766028
142.01/22.46	o 766482
142.01/22.46	o 766525
142.01/22.46	o 766793
142.01/22.46	o 767722
142.01/22.46	o 767933
156.35/24.22	o 767954
156.35/24.23	o 768026
156.35/24.23	o 768955
156.35/24.23	o 769151
157.16/24.38	o 769197
157.16/24.39	o 770394
157.16/24.39	o 770590
157.16/24.39	o 771323
157.16/24.39	o 771519
157.16/24.39	o 772007
157.16/24.39	o 772203
157.16/24.39	o 772217
157.16/24.39	o 772316
157.16/24.39	o 773513
157.16/24.39	o 774442
157.16/24.39	o 774638
157.16/24.40	o 775458
157.16/24.40	o 775922
157.16/24.40	o 776443
157.16/24.40	o 776486
157.16/24.40	o 777683
157.16/24.40	o 777879
157.16/24.40	o 778612
157.16/24.40	o 778808
177.89/26.95	o 778831
177.89/26.96	o 779549
177.89/26.96	o 779760
177.89/26.97	o 779838
177.89/26.98	o 780767
177.89/26.98	o 780978
186.71/28.05	o 781090
186.71/28.06	o 781301
186.71/28.06	o 782019
186.71/28.06	o 782230
188.23/28.26	o 782252
188.23/28.26	o 782463
189.04/28.37	o 782469
189.04/28.38	o 782512
189.04/28.38	o 782780
189.04/28.38	o 783709
189.04/28.38	o 783920
189.04/28.38	o 784685
189.04/28.38	o 784896
189.04/28.38	o 785614
189.04/28.38	o 785825
189.84/28.43	o 785904
189.84/28.44	o 786170
189.84/28.44	o 787099
189.84/28.44	o 787310
189.84/28.44	o 788268
189.84/28.44	o 788479
189.84/28.44	o 789197
189.84/28.44	o 789408
189.84/28.44	o 789661
189.84/28.44	o 790493
189.84/28.44	o 791422
189.84/28.44	o 791633
189.84/28.47	o 792398
189.84/28.48	o 792609
189.84/28.48	o 793327
189.84/28.48	o 793538
216.12/31.79	o 793835
216.12/31.80	o 794103
216.12/31.80	o 795032
216.12/31.80	o 795243
217.71/31.96	o 796008
217.71/31.96	o 796219
217.71/31.97	o 796937
217.71/31.97	o 797148
283.13/40.13	o 797225
283.13/40.13	o 797268
283.13/40.14	o 797536
283.13/40.14	o 798465
283.13/40.14	o 798676
283.13/40.14	o 799761
283.13/40.14	o 799972
283.13/40.14	o 800690
283.13/40.14	o 800901
291.11/41.12	o 801666
291.11/41.12	o 802595
291.11/41.12	o 802806
328.49/45.89	o 802892
342.05/47.56	o 803387
342.05/47.56	o 803598
342.84/47.60	o 803657
342.84/47.61	o 804586
342.84/47.61	o 804797
343.64/47.70	o 804848
343.64/47.70	o 804891
343.64/47.71	o 805159
343.64/47.71	o 806088
343.64/47.71	o 806299
350.80/48.65	o 806598
350.80/48.66	o 806809
352.40/48.87	o 807244
352.40/48.87	o 807455
352.40/48.88	o 807909
352.40/48.88	o 807952
352.40/48.88	o 808220
352.40/48.88	o 809149
352.40/48.88	o 809360
354.06/49.06	o 809558
354.06/49.07	o 809583
354.06/49.07	o 809794
354.06/49.07	o 810512
354.06/49.07	o 810723
354.06/49.07	o 810976
354.06/49.07	o 811497
354.06/49.07	o 811540
354.06/49.07	o 811808
354.06/49.07	o 812737
354.06/49.07	o 812948
354.86/49.13	o 813034
354.86/49.14	o 813913
354.86/49.15	o 814124
354.86/49.15	o 814842
354.86/49.15	o 815053
354.86/49.15	o 815306
354.86/49.15	o 815827
354.86/49.15	o 815870
354.86/49.15	o 816138
354.86/49.15	o 817067
354.86/49.15	o 817278
354.86/49.15	o 817303
354.86/49.15	o 817514
354.86/49.15	o 818232
354.86/49.15	o 818443
354.86/49.15	o 818696
354.86/49.15	o 819217
354.86/49.15	o 819260
354.86/49.16	o 819528
354.86/49.16	o 820457
354.86/49.16	o 820668
362.04/50.03	o 820719
362.04/50.04	o 820985
362.04/50.04	o 821196
362.04/50.04	o 821914
362.04/50.04	o 822125
362.04/50.04	o 822251
362.04/50.04	o 822772
362.04/50.04	o 822815
362.04/50.04	o 823083
362.04/50.04	o 824012
362.04/50.04	o 824223
362.04/50.04	o 825308
362.04/50.04	o 825519
362.04/50.04	o 826237
362.04/50.04	o 826448
362.84/50.13	o 827213
362.84/50.14	o 828142
362.84/50.14	o 828353
415.88/56.88	o 828937
415.88/56.89	o 829148
616.65/82.04	o 829339
616.65/82.05	o 830268
616.65/82.05	o 830479
616.65/82.11	o 831244
616.65/82.11	o 831455
617.45/82.11	o 832173
617.45/82.11	o 832384
649.31/86.13	o 832725
649.31/86.15	o 832936
649.31/86.15	o 832995
649.31/86.15	o 833516
649.31/86.15	o 833827
649.31/86.15	o 834756
649.31/86.15	o 834967
649.31/86.15	o 836052
649.31/86.15	o 836263
649.31/86.15	o 836981
649.31/86.15	o 837192
649.31/86.19	o 837838
650.03/86.20	o 838767
650.03/86.20	o 838978
650.03/86.20	o 840063
650.03/86.20	o 840274
650.03/86.20	o 840992
650.03/86.20	o 841203
722.52/95.32	o 841262
722.52/95.33	o 842191
722.52/95.33	o 842402
953.22/124.43	o 842568
953.22/124.44	o 842657
953.22/124.44	o 843586
953.22/124.44	o 843797
957.20/124.99	o 844562
957.20/124.99	o 844773
957.20/125.00	o 845491
957.20/125.00	o 845702
962.77/125.64	o 846154
962.77/125.64	o 846365
963.57/125.70	o 846497
1038.93/135.21	o 846534
1038.93/135.21	o 846745
1044.51/135.91	o 847315
1044.51/135.93	o 847526
1044.51/135.93	o 848417
1044.51/135.93	o 848628
1044.51/135.93	o 849346
1044.51/135.93	o 849557
1044.51/135.93	o 849616
1044.51/135.93	o 849827
1044.51/135.94	o 850545
1044.51/135.94	o 850756
1288.52/166.78	o 850879
1297.20/167.86	o 851059
1297.20/167.86	o 851148
1297.20/167.86	o 852077
1297.20/167.86	o 852273
1297.20/167.86	o 852288
1297.20/167.86	o 852484
1297.20/167.86	o 853317
1297.20/167.86	o 853528
1297.20/167.87	o 853724
1297.20/167.87	o 853909
1297.20/167.87	o 853952
1297.20/167.87	o 854024
1297.20/167.87	o 854953
1297.20/167.87	o 855149
1297.20/167.87	o 855164
1297.20/167.87	o 855360
1297.20/167.87	o 855567
1297.20/167.87	o 855610
1297.20/167.87	o 855789
1297.20/167.87	o 855878
1297.20/167.88	o 856807
1297.20/167.88	o 857018
1297.20/167.88	o 857639
1297.20/167.88	o 857850
1297.20/167.88	o 858568
1297.20/167.88	o 858779
1297.20/167.88	o 858975
1316.91/170.33	o 859155
1316.91/170.33	o 859523
1316.91/170.34	o 859702
1316.91/170.34	o 859791
1316.91/170.34	o 860720
1316.91/170.34	o 860916
1316.91/170.34	o 861031
1316.91/170.34	o 861227
1316.91/170.34	o 861960
1316.91/170.34	o 862156
1316.91/170.34	o 862171
1316.91/170.34	o 862367
1395.41/180.27	o 862750
1395.41/180.28	o 863018
1395.41/180.28	o 863947
1395.41/180.28	o 864158
1395.41/180.28	o 864354
1395.41/180.28	o 864399
1395.41/180.28	o 864610
1395.41/180.28	o 864806
1395.41/180.28	o 865393
1395.41/180.28	o 865589
1395.41/180.28	o 866633
1395.41/180.28	o 866829
1395.41/180.28	o 866844
1395.41/180.28	o 867040
1395.41/180.28	o 867562
1395.41/180.28	o 867773
1395.41/180.30	o 867969
1748.79/224.94	o 867983
1748.79/224.94	o 867992
1748.79/224.94	o 868260
1748.79/224.94	o 868456
1748.79/224.94	o 868824
1748.79/224.95	o 870021
1748.79/224.95	o 870217
1748.79/224.95	o 870950
1748.79/224.95	o 871146
1748.79/224.95	o 871161
1748.79/224.95	o 871357
2558.56/327.23	o 871594
2558.56/327.23	o 871805
2558.56/327.23	o 872001
2558.56/327.23	o 872055
2558.56/327.23	o 872251
2558.56/327.23	o 873083
2558.56/327.23	o 874280
2558.56/327.24	o 874476
2558.56/327.24	o 875209
2558.56/327.24	o 875405
2558.56/327.24	o 875420
2558.56/327.24	o 875616
2558.56/327.26	o 875911
2558.56/327.26	o 876432
2558.56/327.26	o 876475
2558.56/327.27	o 877672
2558.56/327.27	o 878601
2558.56/327.27	o 878812
2558.56/327.27	o 879008
3436.68/438.35	o 879044
3436.68/438.36	o 879255
3436.68/438.36	o 879451
3436.68/438.39	o 879608
3436.68/438.39	o 879819
3436.68/438.39	o 880015
3439.82/438.78	o 880621
3439.82/438.79	o 880800
3439.82/438.79	o 881818
3439.82/438.79	o 882029
3439.82/438.79	o 882210
3439.82/438.79	o 883017
3439.82/438.79	o 883228
3591.71/457.96	o 883368
3591.71/457.96	o 883526
3591.71/457.97	o 884514
3591.71/457.97	o 884950
3591.71/457.97	o 885113
3591.71/457.97	o 885172
3591.71/457.97	o 886190
3591.71/457.97	o 886348
3714.28/473.41	o 887165
3714.28/473.41	o 887376
3714.28/473.41	o 887387
3714.28/473.42	o 888405
3714.28/473.42	o 888616
3714.28/473.42	o 888812
3721.41/474.33	o 888969
3721.41/474.33	o 889180
3721.41/474.33	o 889376
3842.68/489.75	o 889471
3842.68/489.75	o 889650
3842.68/489.75	o 890668
3842.68/489.75	o 890879
5082.64/646.56	o 891326
5082.64/646.56	o 891537
5082.64/646.56	o 892344
5082.64/646.56	o 892555
5831.56/741.22	o 892713
6821.06/866.16	o 893421
6821.06/866.17	o 893579
6821.06/866.17	o 893632
6821.06/866.17	o 893790
7242.62/919.32	o 894520
7242.62/919.32	o 894716
7242.62/919.33	o 894874
7242.62/919.33	o 894889
7242.62/919.33	o 894927
7242.62/919.33	o 895085
7242.62/919.33	o 895195
7242.62/919.33	o 895717
7242.62/919.33	o 895913
7242.62/919.33	o 895928
7242.62/919.33	o 896124
7242.62/919.33	o 896282
7255.32/920.99	o 896447
7255.32/921.00	o 896605
7255.32/921.00	o 896715
7255.32/921.00	o 897433
7255.32/921.00	o 897644
7255.32/921.00	o 897802
7255.32/921.00	o 897869
7255.32/921.00	o 898027
7255.32/921.00	o 898180
7255.32/921.00	o 899109
7255.32/921.00	o 899267
7255.32/921.00	o 899320
7255.32/921.00	o 899478
7255.32/921.00	o 899516
7255.32/921.00	o 899674
7992.72/1013.98	o 900268
7992.72/1013.99	o 900426
7992.72/1013.99	o 900464
7992.72/1013.99	o 900622
7992.72/1013.99	o 900675
7992.72/1013.99	o 900833
8338.49/1057.59	o 900890
8338.49/1057.60	o 900956
8338.49/1057.60	o 900994
8338.49/1057.60	o 901152
8338.49/1057.60	o 901205
8338.49/1057.60	o 901363
8338.49/1057.60	o 901482
8338.49/1057.60	o 901640
8338.49/1057.60	o 901693
8338.49/1057.60	o 901851
8338.49/1057.60	o 902559
8338.49/1057.60	o 902770
8338.49/1057.60	o 902928
8338.49/1057.60	o 902966
8338.49/1057.60	o 903124
8339.24/1057.61	o 903256
10243.64/1297.87	o 903400
10243.64/1297.88	o 903558
10243.64/1297.88	o 904418
10243.64/1297.88	o 904576
10243.64/1297.88	o 904640
10243.64/1297.88	o 905658
10243.64/1297.88	o 905816
10509.37/1331.44	o 905971
10509.37/1331.44	o 906009
10509.37/1331.44	o 906167
10509.37/1331.44	o 906286
10509.37/1331.44	o 906482
10509.37/1331.44	o 906497
10509.37/1331.45	o 906693
10509.37/1331.45	o 907363
10509.37/1331.45	o 907574
10509.37/1331.45	o 907770
10509.37/1331.45	o 907928
10509.37/1331.45	o 908603
10509.37/1331.45	o 908799
10509.37/1331.45	o 908957
10509.37/1331.45	o 908972
10509.37/1331.45	o 909010
10509.37/1331.45	o 909168
10509.37/1331.48	o 909502
10509.37/1331.49	o 909698
10509.37/1331.49	o 909713
10509.37/1331.49	o 909909
10509.37/1331.49	o 910067
10509.37/1331.49	o 910175
10509.37/1331.49	o 910323
10509.37/1331.49	o 910883
10509.37/1331.49	o 911094
10509.37/1331.49	o 911252
10509.37/1331.49	o 911356
10509.37/1331.49	o 911514
10509.37/1331.49	o 911877
10509.37/1331.49	o 912040
10509.37/1331.49	o 912188
10509.37/1331.49	o 913117
10509.37/1331.49	o 913275
10509.37/1331.49	o 913328
10509.37/1331.49	o 913486
10509.37/1331.49	o 913524
10509.37/1331.49	o 913682
10605.32/1343.56	o 914342
10605.32/1343.56	o 914553
10605.32/1343.57	o 914891
10605.32/1343.57	o 915327
10605.32/1343.57	o 915490
10605.32/1343.57	o 915638
10605.32/1343.57	o 916567
10605.32/1343.57	o 916778
10605.32/1343.57	o 916974
10605.32/1343.57	o 917132
10662.47/1350.76	o 917264
11324.49/1434.13	o 917281
11324.49/1434.13	o 917319
11324.49/1434.14	o 917477
11324.49/1434.14	o 917530
11324.49/1434.14	o 917688
11324.49/1434.14	o 917804
11324.49/1434.14	o 917930
11324.49/1434.14	o 917997
11324.49/1434.14	o 918155
11324.49/1434.14	o 918208
11324.49/1434.14	o 918366
11324.49/1434.14	o 918519
11324.49/1434.14	o 919237
11324.49/1434.15	o 919448
11324.49/1434.15	o 919606
11324.49/1434.15	o 919644
11324.49/1434.15	o 919802
11324.49/1434.15	o 920429
11324.49/1434.15	o 920640
11324.49/1434.15	o 920836
11324.49/1434.15	o 921176
11324.49/1434.15	o 921372
11324.49/1434.15	o 921775
11324.49/1434.15	o 921923
11324.49/1434.15	o 922852
11324.49/1434.15	o 923048
11324.49/1434.15	o 923063
11324.49/1434.15	o 923259
11324.49/1434.15	o 923417
11409.10/1444.88	o 923426
11412.21/1445.28	o 923549
11412.21/1445.29	o 923624
11412.21/1445.30	o 923667
11412.21/1445.30	o 923787
11412.21/1445.30	o 923935
11412.21/1445.30	o 924653
11412.21/1445.30	o 924864
11412.21/1445.30	o 925022
11412.21/1445.30	o 925060
11412.21/1445.30	o 925218
11692.88/1480.67	o 925321
11692.88/1480.67	o 925364
11692.88/1480.67	o 925484
11692.88/1480.67	o 925632
11692.88/1480.67	o 926561
11692.88/1480.67	o 926772
11692.88/1480.67	o 926930
11692.88/1480.67	o 927857
11692.88/1480.67	o 928068
11692.88/1480.67	o 928226
11692.88/1480.69	o 928786
11692.88/1480.69	o 928944
11692.88/1480.69	o 928997
11692.88/1480.69	o 929155
12208.75/1545.69	o 929284
12208.75/1545.69	o 929480
12208.75/1545.70	o 929631
12208.75/1545.70	o 929842
12208.75/1545.70	o 930230
12208.75/1545.70	o 930378
12208.75/1545.70	o 931307
12208.75/1545.70	o 931518
12208.75/1545.70	o 931714
12208.75/1545.70	o 931872
12208.75/1545.70	o 932376
12208.75/1545.70	o 932587
12208.75/1545.70	o 932783
12208.75/1545.70	o 932941
12208.75/1545.70	o 933305
12208.75/1545.70	o 933501
12208.75/1545.70	o 933659
12208.75/1545.70	o 933674
12208.75/1545.71	o 933712
12208.75/1545.71	o 933870
12208.75/1545.71	o 933939
12208.75/1545.71	o 933977
12208.75/1545.71	o 934695
12208.75/1545.71	o 934906
12208.75/1545.71	o 935723
12208.75/1545.71	o 935843
12208.75/1545.71	o 935991
12208.75/1545.71	o 936920
12208.75/1545.71	o 937131
12208.75/1545.71	o 937327
12208.75/1545.71	o 937485
12455.53/1576.72	o 937557
12455.53/1576.72	o 938333
12455.53/1576.73	o 938544
12455.53/1576.73	o 939573
12455.53/1576.73	o 939784
12455.53/1576.73	o 939980
12455.53/1576.73	o 940138
12455.53/1576.73	o 940502
12455.53/1576.73	o 940713
12455.53/1576.73	o 940871
12455.53/1576.73	o 940909
12455.53/1576.73	o 941067
14416.48/1823.98	o 941080
15057.91/1904.78	o 941094
15057.91/1904.80	o 941305
15057.91/1904.80	o 941573
15057.91/1904.80	o 941693
15057.91/1904.80	o 941841
15057.91/1904.80	o 942770
15057.91/1904.80	o 942981
15057.91/1904.80	o 943177
15057.91/1904.80	o 943335
15122.15/1912.89	o 943429
15122.15/1912.89	o 943640
15122.15/1912.89	o 943798
15122.15/1912.89	o 943836
15122.15/1912.89	o 943994
15122.15/1912.89	o 944140
15122.15/1912.89	o 944288
15122.15/1912.89	o 944810
15122.15/1912.91	o 945021
15122.15/1912.91	o 945217
15122.15/1912.91	o 945283
15122.15/1912.91	o 945479
15122.15/1912.91	o 945847
15122.15/1912.91	o 946115
15122.15/1912.91	o 947044
15122.15/1912.91	o 947240
15122.15/1912.91	o 947255
15122.15/1912.91	o 947451
15122.15/1912.91	o 947609
15123.80/1913.04	o 947741
15126.91/1913.49	o 947751
15126.91/1913.50	o 948680
15126.91/1913.50	o 948838
15126.91/1913.50	o 948876
15126.91/1913.50	o 949034
15126.91/1913.50	o 949087
15126.91/1913.50	o 949245
15126.91/1913.50	o 949872
15126.91/1913.50	o 950068
15126.91/1913.50	o 950083
15126.91/1913.50	o 950279
15126.91/1913.50	o 950619
15126.91/1913.50	o 950830
15126.91/1913.50	o 951218
15126.91/1913.50	o 951366
15126.91/1913.50	o 952295
15126.91/1913.50	o 952506
15126.91/1913.50	o 952702
15127.70/1913.51	o 952860
15127.70/1913.52	o 952992
16660.69/2106.96	o 953105
16660.69/2106.97	o 953813
16660.69/2106.97	o 954024
16660.69/2106.97	o 954182
16660.69/2106.97	o 954220
16660.69/2106.97	o 954378
16660.69/2106.98	o 955078
16660.69/2106.98	o 955289
16660.69/2106.98	o 955642
16660.69/2106.98	o 955762
16660.69/2106.98	o 956839
16660.69/2106.98	o 957050
16660.69/2106.98	o 957208
16660.69/2106.98	o 957246
16660.69/2106.98	o 957404
16660.69/2106.98	o 957514
16660.69/2106.99	o 957867
16660.69/2106.99	o 957987
16660.69/2106.99	o 959064
16660.69/2106.99	o 959275
16660.69/2106.99	o 959433
16660.69/2107.00	o 959471
16660.69/2107.00	o 959629
19930.11/2520.09	s SATISFIABLE
19930.11/2520.10	v <instantiation>
19930.11/2520.10	v 	<list>
19930.11/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]
19930.11/2520.10	v 	</list>
19930.11/2520.10	v 	<values>
19930.11/2520.10	v 		0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 
19930.11/2520.10	v 	</values>
19930.11/2520.10	v </instantiation>

Verifier Data 

OK	959629

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291735-1532634715/watcher-4291735-1532634715 -o /tmp/evaluation-result-4291735-1532634715/solver-4291735-1532634715 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532633880-4504 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 255765539 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291735-1532634715.xml 

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

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


[startup+0.100139 s]*
/proc/loadavg: 6.85 5.80 6.22 2/200 4973
/proc/meminfo: memFree=23458208/32770624 swapFree=67108784/67108860
[pid=4953] ppid=4950 vsize=26103424 memory=31216 CPUtime=0.11 cores=0-7
/proc/4953/stat : 4953 (java) S 4950 4953 4477 0 -1 1077944320 7249 0 0 0 10 1 0 0 20 0 20 0 81034658 26729906176 7804 33554432000 4194304 4196468 140720452031360 140720452013904 140177595154167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
/proc/4953/statm: 6525856 7804 3142 1 0 6487932 0
[pid=4953/tid=4955] ppid=4950 vsize=26103424 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4953/task/4955/stat : 4955 (java) R 4950 4953 4477 0 -1 4202560 5316 0 0 0 8 1 0 0 20 0 20 0 81034658 26729906176 7823 33554432000 4194304 4196468 140720452031360 140177599376960 140177579234654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4956] ppid=4950 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4953/task/4956/stat : 4956 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 7823 33554432000 4194304 4196468 140720452031360 140177547774992 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4957] ppid=4950 vsize=26103424 memory=139632035923584 CPUtime=0 cores=0-7
/proc/4953/task/4957/stat : 4957 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 7823 33554432000 4194304 4196468 140720452031360 140177546722448 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4958] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4958/stat : 4958 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 7823 33554432000 4194304 4196468 140720452031360 140177545669392 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4959] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4959/stat : 4959 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 7823 33554432000 4194304 4196468 140720452031360 140177544616848 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4960] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4960/stat : 4960 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 7823 33554432000 4194304 4196468 140720452031360 140177543563792 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4961] ppid=4950 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/4953/task/4961/stat : 4961 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 7823 33554432000 4194304 4196468 140720452031360 140177542511248 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4962] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4962/stat : 4962 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 7823 33554432000 4194304 4196468 140720452031360 140177541458192 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4963] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4963/stat : 4963 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 7823 33554432000 4194304 4196468 140720452031360 140177540405648 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4964] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4964/stat : 4964 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034660 26729906176 7823 33554432000 4194304 4196468 140720452031360 140176338516720 140177595165314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4965] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4965/stat : 4965 (java) S 4950 4953 4477 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81034661 26729906176 7823 33554432000 4194304 4196468 140720452031360 140176337462944 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4966] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4966/stat : 4966 (java) S 4950 4953 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81034661 26729906176 7823 33554432000 4194304 4196468 140720452031360 140176336409840 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4967] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4967/stat : 4967 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034663 26729906176 7823 33554432000 4194304 4196468 140720452031360 140176335358416 140177595172763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4968] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4968/stat : 4968 (java) S 4950 4953 4477 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 81034663 26729906176 7823 33554432000 4194304 4196468 140720452031360 140176334305520 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4969] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4969/stat : 4969 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81034663 26729906176 7823 33554432000 4194304 4196468 140720452031360 140176333252976 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4970] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4970/stat : 4970 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81034664 26729906176 7823 33554432000 4194304 4196468 140720452031360 140176332199920 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4971] ppid=4950 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/4953/task/4971/stat : 4971 (java) R 4950 4953 4477 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 81034664 26729906176 7823 33554432000 4194304 4196468 140720452031360 140176331147376 140177579234654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4972] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4972/stat : 4972 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81034664 26729906176 7823 33554432000 4194304 4196468 140720452031360 140176330095584 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4973] ppid=4950 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/4953/task/4973/stat : 4973 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034664 26729906176 7823 33554432000 4194304 4196468 140720452031360 140176329043120 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 31216 KiB

[startup+0.210033 s]*
/proc/loadavg: 6.85 5.80 6.22 4/200 4973
/proc/meminfo: memFree=23445364/32770624 swapFree=67108784/67108860
[pid=4953] ppid=4950 vsize=26103424 memory=42984 CPUtime=0.3 cores=0-7
/proc/4953/stat : 4953 (java) S 4950 4953 4477 0 -1 1077944320 10411 0 0 0 27 3 0 0 20 0 20 0 81034658 26729906176 10746 33554432000 4194304 4196468 140720452031360 140720452013904 140177595154167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
/proc/4953/statm: 6525856 10746 3329 1 0 6487932 0
[pid=4953/tid=4955] ppid=4950 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/4953/task/4955/stat : 4955 (java) R 4950 4953 4477 0 -1 4202560 8186 0 0 0 18 2 0 0 20 0 20 0 81034658 26729906176 10746 33554432000 4194304 4196468 140720452031360 140177599372848 140177579234654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4956] ppid=4950 vsize=26103424 memory=9326 CPUtime=0 cores=0-7
/proc/4953/task/4956/stat : 4956 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 10746 33554432000 4194304 4196468 140720452031360 140177547774992 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4957] ppid=4950 vsize=26103424 memory=139632035928318 CPUtime=0 cores=0-7
/proc/4953/task/4957/stat : 4957 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 10746 33554432000 4194304 4196468 140720452031360 140177546722448 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4958] ppid=4950 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/4953/task/4958/stat : 4958 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 10746 33554432000 4194304 4196468 140720452031360 140177545669392 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4959] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4959/stat : 4959 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 10746 33554432000 4194304 4196468 140720452031360 140177544616848 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4960] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4960/stat : 4960 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 10746 33554432000 4194304 4196468 140720452031360 140177543563792 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4961] ppid=4950 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/4953/task/4961/stat : 4961 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 10746 33554432000 4194304 4196468 140720452031360 140177542511248 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4962] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4962/stat : 4962 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 10746 33554432000 4194304 4196468 140720452031360 140177541458192 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4963] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4963/stat : 4963 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 10746 33554432000 4194304 4196468 140720452031360 140177540405648 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4964] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4964/stat : 4964 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034660 26729906176 10746 33554432000 4194304 4196468 140720452031360 140176338516720 140177595165314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4965] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4965/stat : 4965 (java) S 4950 4953 4477 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81034661 26729906176 10746 33554432000 4194304 4196468 140720452031360 140176337462944 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4966] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4966/stat : 4966 (java) S 4950 4953 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81034661 26729906176 10746 33554432000 4194304 4196468 140720452031360 140176336409840 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4967] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4967/stat : 4967 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034663 26729906176 10746 33554432000 4194304 4196468 140720452031360 140176335358416 140177595172763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4968] ppid=4950 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/4953/task/4968/stat : 4968 (java) S 4950 4953 4477 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 81034663 26729906176 10746 33554432000 4194304 4196468 140720452031360 140176334305520 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4969] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4969/stat : 4969 (java) S 4950 4953 4477 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 81034663 26729906176 10746 33554432000 4194304 4196468 140720452031360 140176333252976 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4970] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4970/stat : 4970 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81034664 26729906176 10746 33554432000 4194304 4196468 140720452031360 140176332199920 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4971] ppid=4950 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/4953/task/4971/stat : 4971 (java) R 4950 4953 4477 0 -1 4202560 315 0 0 0 6 0 0 0 20 0 20 0 81034664 26729906176 10746 33554432000 4194304 4196468 140720452031360 140176331143104 140177595175514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4972] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4972/stat : 4972 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81034664 26729906176 10746 33554432000 4194304 4196468 140720452031360 140176330095584 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4973] ppid=4950 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/4953/task/4973/stat : 4973 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034664 26729906176 10746 33554432000 4194304 4196468 140720452031360 140176329043120 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 42984 KiB

[startup+0.309485 s]*
/proc/loadavg: 6.85 5.80 6.22 2/200 4973
/proc/meminfo: memFree=23441952/32770624 swapFree=67108784/67108860
[pid=4953] ppid=4950 vsize=26103424 memory=47032 CPUtime=0.43 cores=0-7
/proc/4953/stat : 4953 (java) S 4950 4953 4477 0 -1 1077944320 10862 0 0 0 40 3 0 0 20 0 20 0 81034658 26729906176 11758 33554432000 4194304 4196468 140720452031360 140720452013904 140177595154167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
/proc/4953/statm: 6525856 11758 3414 1 0 6487932 0
[pid=4953/tid=4955] ppid=4950 vsize=26103424 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/4953/task/4955/stat : 4955 (java) R 4950 4953 4477 0 -1 4202560 8527 0 0 0 28 2 0 0 20 0 20 0 81034658 26729906176 11758 33554432000 4194304 4196468 140720452031360 140177599315904 140177579234654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4956] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4956/stat : 4956 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 11758 33554432000 4194304 4196468 140720452031360 140177547774992 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4957] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4957/stat : 4957 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 11758 33554432000 4194304 4196468 140720452031360 140177546722448 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4958] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4958/stat : 4958 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 11758 33554432000 4194304 4196468 140720452031360 140177545669392 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4959] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4959/stat : 4959 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 11758 33554432000 4194304 4196468 140720452031360 140177544616848 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4960] ppid=4950 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/4953/task/4960/stat : 4960 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 11758 33554432000 4194304 4196468 140720452031360 140177543563792 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4961] ppid=4950 vsize=26103424 memory=139631937024943 CPUtime=0 cores=0-7
/proc/4953/task/4961/stat : 4961 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 11758 33554432000 4194304 4196468 140720452031360 140177542511248 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4962] ppid=4950 vsize=26103424 memory=139631937027248 CPUtime=0 cores=0-7
/proc/4953/task/4962/stat : 4962 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 11758 33554432000 4194304 4196468 140720452031360 140177541458192 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4963] ppid=4950 vsize=26103424 memory=139631937029552 CPUtime=0 cores=0-7
/proc/4953/task/4963/stat : 4963 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81034659 26729906176 11758 33554432000 4194304 4196468 140720452031360 140177540405648 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4964] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4964/stat : 4964 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034660 26729906176 11758 33554432000 4194304 4196468 140720452031360 140176338516720 140177595165314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4965] ppid=4950 vsize=26103424 memory=279263874066064 CPUtime=0 cores=0-7
/proc/4953/task/4965/stat : 4965 (java) S 4950 4953 4477 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81034661 26729906176 11758 33554432000 4194304 4196468 140720452031360 140176337462944 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4966] ppid=4950 vsize=26103424 memory=279263874072976 CPUtime=0 cores=0-7
/proc/4953/task/4966/stat : 4966 (java) S 4950 4953 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81034661 26729906176 11758 33554432000 4194304 4196468 140720452031360 140176336409840 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4967] ppid=4950 vsize=26103424 memory=279263874014256 CPUtime=0 cores=0-7
/proc/4953/task/4967/stat : 4967 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034663 26729906176 11758 33554432000 4194304 4196468 140720452031360 140176335358416 140177595172763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4968] ppid=4950 vsize=26103424 memory=279263874086800 CPUtime=0.01 cores=0-7
/proc/4953/task/4968/stat : 4968 (java) S 4950 4953 4477 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 81034663 26729906176 11758 33554432000 4194304 4196468 140720452031360 140176334305520 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4969] ppid=4950 vsize=26103424 memory=279263874093712 CPUtime=0.01 cores=0-7
/proc/4953/task/4969/stat : 4969 (java) S 4950 4953 4477 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 81034663 26729906176 11758 33554432000 4194304 4196468 140720452031360 140176333252976 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4970] ppid=4950 vsize=26103424 memory=279263874091408 CPUtime=0 cores=0-7
/proc/4953/task/4970/stat : 4970 (java) S 4950 4953 4477 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 81034664 26729906176 11758 33554432000 4194304 4196468 140720452031360 140176332199920 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4971] ppid=4950 vsize=26103424 memory=279263874108016 CPUtime=0.07 cores=0-7
/proc/4953/task/4971/stat : 4971 (java) S 4950 4953 4477 0 -1 1077944384 334 0 0 0 7 0 0 0 20 0 20 0 81034664 26729906176 11758 33554432000 4194304 4196468 140720452031360 140176331147376 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4972] ppid=4950 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4972/stat : 4972 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81034664 26729906176 11758 33554432000 4194304 4196468 140720452031360 140176330095584 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4973] ppid=4950 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/4953/task/4973/stat : 4973 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034664 26729906176 11758 33554432000 4194304 4196468 140720452031360 140176329043120 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 47032 KiB

[startup+0.700843 s]
/proc/loadavg: 6.46 5.74 6.20 2/200 4973
/proc/meminfo: memFree=23418016/32770624 swapFree=67108784/67108860
[pid=4953] ppid=4950 vsize=26105492 memory=87672 CPUtime=0.99 cores=0-7
/proc/4953/stat : 4953 (java) S 4950 4953 4477 0 -1 1077944320 17858 0 0 0 94 5 0 0 20 0 20 0 81034658 26732023808 21918 33554432000 4194304 4196468 140720452031360 140720452013904 140177595154167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
/proc/4953/statm: 6526373 21918 3494 1 0 6488444 0
[pid=4953/tid=4955] ppid=4950 vsize=26105492 memory=0 CPUtime=0.68 cores=0-7
/proc/4953/task/4955/stat : 4955 (java) R 4950 4953 4477 0 -1 4202560 15015 0 0 0 64 4 0 0 20 0 20 0 81034658 26732023808 21918 33554432000 4194304 4196468 140720452031360 140177599378336 140177595176093 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4956] ppid=4950 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4956/stat : 4956 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26732023808 21918 33554432000 4194304 4196468 140720452031360 140177547774992 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4957] ppid=4950 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4957/stat : 4957 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26732023808 21918 33554432000 4194304 4196468 140720452031360 140177546722448 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4958] ppid=4950 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/4953/task/4958/stat : 4958 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26732023808 21918 33554432000 4194304 4196468 140720452031360 140177545669392 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4959] ppid=4950 vsize=26105492 memory=5372 CPUtime=0 cores=0-7
/proc/4953/task/4959/stat : 4959 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26732023808 21918 33554432000 4194304 4196468 140720452031360 140177544616848 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4960] ppid=4950 vsize=26105492 memory=1440 CPUtime=0 cores=0-7
/proc/4953/task/4960/stat : 4960 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26732023808 21918 33554432000 4194304 4196468 140720452031360 140177543563792 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4961] ppid=4950 vsize=26105492 memory=4612 CPUtime=0 cores=0-7
/proc/4953/task/4961/stat : 4961 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034659 26732023808 21918 33554432000 4194304 4196468 140720452031360 140177542511248 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4962] ppid=4950 vsize=26105492 memory=1200 CPUtime=0 cores=0-7
/proc/4953/task/4962/stat : 4962 (java) S 4950 4953 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81034659 26732023808 21918 33554432000 4194304 4196468 140720452031360 140177541458192 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4963] ppid=4950 vsize=26105492 memory=15876 CPUtime=0 cores=0-7
/proc/4953/task/4963/stat : 4963 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81034659 26732023808 21918 33554432000 4194304 4196468 140720452031360 140177540405648 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4964] ppid=4950 vsize=26105492 memory=4044 CPUtime=0 cores=0-7
/proc/4953/task/4964/stat : 4964 (java) S 4950 4953 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81034660 26732023808 21918 33554432000 4194304 4196468 140720452031360 140176338516720 140177595165314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0

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

/proc/4953/task/4976/stat : 4976 (java) R 4950 4953 4477 0 -1 4202560 100822 0 0 0 247816 77 0 0 20 0 46 0 81035178 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175466113096 140177222198073 0 4 0 16800975 0 0 0 -1 5 0 0 46 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4977] ppid=4950 vsize=27850528 memory=5789209534702695226 CPUtime=2475.93 cores=0-7
/proc/4953/task/4977/stat : 4977 (java) R 4950 4953 4477 0 -1 4202560 102206 0 0 0 247512 81 0 0 20 0 46 0 81035179 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175465060648 140177220805244 0 4 0 16800975 0 0 0 -1 6 0 0 46 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4978] ppid=4950 vsize=27850528 memory=3691370963596765295 CPUtime=0.02 cores=0-7
/proc/4953/task/4978/stat : 4978 (java) S 4950 4953 4477 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 46 0 81035179 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175464014736 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4979] ppid=4950 vsize=27850528 memory=301741373374332954 CPUtime=0.07 cores=0-7
/proc/4953/task/4979/stat : 4979 (java) S 4950 4953 4477 0 -1 1077944384 295 0 0 0 7 0 0 0 20 0 46 0 81035186 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175460865040 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4980] ppid=4950 vsize=27850528 memory=288230583166042426 CPUtime=2480.78 cores=0-7
/proc/4953/task/4980/stat : 4980 (java) R 4950 4953 4477 0 -1 4202560 97607 0 0 0 248002 76 0 0 20 0 46 0 81035187 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175459808584 140177220803453 0 4 0 16800975 0 0 0 -1 0 0 0 49 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4981] ppid=4950 vsize=27850528 memory=15255930832947754 CPUtime=0.07 cores=0-7
/proc/4953/task/4981/stat : 4981 (java) S 4950 4953 4477 0 -1 1077944384 252 0 0 0 7 0 0 0 20 0 46 0 81035187 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175458760464 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4982] ppid=4950 vsize=27850528 memory=1580 CPUtime=0.06 cores=0-7
/proc/4953/task/4982/stat : 4982 (java) S 4950 4953 4477 0 -1 1077944384 452 0 0 0 6 0 0 0 20 0 46 0 81035187 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175457707408 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4983] ppid=4950 vsize=27850528 memory=928 CPUtime=2478.65 cores=0-7
/proc/4953/task/4983/stat : 4983 (java) R 4950 4953 4477 0 -1 4202560 94927 0 0 0 247790 75 0 0 20 0 46 0 81035187 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175456647448 140177219931847 0 4 0 16800975 0 0 0 -1 4 0 0 48 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4984] ppid=4950 vsize=27850528 memory=2244 CPUtime=0.06 cores=0-7
/proc/4953/task/4984/stat : 4984 (java) S 4950 4953 4477 0 -1 1077944384 405 0 0 0 6 0 0 0 20 0 46 0 81035187 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175455601808 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4985] ppid=4950 vsize=27850528 memory=4124 CPUtime=2480.12 cores=0-7
/proc/4953/task/4985/stat : 4985 (java) R 4950 4953 4477 0 -1 4202560 98325 0 0 0 247935 77 0 0 20 0 46 0 81035187 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175454544848 140177220352070 0 4 0 16800975 0 0 0 -1 7 0 0 46 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4986] ppid=4950 vsize=27850528 memory=2200 CPUtime=2478.86 cores=0-7
/proc/4953/task/4986/stat : 4986 (java) R 4950 4953 4477 0 -1 4202560 94321 0 0 0 247811 75 0 0 20 0 46 0 81035189 28518940672 719251 33554432000 4194304 4196468 140720452031360 140175453488152 140177222730431 0 4 0 16800975 0 0 0 -1 2 0 0 54 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4987] ppid=4950 vsize=27850528 memory=7284 CPUtime=2479.38 cores=0-7
/proc/4953/task/4987/stat : 4987 (java) R 4950 4953 4477 0 -1 4202560 105017 0 0 0 247856 82 0 0 20 0 46 0 81035189 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174176539752 140177220803377 0 4 0 16800975 0 0 0 -1 3 0 0 53 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4988] ppid=4950 vsize=27850528 memory=6081924819289981024 CPUtime=2478.78 cores=0-7
/proc/4953/task/4988/stat : 4988 (java) R 4950 4953 4477 0 -1 4202560 97017 0 0 0 247801 77 0 0 20 0 46 0 81035198 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174175486776 140177222198362 0 4 0 16800975 0 0 0 -1 1 0 0 52 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4989] ppid=4950 vsize=27850528 memory=4639086193205072740 CPUtime=0.01 cores=0-7
/proc/4953/task/4989/stat : 4989 (java) S 4950 4953 4477 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 46 0 81035263 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174172305168 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4990] ppid=4950 vsize=27850528 memory=7732791960443838548 CPUtime=0.01 cores=0-7
/proc/4953/task/4990/stat : 4990 (java) S 4950 4953 4477 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 46 0 81035263 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174171252112 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4991] ppid=4950 vsize=27850528 memory=6008178387941021541 CPUtime=0.02 cores=0-7
/proc/4953/task/4991/stat : 4991 (java) S 4950 4953 4477 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 46 0 81035263 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174170199568 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4992] ppid=4950 vsize=27850528 memory=8101537472876997463 CPUtime=0.02 cores=0-7
/proc/4953/task/4992/stat : 4992 (java) S 4950 4953 4477 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 46 0 81035263 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174169146512 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4993] ppid=4950 vsize=27850528 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/4953/task/4993/stat : 4993 (java) S 4950 4953 4477 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 46 0 81035264 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174168093968 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4994] ppid=4950 vsize=27850528 memory=0 CPUtime=0.01 cores=0-7
/proc/4953/task/4994/stat : 4994 (java) S 4950 4953 4477 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 46 0 81035264 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174167040912 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4995] ppid=4950 vsize=27850528 memory=4026532099 CPUtime=0.01 cores=0-7
/proc/4953/task/4995/stat : 4995 (java) S 4950 4953 4477 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 46 0 81035264 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174165988368 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4996] ppid=4950 vsize=27850528 memory=20952 CPUtime=0.01 cores=0-7
/proc/4953/task/4996/stat : 4996 (java) S 4950 4953 4477 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 46 0 81035264 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174164936336 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4997] ppid=4950 vsize=27850528 memory=7882540973088598119 CPUtime=0.01 cores=0-7
/proc/4953/task/4997/stat : 4997 (java) S 4950 4953 4477 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 46 0 81035264 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174163883792 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4998] ppid=4950 vsize=27850528 memory=279263878027488 CPUtime=0 cores=0-7
/proc/4953/task/4998/stat : 4998 (java) S 4950 4953 4477 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 46 0 81035266 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174162830736 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4999] ppid=4950 vsize=27850528 memory=4026532099 CPUtime=0.01 cores=0-7
/proc/4953/task/4999/stat : 4999 (java) S 4950 4953 4477 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 46 0 81035267 28518940672 719251 33554432000 4194304 4196468 140720452031360 140174161778192 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
Current children cumulated CPU time: 19930.1 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 2877004 KiB

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

[startup+2520.27 s]
# the end of solver process 4953 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19919.4 s, system=12.4453 s

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

[startup+2520.2 s]
/proc/loadavg: 8.80 8.76 8.60 9/226 5060
/proc/meminfo: memFree=20599420/32770624 swapFree=67108784/67108860
[pid=4953] ppid=4950 vsize=28050220 memory=2877060 CPUtime=19931.6 cores=0-7
/proc/4953/stat : 4953 (java) S 4950 4953 4477 0 -1 1077944320 2492177 0 0 0 1991915 1242 0 0 20 0 47 0 81034658 28723425280 719265 33554432000 4194304 4196468 140720452031360 140720452013904 140177595154167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
/proc/4953/statm: 7012555 719265 3627 1 0 6974105 0
[pid=4953/tid=4955] ppid=4950 vsize=28050220 memory=7019467088074324276 CPUtime=5.17 cores=0-7
/proc/4953/task/4955/stat : 4955 (java) S 4950 4953 4477 0 -1 1077944384 23441 0 0 0 509 8 0 0 20 0 47 0 81034658 28723425280 719265 33554432000 4194304 4196468 140720452031360 140177599391632 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4956] ppid=4950 vsize=28050220 memory=7019467087923394868 CPUtime=9.55 cores=0-7
/proc/4953/task/4956/stat : 4956 (java) S 4950 4953 4477 0 -1 1077944384 170594 0 0 0 892 63 0 0 20 0 47 0 81034659 28723425280 719265 33554432000 4194304 4196468 140720452031360 140177547774992 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 65 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4957] ppid=4950 vsize=28050220 memory=7019467087940172084 CPUtime=9.56 cores=0-7
/proc/4953/task/4957/stat : 4957 (java) S 4950 4953 4477 0 -1 1077944384 168273 0 0 0 893 63 0 0 20 0 47 0 81034659 28723425280 719265 33554432000 4194304 4196468 140720452031360 140177546722448 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4958] ppid=4950 vsize=28050220 memory=7019467087956949300 CPUtime=9.55 cores=0-7
/proc/4953/task/4958/stat : 4958 (java) S 4950 4953 4477 0 -1 1077944384 179476 0 0 0 895 60 0 0 20 0 47 0 81034659 28723425280 719265 33554432000 4194304 4196468 140720452031360 140177545669392 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4959] ppid=4950 vsize=28050220 memory=7019467087973726516 CPUtime=9.63 cores=0-7
/proc/4953/task/4959/stat : 4959 (java) S 4950 4953 4477 0 -1 1077944384 154504 0 0 0 900 63 0 0 20 0 47 0 81034659 28723425280 719265 33554432000 4194304 4196468 140720452031360 140177544616848 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 65 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4960] ppid=4950 vsize=28050220 memory=7019467087990503732 CPUtime=9.54 cores=0-7
/proc/4953/task/4960/stat : 4960 (java) S 4950 4953 4477 0 -1 1077944384 171169 0 0 0 896 58 0 0 20 0 47 0 81034659 28723425280 719265 33554432000 4194304 4196468 140720452031360 140177543563792 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 65 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4961] ppid=4950 vsize=28050220 memory=7019467088007280948 CPUtime=9.52 cores=0-7
/proc/4953/task/4961/stat : 4961 (java) S 4950 4953 4477 0 -1 1077944384 163075 0 0 0 891 61 0 0 20 0 47 0 81034659 28723425280 719265 33554432000 4194304 4196468 140720452031360 140177542511248 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4962] ppid=4950 vsize=28050220 memory=7019467088024058164 CPUtime=9.52 cores=0-7
/proc/4953/task/4962/stat : 4962 (java) S 4950 4953 4477 0 -1 1077944384 158814 0 0 0 890 62 0 0 20 0 47 0 81034659 28723425280 719265 33554432000 4194304 4196468 140720452031360 140177541458192 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4963] ppid=4950 vsize=28050220 memory=288230574492221466 CPUtime=9.5 cores=0-7
/proc/4953/task/4963/stat : 4963 (java) S 4950 4953 4477 0 -1 1077944384 161545 0 0 0 893 57 0 0 20 0 47 0 81034659 28723425280 719265 33554432000 4194304 4196468 140720452031360 140177540405648 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 67 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4964] ppid=4950 vsize=28050220 memory=288230583166042426 CPUtime=7.55 cores=0-7
/proc/4953/task/4964/stat : 4964 (java) S 4950 4953 4477 0 -1 1077944384 258645 0 0 0 634 121 0 0 20 0 47 0 81034660 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176338516720 140177595165314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4965] ppid=4950 vsize=28050220 memory=15255930832947754 CPUtime=0 cores=0-7
/proc/4953/task/4965/stat : 4965 (java) S 4950 4953 4477 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 47 0 81034661 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176337463008 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4966] ppid=4950 vsize=28050220 memory=8556 CPUtime=0 cores=0-7
/proc/4953/task/4966/stat : 4966 (java) S 4950 4953 4477 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 47 0 81034661 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176336409856 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4967] ppid=4950 vsize=28050220 memory=2877004 CPUtime=0 cores=0-7
/proc/4953/task/4967/stat : 4967 (java) S 4950 4953 4477 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 47 0 81034663 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176335358416 140177595172763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4968] ppid=4950 vsize=28050220 memory=5372 CPUtime=1.61 cores=0-7
/proc/4953/task/4968/stat : 4968 (java) D 4950 4953 4477 0 -1 4202560 5680 0 0 0 159 2 0 0 20 0 47 0 81034663 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176334305816 140177574505673 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4969] ppid=4950 vsize=28050220 memory=1440 CPUtime=1.63 cores=0-7
/proc/4953/task/4969/stat : 4969 (java) S 4950 4953 4477 0 -1 1077944384 13725 0 0 0 160 3 0 0 20 0 47 0 81034663 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176333252976 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4970] ppid=4950 vsize=28050220 memory=8112282956445269571 CPUtime=1.51 cores=0-7
/proc/4953/task/4970/stat : 4970 (java) R 4950 4953 4477 0 -1 1077944384 8606 0 0 0 149 2 0 0 20 0 47 0 81034664 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176332199920 140177595165314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4971] ppid=4950 vsize=28050220 memory=1200 CPUtime=1.32 cores=0-7
/proc/4953/task/4971/stat : 4971 (java) D 4950 4953 4477 0 -1 4202560 13611 0 0 0 130 2 0 0 20 0 47 0 81034664 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176331143016 140177574095643 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4972] ppid=4950 vsize=28050220 memory=15876 CPUtime=0 cores=0-7
/proc/4953/task/4972/stat : 4972 (java) S 4950 4953 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 47 0 81034664 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176330095584 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4973] ppid=4950 vsize=28050220 memory=4044 CPUtime=0.72 cores=0-7
/proc/4953/task/4973/stat : 4973 (java) S 4950 4953 4477 0 -1 1077944384 13219 0 0 0 30 42 0 0 20 0 47 0 81034664 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176329043120 140177595165314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4974] ppid=4950 vsize=28050220 memory=2877004 CPUtime=0.03 cores=0-7
/proc/4953/task/4974/stat : 4974 (java) S 4950 4953 4477 0 -1 1077944384 1815 0 0 0 3 0 0 0 20 0 47 0 81035141 28723425280 719265 33554432000 4194304 4196468 140720452031360 140176326083536 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4976] ppid=4950 vsize=28050220 memory=1792 CPUtime=2479.09 cores=0-7
/proc/4953/task/4976/stat : 4976 (java) R 4950 4953 4477 0 -1 4202560 100822 0 0 0 247832 77 0 0 20 0 47 0 81035178 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175466112776 140177222730415 0 4 0 16800975 0 0 0 -1 1 0 0 46 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4977] ppid=4950 vsize=28050220 memory=5372 CPUtime=2476.12 cores=0-7
/proc/4953/task/4977/stat : 4977 (java) R 4950 4953 4477 0 -1 4202560 102209 0 0 0 247531 81 0 0 20 0 47 0 81035179 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175465060360 140177220804753 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4978] ppid=4950 vsize=28050220 memory=1440 CPUtime=0.02 cores=0-7
/proc/4953/task/4978/stat : 4978 (java) S 4950 4953 4477 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 47 0 81035179 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175464014736 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4979] ppid=4950 vsize=28050220 memory=4612 CPUtime=0.08 cores=0-7
/proc/4953/task/4979/stat : 4979 (java) S 4950 4953 4477 0 -1 1077944384 481 0 0 0 8 0 0 0 20 0 47 0 81035186 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175460865040 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4980] ppid=4950 vsize=28050220 memory=1200 CPUtime=2480.95 cores=0-7
/proc/4953/task/4980/stat : 4980 (java) R 4950 4953 4477 0 -1 4202560 97607 0 0 0 248019 76 0 0 20 0 47 0 81035187 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175459805144 140177220804673 0 4 0 16800975 0 0 0 -1 0 0 0 49 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4981] ppid=4950 vsize=28050220 memory=15876 CPUtime=0.07 cores=0-7
/proc/4953/task/4981/stat : 4981 (java) S 4950 4953 4477 0 -1 1077944384 367 0 0 0 7 0 0 0 20 0 47 0 81035187 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175458760464 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4982] ppid=4950 vsize=28050220 memory=4044 CPUtime=0.06 cores=0-7
/proc/4953/task/4982/stat : 4982 (java) S 4950 4953 4477 0 -1 1077944384 452 0 0 0 6 0 0 0 20 0 47 0 81035187 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175457707408 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4983] ppid=4950 vsize=28050220 memory=14008 CPUtime=2478.83 cores=0-7
/proc/4953/task/4983/stat : 4983 (java) R 4950 4953 4477 0 -1 4202560 94928 0 0 0 247808 75 0 0 20 0 47 0 81035187 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175456646960 140177221968685 0 4 0 16800975 0 0 0 -1 6 0 0 48 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4984] ppid=4950 vsize=28050220 memory=16240 CPUtime=0.06 cores=0-7
/proc/4953/task/4984/stat : 4984 (java) S 4950 4953 4477 0 -1 1077944384 431 0 0 0 6 0 0 0 20 0 47 0 81035187 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175455601808 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4985] ppid=4950 vsize=28050220 memory=1792 CPUtime=2480.3 cores=0-7
/proc/4953/task/4985/stat : 4985 (java) R 4950 4953 4477 0 -1 4202560 98326 0 0 0 247953 77 0 0 20 0 47 0 81035187 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175454541888 140177220805131 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4986] ppid=4950 vsize=28050220 memory=644 CPUtime=2478.99 cores=0-7
/proc/4953/task/4986/stat : 4986 (java) R 4950 4953 4477 0 -1 4202560 94321 0 0 0 247824 75 0 0 20 0 47 0 81035189 28723425280 719265 33554432000 4194304 4196468 140720452031360 140175453488328 140177220805309 0 4 0 16800975 0 0 0 -1 2 0 0 54 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4987] ppid=4950 vsize=28050220 memory=956 CPUtime=2479.54 cores=0-7
/proc/4953/task/4987/stat : 4987 (java) R 4950 4953 4477 0 -1 4202560 105017 0 0 0 247872 82 0 0 20 0 47 0 81035189 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174176536328 140177217663219 0 4 0 16800975 0 0 0 -1 7 0 0 53 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4988] ppid=4950 vsize=28050220 memory=1232 CPUtime=2478.93 cores=0-7
/proc/4953/task/4988/stat : 4988 (java) R 4950 4953 4477 0 -1 4202560 97017 0 0 0 247816 77 0 0 20 0 47 0 81035198 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174175483536 140177222198340 0 4 0 16800975 0 0 0 -1 5 0 0 52 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4989] ppid=4950 vsize=28050220 memory=2336 CPUtime=0.01 cores=0-7
/proc/4953/task/4989/stat : 4989 (java) S 4950 4953 4477 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 47 0 81035263 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174172305168 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4990] ppid=4950 vsize=28050220 memory=1580 CPUtime=0.01 cores=0-7
/proc/4953/task/4990/stat : 4990 (java) S 4950 4953 4477 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 47 0 81035263 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174171252112 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4991] ppid=4950 vsize=28050220 memory=928 CPUtime=0.02 cores=0-7
/proc/4953/task/4991/stat : 4991 (java) S 4950 4953 4477 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 47 0 81035263 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174170199568 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4992] ppid=4950 vsize=28050220 memory=2244 CPUtime=0.02 cores=0-7
/proc/4953/task/4992/stat : 4992 (java) S 4950 4953 4477 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 47 0 81035263 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174169146512 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4993] ppid=4950 vsize=28050220 memory=912 CPUtime=0.01 cores=0-7
/proc/4953/task/4993/stat : 4993 (java) S 4950 4953 4477 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 47 0 81035264 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174168093968 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4994] ppid=4950 vsize=28050220 memory=4148 CPUtime=0.01 cores=0-7
/proc/4953/task/4994/stat : 4994 (java) S 4950 4953 4477 0 -1 1077944384 292 0 0 0 1 0 0 0 20 0 47 0 81035264 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174167040912 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4995] ppid=4950 vsize=28050220 memory=1404 CPUtime=0.01 cores=0-7
/proc/4953/task/4995/stat : 4995 (java) S 4950 4953 4477 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 47 0 81035264 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174165988368 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4996] ppid=4950 vsize=28050220 memory=4496 CPUtime=0.01 cores=0-7
/proc/4953/task/4996/stat : 4996 (java) S 4950 4953 4477 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 47 0 81035264 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174164936336 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4997] ppid=4950 vsize=28050220 memory=2877004 CPUtime=0.03 cores=0-7
/proc/4953/task/4997/stat : 4997 (java) R 4950 4953 4477 0 -1 4202560 793 0 0 0 3 0 0 0 20 0 47 0 81035264 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174163874920 140177587871319 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4998] ppid=4950 vsize=28050220 memory=4104 CPUtime=0 cores=0-7
/proc/4953/task/4998/stat : 4998 (java) S 4950 4953 4477 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 47 0 81035266 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174162830736 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
[pid=4953/tid=4999] ppid=4950 vsize=28050220 memory=1580 CPUtime=0.01 cores=0-7
/proc/4953/task/4999/stat : 4999 (java) S 4950 4953 4477 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 47 0 81035267 28723425280 719265 33554432000 4194304 4196468 140720452031360 140174161778192 140177595164373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32485376 140720452035662 140720452035845 140720452035845 140720452038607 0
Current children cumulated CPU time: 19931.6 s
Current children cumulated vsize: 28050220 KiB
Current children cumulated memory: 2877060 KiB

Child status: 143
Real time (s): 2520.27
CPU time (s): 19931.9
CPU user time (s): 19919.4
CPU system time (s): 12.4453
CPU usage (%): 790.864
Max. virtual memory (cumulated for all children) (KiB): 28050220
Max. memory (cumulated for all children) (KiB): 2930284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19919.4
system time used= 12.4453
maximum resident set size= 2931840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2492275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 792162
involuntary context switches= 428336


# summary of solver processes directly reported to runsolver:
#   pid: 4953
#   total CPU time (s): 19931.9
#   total CPU user time (s): 19919.4
#   total CPU system time (s): 12.4453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.7299 second user time and 36.9572 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-26 21:51:55
IDJOB=4291735
IDBENCH=141153
IDSOLVER=2745
FILE ID=node148/4291735-1532634715
RUNJOBID= node148-1532633880-4504
PBS_JOBID= 21022175
Free space on /tmp= 43264 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_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-4291735-1532634715/watcher-4291735-1532634715 -o /tmp/evaluation-result-4291735-1532634715/solver-4291735-1532634715 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532633880-4504 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 255765539 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291735-1532634715.xml

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

MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193
RANDOM SEED=255765539

node148.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.50
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.50
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.50
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.50
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:        23474052 kB
MemAvailable:   31930368 kB
Buffers:          171756 kB
Cached:          8409660 kB
SwapCached:           64 kB
Active:          2026596 kB
Inactive:        6606964 kB
Active(anon):       1892 kB
Inactive(anon):    77076 kB
Active(file):    2024704 kB
Inactive(file):  6529888 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108784 kB
Dirty:             35740 kB
Writeback:             4 kB
AnonPages:         57392 kB
Mapped:            40588 kB
Shmem:             25148 kB
Slab:             357656 kB
SReclaimable:     330184 kB
SUnreclaim:        27472 kB
KernelStack:        3200 kB
PageTables:         5096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 43228 MiB
End job on node148 at 2018-07-26 22:33:55