Trace number 4309269

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-08-14SAT (TO)956234 19929.2 2520.26

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.66/0.55	c version: 2018-08-14
0.66/0.55	c seed: 961386015
0.66/0.55	c timeout: 20160
0.66/0.55	c memlimit: 22000
0.66/0.55	c nbcore: 8
0.66/0.58	c Parsing instance...
2.58/1.12	c Parsing done, starting search...
13.75/6.02	o 16655
13.75/6.02	o 32781
13.75/6.02	o 40211
13.75/6.03	o 52262
13.75/6.04	o 53107
13.75/6.05	o 53503
13.75/6.05	o 65554
13.75/6.05	o 70312
13.75/6.06	o 83321
13.75/6.06	o 88079
13.75/6.06	o 95372
13.75/6.08	o 100130
13.75/6.08	o 108216
13.75/6.08	o 112974
13.75/6.09	o 119519
13.75/6.09	o 124277
13.75/6.09	o 126009
13.75/6.09	o 134934
14.51/6.12	o 136115
14.51/6.12	o 138493
14.51/6.12	o 142660
14.51/6.12	o 142971
14.51/6.12	o 147418
14.51/6.12	o 153628
14.51/6.12	o 158386
14.51/6.14	o 161958
14.51/6.14	o 163287
14.51/6.14	o 168045
14.51/6.14	o 169305
14.51/6.15	o 174063
14.51/6.15	o 177678
14.51/6.15	o 178042
14.51/6.15	o 181657
14.51/6.16	o 185598
14.51/6.17	o 185816
14.51/6.17	o 189795
14.51/6.17	o 191834
14.51/6.17	o 195813
14.51/6.18	o 197969
14.51/6.18	o 199112
14.51/6.18	o 200493
14.51/6.18	o 202727
14.51/6.20	o 204472
14.51/6.20	o 206706
15.28/6.21	o 207463
15.28/6.21	o 211078
15.28/6.22	o 213212
15.28/6.22	o 215251
15.28/6.22	o 216996
15.28/6.22	o 219230
15.28/6.22	o 221754
15.28/6.22	o 223988
15.28/6.23	o 225146
15.28/6.23	o 225342
15.28/6.23	o 225919
15.28/6.23	o 226068
15.28/6.23	o 227397
15.28/6.24	o 232155
15.28/6.24	o 236134
15.28/6.24	o 239448
15.28/6.24	o 243427
15.28/6.24	o 243514
15.28/6.24	o 243982
15.28/6.25	o 244346
15.28/6.25	o 247961
15.28/6.25	o 248157
15.28/6.26	o 250195
15.28/6.27	o 252996
15.28/6.27	o 253464
15.28/6.27	o 257443
15.28/6.27	o 259551
15.28/6.28	o 260172
15.28/6.29	o 261098
15.28/6.29	o 263332
15.28/6.29	o 265690
15.28/6.29	o 267924
15.28/6.29	o 268120
15.28/6.29	o 269857
15.28/6.29	o 270053
15.28/6.29	o 270168
15.28/6.29	o 271000
15.28/6.29	o 274615
15.28/6.30	o 274811
15.28/6.30	o 276849
15.28/6.30	o 277045
15.28/6.30	o 278534
15.28/6.30	o 280768
16.01/6.30	o 280812
16.01/6.30	o 281008
16.01/6.30	o 284166
16.01/6.30	o 287781
16.01/6.30	o 290184
16.01/6.31	o 290732
16.01/6.31	o 293627
16.01/6.31	o 293799
16.01/6.31	o 294562
16.01/6.32	o 294711
16.01/6.32	o 297606
16.01/6.32	o 298107
16.01/6.32	o 300093
16.01/6.32	o 300799
16.01/6.33	o 300854
16.01/6.33	o 303749
16.01/6.33	o 305612
16.01/6.33	o 308507
16.01/6.33	o 309591
16.01/6.33	o 312486
16.01/6.33	o 313206
16.01/6.33	o 316101
16.01/6.33	o 318002
16.01/6.34	o 319161
16.01/6.34	o 320155
16.01/6.34	o 321986
16.01/6.35	o 324590
16.01/6.35	o 326869
16.01/6.35	o 328569
16.01/6.35	o 330979
16.01/6.35	o 332184
16.01/6.36	o 335079
16.01/6.36	o 336145
16.01/6.37	o 337736
16.01/6.37	o 340928
16.01/6.37	o 343823
16.01/6.37	o 344134
16.01/6.37	o 345314
16.01/6.38	o 345997
16.01/6.38	o 348892
16.01/6.38	o 351366
16.01/6.39	o 352231
16.01/6.39	o 354261
16.01/6.39	o 354577
16.01/6.39	o 356341
16.01/6.39	o 359236
16.68/6.40	o 359816
16.68/6.40	o 359882
16.68/6.40	o 359956
16.68/6.40	o 362851
16.68/6.41	o 364604
16.68/6.41	o 365674
16.68/6.42	o 367920
16.68/6.42	o 370152
16.68/6.42	o 371198
16.68/6.42	o 372231
16.68/6.43	o 373881
16.68/6.43	o 373992
16.68/6.43	o 375062
16.68/6.43	o 375438
16.68/6.44	o 375793
16.68/6.44	o 377860
16.68/6.45	o 379046
16.68/6.45	o 380570
16.68/6.45	o 380755
16.68/6.45	o 382612
16.68/6.46	o 383419
16.68/6.46	o 384980
16.68/6.46	o 386333
16.68/6.46	o 386842
16.68/6.46	o 388063
16.68/6.47	o 389506
16.68/6.47	o 389965
16.68/6.47	o 391726
16.68/6.47	o 392937
16.68/6.47	o 393192
16.68/6.48	o 394492
16.68/6.48	o 394653
16.68/6.48	o 396027
16.68/6.48	o 396817
16.68/6.49	o 398305
16.68/6.49	o 398620
16.68/6.49	o 400381
17.14/6.50	o 401576
17.14/6.50	o 402185
17.14/6.50	o 402341
17.14/6.51	o 403988
17.14/6.51	o 404145
17.14/6.51	o 405562
17.14/6.51	o 405906
17.14/6.52	o 406891
17.14/6.52	o 406967
17.14/6.52	o 408728
17.14/6.52	o 408765
17.14/6.53	o 409786
17.14/6.53	o 411547
17.14/6.53	o 412036
17.14/6.53	o 412510
17.14/6.53	o 412687
17.14/6.53	o 414448
17.14/6.54	o 415167
17.14/6.54	o 416928
17.14/6.54	o 417022
17.14/6.54	o 418783
17.14/6.55	o 419988
17.14/6.55	o 420649
17.14/6.55	o 422883
17.14/6.55	o 424327
17.14/6.55	o 424978
17.14/6.55	o 426739
17.14/6.56	o 427484
17.14/6.56	o 429245
17.14/6.56	o 429713
17.14/6.56	o 430160
17.14/6.57	o 430177
17.14/6.57	o 431938
17.14/6.57	o 432797
17.14/6.57	o 433343
17.14/6.57	o 435104
17.14/6.57	o 435704
17.14/6.58	o 436424
17.14/6.58	o 437664
17.14/6.58	o 437866
17.14/6.58	o 438964
17.14/6.59	o 439306
17.14/6.59	o 439466
17.14/6.59	o 439695
17.14/6.59	o 440935
17.14/6.59	o 441114
17.14/6.59	o 442354
17.14/6.60	o 442620
17.51/6.60	o 442696
17.51/6.60	o 443398
17.51/6.60	o 444691
17.51/6.60	o 445931
17.51/6.60	o 446596
17.51/6.61	o 448821
17.51/6.61	o 449388
17.51/6.61	o 450061
17.51/6.61	o 450239
17.51/6.61	o 450609
17.51/6.62	o 451538
17.51/6.62	o 451849
17.51/6.62	o 452778
17.51/6.62	o 453259
17.51/6.62	o 453923
17.51/6.62	o 454908
17.51/6.62	o 455459
17.51/6.63	o 456032
17.51/6.63	o 456148
17.51/6.63	o 456669
17.51/6.63	o 457909
17.51/6.63	o 457941
17.51/6.63	o 458659
17.51/6.63	o 458870
17.51/6.64	o 459540
17.51/6.64	o 459751
17.51/6.64	o 460059
17.51/6.64	o 460182
17.51/6.64	o 460253
17.51/6.65	o 460961
17.51/6.65	o 461301
17.51/6.65	o 461478
17.51/6.65	o 462407
17.51/6.65	o 462618
17.51/6.66	o 462722
17.51/6.66	o 463651
17.51/6.66	o 464490
17.51/6.68	o 465151
17.51/6.68	o 465349
17.51/6.68	o 466128
17.51/6.68	o 466339
17.51/6.69	o 466912
17.51/6.69	o 467719
17.51/6.69	o 467930
17.51/6.69	o 468439
17.51/6.69	o 468650
17.51/6.69	o 469063
17.51/6.69	o 469988
17.51/6.69	o 470917
17.51/6.70	o 471749
17.51/6.70	o 472678
17.51/6.70	o 472889
17.51/6.70	o 473050
17.51/6.70	o 473105
17.51/6.70	o 473817
17.51/6.70	o 475057
17.51/6.70	o 475578
17.51/6.70	o 476818
17.93/6.70	o 476840
17.93/6.71	o 477549
17.93/6.71	o 478478
17.93/6.71	o 478689
17.93/6.71	o 478789
17.93/6.71	o 479000
17.93/6.71	o 479718
17.93/6.71	o 479929
17.93/6.71	o 480108
17.93/6.71	o 480208
17.93/6.72	o 480494
17.93/6.72	o 480727
17.93/6.72	o 481137
17.93/6.72	o 481348
17.93/6.72	o 481400
17.93/6.72	o 481611
17.93/6.72	o 481690
17.93/6.72	o 482130
17.93/6.73	o 482719
17.93/6.73	o 482930
17.93/6.73	o 483255
17.93/6.73	o 485480
17.93/6.73	o 485713
17.93/6.73	o 487241
17.93/6.73	o 487474
17.93/6.74	o 487905
17.93/6.74	o 488471
17.93/6.74	o 488682
17.93/6.74	o 489400
17.93/6.74	o 489611
17.93/6.74	o 490690
17.93/6.74	o 490923
17.93/6.75	o 492451
17.93/6.75	o 492684
17.93/6.75	o 493691
17.93/6.75	o 493924
17.93/6.75	o 494224
17.93/6.75	o 495153
17.93/6.75	o 495364
17.93/6.75	o 495464
17.93/6.75	o 495675
17.93/6.75	o 496393
17.93/6.76	o 496604
17.93/6.76	o 497458
17.93/6.76	o 499219
17.93/6.76	o 500459
17.93/6.77	o 500948
17.93/6.77	o 501170
17.93/6.77	o 502099
17.93/6.77	o 502321
17.93/6.77	o 502380
17.93/6.77	o 502734
17.93/6.78	o 503663
17.93/6.78	o 503874
17.93/6.78	o 504082
17.93/6.78	o 504633
17.93/6.78	o 504844
17.93/6.78	o 505873
17.93/6.78	o 506084
17.93/6.79	o 506236
17.93/6.79	o 506954
17.93/6.79	o 507165
17.93/6.79	o 507581
17.93/6.79	o 508821
17.93/6.79	o 509032
17.93/6.79	o 509157
17.93/6.79	o 509750
17.93/6.79	o 509961
17.93/6.79	o 510582
17.93/6.80	o 511511
17.93/6.80	o 511722
17.93/6.80	o 512584
17.93/6.80	o 512795
17.93/6.80	o 513105
17.93/6.80	o 513416
17.93/6.80	o 514345
17.93/6.80	o 514556
18.31/6.80	o 515244
18.31/6.80	o 515455
18.31/6.81	o 515635
18.31/6.81	o 515851
18.31/6.81	o 516089
18.31/6.81	o 517018
18.31/6.81	o 517229
18.31/6.81	o 517917
18.31/6.81	o 518128
18.31/6.82	o 518819
18.31/6.82	o 519130
18.31/6.82	o 520059
18.31/6.82	o 520213
18.31/6.82	o 520812
18.31/6.82	o 521045
18.31/6.82	o 521741
18.31/6.82	o 521974
18.31/6.83	o 522096
18.31/6.83	o 522201
18.31/6.83	o 522512
18.31/6.83	o 523441
18.31/6.83	o 523652
18.31/6.83	o 524285
18.31/6.83	o 524930
18.31/6.83	o 525141
18.31/6.84	o 525819
18.31/6.84	o 526748
18.31/6.84	o 527580
18.31/6.84	o 528509
18.31/6.84	o 528518
18.31/6.84	o 529447
18.31/6.85	o 530145
18.31/6.85	o 530977
18.31/6.85	o 531906
18.31/6.85	o 532117
18.31/6.85	o 532266
18.31/6.85	o 532971
18.31/6.85	o 534166
18.31/6.85	o 535095
18.31/6.86	o 535306
18.31/6.86	o 535710
18.31/6.86	o 536021
18.31/6.86	o 536950
18.31/6.86	o 537146
18.31/6.86	o 537519
18.31/6.86	o 537730
18.31/6.86	o 537752
18.31/6.86	o 537963
18.31/6.87	o 538489
18.31/6.87	o 539319
18.31/6.87	o 539530
18.31/6.87	o 539629
18.31/6.87	o 539932
18.31/6.87	o 540143
18.31/6.87	o 540392
18.31/6.87	o 540913
18.31/6.88	o 541261
18.31/6.88	o 542190
18.31/6.88	o 542526
18.31/6.88	o 543822
18.31/6.88	o 544751
18.31/6.88	o 545062
18.31/6.88	o 545991
18.31/6.88	o 546202
18.31/6.89	o 546823
18.31/6.89	o 547034
18.31/6.89	o 547752
18.31/6.89	o 547963
18.31/6.89	o 548100
18.31/6.90	o 548311
18.31/6.90	o 548333
18.31/6.90	o 548544
18.31/6.90	o 549029
18.31/6.90	o 549262
18.31/6.90	o 549473
18.80/6.90	o 549484
18.80/6.90	o 549695
18.80/6.90	o 550413
18.80/6.90	o 550624
18.80/6.90	o 550722
18.80/6.90	o 551174
18.80/6.91	o 551253
18.80/6.91	o 552182
18.80/6.91	o 552393
18.80/6.91	o 553097
18.80/6.91	o 553408
18.80/6.91	o 554337
18.80/6.91	o 554548
18.80/6.91	o 554868
18.80/6.91	o 555079
18.80/6.91	o 555797
18.80/6.92	o 556008
18.80/6.92	o 556030
18.80/6.92	o 556241
18.80/6.92	o 557273
18.80/6.92	o 557484
18.80/6.92	o 558125
18.80/6.92	o 558358
18.80/6.92	o 558569
18.80/6.92	o 558875
18.80/6.93	o 558972
18.80/6.93	o 559729
18.80/6.93	o 559901
18.80/6.93	o 559957
18.80/6.93	o 561197
18.80/6.93	o 562126
18.80/6.93	o 562337
18.80/6.93	o 563132
18.80/6.93	o 563653
18.80/6.93	o 563964
18.80/6.93	o 564893
18.80/6.94	o 565104
18.80/6.94	o 565126
18.80/6.94	o 565337
18.80/6.94	o 565547
18.80/6.94	o 566476
18.80/6.94	o 566687
18.80/6.94	o 567246
18.80/6.94	o 567457
18.80/6.94	o 568231
18.80/6.94	o 569471
18.80/6.95	o 569682
18.80/6.95	o 570400
18.80/6.95	o 570611
18.80/6.95	o 570935
18.80/6.95	o 571864
18.80/6.95	o 572696
18.80/6.95	o 573625
18.80/6.95	o 573836
18.80/6.95	o 573858
18.80/6.95	o 574069
18.80/6.95	o 574265
18.80/6.97	o 574320
18.80/6.97	o 574842
18.80/6.97	o 575053
18.80/6.97	o 575249
18.80/6.97	o 575894
18.80/6.97	o 576090
18.80/6.97	o 576105
18.80/6.97	o 576301
18.80/6.98	o 576969
18.80/6.98	o 577180
18.80/6.98	o 577490
18.80/6.98	o 578730
18.80/6.98	o 578941
18.80/6.98	o 579659
18.80/6.98	o 579870
18.80/6.98	o 579972
18.80/6.98	o 580168
18.80/6.98	o 580359
18.80/6.99	o 580880
18.80/6.99	o 582120
18.80/6.99	o 583049
18.80/6.99	o 583245
18.80/6.99	o 583260
18.80/6.99	o 583456
18.80/6.99	o 583695
18.80/6.99	o 583906
18.80/6.99	o 584006
18.80/6.99	o 584935
18.80/6.99	o 585146
18.80/6.99	o 585150
18.80/7.01	o 586179
18.80/7.01	o 586390
18.80/7.01	o 587108
18.80/7.01	o 587319
18.80/7.01	o 587940
18.80/7.01	o 588869
18.80/7.01	o 589080
18.80/7.01	o 589224
18.80/7.01	o 589942
18.80/7.01	o 590153
18.80/7.01	o 590463
18.80/7.01	o 590774
18.80/7.01	o 591703
18.80/7.01	o 591914
18.80/7.01	o 591933
18.80/7.01	o 592144
18.80/7.01	o 592862
18.80/7.01	o 593073
18.80/7.01	o 593095
19.57/7.01	o 593306
19.57/7.01	o 593613
19.57/7.02	o 593846
19.57/7.02	o 594057
19.57/7.02	o 594253
19.57/7.02	o 594338
19.57/7.02	o 594438
19.57/7.02	o 594649
19.57/7.02	o 595367
19.57/7.02	o 595578
19.57/7.02	o 595600
19.57/7.03	o 595892
19.57/7.03	o 596129
19.57/7.03	o 597058
19.57/7.03	o 597111
19.57/7.03	o 598351
19.57/7.03	o 599336
19.57/7.03	o 600576
19.57/7.03	o 601505
19.57/7.03	o 601716
19.57/7.03	o 603260
19.57/7.03	o 604189
19.57/7.04	o 604400
19.57/7.04	o 604500
19.57/7.04	o 604711
19.57/7.04	o 605429
19.57/7.04	o 605640
19.57/7.04	o 606082
19.57/7.04	o 606315
19.57/7.04	o 607391
19.57/7.04	o 608320
19.57/7.05	o 608531
19.57/7.05	o 608727
19.57/7.05	o 609385
19.57/7.05	o 609696
19.57/7.05	o 610625
19.57/7.05	o 610836
19.57/7.05	o 611921
19.57/7.05	o 612132
19.57/7.05	o 612850
19.57/7.06	o 613061
19.57/7.06	o 613083
19.57/7.06	o 613294
19.57/7.07	o 613871
19.57/7.07	o 614104
19.57/7.07	o 614315
19.57/7.07	o 614621
19.57/7.07	o 614832
19.57/7.07	o 614952
19.57/7.07	o 615881
19.57/7.07	o 616709
19.57/7.07	o 617949
19.57/7.07	o 618470
19.57/7.07	o 619710
19.57/7.07	o 620639
19.57/7.08	o 620850
19.57/7.08	o 620872
19.57/7.08	o 621083
19.57/7.09	o 621165
19.57/7.09	o 621699
19.57/7.09	o 622010
19.57/7.09	o 622939
19.57/7.09	o 623172
19.57/7.09	o 623383
19.57/7.09	o 623771
19.57/7.09	o 623982
19.57/7.09	o 624004
19.57/7.09	o 624215
19.57/7.10	o 624700
19.57/7.10	o 624933
19.57/7.10	o 625144
19.57/7.10	o 625732
19.57/7.10	o 625943
19.57/7.10	o 625965
19.57/7.10	o 626176
20.37/7.11	o 626399
20.37/7.11	o 626610
20.37/7.12	o 627431
20.37/7.12	o 627642
20.37/7.12	o 628430
20.37/7.12	o 628741
20.37/7.12	o 629670
20.37/7.12	o 629881
20.37/7.12	o 630077
20.37/7.13	o 630702
20.37/7.13	o 630913
20.37/7.13	o 631109
20.37/7.13	o 631777
20.37/7.13	o 632298
20.37/7.13	o 632609
20.37/7.13	o 633538
20.37/7.13	o 633999
20.37/7.13	o 634463
20.37/7.13	o 634984
20.37/7.13	o 636224
20.37/7.13	o 637153
20.37/7.14	o 637364
20.37/7.14	o 637745
20.37/7.14	o 638209
20.37/7.14	o 639970
20.37/7.14	o 640899
20.37/7.14	o 641110
20.37/7.14	o 641210
20.37/7.14	o 641421
20.37/7.14	o 642139
20.37/7.14	o 642350
20.37/7.14	o 642681
20.37/7.14	o 642992
20.37/7.14	o 643921
20.37/7.14	o 644132
20.37/7.15	o 644363
20.37/7.15	o 644574
20.37/7.15	o 644977
20.37/7.15	o 646217
20.37/7.15	o 646738
20.37/7.15	o 647978
20.37/7.15	o 648189
20.37/7.15	o 648907
20.37/7.15	o 649118
20.37/7.15	o 649939
20.37/7.15	o 650150
20.37/7.15	o 650657
20.37/7.15	o 651021
20.37/7.16	o 651171
20.37/7.16	o 651482
20.37/7.16	o 652411
20.37/7.16	o 652467
20.37/7.16	o 653707
20.37/7.16	o 654636
20.37/7.16	o 654847
20.37/7.16	o 654950
20.37/7.16	o 655668
20.37/7.16	o 655879
21.08/7.25	o 656687
21.08/7.25	o 656898
21.08/7.26	o 657287
21.08/7.26	o 657296
21.08/7.26	o 657760
21.08/7.26	o 658281
21.08/7.26	o 658592
21.08/7.26	o 659521
21.08/7.26	o 659732
21.08/7.27	o 659756
21.08/7.27	o 660996
21.08/7.28	o 661925
21.08/7.28	o 662136
21.08/7.28	o 662957
21.08/7.28	o 663168
21.08/7.29	o 663836
21.08/7.29	o 664047
21.87/7.36	o 664265
21.87/7.36	o 664786
21.87/7.36	o 665097
21.87/7.36	o 666026
21.87/7.36	o 666237
22.67/7.46	o 666275
22.67/7.47	o 667204
22.67/7.47	o 667415
23.53/7.57	o 668009
23.53/7.58	o 668938
23.53/7.58	o 669149
23.53/7.58	o 669752
23.53/7.58	o 669963
23.53/7.58	o 670273
23.53/7.58	o 671513
23.53/7.58	o 671724
23.53/7.58	o 672498
23.53/7.58	o 672709
23.53/7.58	o 673738
23.53/7.58	o 673949
23.53/7.58	o 674667
23.53/7.58	o 674878
24.30/7.61	o 675195
24.30/7.61	o 675406
24.30/7.65	o 675734
24.30/7.65	o 676974
24.30/7.66	o 677903
24.30/7.66	o 678114
24.30/7.67	o 678246
24.30/7.67	o 678699
24.30/7.67	o 679163
24.30/7.67	o 679684
24.30/7.67	o 679995
24.30/7.67	o 680924
24.30/7.67	o 681135
25.07/7.76	o 681417
25.07/7.77	o 681628
25.07/7.77	o 682346
25.07/7.77	o 682557
25.07/7.77	o 682581
25.07/7.77	o 682892
25.07/7.77	o 683821
25.07/7.77	o 684653
25.07/7.77	o 685582
25.07/7.77	o 685793
25.07/7.77	o 685906
25.07/7.77	o 687146
25.07/7.77	o 687357
25.07/7.77	o 688075
25.07/7.77	o 688286
25.07/7.77	o 689086
25.07/7.77	o 689550
25.07/7.78	o 690382
25.07/7.78	o 691311
25.07/7.78	o 691522
25.90/7.85	o 691654
27.57/8.12	o 691808
27.57/8.12	o 692272
28.38/8.13	o 693104
28.38/8.13	o 694033
28.38/8.13	o 694244
28.38/8.13	o 694344
28.38/8.13	o 694555
28.38/8.13	o 695273
28.38/8.13	o 695484
28.38/8.13	o 695508
28.38/8.13	o 696340
28.38/8.13	o 697269
28.38/8.13	o 697580
28.38/8.13	o 698509
28.38/8.13	o 698720
28.38/8.14	o 698852
29.82/8.32	o 699082
29.82/8.34	o 700067
29.82/8.34	o 701307
29.82/8.34	o 701518
29.82/8.34	o 702236
29.82/8.34	o 702447
29.82/8.34	o 702782
29.82/8.34	o 703303
29.82/8.34	o 704543
29.82/8.34	o 705472
29.82/8.34	o 705683
29.82/8.34	o 705796
29.82/8.34	o 706007
29.82/8.34	o 706725
29.82/8.34	o 706936
29.82/8.35	o 707036
29.82/8.35	o 707965
29.82/8.35	o 708176
29.82/8.35	o 708258
29.82/8.35	o 708511
29.82/8.35	o 708722
29.82/8.35	o 709032
29.82/8.35	o 710272
29.82/8.35	o 710483
29.82/8.35	o 711201
29.82/8.35	o 711412
30.62/8.45	o 711462
30.62/8.46	o 712294
30.62/8.46	o 713223
30.62/8.46	o 713434
33.82/8.84	o 713905
33.82/8.84	o 714116
33.82/8.85	o 714972
33.82/8.85	o 715901
33.82/8.85	o 716212
33.82/8.85	o 717141
33.82/8.85	o 717352
33.82/8.86	o 717772
33.82/8.86	o 717983
33.82/8.86	o 718701
33.82/8.86	o 718912
33.82/8.86	o 718969
33.82/8.87	o 719433
33.82/8.87	o 719954
33.82/8.87	o 720265
33.82/8.87	o 721194
33.82/8.87	o 721405
33.82/8.87	o 721740
33.82/8.87	o 722261
33.82/8.87	o 723501
33.82/8.87	o 723712
33.82/8.87	o 724430
33.82/8.87	o 724641
40.18/9.62	o 724805
40.18/9.64	o 725734
40.18/9.64	o 725945
40.18/9.64	o 726027
40.18/9.64	o 726280
40.18/9.64	o 726491
40.18/9.64	o 726801
40.18/9.64	o 728041
40.18/9.64	o 728252
40.18/9.64	o 728970
40.18/9.64	o 729181
44.23/10.20	o 729375
44.23/10.20	o 729586
44.95/10.21	o 729591
44.95/10.21	o 729750
44.95/10.21	o 730679
44.95/10.21	o 730890
44.95/10.21	o 730972
44.95/10.21	o 731746
44.95/10.21	o 732986
44.95/10.21	o 733197
44.95/10.21	o 733915
44.95/10.21	o 734126
50.57/11.00	o 734171
50.57/11.00	o 734506
50.57/11.00	o 735027
50.57/11.00	o 736267
50.57/11.00	o 737196
50.57/11.00	o 737407
74.40/13.90	o 737464
74.40/13.90	o 738393
74.40/13.91	o 738604
87.99/15.70	o 739131
88.73/15.71	o 739342
88.73/15.71	o 739646
88.73/15.71	o 740575
88.73/15.71	o 740886
88.73/15.71	o 741815
88.73/15.71	o 742083
88.73/15.71	o 743012
88.73/15.71	o 743223
92.70/16.26	o 744069
92.70/16.27	o 744280
92.70/16.27	o 744998
92.70/16.27	o 745209
100.65/17.29	o 745440
100.65/17.31	o 745651
100.65/17.31	o 746637
100.65/17.31	o 746848
100.65/17.31	o 747566
100.65/17.31	o 747777
100.65/17.31	o 748030
100.65/17.31	o 748862
100.65/17.31	o 749791
100.65/17.31	o 750002
115.08/19.03	o 750027
115.08/19.03	o 750238
115.08/19.04	o 750956
115.08/19.04	o 751167
115.08/19.04	o 751420
115.08/19.04	o 751984
115.08/19.04	o 752252
115.08/19.04	o 753181
115.08/19.04	o 753392
128.54/20.72	o 754110
128.54/20.72	o 754321
128.54/20.72	o 754767
128.54/20.72	o 755035
128.54/20.72	o 755964
128.54/20.72	o 756175
128.54/20.72	o 756528
128.54/20.72	o 756739
128.54/20.72	o 756796
128.54/20.72	o 757725
128.54/20.72	o 757936
134.11/21.49	o 758142
134.11/21.49	o 758353
134.11/21.50	o 758398
134.11/21.50	o 758465
134.11/21.50	o 758733
134.11/21.50	o 759662
134.98/21.51	o 760494
134.98/21.51	o 761423
134.98/21.51	o 761634
147.73/23.11	o 761813
147.73/23.12	o 761870
147.73/23.12	o 762799
147.73/23.12	o 763010
147.73/23.12	o 763176
147.73/23.12	o 763486
147.73/23.12	o 763697
147.73/23.12	o 764726
147.73/23.12	o 764937
147.73/23.12	o 765923
147.73/23.12	o 766134
147.73/23.12	o 766852
147.73/23.12	o 767063
147.73/23.12	o 767962
147.73/23.12	o 768891
147.73/23.12	o 769159
147.73/23.12	o 770088
147.73/23.13	o 770299
155.67/24.16	o 770455
155.67/24.17	o 771652
155.67/24.17	o 771863
155.67/24.17	o 772581
155.67/24.17	o 772792
155.67/24.17	o 773127
155.67/24.17	o 773648
155.67/24.17	o 773691
155.67/24.17	o 774888
155.67/24.17	o 775817
155.67/24.17	o 776028
168.34/25.76	o 776073
168.34/25.77	o 776972
168.34/25.77	o 777901
168.34/25.77	o 778112
168.34/25.77	o 778169
168.34/25.77	o 778380
168.34/25.77	o 779098
168.34/25.77	o 779309
259.93/37.28	o 779349
259.93/37.29	o 779560
260.72/37.30	o 779605
260.72/37.31	o 780193
260.72/37.31	o 780504
260.72/37.31	o 781433
260.72/37.31	o 781701
260.72/37.31	o 782630
260.72/37.31	o 782841
292.61/41.39	o 782859
292.61/41.39	o 783070
292.61/41.40	o 783788
292.61/41.40	o 783999
293.41/41.42	o 784092
293.41/41.43	o 784445
293.41/41.43	o 784713
293.41/41.43	o 785642
293.41/41.43	o 785853
295.80/41.71	o 786097
295.80/41.72	o 786308
295.80/41.72	o 786618
295.80/41.72	o 786661
295.80/41.72	o 786929
295.80/41.72	o 787858
295.80/41.72	o 788069
295.80/41.72	o 788783
295.80/41.72	o 788994
295.80/41.72	o 789712
295.80/41.72	o 789923
295.80/41.72	o 790233
295.80/41.72	o 790276
295.80/41.72	o 790544
295.80/41.72	o 791473
295.80/41.72	o 791684
295.80/41.79	o 791777
295.80/41.80	o 792398
295.80/41.80	o 792609
295.80/41.80	o 793327
295.80/41.80	o 793538
315.68/44.27	o 793843
315.68/44.28	o 793886
315.68/44.28	o 794154
315.68/44.28	o 795083
315.68/44.28	o 795294
315.68/44.28	o 795387
315.68/44.28	o 795697
315.68/44.28	o 795740
315.68/44.28	o 796008
315.68/44.28	o 796937
315.68/44.28	o 797148
396.16/54.39	o 797337
396.16/54.40	o 798051
396.16/54.40	o 798262
396.16/54.40	o 798980
396.16/54.40	o 799191
396.16/54.40	o 799501
396.16/54.40	o 799544
396.16/54.40	o 799812
396.16/54.40	o 800741
396.16/54.40	o 800952
396.95/54.45	o 801045
396.95/54.47	o 801666
396.95/54.47	o 801877
396.95/54.47	o 802595
396.95/54.47	o 802806
430.43/58.65	o 803324
430.43/58.66	o 803535
430.43/58.67	o 803735
430.43/58.67	o 804820
430.43/58.68	o 805749
430.43/58.68	o 805960
430.43/58.68	o 806457
430.43/58.68	o 806668
430.43/58.68	o 806725
430.43/58.68	o 807654
430.43/58.68	o 807865
430.43/58.68	o 808210
430.43/58.68	o 808421
430.43/58.69	o 809139
430.43/58.69	o 809350
430.43/58.69	o 809847
430.43/58.69	o 810115
430.43/58.69	o 811044
430.43/58.69	o 811255
433.67/59.11	o 811839
434.47/59.12	o 812050
434.47/59.12	o 812824
434.47/59.12	o 813135
434.47/59.12	o 814064
434.47/59.12	o 814275
461.49/62.59	o 814712
461.49/62.60	o 814923
490.27/66.20	o 814980
490.27/66.20	o 815191
491.78/66.34	o 815284
491.78/66.35	o 815594
491.78/66.35	o 815637
491.78/66.35	o 815905
491.78/66.35	o 816834
491.78/66.35	o 817045
494.18/66.62	o 817256
494.18/66.63	o 817467
494.18/66.67	o 817988
494.18/66.67	o 818199
494.18/66.67	o 818917
494.18/66.67	o 819128
494.18/66.68	o 819217
494.18/66.68	o 819260
494.18/66.68	o 819528
494.18/66.68	o 820457
494.18/66.68	o 820668
494.18/66.68	o 820912
494.18/66.68	o 821123
494.18/66.68	o 821433
494.18/66.68	o 821476
494.18/66.69	o 821744
494.18/66.69	o 822673
494.18/66.69	o 822884
494.18/66.69	o 823598
494.18/66.69	o 823809
494.18/66.69	o 824527
494.18/66.69	o 824738
494.18/66.69	o 825048
494.18/66.69	o 825091
494.18/66.69	o 825359
494.18/66.69	o 826288
494.18/66.69	o 826499
494.18/66.69	o 826592
494.18/66.69	o 827213
494.18/66.69	o 827424
494.18/66.69	o 828142
494.18/66.69	o 828353
596.10/79.41	o 828805
596.10/79.42	o 829016
604.85/80.51	o 829148
879.49/115.04	o 829326
879.49/115.05	o 829383
879.49/115.05	o 830116
879.49/115.05	o 830312
879.49/115.05	o 830327
879.49/115.05	o 830523
879.49/115.05	o 830589
879.49/115.05	o 830800
879.49/115.05	o 831153
879.49/115.05	o 831421
879.49/115.05	o 832350
879.49/115.05	o 832561
879.49/115.05	o 832757
908.79/118.71	o 832953
968.29/126.25	o 833668
968.29/126.26	o 833879
968.29/126.26	o 834628
968.29/126.26	o 834839
1026.10/133.55	o 835174
1026.10/133.55	o 835385
1026.10/133.55	o 835960
1026.10/133.56	o 836003
1026.10/133.56	o 837200
1026.10/133.56	o 837411
1026.10/133.56	o 837764
1026.10/133.56	o 837975
1026.10/133.57	o 838961
1026.10/133.57	o 839172
1026.10/133.57	o 840160
1026.10/133.57	o 840371
1026.90/133.62	o 840992
1026.90/133.63	o 841203
1026.90/133.63	o 841262
1026.90/133.63	o 841473
1026.90/133.63	o 842191
1026.90/133.63	o 842402
1182.18/153.23	o 843021
1182.18/153.23	o 843232
1182.18/153.23	o 843289
1182.18/153.23	o 844218
1182.18/153.23	o 844429
1182.18/153.23	o 844485
1182.18/153.23	o 844496
1182.18/153.23	o 845514
1182.18/153.23	o 845725
1182.18/153.23	o 846443
1182.18/153.23	o 846654
1199.57/155.50	o 847512
1200.37/155.51	o 847723
1354.36/175.04	o 848189
1354.36/175.04	o 848400
1354.36/175.04	o 848854
1354.36/175.04	o 849165
1354.36/175.04	o 850094
1354.36/175.04	o 850305
1364.55/176.33	o 850889
1364.55/176.33	o 851100
1364.55/176.33	o 851353
1364.55/176.33	o 851874
1364.55/176.33	o 851917
1364.55/176.33	o 852185
1364.55/176.33	o 853114
1364.55/176.33	o 853325
1614.16/207.98	o 853742
1614.16/207.98	o 853953
1614.16/207.98	o 854149
1614.16/207.98	o 854671
1614.16/207.98	o 854867
1614.16/207.98	o 854882
1614.16/207.98	o 855078
1614.16/207.99	o 855202
1614.16/207.99	o 855213
1614.16/207.99	o 855424
1614.16/207.99	o 856231
1614.16/207.99	o 856442
1614.16/207.99	o 856638
1614.16/207.99	o 856796
1614.16/207.99	o 856839
1614.16/207.99	o 857018
1614.16/207.99	o 857107
1614.16/207.99	o 858036
1614.16/207.99	o 858232
1614.16/207.99	o 858247
1614.16/207.99	o 858443
1614.16/207.99	o 858561
1614.16/208.00	o 858639
1614.16/208.00	o 858708
1614.16/208.00	o 858797
1614.16/208.00	o 859726
1614.16/208.00	o 859937
1614.16/208.00	o 860002
1614.16/208.00	o 860045
1614.16/208.00	o 861031
1614.16/208.00	o 861242
1614.16/208.00	o 861960
1614.16/208.00	o 862171
1614.16/208.00	o 862367
1722.52/221.61	o 862709
1722.52/221.61	o 862905
1722.52/221.61	o 863638
1722.52/221.62	o 863834
1722.52/221.62	o 863849
1722.52/221.62	o 864045
1722.52/221.62	o 864158
1722.52/221.62	o 864604
1722.52/221.62	o 864872
1722.52/221.62	o 865801
1722.52/221.62	o 866633
1722.52/221.62	o 867562
1722.52/221.62	o 867773
1722.52/221.62	o 867969
2036.40/261.35	o 868260
2036.40/261.36	o 868781
2036.40/261.36	o 868824
2036.40/261.36	o 870021
2036.40/261.36	o 870232
2036.40/261.36	o 870428
2036.40/261.36	o 870950
2036.40/261.36	o 871146
2036.40/261.36	o 871161
2036.40/261.36	o 871357
2948.89/376.76	o 871632
2948.89/376.76	o 871843
2948.89/376.76	o 871943
2948.89/376.76	o 872872
2948.89/376.76	o 873083
2948.89/376.76	o 873279
2948.89/376.76	o 873748
2948.89/376.76	o 873944
2948.89/376.76	o 873959
2948.89/376.76	o 874155
2948.89/376.76	o 874677
2948.89/376.77	o 874888
2948.89/376.77	o 875084
2948.89/376.77	o 875265
2948.89/376.77	o 875447
2948.89/376.77	o 876376
2948.89/376.77	o 876432
2948.89/376.77	o 876475
2948.89/376.77	o 877672
2948.89/376.77	o 878601
2948.89/376.78	o 878797
2948.89/376.78	o 878812
2948.89/376.78	o 879008
3764.17/480.04	o 879037
3764.17/480.05	o 879233
3764.17/480.05	o 879348
3764.17/480.05	o 880277
3764.17/480.05	o 880473
3764.17/480.05	o 880488
3764.17/480.05	o 880684
4504.68/573.81	o 880842
4600.96/586.05	o 881011
4600.96/586.06	o 881818
4600.96/586.06	o 882029
4725.68/601.84	o 882031
4725.68/601.84	o 883017
4725.68/601.85	o 883228
5169.29/658.06	o 883245
5169.29/658.07	o 883403
5169.29/658.07	o 883963
5169.29/658.07	o 884174
5169.29/658.07	o 884332
5169.29/658.07	o 884661
5169.29/658.07	o 884819
5169.29/658.07	o 884872
5169.29/658.07	o 885030
5838.72/742.66	o 885663
5838.72/742.66	o 885859
5838.72/742.66	o 885874
5838.72/742.66	o 886070
5862.55/745.69	o 886125
5862.55/745.70	o 886283
5891.88/749.35	o 886695
5891.88/749.36	o 886906
5891.88/749.36	o 887102
5904.56/750.91	o 887667
5904.56/750.92	o 887889
5904.56/750.92	o 888907
5904.56/750.92	o 889118
5904.56/750.92	o 889471
5904.56/750.92	o 889682
5904.56/750.92	o 890668
5904.56/750.92	o 890879
7060.96/896.93	o 890985
7060.96/896.93	o 891143
7060.96/896.93	o 891148
7060.96/896.93	o 891296
7060.96/896.93	o 891818
7060.96/896.93	o 892029
7060.96/896.93	o 892225
7060.96/896.93	o 892383
7060.96/896.93	o 892492
7060.96/896.93	o 892535
7060.96/896.93	o 892645
7060.96/896.93	o 893378
7060.96/896.93	o 893574
7060.96/896.93	o 893732
7060.96/896.93	o 893814
7060.96/896.94	o 893972
7060.96/896.94	o 893977
7060.96/896.94	o 894125
7060.96/896.94	o 895054
7060.96/896.94	o 895212
7060.96/896.94	o 895250
7060.96/896.94	o 895408
7060.96/896.94	o 895461
7060.96/896.94	o 895619
7306.64/927.96	o 895750
7306.64/927.97	o 895863
7306.64/927.97	o 895901
7306.64/927.97	o 896059
7306.64/927.97	o 896193
7306.64/927.97	o 896404
7306.64/927.97	o 896600
7306.64/927.97	o 896940
7306.64/927.97	o 897136
7306.64/927.97	o 897869
7306.64/927.97	o 898065
7306.64/927.97	o 898080
7306.64/927.97	o 898276
7306.64/927.97	o 899109
7306.64/927.98	o 899320
7306.64/927.98	o 899516
7306.64/927.98	o 899674
8258.27/1048.20	o 899684
8258.27/1048.20	o 899842
8258.99/1048.21	o 899880
8258.99/1048.21	o 900038
8272.50/1049.95	o 900136
8272.50/1049.95	o 900332
8272.50/1049.95	o 900347
8272.50/1049.95	o 900543
8272.50/1049.96	o 900701
8272.50/1049.98	o 900833
8699.07/1103.80	o 900867
8699.07/1103.80	o 901063
8699.07/1103.81	o 901221
8699.07/1103.81	o 901336
8699.07/1103.81	o 901896
8699.07/1103.81	o 902107
8699.07/1103.81	o 902265
8699.07/1103.81	o 902303
8699.07/1103.81	o 902461
8699.07/1103.81	o 902559
8699.07/1103.81	o 902770
8699.07/1103.81	o 902966
8699.07/1103.81	o 903124
8699.07/1103.81	o 903256
10833.10/1373.17	o 903388
10833.10/1373.18	o 903546
10833.10/1373.18	o 903551
10833.10/1373.18	o 903699
10833.10/1373.18	o 904417
10833.10/1373.18	o 904628
10833.10/1373.18	o 904786
10834.61/1373.33	o 905115
10834.61/1373.33	o 905273
10834.61/1373.33	o 905326
10834.61/1373.33	o 905484
10932.82/1385.73	o 905522
10932.82/1385.74	o 905617
10932.82/1385.74	o 905828
10932.82/1385.74	o 906138
10932.82/1385.74	o 906301
10932.82/1385.74	o 906449
10932.82/1385.74	o 907378
10932.82/1385.74	o 907589
10932.82/1385.74	o 907747
10932.82/1385.74	o 908076
10932.82/1385.74	o 908287
10932.82/1385.74	o 908445
10932.82/1385.74	o 908577
10939.98/1386.63	o 909179
10939.98/1386.63	o 909337
10939.98/1386.63	o 909390
10939.98/1386.63	o 909548
10939.98/1386.65	o 909877
10939.98/1386.66	o 910088
10939.98/1386.66	o 910246
11845.65/1500.89	o 910285
11845.65/1500.91	o 910443
11845.65/1500.91	o 910496
11845.65/1500.91	o 910654
11845.65/1500.91	o 910752
11845.65/1500.91	o 910910
11845.65/1500.91	o 910963
11845.65/1500.91	o 911121
11845.65/1500.91	o 911159
11845.65/1500.91	o 911317
11845.65/1500.91	o 911449
11873.47/1504.37	o 911877
11873.47/1504.37	o 912088
11873.47/1504.37	o 912284
11873.47/1504.37	o 912442
11873.47/1504.38	o 912542
11873.47/1504.38	o 913117
11873.47/1504.38	o 913313
11873.47/1504.38	o 913471
11873.47/1504.38	o 913486
11873.47/1504.38	o 913524
11873.47/1504.38	o 913682
11878.21/1505.00	o 913874
11878.21/1505.00	o 913931
11879.07/1505.01	o 914664
11879.07/1505.01	o 914860
11879.07/1505.01	o 914875
11879.07/1505.01	o 915071
11879.07/1505.01	o 915904
11879.07/1505.01	o 916115
11879.07/1505.01	o 916311
11879.07/1505.01	o 916469
11879.07/1505.03	o 916567
11879.07/1505.03	o 916778
11879.07/1505.03	o 916936
11879.07/1505.03	o 916974
11879.07/1505.03	o 917132
11879.07/1505.05	o 917264
12222.53/1548.31	o 917267
12222.53/1548.31	o 917425
12223.33/1548.47	o 917523
12223.33/1548.48	o 917719
12223.33/1548.48	o 917734
12223.33/1548.48	o 917930
12223.33/1548.48	o 918088
12231.27/1549.48	o 918220
12284.29/1556.17	o 918353
12284.29/1556.17	o 918396
12284.29/1556.18	o 918516
12284.29/1556.18	o 918664
12284.29/1556.18	o 919435
12284.29/1556.18	o 919593
12284.29/1556.18	o 919646
12284.29/1556.18	o 919804
12284.29/1556.18	o 919864
12284.29/1556.18	o 919907
12284.29/1556.18	o 920027
12284.29/1556.18	o 920175
12284.29/1556.18	o 921104
12284.29/1556.18	o 921315
12284.29/1556.18	o 921473
12286.67/1556.42	o 921802
12286.67/1556.43	o 921960
12286.67/1556.43	o 922013
12286.67/1556.43	o 922171
12307.28/1559.10	o 922473
12307.28/1559.11	o 922684
12307.28/1559.11	o 922842
12307.28/1559.11	o 922909
12307.28/1559.11	o 923067
12307.28/1559.11	o 923220
12307.28/1559.11	o 924149
12307.28/1559.11	o 924307
12307.28/1559.11	o 924360
12307.28/1559.11	o 924518
12307.28/1559.11	o 924556
12307.28/1559.11	o 924714
12313.55/1559.82	o 924812
12313.55/1559.83	o 924970
12313.55/1559.83	o 925023
12313.55/1559.83	o 925181
12313.55/1559.83	o 925219
12313.55/1559.83	o 925377
12313.55/1559.83	o 925509
12371.93/1567.27	o 925527
12371.93/1567.28	o 925723
12371.93/1567.28	o 925881
12382.27/1568.53	o 925899
12382.27/1568.53	o 925937
12382.27/1568.53	o 926095
12382.27/1568.53	o 926541
12382.27/1568.53	o 926737
12382.27/1568.53	o 926752
12382.27/1568.53	o 926948
12382.27/1568.53	o 926971
12382.27/1568.53	o 927689
12382.27/1568.53	o 927900
12382.27/1568.53	o 928766
12382.27/1568.53	o 928977
12382.27/1568.53	o 929173
12382.27/1568.54	o 929331
12382.27/1568.55	o 929463
13329.70/1688.02	o 929500
13329.70/1688.02	o 929658
13329.70/1688.02	o 929711
13329.70/1688.02	o 929869
13329.70/1688.02	o 930001
13333.60/1688.58	o 930134
13333.60/1688.58	o 930656
13333.60/1688.58	o 930852
13333.60/1688.58	o 930867
13333.60/1688.58	o 931063
13333.60/1688.58	o 931221
13333.60/1688.59	o 931667
13333.60/1688.59	o 931878
13333.60/1688.59	o 932036
13333.60/1688.59	o 932216
13333.60/1688.59	o 932374
13333.60/1688.59	o 932815
13333.60/1688.60	o 932963
13333.60/1688.60	o 933892
13333.60/1688.60	o 934050
13333.60/1688.60	o 934103
13333.60/1688.60	o 934261
13333.60/1688.60	o 934299
13333.60/1688.60	o 934457
13334.38/1688.63	o 934555
13334.38/1688.63	o 934766
13334.38/1688.64	o 934924
13334.38/1688.64	o 934962
13334.38/1688.64	o 935120
13334.38/1688.64	o 935252
13343.13/1689.77	o 935360
13343.13/1689.78	o 935485
13343.13/1689.78	o 935681
13343.13/1689.78	o 935839
13343.13/1689.78	o 935896
13343.13/1689.78	o 936471
13343.13/1689.78	o 936667
13343.13/1689.78	o 936825
13343.13/1689.78	o 936840
13343.13/1689.78	o 936878
13343.13/1689.78	o 937036
13343.13/1689.78	o 937482
13343.13/1689.78	o 937678
13343.13/1689.78	o 937693
13343.13/1689.79	o 937889
13343.13/1689.79	o 938031
13343.13/1689.79	o 938242
13343.13/1689.79	o 938630
13343.13/1689.79	o 938778
13343.13/1689.79	o 939707
13343.13/1689.79	o 939918
13343.13/1689.79	o 940114
13343.13/1689.79	o 940272
13343.98/1689.81	o 940370
13343.98/1689.82	o 940581
13343.98/1689.82	o 940777
13343.98/1689.82	o 940935
13343.98/1689.82	o 941067
16068.15/2033.27	o 941131
16068.94/2033.33	o 941174
16068.94/2033.34	o 941259
16068.94/2033.34	o 941504
16068.94/2033.34	o 941700
16068.94/2033.34	o 941858
16068.94/2033.34	o 942581
16068.94/2033.34	o 942739
16068.94/2033.34	o 942777
16068.94/2033.34	o 942935
16068.94/2033.34	o 942988
16068.94/2033.34	o 943146
16068.94/2033.34	o 943394
16068.94/2033.34	o 943590
16068.94/2033.34	o 943605
16068.94/2033.35	o 943801
16068.94/2033.35	o 943803
16068.94/2033.35	o 944141
16068.94/2033.35	o 944352
16068.94/2033.35	o 944740
16068.94/2033.35	o 944888
16068.94/2033.35	o 945817
16068.94/2033.35	o 946028
16068.94/2033.35	o 946224
16068.94/2033.35	o 946382
16101.49/2037.44	o 946612
16101.49/2037.46	o 946770
16101.49/2037.46	o 946808
16101.49/2037.46	o 946966
16101.49/2037.46	o 947019
16101.49/2037.46	o 947177
16181.69/2047.50	o 947199
16181.69/2047.51	o 947357
16181.69/2047.51	o 947410
16181.69/2047.51	o 947568
16181.69/2047.51	o 947678
16181.69/2047.51	o 948396
16181.69/2047.51	o 948607
16181.69/2047.51	o 948765
16181.69/2047.51	o 948803
16181.69/2047.51	o 948961
16181.69/2047.51	o 949398
16181.69/2047.51	o 949609
16181.69/2047.51	o 949805
16181.69/2047.51	o 949956
16181.69/2047.51	o 950152
16181.69/2047.51	o 950555
16181.69/2047.51	o 950703
16181.69/2047.51	o 951632
16181.69/2047.52	o 951828
16181.69/2047.52	o 951843
16181.69/2047.52	o 952039
16181.69/2047.52	o 952197
16181.69/2047.53	o 952427
16181.69/2047.55	o 952638
16181.69/2047.55	o 952834
16181.69/2047.55	o 952992
17625.87/2229.50	o 953394
17625.87/2229.50	o 953552
17625.87/2229.51	o 954141
17625.87/2229.51	o 955070
17625.87/2229.51	o 955228
17625.87/2229.51	o 955281
17625.87/2229.51	o 955439
17634.60/2230.63	o 955865
17634.60/2230.64	o 956076
17634.60/2230.64	o 956234
19927.50/2520.08	s SATISFIABLE
19927.50/2520.09	v <instantiation>
19927.50/2520.09	v 	<list>
19927.50/2520.09	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]
19927.50/2520.09	v 	</list>
19927.50/2520.09	v 	<values>
19927.50/2520.09	v 		0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 
19927.50/2520.09	v 	</values>
19927.50/2520.09	v </instantiation>

Verifier Data 

OK	956234

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309269-1534360887/watcher-4309269-1534360887 -o /tmp/evaluation-result-4309269-1534360887/solver-4309269-1534360887 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1534352935-28229 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 961386015 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309269-1534360887.xml 

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

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

solver pid=28999, runsolver pid=28996

[startup+0.100141 s]*
/proc/loadavg: 8.41 8.66 8.73 2/198 29019
/proc/meminfo: memFree=23130824/32770624 swapFree=67108688/67108860
[pid=28999] ppid=28996 vsize=26103420 memory=31588 CPUtime=0.11 cores=0-7
/proc/28999/stat : 28999 (java) S 28996 28999 28202 0 -1 1077944320 7334 0 0 0 10 1 0 0 20 0 20 0 253651551 26729902080 7897 33554432000 4194304 4196468 140729978338448 140729978320992 140464750657271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
/proc/28999/statm: 6525855 7897 3133 1 0 6487932 0
[pid=28999/tid=29001] ppid=28996 vsize=26103420 memory=8330704318356169376 CPUtime=0.09 cores=0-7
/proc/28999/task/29001/stat : 29001 (java) R 28996 28999 28202 0 -1 4202560 5436 0 0 0 8 1 0 0 20 0 20 0 253651551 26729902080 7897 33554432000 4194304 4196468 140729978338448 140464754860400 140464730933085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29002] ppid=28996 vsize=26103420 memory=732369871513529317 CPUtime=0 cores=0-7
/proc/28999/task/29002/stat : 29002 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 7897 33554432000 4194304 4196468 140729978338448 140464703277328 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29003] ppid=28996 vsize=26103420 memory=139733176075904 CPUtime=0 cores=0-7
/proc/28999/task/29003/stat : 29003 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 7897 33554432000 4194304 4196468 140729978338448 140464702224784 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29004] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29004/stat : 29004 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 7963 33554432000 4194304 4196468 140729978338448 140464701172240 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29005] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29005/stat : 29005 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 7963 33554432000 4194304 4196468 140729978338448 140464700119696 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29006] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29006/stat : 29006 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 7963 33554432000 4194304 4196468 140729978338448 140464699067152 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29007] ppid=28996 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28999/task/29007/stat : 29007 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 7963 33554432000 4194304 4196468 140729978338448 140464698014608 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29008] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29008/stat : 29008 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 7963 33554432000 4194304 4196468 140729978338448 140464696962064 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29009] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29009/stat : 29009 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 7963 33554432000 4194304 4196468 140729978338448 140464695909520 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29010] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29010/stat : 29010 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651554 26729902080 7963 33554432000 4194304 4196468 140729978338448 140462955919344 140464750668418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29011] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29011/stat : 29011 (java) S 28996 28999 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253651554 26729902080 7963 33554432000 4194304 4196468 140729978338448 140462954865568 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29012] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29012/stat : 29012 (java) S 28996 28999 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253651554 26729902080 7963 33554432000 4194304 4196468 140729978338448 140462953812976 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29013] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29013/stat : 29013 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 7963 33554432000 4194304 4196468 140729978338448 140462952761552 140464750675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29014] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29014/stat : 29014 (java) S 28996 28999 28202 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 7963 33554432000 4194304 4196468 140729978338448 140462951709168 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29015] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29015/stat : 29015 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 8029 33554432000 4194304 4196468 140729978338448 140462950656624 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29016] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29016/stat : 29016 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 8029 33554432000 4194304 4196468 140729978338448 140462949604080 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29017] ppid=28996 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28999/task/29017/stat : 29017 (java) S 28996 28999 28202 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 20 0 253651557 26729902080 8029 33554432000 4194304 4196468 140729978338448 140462948551536 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29018] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29018/stat : 29018 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 8029 33554432000 4194304 4196468 140729978338448 140462947498208 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29019] ppid=28996 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28999/task/29019/stat : 29019 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 8029 33554432000 4194304 4196468 140729978338448 140462638586288 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 31588 KiB

[startup+0.210126 s]*
/proc/loadavg: 8.41 8.66 8.73 3/198 29019
/proc/meminfo: memFree=23118564/32770624 swapFree=67108688/67108860
[pid=28999] ppid=28996 vsize=26103420 memory=43324 CPUtime=0.3 cores=0-7
/proc/28999/stat : 28999 (java) S 28996 28999 28202 0 -1 1077944320 10499 0 0 0 28 2 0 0 20 0 20 0 253651551 26729902080 10831 33554432000 4194304 4196468 140729978338448 140729978320992 140464750657271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
/proc/28999/statm: 6525855 10831 3342 1 0 6487932 0
[pid=28999/tid=29001] ppid=28996 vsize=26103420 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/28999/task/29001/stat : 29001 (java) R 28996 28999 28202 0 -1 4202560 8280 0 0 0 18 1 0 0 20 0 20 0 253651551 26729902080 10831 33554432000 4194304 4196468 140729978338448 140464754878400 140464750679197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29002] ppid=28996 vsize=26103420 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/28999/task/29002/stat : 29002 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 10831 33554432000 4194304 4196468 140729978338448 140464703277328 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29003] ppid=28996 vsize=26103420 memory=288370109327787648 CPUtime=0 cores=0-7
/proc/28999/task/29003/stat : 29003 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 10831 33554432000 4194304 4196468 140729978338448 140464702224784 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29004] ppid=28996 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28999/task/29004/stat : 29004 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 10831 33554432000 4194304 4196468 140729978338448 140464701172240 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29005] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29005/stat : 29005 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 10831 33554432000 4194304 4196468 140729978338448 140464700119696 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29006] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29006/stat : 29006 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 10831 33554432000 4194304 4196468 140729978338448 140464699067152 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29007] ppid=28996 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28999/task/29007/stat : 29007 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 10831 33554432000 4194304 4196468 140729978338448 140464698014608 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29008] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29008/stat : 29008 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 10831 33554432000 4194304 4196468 140729978338448 140464696962064 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29009] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29009/stat : 29009 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 10831 33554432000 4194304 4196468 140729978338448 140464695909520 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29010] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29010/stat : 29010 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651554 26729902080 10831 33554432000 4194304 4196468 140729978338448 140462955919344 140464750668418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29011] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29011/stat : 29011 (java) S 28996 28999 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253651554 26729902080 10831 33554432000 4194304 4196468 140729978338448 140462954865568 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29012] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29012/stat : 29012 (java) S 28996 28999 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253651554 26729902080 10831 33554432000 4194304 4196468 140729978338448 140462953812976 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29013] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29013/stat : 29013 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 10831 33554432000 4194304 4196468 140729978338448 140462952761552 140464750675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29014] ppid=28996 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28999/task/29014/stat : 29014 (java) S 28996 28999 28202 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 20 0 253651557 26729902080 10831 33554432000 4194304 4196468 140729978338448 140462951709168 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29015] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29015/stat : 29015 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 10831 33554432000 4194304 4196468 140729978338448 140462950656624 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29016] ppid=28996 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28999/task/29016/stat : 29016 (java) S 28996 28999 28202 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 253651557 26729902080 10831 33554432000 4194304 4196468 140729978338448 140462949604080 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29017] ppid=28996 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/28999/task/29017/stat : 29017 (java) S 28996 28999 28202 0 -1 1077944384 285 0 0 0 6 0 0 0 20 0 20 0 253651557 26729902080 10831 33554432000 4194304 4196468 140729978338448 140462948551536 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29018] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29018/stat : 29018 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 10831 33554432000 4194304 4196468 140729978338448 140462947498208 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29019] ppid=28996 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28999/task/29019/stat : 29019 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 10831 33554432000 4194304 4196468 140729978338448 140462638586288 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43324 KiB

[startup+0.310019 s]*
/proc/loadavg: 8.41 8.66 8.73 3/198 29019
/proc/meminfo: memFree=23115368/32770624 swapFree=67108688/67108860
[pid=28999] ppid=28996 vsize=26103420 memory=46876 CPUtime=0.42 cores=0-7
/proc/28999/stat : 28999 (java) S 28996 28999 28202 0 -1 1077944320 10906 0 0 0 40 2 0 0 20 0 20 0 253651551 26729902080 11719 33554432000 4194304 4196468 140729978338448 140729978320992 140464750657271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
/proc/28999/statm: 6525855 11719 3378 1 0 6487932 0
[pid=28999/tid=29001] ppid=28996 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/28999/task/29001/stat : 29001 (java) R 28996 28999 28202 0 -1 4202560 8604 0 0 0 28 2 0 0 20 0 20 0 253651551 26729902080 11719 33554432000 4194304 4196468 140729978338448 140464754866992 140464734737758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29002] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29002/stat : 29002 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 11719 33554432000 4194304 4196468 140729978338448 140464703277328 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29003] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29003/stat : 29003 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 11719 33554432000 4194304 4196468 140729978338448 140464702224784 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29004] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29004/stat : 29004 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 11719 33554432000 4194304 4196468 140729978338448 140464701172240 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29005] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29005/stat : 29005 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 11719 33554432000 4194304 4196468 140729978338448 140464700119696 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29006] ppid=28996 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/28999/task/29006/stat : 29006 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 11719 33554432000 4194304 4196468 140729978338448 140464699067152 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29007] ppid=28996 vsize=26103420 memory=139733070082991 CPUtime=0 cores=0-7
/proc/28999/task/29007/stat : 29007 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 11719 33554432000 4194304 4196468 140729978338448 140464698014608 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29008] ppid=28996 vsize=26103420 memory=139733070085296 CPUtime=0 cores=0-7
/proc/28999/task/29008/stat : 29008 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 11719 33554432000 4194304 4196468 140729978338448 140464696962064 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29009] ppid=28996 vsize=26103420 memory=139733070087600 CPUtime=0 cores=0-7
/proc/28999/task/29009/stat : 29009 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26729902080 11719 33554432000 4194304 4196468 140729978338448 140464695909520 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29010] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29010/stat : 29010 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651554 26729902080 11719 33554432000 4194304 4196468 140729978338448 140462955919344 140464750668418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29011] ppid=28996 vsize=26103420 memory=279466140182160 CPUtime=0 cores=0-7
/proc/28999/task/29011/stat : 29011 (java) S 28996 28999 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253651554 26729902080 11719 33554432000 4194304 4196468 140729978338448 140462954865568 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29012] ppid=28996 vsize=26103420 memory=279466140189072 CPUtime=0 cores=0-7
/proc/28999/task/29012/stat : 29012 (java) S 28996 28999 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253651554 26729902080 11719 33554432000 4194304 4196468 140729978338448 140462953812976 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29013] ppid=28996 vsize=26103420 memory=279466140130224 CPUtime=0 cores=0-7
/proc/28999/task/29013/stat : 29013 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 11719 33554432000 4194304 4196468 140729978338448 140462952761552 140464750675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29014] ppid=28996 vsize=26103420 memory=279466140202896 CPUtime=0.01 cores=0-7
/proc/28999/task/29014/stat : 29014 (java) S 28996 28999 28202 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 20 0 253651557 26729902080 11719 33554432000 4194304 4196468 140729978338448 140462951709168 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29015] ppid=28996 vsize=26103420 memory=279466140209808 CPUtime=0 cores=0-7
/proc/28999/task/29015/stat : 29015 (java) S 28996 28999 28202 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 11719 33554432000 4194304 4196468 140729978338448 140462950656624 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29016] ppid=28996 vsize=26103420 memory=279466140207504 CPUtime=0.02 cores=0-7
/proc/28999/task/29016/stat : 29016 (java) S 28996 28999 28202 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 20 0 253651557 26729902080 11719 33554432000 4194304 4196468 140729978338448 140462949604080 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29017] ppid=28996 vsize=26103420 memory=279466140224064 CPUtime=0.07 cores=0-7
/proc/28999/task/29017/stat : 29017 (java) S 28996 28999 28202 0 -1 1077944384 291 0 0 0 7 0 0 0 20 0 20 0 253651557 26729902080 11719 33554432000 4194304 4196468 140729978338448 140462948551536 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29018] ppid=28996 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29018/stat : 29018 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 11719 33554432000 4194304 4196468 140729978338448 140462947498208 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29019] ppid=28996 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28999/task/29019/stat : 29019 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651557 26729902080 11719 33554432000 4194304 4196468 140729978338448 140462638586288 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46876 KiB

[startup+0.700887 s]
/proc/loadavg: 8.41 8.66 8.73 2/198 29019
/proc/meminfo: memFree=23091804/32770624 swapFree=67108688/67108860
[pid=28999] ppid=28996 vsize=26105488 memory=87388 CPUtime=0.99 cores=0-7
/proc/28999/stat : 28999 (java) S 28996 28999 28202 0 -1 1077944320 17815 0 0 0 95 4 0 0 20 0 20 0 253651551 26732019712 21847 33554432000 4194304 4196468 140729978338448 140729978320992 140464750657271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
/proc/28999/statm: 6526372 21847 3499 1 0 6488444 0
[pid=28999/tid=29001] ppid=28996 vsize=26105488 memory=7230638415923472983 CPUtime=0.67 cores=0-7
/proc/28999/task/29001/stat : 29001 (java) R 28996 28999 28202 0 -1 4202560 15067 0 0 0 64 3 0 0 20 0 20 0 253651551 26732019712 21847 33554432000 4194304 4196468 140729978338448 140464754880592 140464750679197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29002] ppid=28996 vsize=26105488 memory=124631361053364 CPUtime=0 cores=0-7
/proc/28999/task/29002/stat : 29002 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26732019712 21847 33554432000 4194304 4196468 140729978338448 140464703277328 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29003] ppid=28996 vsize=26105488 memory=139733070114176 CPUtime=0 cores=0-7
/proc/28999/task/29003/stat : 29003 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651552 26732019712 21847 33554432000 4194304 4196468 140729978338448 140464702224784 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29004] ppid=28996 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29004/stat : 29004 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26732019712 21847 33554432000 4194304 4196468 140729978338448 140464701172240 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29005] ppid=28996 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29005/stat : 29005 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253651552 26732019712 21847 33554432000 4194304 4196468 140729978338448 140464700119696 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29006] ppid=28996 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29006/stat : 29006 (java) S 28996 28999 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253651552 26732019712 21847 33554432000 4194304 4196468 140729978338448 140464699067152 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29007] ppid=28996 vsize=26105488 memory=2353 CPUtime=0 cores=0-7
/proc/28999/task/29007/stat : 29007 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26732019712 21847 33554432000 4194304 4196468 140729978338448 140464698014608 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29008] ppid=28996 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28999/task/29008/stat : 29008 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26732019712 21847 33554432000 4194304 4196468 140729978338448 140464696962064 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29009] ppid=28996 vsize=26105488 memory=1752 CPUtime=0 cores=0-7
/proc/28999/task/29009/stat : 29009 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651552 26732019712 21847 33554432000 4194304 4196468 140729978338448 140464695909520 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29010] ppid=28996 vsize=26105488 memory=868 CPUtime=0 cores=0-7
/proc/28999/task/29010/stat : 29010 (java) S 28996 28999 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253651554 26732019712 21847 33554432000 4194304 4196468 140729978338448 140462955919344 140464750668418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0

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

/proc/28999/task/29023/stat : 29023 (java) S 28996 28999 28202 0 -1 1077944384 275 0 0 0 6 0 0 0 20 0 46 0 253652080 28518936576 776503 33554432000 4194304 4196468 140729978338448 140462619891216 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29024] ppid=28996 vsize=27850524 memory=912 CPUtime=2478.4 cores=0-7
/proc/28999/task/29024/stat : 29024 (java) R 28996 28999 28202 0 -1 4202560 54586 0 0 0 247792 48 0 0 20 0 46 0 253652080 28518936576 776503 33554432000 4194304 4196468 140729978338448 140462618832952 140464379327067 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29025] ppid=28996 vsize=27850524 memory=5764 CPUtime=0.08 cores=0-7
/proc/28999/task/29025/stat : 29025 (java) S 28996 28999 28202 0 -1 1077944384 294 0 0 0 8 0 0 0 20 0 46 0 253652088 28518936576 776503 33554432000 4194304 4196468 140729978338448 140462615688976 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29026] ppid=28996 vsize=27850524 memory=279466142168416 CPUtime=2478.86 cores=0-7
/proc/28999/task/29026/stat : 29026 (java) R 28996 28999 28202 0 -1 4202560 64124 0 0 0 247831 55 0 0 20 0 46 0 253652088 28518936576 776503 33554432000 4194304 4196468 140729978338448 140462614631360 140464378815588 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29027] ppid=28996 vsize=27850524 memory=576460756329984873 CPUtime=2477.68 cores=0-7
/proc/28999/task/29027/stat : 29027 (java) R 28996 28999 28202 0 -1 4202560 60586 0 0 0 247718 50 0 0 20 0 46 0 253652088 28518936576 776503 33554432000 4194304 4196468 140729978338448 140462613576816 140464382780950 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29028] ppid=28996 vsize=27850524 memory=288283364019155332 CPUtime=2478.02 cores=0-7
/proc/28999/task/29028/stat : 29028 (java) R 28996 28999 28202 0 -1 4202560 62316 0 0 0 247754 48 0 0 20 0 46 0 253652088 28518936576 776503 33554432000 4194304 4196468 140729978338448 140462612524464 140464380909349 0 4 0 16800975 0 0 0 -1 2 0 0 33 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29029] ppid=28996 vsize=27850524 memory=301794141380372226 CPUtime=2479.41 cores=0-7
/proc/28999/task/29029/stat : 29029 (java) R 28996 28999 28202 0 -1 4202560 61242 0 0 0 247891 50 0 0 20 0 46 0 253652088 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461603801072 140464379553474 0 4 0 16800975 0 0 0 -1 6 0 0 33 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29030] ppid=28996 vsize=27850524 memory=1072 CPUtime=2478.35 cores=0-7
/proc/28999/task/29030/stat : 29030 (java) R 28996 28999 28202 0 -1 4202560 63148 0 0 0 247787 48 0 0 20 0 46 0 253652089 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461602751896 140464379327067 0 4 0 16800975 0 0 0 -1 7 0 0 30 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29031] ppid=28996 vsize=27850524 memory=14888 CPUtime=0.02 cores=0-7
/proc/28999/task/29031/stat : 29031 (java) S 28996 28999 28202 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 46 0 253652090 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461601703440 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29032] ppid=28996 vsize=27850524 memory=3106012 CPUtime=2480.76 cores=0-7
/proc/28999/task/29032/stat : 29032 (java) R 28996 28999 28202 0 -1 4202560 58103 0 0 0 248028 48 0 0 20 0 46 0 253652096 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461600644984 140464379329025 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29033] ppid=28996 vsize=27850524 memory=15768 CPUtime=0.02 cores=0-7
/proc/28999/task/29033/stat : 29033 (java) S 28996 28999 28202 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 46 0 253652096 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461599598352 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29034] ppid=28996 vsize=27850524 memory=39020 CPUtime=0.02 cores=0-7
/proc/28999/task/29034/stat : 29034 (java) S 28996 28999 28202 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 46 0 253652154 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461596410768 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29035] ppid=28996 vsize=27850524 memory=1612 CPUtime=0.02 cores=0-7
/proc/28999/task/29035/stat : 29035 (java) S 28996 28999 28202 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 46 0 253652155 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461595358224 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29036] ppid=28996 vsize=27850524 memory=496 CPUtime=0.02 cores=0-7
/proc/28999/task/29036/stat : 29036 (java) S 28996 28999 28202 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 46 0 253652155 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461594305680 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29037] ppid=28996 vsize=27850524 memory=924 CPUtime=0.01 cores=0-7
/proc/28999/task/29037/stat : 29037 (java) S 28996 28999 28202 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 46 0 253652155 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461593253136 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29038] ppid=28996 vsize=27850524 memory=1168 CPUtime=0.01 cores=0-7
/proc/28999/task/29038/stat : 29038 (java) S 28996 28999 28202 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 46 0 253652155 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461592200592 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29039] ppid=28996 vsize=27850524 memory=2336 CPUtime=0.01 cores=0-7
/proc/28999/task/29039/stat : 29039 (java) S 28996 28999 28202 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 46 0 253652157 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461591148048 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29040] ppid=28996 vsize=27850524 memory=1572 CPUtime=0.02 cores=0-7
/proc/28999/task/29040/stat : 29040 (java) S 28996 28999 28202 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 46 0 253652159 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461590095504 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29041] ppid=28996 vsize=27850524 memory=924 CPUtime=0.01 cores=0-7
/proc/28999/task/29041/stat : 29041 (java) S 28996 28999 28202 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 46 0 253652160 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461589042960 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29042] ppid=28996 vsize=27850524 memory=3106012 CPUtime=0.02 cores=0-7
/proc/28999/task/29042/stat : 29042 (java) S 28996 28999 28202 0 -1 1077944384 309 0 0 0 2 0 0 0 20 0 46 0 253652162 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461587989392 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29043] ppid=28996 vsize=27850524 memory=2336 CPUtime=0.01 cores=0-7
/proc/28999/task/29043/stat : 29043 (java) S 28996 28999 28202 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 46 0 253652164 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461586936848 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29044] ppid=28996 vsize=27850524 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/28999/task/29044/stat : 29044 (java) S 28996 28999 28202 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 46 0 253652165 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461585884304 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29045] ppid=28996 vsize=27850524 memory=3732 CPUtime=0.01 cores=0-7
/proc/28999/task/29045/stat : 29045 (java) S 28996 28999 28202 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 46 0 253652166 28518936576 776503 33554432000 4194304 4196468 140729978338448 140461584831760 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
Current children cumulated CPU time: 19927.5 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 3106012 KiB

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

[startup+2520.26 s]
# the end of solver process 28999 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19919.6 s, system=9.62633 s

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

[startup+2520.21 s]
/proc/loadavg: 8.80 8.73 8.81 10/227 29103
/proc/meminfo: memFree=20050220/32770624 swapFree=67108688/67108860
[pid=28999] ppid=28996 vsize=27984680 memory=3109124 CPUtime=19929 cores=0-7
/proc/28999/stat : 28999 (java) S 28996 28999 28202 0 -1 1077944320 1670626 0 0 0 1991936 960 0 0 20 0 48 0 253651551 28656312320 777281 33554432000 4194304 4196468 140729978338448 140729978320992 140464750657271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
/proc/28999/statm: 6996170 777281 3626 1 0 6957721 0
[pid=28999/tid=29001] ppid=28996 vsize=27984680 memory=3106012 CPUtime=5.24 cores=0-7
/proc/28999/task/29001/stat : 29001 (java) S 28996 28999 28202 0 -1 1077944384 21949 0 0 0 516 8 0 0 20 0 48 0 253651551 28656312320 777281 33554432000 4194304 4196468 140729978338448 140464754894736 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29002] ppid=28996 vsize=27984680 memory=6944656575208382560 CPUtime=9.22 cores=0-7
/proc/28999/task/29002/stat : 29002 (java) S 28996 28999 28202 0 -1 1077944384 115449 0 0 0 864 58 0 0 20 0 48 0 253651552 28656312320 777281 33554432000 4194304 4196468 140729978338448 140464703277328 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 51 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29003] ppid=28996 vsize=27984680 memory=6944656592455360604 CPUtime=9.25 cores=0-7
/proc/28999/task/29003/stat : 29003 (java) S 28996 28999 28202 0 -1 1077944384 119490 0 0 0 867 58 0 0 20 0 48 0 253651552 28656312320 777281 33554432000 4194304 4196468 140729978338448 140464702224784 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 52 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29004] ppid=28996 vsize=27984680 memory=6944656575208382560 CPUtime=9.28 cores=0-7
/proc/28999/task/29004/stat : 29004 (java) S 28996 28999 28202 0 -1 1077944384 127447 0 0 0 863 65 0 0 20 0 48 0 253651552 28656312320 777281 33554432000 4194304 4196468 140729978338448 140464701172240 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29005] ppid=28996 vsize=27984680 memory=6944652177228980320 CPUtime=9.28 cores=0-7
/proc/28999/task/29005/stat : 29005 (java) S 28996 28999 28202 0 -1 1077944384 114893 0 0 0 870 58 0 0 20 0 48 0 253651552 28656312320 777281 33554432000 4194304 4196468 140729978338448 140464700119696 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29006] ppid=28996 vsize=27984680 memory=6944656592455360604 CPUtime=9.19 cores=0-7
/proc/28999/task/29006/stat : 29006 (java) S 28996 28999 28202 0 -1 1077944384 109665 0 0 0 858 61 0 0 20 0 48 0 253651552 28656312320 777281 33554432000 4194304 4196468 140729978338448 140464699067152 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29007] ppid=28996 vsize=27984680 memory=6943526294502006880 CPUtime=9.24 cores=0-7
/proc/28999/task/29007/stat : 29007 (java) S 28996 28999 28202 0 -1 1077944384 113538 0 0 0 870 54 0 0 20 0 48 0 253651552 28656312320 777281 33554432000 4194304 4196468 140729978338448 140464698014608 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29008] ppid=28996 vsize=27984680 memory=4629771062077588875 CPUtime=9.19 cores=0-7
/proc/28999/task/29008/stat : 29008 (java) S 28996 28999 28202 0 -1 1077944384 109110 0 0 0 861 58 0 0 20 0 48 0 253651552 28656312320 777281 33554432000 4194304 4196468 140729978338448 140464696962064 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 53 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29009] ppid=28996 vsize=27984680 memory=-8961168018402230209 CPUtime=9.26 cores=0-7
/proc/28999/task/29009/stat : 29009 (java) S 28996 28999 28202 0 -1 1077944384 118713 0 0 0 867 59 0 0 20 0 48 0 253651552 28656312320 777281 33554432000 4194304 4196468 140729978338448 140464695909520 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29010] ppid=28996 vsize=27984680 memory=6944656575208382560 CPUtime=7.21 cores=0-7
/proc/28999/task/29010/stat : 29010 (java) S 28996 28999 28202 0 -1 1077944384 163463 0 0 0 629 92 0 0 20 0 48 0 253651554 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462955919344 140464750668418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29011] ppid=28996 vsize=27984680 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/28999/task/29011/stat : 29011 (java) S 28996 28999 28202 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 48 0 253651554 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462954865632 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29012] ppid=28996 vsize=27984680 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/28999/task/29012/stat : 29012 (java) S 28996 28999 28202 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 48 0 253651554 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462953812992 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29013] ppid=28996 vsize=27984680 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/28999/task/29013/stat : 29013 (java) S 28996 28999 28202 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 48 0 253651557 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462952761552 140464750675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29014] ppid=28996 vsize=27984680 memory=288230596050944315 CPUtime=1.74 cores=0-7
/proc/28999/task/29014/stat : 29014 (java) S 28996 28999 28202 0 -1 1077944384 10635 0 0 0 172 2 0 0 20 0 48 0 253651557 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462951702192 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29015] ppid=28996 vsize=27984680 memory=15258129956873558 CPUtime=1.77 cores=0-7
/proc/28999/task/29015/stat : 29015 (java) R 28996 28999 28202 0 -1 4202560 6674 0 0 0 176 1 0 0 20 0 48 0 253651557 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462950641288 140464742946653 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29016] ppid=28996 vsize=27984680 memory=7284 CPUtime=1.73 cores=0-7
/proc/28999/task/29016/stat : 29016 (java) S 28996 28999 28202 0 -1 1077944384 6356 0 0 0 172 1 0 0 20 0 48 0 253651557 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462949604080 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29017] ppid=28996 vsize=27984680 memory=804 CPUtime=1.2 cores=0-7
/proc/28999/task/29017/stat : 29017 (java) S 28996 28999 28202 0 -1 1077944384 13750 0 0 0 117 3 0 0 20 0 48 0 253651557 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462948549328 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29018] ppid=28996 vsize=27984680 memory=1796 CPUtime=0 cores=0-7
/proc/28999/task/29018/stat : 29018 (java) S 28996 28999 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 253651557 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462947498208 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29019] ppid=28996 vsize=27984680 memory=912 CPUtime=0.72 cores=0-7
/proc/28999/task/29019/stat : 29019 (java) S 28996 28999 28202 0 -1 1077944384 8009 0 0 0 30 42 0 0 20 0 48 0 253651557 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462638586288 140464750668418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29020] ppid=28996 vsize=27984680 memory=5764 CPUtime=0.03 cores=0-7
/proc/28999/task/29020/stat : 29020 (java) S 28996 28999 28202 0 -1 1077944384 2036 0 0 0 3 0 0 0 20 0 48 0 253652041 28656312320 777281 33554432000 4194304 4196468 140729978338448 140462627242704 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29021] ppid=28996 vsize=27984680 memory=4100 CPUtime=1.85 cores=0-7
/proc/28999/task/29021/stat : 29021 (java) S 28996 28999 28202 0 -1 1077944384 16343 0 0 0 82 103 0 0 20 0 48 0 253652057 28656312320 777327 33554432000 4194304 4196468 140729978338448 140462624091424 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29022] ppid=28996 vsize=27984680 memory=1408 CPUtime=2480.19 cores=0-7
/proc/28999/task/29022/stat : 29022 (java) R 28996 28999 28202 0 -1 1077944384 60698 0 0 0 247969 50 0 0 20 0 48 0 253652079 28656312320 777327 33554432000 4194304 4196468 140729978338448 140462620936224 140464750667477 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29023] ppid=28996 vsize=27984680 memory=4604 CPUtime=0.06 cores=0-7
/proc/28999/task/29023/stat : 29023 (java) S 28996 28999 28202 0 -1 1077944384 300 0 0 0 6 0 0 0 20 0 48 0 253652080 28656312320 777327 33554432000 4194304 4196468 140729978338448 140462619891216 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29024] ppid=28996 vsize=27984680 memory=3106012 CPUtime=2478.55 cores=0-7
/proc/28999/task/29024/stat : 29024 (java) R 28996 28999 28202 0 -1 4202560 54586 0 0 0 247807 48 0 0 20 0 48 0 253652080 28656312320 777327 33554432000 4194304 4196468 140729978338448 140462618832624 140464379114194 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29025] ppid=28996 vsize=27984680 memory=1620 CPUtime=0.1 cores=0-7
/proc/28999/task/29025/stat : 29025 (java) S 28996 28999 28202 0 -1 1077944384 732 0 0 0 10 0 0 0 20 0 48 0 253652088 28656312320 777327 33554432000 4194304 4196468 140729978338448 140462615683536 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29026] ppid=28996 vsize=27984680 memory=748 CPUtime=2479.02 cores=0-7
/proc/28999/task/29026/stat : 29026 (java) R 28996 28999 28202 0 -1 4202560 64125 0 0 0 247847 55 0 0 20 0 48 0 253652088 28656312320 777327 33554432000 4194304 4196468 140729978338448 140462614627872 140464378816222 0 4 0 16800975 0 0 0 -1 2 0 0 32 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29027] ppid=28996 vsize=27984680 memory=3106012 CPUtime=2477.84 cores=0-7
/proc/28999/task/29027/stat : 29027 (java) S 28996 28999 28202 0 -1 1077944384 60586 0 0 0 247734 50 0 0 20 0 48 0 253652088 28656312320 777327 33554432000 4194304 4196468 140729978338448 140462613577008 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29028] ppid=28996 vsize=27984680 memory=288230574492221466 CPUtime=2478.19 cores=0-7
/proc/28999/task/29028/stat : 29028 (java) S 28996 28999 28202 0 -1 1077944384 62318 0 0 0 247771 48 0 0 20 0 48 0 253652088 28656312320 777327 33554432000 4194304 4196468 140729978338448 140462612524272 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29029] ppid=28996 vsize=27984680 memory=288230596050944315 CPUtime=2479.57 cores=0-7
/proc/28999/task/29029/stat : 29029 (java) S 28996 28999 28202 0 -1 1077944384 61243 0 0 0 247907 50 0 0 20 0 48 0 253652088 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461603802480 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29030] ppid=28996 vsize=27984680 memory=15258129956873558 CPUtime=2478.48 cores=0-7
/proc/28999/task/29030/stat : 29030 (java) S 28996 28999 28202 0 -1 1077944384 63149 0 0 0 247800 48 0 0 20 0 48 0 253652089 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461602749936 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29031] ppid=28996 vsize=27984680 memory=1796 CPUtime=0.02 cores=0-7
/proc/28999/task/29031/stat : 29031 (java) S 28996 28999 28202 0 -1 1077944384 553 0 0 0 2 0 0 0 20 0 48 0 253652090 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461601703440 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29032] ppid=28996 vsize=27984680 memory=912 CPUtime=2480.93 cores=0-7
/proc/28999/task/29032/stat : 29032 (java) R 28996 28999 28202 0 -1 4202560 58103 0 0 0 248045 48 0 0 20 0 48 0 253652096 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461600644848 140464379416154 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29033] ppid=28996 vsize=27984680 memory=5764 CPUtime=0.02 cores=0-7
/proc/28999/task/29033/stat : 29033 (java) S 28996 28999 28202 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 48 0 253652096 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461599598352 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29034] ppid=28996 vsize=27984680 memory=4100 CPUtime=0.02 cores=0-7
/proc/28999/task/29034/stat : 29034 (java) S 28996 28999 28202 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 48 0 253652154 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461596410768 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29035] ppid=28996 vsize=27984680 memory=1408 CPUtime=0.02 cores=0-7
/proc/28999/task/29035/stat : 29035 (java) S 28996 28999 28202 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 48 0 253652155 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461595358224 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29036] ppid=28996 vsize=27984680 memory=4604 CPUtime=0.03 cores=0-7
/proc/28999/task/29036/stat : 29036 (java) S 28996 28999 28202 0 -1 1077944384 533 0 0 0 3 0 0 0 20 0 48 0 253652155 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461594305680 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29037] ppid=28996 vsize=27984680 memory=3106012 CPUtime=0.01 cores=0-7
/proc/28999/task/29037/stat : 29037 (java) S 28996 28999 28202 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 48 0 253652155 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461593253136 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29038] ppid=28996 vsize=27984680 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/28999/task/29038/stat : 29038 (java) S 28996 28999 28202 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 48 0 253652155 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461592200592 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29039] ppid=28996 vsize=27984680 memory=-7003737579269690708 CPUtime=0.01 cores=0-7
/proc/28999/task/29039/stat : 29039 (java) S 28996 28999 28202 0 -1 1077944384 292 0 0 0 1 0 0 0 20 0 48 0 253652157 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461591148048 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29040] ppid=28996 vsize=27984680 memory=3868 CPUtime=0.02 cores=0-7
/proc/28999/task/29040/stat : 29040 (java) S 28996 28999 28202 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 48 0 253652159 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461590095504 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29041] ppid=28996 vsize=27984680 memory=69276 CPUtime=0.01 cores=0-7
/proc/28999/task/29041/stat : 29041 (java) S 28996 28999 28202 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 48 0 253652160 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461589042960 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29042] ppid=28996 vsize=27984680 memory=0 CPUtime=0.02 cores=0-7
/proc/28999/task/29042/stat : 29042 (java) S 28996 28999 28202 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 48 0 253652162 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461587989392 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29043] ppid=28996 vsize=27984680 memory=-8961168018402230209 CPUtime=0.02 cores=0-7
/proc/28999/task/29043/stat : 29043 (java) S 28996 28999 28202 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 48 0 253652164 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461586936848 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29044] ppid=28996 vsize=27984680 memory=3106012 CPUtime=0.01 cores=0-7
/proc/28999/task/29044/stat : 29044 (java) S 28996 28999 28202 0 -1 1077944384 296 0 0 0 1 0 0 0 20 0 48 0 253652165 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461585884304 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
[pid=28999/tid=29045] ppid=28996 vsize=27984680 memory=1296 CPUtime=0.01 cores=0-7
/proc/28999/task/29045/stat : 29045 (java) S 28996 28999 28202 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 48 0 253652166 28656312320 777327 33554432000 4194304 4196468 140729978338448 140461584831760 140464750667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140729978344526 140729978344709 140729978344709 140729978347471 0
Current children cumulated CPU time: 19929 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 3109124 KiB

Child status: 143
Real time (s): 2520.26
CPU time (s): 19929.2
CPU user time (s): 19919.6
CPU system time (s): 9.62633
CPU usage (%): 790.759
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 3109124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19919.6
system time used= 9.62633
maximum resident set size= 3111356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1671013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 731224
involuntary context switches= 431097


# summary of solver processes directly reported to runsolver:
#   pid: 28999
#   total CPU time (s): 19929.2
#   total CPU user time (s): 19919.6
#   total CPU system time (s): 9.62633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.8544 second user time and 36.0906 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-15 21:21:27
IDJOB=4309269
IDBENCH=141153
IDSOLVER=2793
FILE ID=node106/4309269-1534360887
RUNJOBID= node106-1534352935-28229
PBS_JOBID= 21038257
Free space on /tmp= 45856 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
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-4309269-1534360887/watcher-4309269-1534360887 -o /tmp/evaluation-result-4309269-1534360887/solver-4309269-1534360887 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1534352935-28229 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 961386015 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309269-1534360887.xml

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

MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193
RANDOM SEED=961386015

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        23148572 kB
MemAvailable:   31888440 kB
Buffers:          210888 kB
Cached:          8754612 kB
SwapCached:            0 kB
Active:          4568676 kB
Inactive:        4456264 kB
Active(anon):       6320 kB
Inactive(anon):   113644 kB
Active(file):    4562356 kB
Inactive(file):  4342620 kB
Unevictable:        6968 kB
Mlocked:            6968 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             35936 kB
Writeback:             0 kB
AnonPages:         65400 kB
Mapped:            55704 kB
Shmem:             57824 kB
Slab:             291516 kB
SReclaimable:     263352 kB
SUnreclaim:        28164 kB
KernelStack:        3888 kB
PageTables:         5432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 45820 MiB
End job on node106 at 2018-08-15 22:03:27