Trace number 4291730

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay400_c18.xml
MD5SUMb20be86eed1a54c36d145f853cc0c945
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2270200
Best CPU time to get the best result obtained on this benchmark19913.3
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":400}]
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-07-02
0.66/0.55	c seed: 799311906
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.46/1.11	c Parsing done, starting search...
13.72/6.08	o 7362
13.72/6.08	o 14120
13.72/6.09	o 19173
13.72/6.09	o 25931
13.72/6.10	o 33324
13.72/6.10	o 45135
13.72/6.10	o 51893
13.72/6.10	o 57642
14.48/6.11	o 64400
14.48/6.11	o 69453
14.48/6.11	o 76211
14.48/6.11	o 79219
14.48/6.13	o 82985
14.48/6.13	o 94796
14.48/6.13	o 97804
14.48/6.13	o 100595
14.48/6.13	o 101554
14.48/6.14	o 104562
14.48/6.14	o 111002
14.48/6.14	o 114010
14.48/6.14	o 115682
14.48/6.14	o 119432
14.48/6.15	o 122440
14.48/6.16	o 127152
14.48/6.16	o 130160
14.48/6.17	o 132840
14.48/6.17	o 134398
14.48/6.17	o 135468
14.48/6.17	o 138476
14.48/6.17	o 141156
14.48/6.17	o 142109
14.48/6.17	o 143667
14.48/6.18	o 147745
14.48/6.18	o 150425
14.48/6.18	o 150753
14.48/6.18	o 153433
14.48/6.18	o 156929
14.48/6.18	o 159937
14.48/6.18	o 162617
14.48/6.18	o 163615
14.48/6.19	o 165645
14.48/6.19	o 168325
14.48/6.19	o 174829
14.48/6.19	o 177509
14.48/6.19	o 178507
14.48/6.19	o 178835
14.48/6.19	o 181515
14.48/6.20	o 182989
14.48/6.20	o 189747
14.48/6.20	o 190745
14.48/6.20	o 193753
14.48/6.20	o 196433
14.48/6.20	o 196877
14.48/6.20	o 197205
14.48/6.20	o 199885
15.26/6.21	o 201345
15.26/6.21	o 202343
15.26/6.21	o 203189
15.26/6.21	o 204183
15.26/6.22	o 206641
15.26/6.22	o 206863
15.26/6.22	o 209321
15.26/6.22	o 210319
15.26/6.22	o 212170
15.26/6.23	o 212426
15.26/6.23	o 213388
15.26/6.23	o 214014
15.26/6.23	o 214458
15.26/6.23	o 217466
15.26/6.23	o 220146
15.26/6.24	o 221606
15.26/6.24	o 222604
15.26/6.24	o 224315
15.26/6.24	o 225183
15.26/6.25	o 225353
15.26/6.25	o 228033
15.26/6.25	o 230491
15.26/6.26	o 230819
15.26/6.29	o 231041
15.98/6.32	o 233499
15.98/6.33	o 233878
15.98/6.33	o 234142
15.98/6.33	o 234896
15.98/6.33	o 235010
15.98/6.33	o 235350
15.98/6.33	o 235606
15.98/6.33	o 236568
15.98/6.33	o 236866
15.98/6.33	o 237638
15.98/6.34	o 240318
15.98/6.34	o 240646
15.98/6.34	o 243326
15.98/6.34	o 245784
15.98/6.34	o 246782
15.98/6.34	o 248283
15.98/6.34	o 249281
15.98/6.34	o 249569
15.98/6.34	o 249610
15.98/6.37	o 252068
15.98/6.37	o 252290
15.98/6.37	o 254748
15.98/6.37	o 255746
15.98/6.37	o 256194
15.98/6.37	o 257264
15.98/6.37	o 260272
15.98/6.37	o 262952
15.98/6.37	o 265451
15.98/6.37	o 266449
15.98/6.40	o 266603
15.98/6.40	o 269061
15.98/6.40	o 270580
15.98/6.40	o 271448
15.98/6.40	o 272044
15.98/6.40	o 273299
15.98/6.40	o 274585
15.98/6.40	o 277265
15.98/6.40	o 279764
16.82/6.41	o 280536
16.82/6.41	o 280717
16.82/6.41	o 283216
16.82/6.41	o 284214
16.82/6.41	o 284298
16.82/6.42	o 284412
16.82/6.42	o 284752
16.82/6.42	o 285008
16.82/6.42	o 285970
16.82/6.44	o 286263
16.82/6.44	o 287040
16.82/6.44	o 289720
16.82/6.44	o 290048
16.82/6.44	o 292728
16.82/6.44	o 293500
16.82/6.44	o 296180
16.82/6.44	o 298679
16.82/6.44	o 299677
16.82/6.44	o 301028
16.82/6.44	o 302026
16.82/6.45	o 304222
16.82/6.45	o 304356
16.82/6.45	o 304364
16.82/6.45	o 305938
16.82/6.45	o 307832
16.82/6.45	o 310840
16.82/6.45	o 313189
16.82/6.46	o 313633
16.82/6.46	o 314292
16.82/6.46	o 316641
16.82/6.46	o 316791
16.82/6.46	o 319140
16.82/6.46	o 319471
16.82/6.46	o 321820
16.82/6.46	o 322818
16.82/6.46	o 323551
16.82/6.46	o 323995
16.82/6.46	o 324654
16.82/6.47	o 327003
16.82/6.47	o 327334
16.82/6.47	o 329683
16.82/6.47	o 330528
16.82/6.47	o 333208
16.82/6.47	o 333307
16.82/6.47	o 335670
16.82/6.47	o 336688
16.82/6.47	o 336802
16.82/6.47	o 337398
16.82/6.47	o 337479
16.82/6.47	o 338653
16.82/6.47	o 338986
16.82/6.47	o 342438
16.82/6.48	o 345118
16.82/6.48	o 345446
16.82/6.48	o 348126
16.82/6.48	o 350475
16.82/6.48	o 350625
16.82/6.48	o 352974
16.82/6.48	o 353972
16.82/6.48	o 354082
16.82/6.48	o 356581
16.82/6.48	o 358930
16.82/6.48	o 359928
16.82/6.48	o 361935
16.82/6.49	o 363392
16.82/6.49	o 363428
16.82/6.49	o 363431
16.82/6.49	o 363937
16.82/6.49	o 364087
16.82/6.49	o 364847
16.82/6.49	o 366436
16.82/6.49	o 366998
16.82/6.50	o 367631
17.58/6.51	o 368193
17.58/6.52	o 369116
17.58/6.52	o 369678
17.58/6.52	o 369980
17.58/6.52	o 370542
17.58/6.52	o 370643
17.58/6.52	o 371205
17.58/6.52	o 371403
17.58/6.52	o 372992
17.58/6.52	o 374370
17.58/6.53	o 375274
17.58/6.53	o 375836
17.58/6.53	o 376846
17.58/6.53	o 377623
17.58/6.53	o 378185
17.58/6.54	o 378688
17.58/6.54	o 379250
17.58/6.54	o 379996
17.58/6.54	o 382200
17.58/6.55	o 382495
17.58/6.55	o 382764
17.58/6.55	o 383326
17.58/6.55	o 384243
17.58/6.55	o 384827
17.58/6.55	o 385389
17.58/6.55	o 386372
17.58/6.55	o 386934
17.58/6.55	o 387176
17.58/6.55	o 388721
17.58/6.56	o 389282
17.58/6.56	o 390526
17.58/6.56	o 391088
17.58/6.56	o 392290
17.58/6.56	o 392852
17.58/6.56	o 393398
17.58/6.56	o 394336
17.58/6.56	o 395747
17.58/6.57	o 395884
17.58/6.57	o 396446
17.58/6.57	o 397886
17.58/6.57	o 398448
17.58/6.57	o 399156
17.58/6.57	o 399208
17.58/6.58	o 399455
17.58/6.58	o 400235
17.58/6.58	o 400797
17.58/6.58	o 401654
17.58/6.58	o 401804
17.58/6.58	o 402195
17.58/6.59	o 402608
17.58/6.59	o 403649
17.58/6.59	o 404812
17.58/6.59	o 404874
17.58/6.59	o 404968
17.58/6.59	o 405530
17.58/6.60	o 406466
17.58/6.60	o 407926
18.09/6.60	o 408372
18.09/6.60	o 408509
18.09/6.60	o 410858
18.09/6.61	o 411776
18.09/6.61	o 412338
18.09/6.61	o 413373
18.09/6.61	o 413935
18.09/6.61	o 415437
18.09/6.62	o 416665
18.09/6.62	o 417227
18.09/6.62	o 417324
18.09/6.62	o 419673
18.09/6.62	o 420116
18.09/6.62	o 420235
18.09/6.63	o 420330
18.09/6.63	o 420669
18.09/6.63	o 421521
18.09/6.63	o 422083
18.09/6.63	o 422548
18.09/6.63	o 423110
18.09/6.64	o 423624
18.09/6.64	o 423719
18.09/6.64	o 423971
18.09/6.64	o 425807
18.09/6.64	o 426313
18.09/6.64	o 428812
18.09/6.64	o 429181
18.09/6.64	o 430362
18.09/6.65	o 430677
18.09/6.65	o 430924
18.09/6.65	o 431680
18.09/6.65	o 431775
18.09/6.65	o 431803
18.09/6.65	o 433565
18.09/6.66	o 433801
18.09/6.66	o 433813
18.09/6.66	o 433864
18.09/6.66	o 434336
18.09/6.66	o 434351
18.09/6.66	o 434359
18.09/6.66	o 435007
18.09/6.66	o 435288
18.09/6.66	o 435760
18.09/6.67	o 436213
18.09/6.67	o 436332
18.09/6.67	o 437356
18.09/6.67	o 437526
18.09/6.67	o 439855
18.09/6.68	o 440253
18.09/6.68	o 440417
18.09/6.68	o 440668
18.09/6.68	o 440767
18.09/6.68	o 441438
18.09/6.69	o 441910
18.09/6.69	o 442000
18.09/6.69	o 442472
18.09/6.69	o 442515
18.09/6.69	o 443186
18.09/6.69	o 443658
18.09/6.69	o 443748
18.09/6.69	o 444220
18.09/6.70	o 444231
18.09/6.70	o 444450
18.09/6.70	o 444793
18.09/6.70	o 445258
18.09/6.70	o 445820
18.09/6.70	o 446018
18.09/6.70	o 447607
18.51/6.71	o 447614
18.51/6.71	o 447713
18.51/6.71	o 447989
18.51/6.71	o 448169
18.51/6.71	o 448170
18.51/6.71	o 448393
18.51/6.71	o 448865
18.51/6.72	o 449132
18.51/6.72	o 449694
18.51/6.72	o 449763
18.51/6.72	o 450325
18.51/6.72	o 450427
18.51/6.72	o 450517
18.51/6.72	o 450989
18.51/6.73	o 451007
18.51/6.73	o 451384
18.51/6.73	o 451468
18.51/6.73	o 451776
18.51/6.73	o 451866
18.51/6.73	o 452338
18.51/6.73	o 452345
18.51/6.74	o 452379
18.51/6.74	o 452754
18.51/6.74	o 452942
18.51/6.74	o 453333
18.51/6.74	o 453735
18.51/6.74	o 454316
18.51/6.74	o 454878
18.51/6.74	o 455350
18.51/6.75	o 455847
18.51/6.75	o 455960
18.51/6.75	o 457103
18.51/6.75	o 457316
18.51/6.75	o 457639
18.51/6.76	o 457769
18.51/6.76	o 458213
18.51/6.76	o 458625
18.51/6.76	o 458642
18.51/6.76	o 459204
18.51/6.76	o 460187
18.51/6.76	o 460749
18.51/6.76	o 460851
18.51/6.77	o 461221
18.51/6.77	o 461235
18.51/6.77	o 461237
18.51/6.77	o 461709
18.51/6.77	o 461886
18.51/6.77	o 462358
18.51/6.77	o 462364
18.51/6.78	o 462640
18.51/6.78	o 462707
18.51/6.78	o 463112
18.51/6.78	o 463366
18.51/6.78	o 463500
18.51/6.78	o 464010
18.51/6.79	o 464572
18.51/6.79	o 465044
18.51/6.79	o 465195
18.51/6.79	o 465583
18.51/6.79	o 465945
18.51/6.79	o 466281
18.51/6.80	o 466753
18.51/6.80	o 466820
18.94/6.80	o 466949
18.94/6.80	o 467421
18.94/6.80	o 467783
18.94/6.80	o 468255
18.94/6.81	o 468301
18.94/6.81	o 468396
18.94/6.81	o 469293
18.94/6.81	o 469570
18.94/6.81	o 470042
18.94/6.81	o 470490
18.94/6.82	o 470537
18.94/6.82	o 470766
18.94/6.82	o 471437
18.94/6.82	o 471894
18.94/6.82	o 472366
18.94/6.82	o 472471
18.94/6.83	o 472614
18.94/6.83	o 472709
18.94/6.83	o 472883
18.94/6.83	o 472923
18.94/6.83	o 472928
18.94/6.83	o 473095
18.94/6.83	o 473912
18.94/6.83	o 474445
18.94/6.83	o 475007
18.94/6.84	o 475479
18.94/6.84	o 475529
18.94/6.84	o 476001
18.94/6.85	o 476810
18.94/6.85	o 477167
18.94/6.85	o 477823
18.94/6.86	o 477844
18.94/6.86	o 478248
18.94/6.86	o 478720
18.94/6.86	o 478815
18.94/6.86	o 479029
18.94/6.86	o 480172
18.94/6.87	o 480313
18.94/6.87	o 480734
18.94/6.87	o 481206
18.94/6.87	o 481609
18.94/6.87	o 482190
18.94/6.87	o 482752
18.94/6.88	o 483224
18.94/6.88	o 483758
18.94/6.88	o 484852
18.94/6.88	o 485324
18.94/6.88	o 485414
18.94/6.88	o 485886
18.94/6.89	o 486395
18.94/6.89	o 486867
18.94/6.89	o 487538
18.94/6.89	o 488010
18.94/6.89	o 488100
18.94/6.89	o 488572
18.94/6.89	o 488935
18.94/6.89	o 489030
18.94/6.89	o 489407
18.94/6.89	o 489502
18.94/6.90	o 489808
18.94/6.90	o 490951
19.37/6.90	o 491513
19.37/6.90	o 491985
19.37/6.90	o 492168
19.37/6.90	o 493101
19.37/6.90	o 493573
19.37/6.91	o 493624
19.37/6.91	o 494186
19.37/6.91	o 494658
19.37/6.91	o 494716
19.37/6.91	o 495010
19.37/6.91	o 496015
19.37/6.92	o 496366
19.37/6.92	o 496487
19.37/6.92	o 496577
19.37/6.92	o 497049
19.37/6.92	o 497509
19.37/6.92	o 497844
19.37/6.92	o 498316
19.37/6.93	o 498382
19.37/6.93	o 498477
19.37/6.93	o 498519
19.37/6.93	o 499081
19.37/6.93	o 499159
19.37/6.93	o 499249
19.37/6.93	o 499721
19.37/6.94	o 500546
19.37/6.94	o 500731
19.37/6.94	o 501874
19.37/6.94	o 502334
19.37/6.94	o 502753
19.37/6.94	o 503896
19.37/6.94	o 504458
19.37/6.95	o 504930
19.37/6.95	o 505441
19.37/6.95	o 505913
19.37/6.95	o 506003
19.37/6.95	o 506475
19.37/6.95	o 506618
19.37/6.95	o 507180
19.37/6.95	o 507652
19.37/6.95	o 508082
19.37/6.96	o 508324
19.37/6.96	o 508414
19.37/6.96	o 508886
19.37/6.96	o 509511
19.37/6.96	o 509983
19.37/6.96	o 510073
19.37/6.96	o 510545
19.37/6.96	o 510791
19.37/6.96	o 511486
19.37/6.96	o 512629
19.37/6.97	o 512638
19.37/6.97	o 513200
19.37/6.97	o 513672
19.37/6.97	o 514183
19.37/6.97	o 514655
19.37/6.97	o 514745
19.37/6.97	o 515217
19.37/6.97	o 516081
19.37/6.97	o 516643
19.37/6.98	o 517115
19.37/6.98	o 517675
19.37/6.98	o 518147
19.37/6.98	o 518237
19.37/6.98	o 518709
19.37/6.98	o 518943
19.37/6.98	o 519524
19.37/6.98	o 520086
19.37/6.99	o 520333
19.37/6.99	o 520423
19.37/6.99	o 520895
19.37/6.99	o 521300
19.37/6.99	o 521777
19.37/6.99	o 521901
19.37/6.99	o 522007
19.37/7.00	o 522417
19.37/7.00	o 522979
19.37/7.00	o 523451
19.37/7.00	o 524310
19.37/7.00	o 525453
19.37/7.01	o 525925
19.37/7.01	o 526015
19.37/7.01	o 526487
19.99/7.01	o 526659
19.99/7.01	o 527802
19.99/7.02	o 528364
19.99/7.02	o 528836
19.99/7.02	o 529202
19.99/7.02	o 529292
19.99/7.02	o 529764
19.99/7.02	o 529933
19.99/7.02	o 530292
19.99/7.02	o 530368
19.99/7.03	o 530475
19.99/7.03	o 531037
19.99/7.03	o 531742
19.99/7.03	o 532304
19.99/7.03	o 532776
19.99/7.03	o 532823
19.99/7.03	o 532947
19.99/7.03	o 533618
19.99/7.03	o 534090
19.99/7.03	o 534180
19.99/7.04	o 534652
19.99/7.04	o 534989
19.99/7.04	o 535435
19.99/7.04	o 536647
19.99/7.04	o 537209
19.99/7.04	o 537681
19.99/7.05	o 537822
19.99/7.05	o 537917
19.99/7.05	o 538262
19.99/7.05	o 538352
19.99/7.05	o 538824
19.99/7.05	o 538932
19.99/7.05	o 539112
19.99/7.06	o 539693
19.99/7.06	o 540255
19.99/7.06	o 540727
19.99/7.06	o 540845
19.99/7.06	o 541096
19.99/7.06	o 541281
19.99/7.06	o 541549
19.99/7.06	o 542692
19.99/7.07	o 542896
19.99/7.07	o 543430
19.99/7.07	o 543902
19.99/7.07	o 544370
19.99/7.07	o 544460
19.99/7.07	o 544932
19.99/7.07	o 545041
19.99/7.07	o 545603
19.99/7.08	o 546075
19.99/7.08	o 546412
19.99/7.08	o 546519
19.99/7.09	o 547081
19.99/7.09	o 547553
19.99/7.09	o 547717
19.99/7.09	o 548388
19.99/7.09	o 548860
19.99/7.09	o 548950
19.99/7.09	o 549422
19.99/7.09	o 549933
19.99/7.09	o 550495
19.99/7.09	o 550967
19.99/7.09	o 551007
19.99/7.09	o 551479
19.99/7.09	o 551916
19.99/7.09	o 552388
19.99/7.10	o 552483
19.99/7.10	o 553416
19.99/7.10	o 553888
19.99/7.10	o 553978
19.99/7.10	o 554450
19.99/7.10	o 554566
19.99/7.10	o 555320
19.99/7.10	o 555452
19.99/7.11	o 555512
19.99/7.11	o 555515
20.65/7.11	o 555737
20.65/7.11	o 556718
20.65/7.11	o 557861
20.65/7.11	o 557956
20.65/7.11	o 558333
20.65/7.11	o 558428
20.65/7.11	o 558456
20.65/7.11	o 559128
20.65/7.12	o 559201
20.65/7.12	o 559600
20.65/7.12	o 559695
20.65/7.12	o 559763
20.65/7.12	o 559970
20.65/7.12	o 560532
20.65/7.12	o 561113
20.65/7.12	o 561675
20.65/7.13	o 562195
20.65/7.13	o 562319
20.65/7.13	o 563462
20.65/7.13	o 564024
20.65/7.13	o 564496
20.65/7.13	o 565732
20.65/7.13	o 566294
20.65/7.13	o 566766
20.65/7.13	o 566875
20.65/7.13	o 567347
20.65/7.14	o 567437
20.65/7.14	o 567909
20.65/7.14	o 568246
20.65/7.14	o 568471
20.65/7.14	o 568890
20.65/7.14	o 569452
20.65/7.14	o 570033
20.65/7.14	o 570595
20.65/7.15	o 571067
20.65/7.15	o 571267
20.65/7.15	o 571689
20.65/7.15	o 572218
20.65/7.15	o 572362
20.65/7.15	o 572690
20.65/7.15	o 572924
20.65/7.15	o 573186
20.65/7.15	o 573281
20.65/7.16	o 573288
20.65/7.16	o 573396
20.65/7.16	o 573505
20.65/7.16	o 573977
20.65/7.16	o 574067
20.65/7.16	o 574539
20.65/7.16	o 574967
20.65/7.16	o 575097
20.65/7.16	o 575177
20.65/7.16	o 575882
20.65/7.17	o 576444
20.65/7.17	o 576705
20.65/7.17	o 578291
20.65/7.17	o 578853
20.65/7.17	o 579434
20.65/7.17	o 579996
20.65/7.17	o 580197
20.65/7.18	o 580640
20.65/7.18	o 580686
20.65/7.18	o 581158
20.65/7.18	o 581464
20.65/7.18	o 581559
20.65/7.18	o 581566
20.65/7.18	o 581661
20.65/7.18	o 581783
20.65/7.18	o 582345
20.65/7.18	o 582817
20.65/7.19	o 583595
20.65/7.19	o 584067
20.65/7.19	o 584677
20.65/7.19	o 584801
20.65/7.19	o 585944
20.65/7.19	o 586416
20.65/7.19	o 587210
20.65/7.19	o 587682
20.65/7.20	o 588353
20.65/7.20	o 588825
20.65/7.20	o 588915
20.65/7.20	o 589387
20.65/7.20	o 589629
20.65/7.20	o 590070
21.23/7.21	o 590623
21.23/7.21	o 591185
21.23/7.21	o 591766
21.23/7.21	o 592328
21.23/7.21	o 592800
21.23/7.21	o 593082
21.23/7.21	o 594225
21.23/7.21	o 594697
21.23/7.21	o 594787
21.23/7.21	o 595259
21.23/7.21	o 596311
21.23/7.21	o 596783
21.23/7.21	o 596873
21.23/7.22	o 597345
21.23/7.22	o 597517
21.23/7.22	o 597605
21.23/7.22	o 598077
21.23/7.22	o 598172
21.23/7.22	o 598179
21.23/7.22	o 598274
21.23/7.22	o 598379
21.23/7.23	o 598481
21.23/7.23	o 599050
21.23/7.23	o 599522
21.23/7.23	o 600316
21.23/7.23	o 601459
21.23/7.23	o 601931
21.23/7.23	o 602145
21.23/7.23	o 603473
21.23/7.23	o 603945
21.23/7.23	o 604616
21.23/7.23	o 605088
21.23/7.23	o 605190
21.23/7.24	o 605285
21.23/7.24	o 605883
21.23/7.24	o 605985
21.23/7.24	o 606145
21.23/7.24	o 606472
21.23/7.24	o 606552
21.23/7.24	o 606944
21.23/7.25	o 607034
21.23/7.25	o 607353
21.23/7.25	o 607448
21.23/7.25	o 607506
21.23/7.25	o 607515
21.23/7.25	o 607773
21.23/7.25	o 607863
21.23/7.25	o 607988
21.23/7.25	o 608460
21.23/7.26	o 608618
21.23/7.26	o 609090
21.23/7.26	o 609885
21.23/7.26	o 610357
21.23/7.26	o 610447
21.23/7.26	o 610919
21.23/7.27	o 611067
21.23/7.27	o 611239
21.23/7.27	o 611801
21.23/7.27	o 612382
21.23/7.27	o 612944
21.23/7.27	o 613416
21.23/7.28	o 613604
21.23/7.28	o 614076
21.23/7.28	o 614558
21.23/7.28	o 615312
21.23/7.28	o 616455
21.23/7.28	o 617017
21.23/7.29	o 617489
21.99/7.31	o 617520
21.99/7.31	o 617738
21.99/7.31	o 617833
21.99/7.31	o 618287
21.99/7.31	o 618759
21.99/7.31	o 618799
21.99/7.32	o 619615
21.99/7.32	o 620087
21.99/7.32	o 620182
21.99/7.32	o 620304
21.99/7.32	o 620813
21.99/7.32	o 621956
21.99/7.32	o 622428
21.99/7.32	o 622523
21.99/7.32	o 622772
21.99/7.32	o 623244
21.99/7.32	o 623339
21.99/7.32	o 623367
21.99/7.32	o 624415
21.99/7.32	o 624510
21.99/7.32	o 625231
21.99/7.32	o 625326
21.99/7.33	o 625703
21.99/7.33	o 625798
21.99/7.33	o 626498
21.99/7.33	o 626970
21.99/7.33	o 627065
21.99/7.37	o 627344
21.99/7.37	o 627446
21.99/7.37	o 627816
21.99/7.37	o 627918
21.99/7.38	o 628013
21.99/7.38	o 628611
21.99/7.38	o 629083
21.99/7.38	o 629178
21.99/7.38	o 629185
21.99/7.39	o 629280
22.77/7.43	o 629451
22.77/7.43	o 629778
22.77/7.43	o 630594
22.77/7.43	o 631106
22.77/7.43	o 631922
22.77/7.43	o 632394
22.77/7.43	o 632496
22.77/7.43	o 632591
22.77/7.43	o 633565
22.77/7.43	o 634037
22.77/7.44	o 634132
22.77/7.44	o 634139
22.77/7.44	o 634234
22.77/7.44	o 634381
22.77/7.44	o 634483
22.77/7.44	o 634853
22.77/7.44	o 634955
22.77/7.44	o 635050
22.77/7.44	o 635304
22.77/7.44	o 635399
22.77/7.44	o 635648
22.77/7.45	o 636120
22.77/7.45	o 636215
22.77/7.45	o 636222
22.77/7.45	o 636317
22.77/7.46	o 636394
22.77/7.46	o 636496
22.77/7.46	o 636591
22.77/7.46	o 636845
22.77/7.46	o 636940
22.77/7.46	o 637189
22.77/7.46	o 637661
22.77/7.46	o 637756
22.77/7.46	o 637763
22.77/7.46	o 637858
22.77/7.49	o 638209
22.77/7.49	o 638499
22.77/7.49	o 638971
22.77/7.49	o 639520
22.77/7.49	o 640032
22.77/7.49	o 640848
22.77/7.49	o 641320
22.77/7.49	o 641422
22.77/7.49	o 641517
22.77/7.49	o 641771
22.77/7.50	o 641873
22.77/7.50	o 641968
22.77/7.50	o 642115
22.77/7.50	o 642210
22.77/7.50	o 642587
22.77/7.50	o 642682
23.54/7.50	o 642689
23.54/7.50	o 642784
23.54/7.52	o 642880
23.54/7.52	o 642990
23.54/7.52	o 643067
23.54/7.52	o 643215
23.54/7.52	o 643326
23.54/7.52	o 643798
23.54/7.52	o 644051
23.54/7.52	o 644867
23.54/7.52	o 645339
23.54/7.52	o 645362
23.54/7.52	o 645510
23.54/7.52	o 645621
23.54/7.52	o 646093
23.54/7.52	o 647162
23.54/7.52	o 647634
23.54/7.53	o 647978
23.54/7.53	o 648450
23.54/7.53	o 648552
23.54/7.53	o 648647
23.54/7.53	o 648779
23.54/7.53	o 649123
23.54/7.53	o 649595
23.54/7.53	o 649931
23.54/7.53	o 650144
23.54/7.53	o 650329
23.54/7.53	o 650656
23.54/7.54	o 651472
23.54/7.54	o 651944
23.54/7.54	o 651972
23.54/7.54	o 653115
23.54/7.54	o 653587
23.54/7.54	o 653931
23.54/7.54	o 654403
23.54/7.54	o 654583
23.54/7.54	o 654685
23.54/7.54	o 655083
23.54/7.54	o 656226
23.54/7.54	o 657042
23.54/7.54	o 657514
23.54/7.54	o 657616
23.54/7.54	o 657711
23.54/7.55	o 657733
23.54/7.55	o 657740
23.54/7.55	o 657835
23.54/7.55	o 658309
23.54/7.55	o 658411
23.54/7.55	o 658781
23.54/7.55	o 658883
23.54/7.55	o 658978
23.54/7.56	o 659184
23.54/7.56	o 659656
23.54/7.56	o 659696
23.54/7.56	o 660512
23.54/7.56	o 660984
23.54/7.56	o 661086
23.54/7.56	o 661181
23.54/7.56	o 661374
23.54/7.56	o 662045
23.54/7.56	o 662517
23.54/7.56	o 662619
23.54/7.56	o 662714
23.54/7.57	o 662861
23.54/7.57	o 662963
23.54/7.57	o 663058
23.54/7.57	o 663333
23.54/7.57	o 663428
23.54/7.57	o 663435
23.54/7.57	o 663530
23.54/7.57	o 663545
23.54/7.57	o 664504
23.54/7.57	o 664606
23.54/7.57	o 664976
23.54/7.57	o 665078
23.54/7.57	o 665320
23.54/7.57	o 665792
23.54/7.57	o 665894
23.54/7.57	o 665989
23.54/7.58	o 666587
23.54/7.58	o 666689
23.54/7.58	o 666784
23.54/7.58	o 667059
23.54/7.58	o 667154
23.54/7.58	o 667161
23.54/7.58	o 667256
24.35/7.61	o 667424
24.35/7.61	o 667896
24.35/7.61	o 668740
24.35/7.61	o 669883
24.35/7.61	o 670355
24.35/7.61	o 670457
24.35/7.61	o 670699
24.35/7.63	o 670801
24.35/7.63	o 671171
24.35/7.63	o 671273
24.35/7.63	o 671368
24.35/7.63	o 671622
24.35/7.63	o 671966
24.35/7.63	o 672438
24.35/7.64	o 672533
24.35/7.64	o 672540
24.35/7.64	o 672635
24.35/7.66	o 672883
24.35/7.66	o 673227
24.35/7.66	o 673699
24.35/7.66	o 673801
24.35/7.66	o 674035
24.35/7.66	o 674137
24.35/7.66	o 674760
24.35/7.66	o 675576
24.35/7.67	o 675678
24.35/7.67	o 676048
24.35/7.67	o 676150
24.35/7.67	o 676245
24.35/7.67	o 676331
24.35/7.67	o 676516
24.35/7.67	o 677659
24.35/7.67	o 678890
24.35/7.67	o 679623
24.35/7.67	o 679771
24.35/7.68	o 680354
24.35/7.68	o 681895
24.35/7.68	o 683038
24.35/7.68	o 683854
24.35/7.68	o 684326
24.35/7.68	o 684421
24.35/7.68	o 684428
24.35/7.68	o 684523
24.35/7.68	o 685121
24.35/7.68	o 685223
24.35/7.69	o 685593
24.35/7.69	o 685695
24.35/7.69	o 685790
25.21/7.73	o 686026
25.21/7.74	o 686128
25.21/7.74	o 686239
25.21/7.74	o 686424
25.21/7.74	o 687567
25.21/7.74	o 687669
25.21/7.74	o 688383
25.21/7.74	o 688485
25.21/7.74	o 688855
25.21/7.74	o 688957
25.21/7.74	o 689052
25.21/7.74	o 690026
25.21/7.74	o 690842
25.21/7.74	o 691314
25.21/7.74	o 691409
25.21/7.74	o 691416
25.21/7.74	o 691511
25.21/7.74	o 691765
25.21/7.74	o 692109
25.21/7.75	o 692581
25.21/7.75	o 692683
25.21/7.75	o 692778
25.94/7.85	o 692907
25.94/7.86	o 693009
25.94/7.86	o 693104
25.94/7.86	o 693402
25.94/7.86	o 693497
25.94/7.86	o 694218
25.94/7.86	o 694313
25.94/7.86	o 694403
25.94/7.86	o 694730
25.94/7.86	o 695546
25.94/7.86	o 695641
25.94/7.86	o 696018
25.94/7.86	o 696113
25.94/7.86	o 696120
25.94/7.86	o 696215
25.94/7.86	o 696371
25.94/7.87	o 696769
25.94/7.87	o 697096
25.94/7.87	o 697912
25.94/7.87	o 698384
25.94/7.87	o 698486
25.94/7.87	o 698581
25.94/7.87	o 698674
25.94/7.87	o 698835
25.94/7.87	o 698930
25.94/7.87	o 698937
25.94/7.87	o 699032
25.94/7.87	o 699179
25.94/7.88	o 699281
25.94/7.88	o 699651
25.94/7.88	o 699753
25.94/7.88	o 699848
25.94/7.88	o 699941
27.59/8.02	o 700639
27.59/8.03	o 700741
27.59/8.03	o 701037
27.59/8.03	o 702180
27.59/8.03	o 702282
27.59/8.03	o 702652
27.59/8.03	o 702754
27.59/8.03	o 702849
27.59/8.03	o 702996
27.59/8.03	o 703091
27.59/8.03	o 703468
27.59/8.03	o 703563
27.59/8.03	o 703570
27.59/8.03	o 703665
27.59/8.03	o 703690
27.59/8.03	o 703792
27.59/8.04	o 704546
27.59/8.04	o 705018
27.59/8.04	o 705120
27.59/8.04	o 705362
27.59/8.04	o 705834
27.59/8.04	o 705936
27.59/8.04	o 706031
27.59/8.04	o 706629
27.59/8.04	o 706731
27.59/8.04	o 706826
27.59/8.04	o 707101
27.59/8.04	o 707196
27.59/8.04	o 707203
27.59/8.05	o 707298
27.59/8.06	o 707391
28.39/8.19	o 707406
28.39/8.19	o 707702
28.39/8.19	o 708373
28.39/8.19	o 708845
28.39/8.19	o 708947
28.39/8.19	o 709042
28.39/8.19	o 709135
28.39/8.19	o 709640
28.39/8.19	o 709742
28.39/8.19	o 709837
28.39/8.19	o 710112
28.39/8.19	o 710207
28.39/8.19	o 710214
28.39/8.20	o 710309
28.39/8.20	o 710402
29.92/8.38	o 710491
29.92/8.39	o 710733
29.92/8.39	o 710835
29.92/8.39	o 711205
29.92/8.39	o 711307
29.92/8.39	o 711402
29.92/8.39	o 711495
31.51/8.59	o 711526
32.30/8.60	o 711656
32.30/8.60	o 712000
32.30/8.60	o 712472
32.30/8.60	o 712567
32.30/8.60	o 712574
32.30/8.60	o 712669
32.30/8.60	o 712762
35.55/9.11	o 712908
36.32/9.11	o 713003
36.32/9.11	o 713010
36.32/9.11	o 713105
36.32/9.11	o 713121
36.32/9.11	o 713223
36.32/9.11	o 713977
36.32/9.12	o 714449
36.32/9.12	o 714551
36.32/9.12	o 714646
36.32/9.12	o 714739
36.32/9.12	o 714841
36.32/9.12	o 714936
36.32/9.12	o 715547
36.32/9.12	o 715642
36.32/9.12	o 715760
36.32/9.12	o 715945
36.32/9.12	o 716272
36.32/9.12	o 717088
36.32/9.12	o 717183
36.32/9.12	o 717190
36.32/9.13	o 717285
36.32/9.13	o 717560
36.32/9.13	o 717662
36.32/9.13	o 717757
36.32/9.13	o 717913
36.32/9.13	o 718008
36.32/9.13	o 718638
36.32/9.13	o 719454
36.32/9.13	o 719549
36.32/9.13	o 719926
36.32/9.13	o 720021
36.32/9.13	o 720028
36.32/9.13	o 720123
36.32/9.13	o 720216
36.32/9.14	o 720721
36.32/9.14	o 721193
36.32/9.14	o 721295
36.32/9.14	o 721390
36.32/9.14	o 721483
36.32/9.15	o 721519
36.32/9.15	o 721649
36.32/9.15	o 722465
36.32/9.15	o 722567
36.32/9.15	o 722662
36.32/9.15	o 722937
36.32/9.15	o 723039
36.32/9.15	o 723134
36.32/9.15	o 723732
36.32/9.15	o 723827
36.32/9.15	o 724204
36.32/9.15	o 724299
36.32/9.16	o 724306
36.32/9.16	o 724401
36.32/9.16	o 724494
41.83/9.90	o 724684
41.83/9.90	o 725028
41.83/9.90	o 725500
41.83/9.90	o 725595
41.83/9.90	o 725602
41.83/9.90	o 725697
42.63/9.90	o 725790
42.63/9.90	o 726145
42.63/9.90	o 726247
42.63/9.90	o 726342
42.63/9.90	o 726367
42.63/9.90	o 726462
42.63/9.90	o 726711
42.63/9.91	o 727183
42.63/9.91	o 727278
42.63/9.91	o 727318
42.63/9.91	o 728039
42.63/9.91	o 728134
42.63/9.91	o 728511
42.63/9.91	o 728606
42.63/9.91	o 728613
42.63/9.91	o 728708
42.63/9.91	o 728801
42.63/9.92	o 729306
42.63/9.92	o 729778
42.63/9.92	o 729880
42.63/9.92	o 729975
42.63/9.92	o 730068
49.76/10.88	o 730233
49.76/10.89	o 730328
49.76/10.89	o 730335
49.76/10.89	o 730430
49.76/10.89	o 730705
49.76/10.89	o 730807
49.76/10.89	o 730902
49.76/10.89	o 731058
49.76/10.89	o 731456
49.76/10.89	o 731783
49.76/10.89	o 732599
49.76/10.89	o 732701
49.76/10.89	o 732796
49.76/10.89	o 733071
49.76/10.89	o 733173
49.76/10.89	o 733268
50.55/10.90	o 733361
50.55/10.90	o 733866
50.55/10.90	o 733961
50.55/10.90	o 734338
50.55/10.90	o 734433
50.55/10.90	o 734440
50.55/10.90	o 734535
50.55/10.90	o 734628
50.55/10.92	o 734794
50.55/10.93	o 734896
50.55/10.93	o 735610
50.55/10.93	o 735712
50.55/10.93	o 736082
50.55/10.93	o 736184
50.55/10.93	o 736279
50.55/10.93	o 736372
50.55/10.93	o 736877
50.55/10.93	o 737349
50.55/10.94	o 737444
50.55/10.94	o 737451
50.55/10.94	o 737546
50.55/10.94	o 737639
69.68/13.39	o 737694
69.68/13.40	o 737860
69.68/13.40	o 738676
69.68/13.40	o 739148
69.68/13.40	o 739250
69.68/13.40	o 739345
69.68/13.40	o 739438
69.68/13.40	o 739943
69.68/13.40	o 740045
69.68/13.40	o 740415
69.68/13.40	o 740517
69.68/13.40	o 740612
69.68/13.40	o 740705
70.47/13.41	o 740748
70.47/13.42	o 740843
70.47/13.42	o 741419
70.47/13.42	o 741891
70.47/13.42	o 741986
70.47/13.42	o 742235
70.47/13.42	o 742330
70.47/13.42	o 742707
70.47/13.42	o 742802
70.47/13.42	o 742809
70.47/13.42	o 742904
70.47/13.42	o 742997
70.47/13.42	o 743158
70.47/13.42	o 743502
70.47/13.42	o 743974
70.47/13.42	o 744076
70.47/13.42	o 744171
70.47/13.43	o 744264
70.47/13.43	o 744430
70.47/13.43	o 745246
70.47/13.43	o 745348
70.47/13.43	o 745443
70.47/13.43	o 745718
70.47/13.43	o 745813
70.47/13.43	o 745820
70.47/13.43	o 745915
70.47/13.43	o 746008
70.47/13.43	o 746513
70.47/13.43	o 746615
70.47/13.43	o 746985
70.47/13.43	o 747087
70.47/13.44	o 747182
70.47/13.44	o 747275
74.31/13.91	o 747680
74.31/13.91	o 747865
74.31/13.91	o 748192
74.31/13.91	o 748536
74.31/13.92	o 749008
74.31/13.92	o 749103
74.31/13.92	o 749110
74.31/13.92	o 749205
74.31/13.92	o 749298
74.31/13.93	o 749350
74.31/13.94	o 749575
74.31/13.94	o 749677
74.31/13.94	o 750391
74.31/13.94	o 750493
74.31/13.94	o 750863
74.31/13.94	o 750965
74.31/13.95	o 751042
74.31/13.95	o 751088
74.31/13.95	o 751190
74.31/13.95	o 751597
74.31/13.95	o 751924
74.31/13.95	o 752740
74.31/13.95	o 753212
74.31/13.95	o 753314
74.31/13.95	o 753409
74.31/13.95	o 754290
74.31/13.95	o 754762
74.31/13.95	o 754864
74.31/13.95	o 754959
74.31/13.96	o 755106
74.31/13.96	o 755578
74.31/13.96	o 755673
74.31/13.96	o 755680
74.31/13.96	o 755775
74.31/13.96	o 755868
75.17/14.11	o 756029
75.17/14.11	o 756131
75.17/14.12	o 756373
75.17/14.12	o 756845
75.17/14.12	o 756947
75.17/14.12	o 757042
75.17/14.12	o 757135
79.09/14.52	o 757261
79.09/14.52	o 757363
79.09/14.53	o 757458
79.09/14.53	o 757773
79.09/14.53	o 757868
79.09/14.53	o 758117
79.09/14.53	o 758589
79.09/14.53	o 758684
79.09/14.53	o 758691
79.09/14.53	o 758786
79.09/14.53	o 758879
79.09/14.53	o 759040
79.09/14.53	o 759384
79.09/14.53	o 759856
79.09/14.53	o 759958
79.09/14.53	o 760053
79.09/14.54	o 760146
111.74/18.64	o 760194
111.74/18.65	o 760284
111.74/18.65	o 760756
111.74/18.69	o 760801
111.74/18.70	o 761055
111.74/18.70	o 761399
111.74/18.70	o 761871
111.74/18.70	o 761973
111.74/18.70	o 762068
112.60/18.72	o 762161
146.03/23.00	o 762187
146.89/23.01	o 762406
146.89/23.01	o 762501
146.89/23.01	o 762508
146.89/23.01	o 762603
146.89/23.01	o 763262
146.89/23.01	o 763364
146.89/23.01	o 763734
146.89/23.01	o 763836
146.89/23.01	o 763931
146.89/23.01	o 764185
146.89/23.02	o 764529
146.89/23.02	o 765001
146.89/23.02	o 765096
146.89/23.02	o 765103
146.89/23.02	o 765198
146.89/23.09	o 765291
150.80/23.53	o 765296
164.36/25.21	o 765601
164.36/25.22	o 766073
172.33/26.29	o 766316
172.33/26.30	o 766878
172.33/26.30	o 767533
172.33/26.30	o 768676
172.33/26.30	o 769238
172.33/26.30	o 769710
172.33/26.30	o 770046
172.33/26.30	o 770518
172.33/26.30	o 771025
172.33/26.30	o 771587
172.33/26.30	o 772059
197.02/29.38	o 772084
197.02/29.38	o 772177
206.53/30.55	o 772197
206.53/30.56	o 772358
206.53/30.56	o 772702
206.53/30.56	o 773174
206.53/30.56	o 773276
206.53/30.56	o 773371
206.53/30.56	o 773464
208.12/30.80	o 773490
208.92/30.81	o 773583
208.92/30.83	o 773749
208.92/30.84	o 774565
208.92/30.84	o 774667
208.92/30.84	o 774762
208.92/30.84	o 775037
208.92/30.84	o 775139
208.92/30.84	o 775234
208.92/30.84	o 775327
208.92/30.84	o 775832
208.92/30.84	o 775927
208.92/30.84	o 776304
208.92/30.84	o 776399
208.92/30.84	o 776406
208.92/30.84	o 776501
208.92/30.84	o 776594
219.35/32.16	o 776665
219.35/32.17	o 777137
219.35/32.17	o 777239
219.35/32.17	o 777329
219.35/32.17	o 777699
219.35/32.17	o 777801
225.67/32.90	o 778016
225.67/32.90	o 778106
225.67/32.92	o 778578
227.33/33.14	o 778699
227.33/33.14	o 778738
227.33/33.14	o 779011
227.33/33.14	o 779592
227.33/33.14	o 780154
227.33/33.14	o 781181
227.33/33.14	o 781743
227.33/33.14	o 782215
227.33/33.15	o 782387
227.33/33.15	o 783530
227.33/33.15	o 784002
227.33/33.15	o 784092
227.33/33.15	o 784564
279.06/39.62	o 784728
279.06/39.62	o 785200
279.06/39.62	o 785488
279.06/39.62	o 785536
279.06/39.62	o 785934
279.06/39.62	o 786515
279.06/39.62	o 787077
279.06/39.62	o 787549
362.03/50.03	o 787635
362.03/50.03	o 787725
362.03/50.03	o 788095
362.03/50.03	o 788197
362.03/50.03	o 788293
362.03/50.03	o 788383
362.03/50.03	o 788855
362.03/50.03	o 789410
362.03/50.03	o 789972
362.03/50.03	o 790444
362.03/50.03	o 790546
388.27/53.30	o 790739
388.27/53.30	o 790761
388.27/53.30	o 790851
388.27/53.30	o 791323
388.27/53.31	o 791517
388.27/53.31	o 792079
388.27/53.31	o 792783
388.27/53.31	o 793926
388.27/53.31	o 794488
388.27/53.31	o 794960
388.27/53.31	o 795132
388.27/53.31	o 795694
388.27/53.31	o 796166
388.27/53.31	o 796275
388.27/53.31	o 796747
388.27/53.31	o 796837
388.27/53.31	o 797309
481.57/65.06	o 797368
481.57/65.06	o 797458
481.57/65.08	o 797930
481.57/65.08	o 798485
481.57/65.08	o 799047
481.57/65.08	o 799519
481.57/65.08	o 799765
481.57/65.08	o 799855
481.57/65.08	o 800327
481.57/65.08	o 800615
481.57/65.08	o 801642
481.57/65.08	o 802204
481.57/65.08	o 802676
483.07/65.24	o 802993
483.07/65.24	o 803083
483.07/65.25	o 803555
772.29/101.50	o 803587
772.29/101.50	o 804142
772.29/101.50	o 804704
772.29/101.51	o 805176
784.31/103.06	o 805493
784.31/103.06	o 805583
784.31/103.07	o 806055
1466.39/189.14	o 806203
1466.39/189.14	o 806675
1466.39/189.16	o 807082
1466.39/189.16	o 807554
1471.03/189.70	o 807662
1471.03/189.71	o 807757
1491.52/192.34	o 807920
1491.52/192.35	o 808392
1497.15/193.05	o 808775
1497.15/193.06	o 809247
1497.15/193.10	o 809304
1497.15/193.10	o 809727
1497.15/193.11	o 810015
1497.15/193.11	o 810487
1497.15/193.11	o 810873
1497.15/193.11	o 811345
1497.15/193.11	o 811604
1497.15/193.11	o 812076
1497.15/193.11	o 812412
1497.15/193.11	o 812884
1497.15/193.11	o 813172
1497.15/193.11	o 813618
1497.94/193.12	o 814030
1497.94/193.12	o 814199
1497.94/193.12	o 814761
1497.94/193.12	o 815233
1499.45/193.30	o 815550
1499.45/193.31	o 815640
1499.45/193.31	o 816112
1930.40/247.94	o 816489
1930.40/247.94	o 816961
1930.40/247.95	o 816969
1930.40/247.95	o 817441
1930.40/247.95	o 817777
1930.40/247.95	o 818756
1930.40/247.95	o 819318
1930.40/247.95	o 819790
1930.40/247.95	o 820036
1930.40/247.95	o 820126
1930.40/247.95	o 820598
1930.40/247.95	o 820886
1930.40/247.95	o 820934
1930.40/247.95	o 821332
1930.40/247.96	o 821913
1930.40/247.96	o 822475
1930.40/247.96	o 822947
1932.05/248.14	o 823264
1932.05/248.15	o 823354
1932.05/248.15	o 823826
2177.12/279.16	o 823849
2177.12/279.18	o 823939
2177.12/279.18	o 824411
2177.12/279.18	o 824472
2177.12/279.18	o 825034
2177.12/279.18	o 825506
2177.12/279.18	o 825678
2177.12/279.18	o 825739
2177.12/279.18	o 826211
2177.12/279.18	o 826301
2177.12/279.18	o 826773
2872.29/367.07	o 826829
2970.10/379.44	o 826915
2970.10/379.44	o 827010
2970.10/379.45	o 827375
2970.10/379.45	o 827477
2970.10/379.45	o 827572
2970.10/379.45	o 827669
2970.10/379.45	o 827764
2970.10/379.45	o 828141
2970.10/379.45	o 828236
2970.10/379.45	o 828243
2970.10/379.45	o 828338
2974.93/380.04	o 828532
2974.93/380.04	o 828634
2974.93/380.05	o 828729
2974.93/380.05	o 828826
2974.93/380.05	o 828921
2974.93/380.05	o 829298
2974.93/380.05	o 829393
2974.93/380.05	o 829400
2974.93/380.05	o 829495
2975.73/380.15	o 829654
2975.73/380.15	o 829756
2975.73/380.15	o 829998
2975.73/380.15	o 830470
2975.73/380.15	o 830572
2975.73/380.15	o 830667
2975.73/380.15	o 830757
2975.73/380.16	o 831032
2975.73/380.16	o 831134
2975.73/380.16	o 831229
2975.73/380.16	o 831326
2975.73/380.16	o 831421
2975.73/380.16	o 831798
2975.73/380.16	o 831893
2975.73/380.16	o 831900
2975.73/380.17	o 831995
2994.66/382.51	o 832058
2994.66/382.52	o 832153
3023.78/386.26	o 832177
3023.78/386.26	o 832272
3025.37/386.49	o 832586
3026.15/386.50	o 832688
3026.15/386.50	o 832783
3026.15/386.56	o 832942
3026.15/386.57	o 833037
3026.15/386.57	o 833044
3026.15/386.57	o 833139
3026.15/386.57	o 833286
3026.15/386.57	o 833388
3026.15/386.57	o 833758
3026.15/386.57	o 833860
3026.15/386.57	o 833955
3026.15/386.57	o 834320
3026.15/386.57	o 834415
3026.15/386.57	o 834422
3026.15/386.57	o 834517
3026.15/386.57	o 834614
3026.15/386.57	o 834716
3026.15/386.57	o 835086
3026.15/386.57	o 835188
3026.15/386.58	o 835283
3144.10/401.48	o 835427
3144.10/401.49	o 835529
3144.10/401.49	o 835624
3500.91/446.60	o 835931
3500.91/446.60	o 836026
3501.76/446.61	o 836033
3501.76/446.61	o 836128
3543.55/451.98	o 836225
3543.55/451.98	o 836327
3543.55/451.98	o 836697
3543.55/451.98	o 836799
3543.55/451.98	o 836894
3629.63/462.84	o 836986
3629.63/462.85	o 837458
3629.63/462.85	o 837553
3629.63/462.85	o 837560
3629.63/462.85	o 837655
3629.63/462.85	o 838020
3629.63/462.85	o 838122
3629.63/462.85	o 838217
3629.63/462.85	o 838314
3629.63/462.85	o 838409
3629.63/462.85	o 838786
3629.63/462.85	o 838881
3629.63/462.85	o 838888
3629.63/462.85	o 838983
3629.63/462.86	o 839141
3629.63/462.86	o 839236
3629.63/462.87	o 839324
3710.17/473.03	o 839720
3710.17/473.04	o 840192
3710.17/473.05	o 840425
3710.17/473.05	o 840987
3710.17/473.05	o 841459
4651.51/592.13	o 841753
4651.51/592.13	o 842082
4651.51/592.14	o 842172
4651.51/592.14	o 842644
4651.51/592.14	o 843020
4651.51/592.14	o 843439
4651.51/592.14	o 843911
4651.51/592.14	o 844071
4651.51/592.14	o 844543
4719.50/600.72	o 844618
4729.86/602.01	o 845035
4729.86/602.01	o 845564
4729.86/602.02	o 846126
4729.86/602.02	o 846598
4729.86/602.03	o 847603
4729.86/602.03	o 848075
4729.86/602.03	o 848165
4729.86/602.04	o 848637
4729.86/602.04	o 848747
4729.86/602.04	o 849083
4729.86/602.04	o 850062
4729.86/602.04	o 850624
4729.86/602.04	o 851096
4729.86/602.08	o 851188
4739.26/603.27	o 851232
4739.26/603.28	o 851322
4739.26/603.28	o 851794
4741.58/603.56	o 851896
4741.58/603.57	o 852368
4741.58/603.57	o 852668
4741.58/603.57	o 853140
4741.58/603.57	o 853250
4741.58/603.57	o 853586
4741.58/603.57	o 853930
4741.58/603.57	o 854036
4741.58/603.57	o 854565
4741.58/603.57	o 855127
4741.58/603.57	o 855599
4741.58/603.57	o 855832
4741.58/603.57	o 856304
4741.58/603.58	o 856394
4741.58/603.58	o 856866
5615.92/713.83	o 856964
5615.92/713.83	o 857436
5615.92/713.88	o 857652
5615.92/713.89	o 857657
5615.92/713.90	o 857683
5615.92/713.90	o 858133
5615.92/713.90	o 858662
5615.92/713.90	o 859224
5615.92/713.90	o 859696
5615.92/713.90	o 859806
5615.92/713.90	o 859924
5615.92/713.90	o 860030
5615.92/713.90	o 861121
5615.92/713.90	o 861593
5616.76/713.92	o 861683
5616.76/713.92	o 862155
5616.76/713.92	o 862388
5616.76/713.92	o 862950
5616.76/713.92	o 863422
6082.57/772.87	o 863613
6749.98/857.16	o 863863
6749.98/857.17	o 864335
6749.98/857.17	o 864755
6749.98/857.17	o 865284
6749.98/857.17	o 865846
6749.98/857.17	o 866318
7198.38/913.74	o 866505
7198.38/913.74	o 866696
7203.15/914.40	o 866805
7203.15/914.40	o 867277
7203.93/914.40	o 867468
7203.93/914.40	o 867578
7203.93/914.40	o 867612
7203.93/914.40	o 868083
7203.93/914.40	o 868173
7203.93/914.40	o 868645
7203.93/914.40	o 868702
7203.93/914.41	o 869264
7203.93/914.41	o 869736
7203.93/914.41	o 869927
7203.93/914.41	o 869969
7203.93/914.41	o 870441
7203.93/914.41	o 870632
7203.93/914.41	o 870722
7203.93/914.41	o 871003
7203.93/914.41	o 871194
8410.15/1066.61	o 871252
8410.15/1066.61	o 871724
8410.15/1066.61	o 871915
8410.15/1066.62	o 871957
8410.15/1066.62	o 872519
8410.15/1066.62	o 872710
8410.15/1066.62	o 872991
8410.15/1066.62	o 873182
8959.25/1135.90	o 873250
8959.25/1135.91	o 873345
8959.25/1135.91	o 873812
8959.25/1135.91	o 873907
8959.25/1135.91	o 874106
8959.25/1135.91	o 874578
8959.25/1135.91	o 874673
8961.64/1136.26	o 874736
8961.64/1136.26	o 874831
8969.58/1137.23	o 874854
8969.58/1137.23	o 875326
8969.58/1137.23	o 875421
8973.55/1137.73	o 875484
8973.55/1137.74	o 875579
9074.27/1150.44	o 875835
9074.27/1150.44	o 875930
9100.28/1153.70	o 875993
9100.28/1153.71	o 876465
9100.28/1153.71	o 876567
9100.28/1153.71	o 876662
9100.28/1153.71	o 876752
9100.28/1153.71	o 877027
9100.28/1153.71	o 877129
9100.28/1153.71	o 877224
9100.28/1153.74	o 877268
9100.28/1153.74	o 877633
9100.28/1153.74	o 877728
9100.28/1153.74	o 877735
9100.28/1153.74	o 877830
9100.28/1153.75	o 877914
9100.28/1153.75	o 878279
9100.28/1153.75	o 878381
9100.28/1153.75	o 878476
9100.28/1153.75	o 878559
9100.28/1153.75	o 878649
9100.28/1153.75	o 878924
9100.28/1153.75	o 879026
9100.28/1153.75	o 879121
9100.28/1153.75	o 879187
9100.28/1153.75	o 879282
9100.28/1153.75	o 879585
9100.28/1153.75	o 879637
9100.28/1153.75	o 880256
9100.28/1153.75	o 880728
9100.28/1153.76	o 880823
9100.28/1153.76	o 880830
9100.28/1153.76	o 880925
9100.28/1153.76	o 881290
9100.28/1153.76	o 881392
9100.28/1153.76	o 881487
9101.08/1153.81	o 881499
9101.08/1153.82	o 881594
9101.08/1153.82	o 881971
9101.08/1153.82	o 882066
9101.08/1153.82	o 882533
9101.08/1153.82	o 882628
9101.08/1153.82	o 882668
9101.08/1153.82	o 882763
9101.08/1153.82	o 882774
9101.08/1153.82	o 883865
9101.08/1153.82	o 883960
9101.08/1153.82	o 884337
9101.08/1153.82	o 884432
9101.08/1153.82	o 884899
9101.08/1153.82	o 884994
9137.64/1158.42	o 885085
9137.64/1158.42	o 885180
9137.64/1158.42	o 885647
9137.64/1158.43	o 885742
9170.13/1162.56	o 885760
9175.69/1163.26	o 885941
9175.69/1163.26	o 886036
9175.69/1163.26	o 886413
9175.69/1163.26	o 886508
9216.87/1168.46	o 886561
9216.87/1168.46	o 886655
9216.87/1168.46	o 887127
9216.87/1168.46	o 887798
9216.87/1168.46	o 888270
9216.87/1168.46	o 888365
9216.87/1168.46	o 888455
9216.87/1168.46	o 888832
9216.87/1168.47	o 888927
9216.87/1168.47	o 889126
9216.87/1168.47	o 889598
9216.87/1168.47	o 889693
9216.87/1168.49	o 889874
9216.87/1168.49	o 889969
9216.87/1168.49	o 890346
9216.87/1168.49	o 890441
11178.53/1416.08	o 890537
11178.53/1416.09	o 890632
12662.34/1603.40	o 890721
12663.09/1603.41	o 890912
12800.47/1620.78	o 891099
12800.47/1620.78	o 891571
12800.47/1620.78	o 892126
12800.47/1620.78	o 892688
12800.47/1620.78	o 893160
13721.24/1737.07	o 893220
13721.24/1737.07	o 893316
13721.24/1737.08	o 893411
13721.24/1737.08	o 893419
13721.24/1737.08	o 893610
13721.24/1737.08	o 893891
13721.24/1737.08	o 894082
13721.24/1737.08	o 894177
13721.24/1737.09	o 894639
13721.24/1737.09	o 894734
13721.24/1737.09	o 894830
13721.24/1737.09	o 894925
13853.40/1753.78	o 894988
13853.40/1753.79	o 895083
14744.97/1866.36	o 895348
14744.97/1866.36	o 895820
14744.97/1866.37	o 895910
14744.97/1866.37	o 896382
14748.92/1866.85	o 896838
14748.92/1866.85	o 897400
14748.92/1866.86	o 897872
14748.92/1866.86	o 897969
14748.92/1866.86	o 898059
14748.92/1866.86	o 898531
14748.92/1866.86	o 898867
14748.92/1866.86	o 899265
14748.92/1866.86	o 899846
14748.92/1866.86	o 900408
14748.92/1866.86	o 900880
15879.96/2009.56	o 901071
18152.64/2296.02	o 901225
18152.64/2296.03	o 901327
18152.64/2296.03	o 901596
18152.64/2296.03	o 901787
18152.64/2296.03	o 901889
18152.64/2296.03	o 902003
18152.64/2296.03	o 902475
18152.64/2296.03	o 902666
18152.64/2296.03	o 902823
18152.64/2296.03	o 903104
18152.64/2296.03	o 903295
18152.64/2296.03	o 903350
18152.64/2296.03	o 903440
18152.64/2296.03	o 903912
18152.64/2296.03	o 904419
18152.64/2296.03	o 904981
18152.64/2296.04	o 905453
18152.64/2296.04	o 905644
18152.64/2296.04	o 905741
18152.64/2296.04	o 906112
18152.64/2296.04	o 906303
18152.64/2296.04	o 906310
18152.64/2296.04	o 906400
18152.64/2296.04	o 906872
18152.64/2296.04	o 907427
18152.64/2296.04	o 907989
18152.64/2296.04	o 908461
18152.64/2296.04	o 908652
19924.17/2520.09	s SATISFIABLE
19924.17/2520.09	v <instantiation>
19924.17/2520.09	v 	<list>
19924.17/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]
19924.17/2520.09	v 	</list>
19924.17/2520.09	v 	<values>
19924.17/2520.09	v 		0 0 1 0 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 
19924.17/2520.09	v 	</values>
19924.17/2520.09	v </instantiation>

Verifier Data 

OK	908652

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291730-1532634487/watcher-4291730-1532634487 -o /tmp/evaluation-result-4291730-1532634487/solver-4291730-1532634487 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532631955-9064 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 799311906 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291730-1532634487.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=9425, runsolver pid=9422

[startup+0.100148 s]*
/proc/loadavg: 8.91 8.83 8.76 2/198 9445
/proc/meminfo: memFree=20239556/32770624 swapFree=67108860/67108860
[pid=9425] ppid=9422 vsize=26103424 memory=32344 CPUtime=0.11 cores=0-7
/proc/9425/stat : 9425 (java) S 9422 9425 9037 0 -1 1077944320 7504 0 0 0 10 1 0 0 20 0 20 0 81011855 26729906176 8020 33554432000 4194304 4196468 140722288125280 140722288107824 140417910996727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
/proc/9425/statm: 6525856 8086 3139 1 0 6487932 0
[pid=9425/tid=9427] ppid=9422 vsize=26103424 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9425/task/9427/stat : 9427 (java) R 9422 9425 9037 0 -1 4202560 5596 0 0 0 8 1 0 0 20 0 20 0 81011855 26729906176 8105 33554432000 4194304 4196468 140722288125280 140417915217936 140417895077214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9428] ppid=9422 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9425/task/9428/stat : 9428 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 8105 33554432000 4194304 4196468 140722288125280 140417863617552 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9429] ppid=9422 vsize=26103424 memory=139801427342976 CPUtime=0 cores=0-7
/proc/9425/task/9429/stat : 9429 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 8105 33554432000 4194304 4196468 140722288125280 140417862565008 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9430] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9430/stat : 9430 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 8105 33554432000 4194304 4196468 140722288125280 140417861511952 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9431] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9431/stat : 9431 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 8105 33554432000 4194304 4196468 140722288125280 140417860459408 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9432] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9432/stat : 9432 (java) S 9422 9425 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 8105 33554432000 4194304 4196468 140722288125280 140417859406352 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9433] ppid=9422 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9425/task/9433/stat : 9433 (java) S 9422 9425 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 8105 33554432000 4194304 4196468 140722288125280 140417858353808 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9434] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9434/stat : 9434 (java) S 9422 9425 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 8105 33554432000 4194304 4196468 140722288125280 140417857300752 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9435] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9435/stat : 9435 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 8105 33554432000 4194304 4196468 140722288125280 140417856248208 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9436] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9436/stat : 9436 (java) S 9422 9425 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81011857 26729906176 8105 33554432000 4194304 4196468 140722288125280 140416161635056 140417911007874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9437] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9437/stat : 9437 (java) S 9422 9425 9037 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81011858 26729906176 8105 33554432000 4194304 4196468 140722288125280 140416160581280 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9438] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9438/stat : 9438 (java) S 9422 9425 9037 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81011858 26729906176 8105 33554432000 4194304 4196468 140722288125280 140416159528176 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9439] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9439/stat : 9439 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011860 26729906176 8105 33554432000 4194304 4196468 140722288125280 140416158476752 140417911015323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9440] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9440/stat : 9440 (java) S 9422 9425 9037 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 81011860 26729906176 8105 33554432000 4194304 4196468 140722288125280 140416157423856 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9441] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9441/stat : 9441 (java) S 9422 9425 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81011860 26729906176 8105 33554432000 4194304 4196468 140722288125280 140416156371312 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9442] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9442/stat : 9442 (java) S 9422 9425 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81011860 26729906176 8105 33554432000 4194304 4196468 140722288125280 140416155318256 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9443] ppid=9422 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/9425/task/9443/stat : 9443 (java) R 9422 9425 9037 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 81011860 26729906176 8105 33554432000 4194304 4196468 140722288125280 140416154265712 140417892225096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9444] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9444/stat : 9444 (java) S 9422 9425 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81011861 26729906176 8105 33554432000 4194304 4196468 140722288125280 140416153213920 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9445] ppid=9422 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9425/task/9445/stat : 9445 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011861 26729906176 8105 33554432000 4194304 4196468 140722288125280 140416152161456 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 32344 KiB

[startup+0.210008 s]*
/proc/loadavg: 8.91 8.83 8.76 4/198 9445
/proc/meminfo: memFree=20227584/32770624 swapFree=67108860/67108860
[pid=9425] ppid=9422 vsize=26103424 memory=43336 CPUtime=0.3 cores=0-7
/proc/9425/stat : 9425 (java) S 9422 9425 9037 0 -1 1077944320 10508 0 0 0 28 2 0 0 20 0 20 0 81011855 26729906176 10834 33554432000 4194304 4196468 140722288125280 140722288107824 140417910996727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
/proc/9425/statm: 6525856 10834 3346 1 0 6487932 0
[pid=9425/tid=9427] ppid=9422 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/9425/task/9427/stat : 9427 (java) R 9422 9425 9037 0 -1 4202560 8287 0 0 0 19 1 0 0 20 0 20 0 81011855 26729906176 10834 33554432000 4194304 4196468 140722288125280 140417915224256 140417911018074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9428] ppid=9422 vsize=26103424 memory=12970 CPUtime=0 cores=0-7
/proc/9425/task/9428/stat : 9428 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 10834 33554432000 4194304 4196468 140722288125280 140417863617552 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9429] ppid=9422 vsize=26103424 memory=139801427352557 CPUtime=0 cores=0-7
/proc/9425/task/9429/stat : 9429 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 10834 33554432000 4194304 4196468 140722288125280 140417862565008 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9430] ppid=9422 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9425/task/9430/stat : 9430 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 10834 33554432000 4194304 4196468 140722288125280 140417861511952 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9431] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9431/stat : 9431 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 10834 33554432000 4194304 4196468 140722288125280 140417860459408 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9432] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9432/stat : 9432 (java) S 9422 9425 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 10834 33554432000 4194304 4196468 140722288125280 140417859406352 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9433] ppid=9422 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9425/task/9433/stat : 9433 (java) S 9422 9425 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 10834 33554432000 4194304 4196468 140722288125280 140417858353808 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9434] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9434/stat : 9434 (java) S 9422 9425 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 10834 33554432000 4194304 4196468 140722288125280 140417857300752 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9435] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9435/stat : 9435 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 10834 33554432000 4194304 4196468 140722288125280 140417856248208 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9436] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9436/stat : 9436 (java) S 9422 9425 9037 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81011857 26729906176 10834 33554432000 4194304 4196468 140722288125280 140416161635056 140417911007874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9437] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9437/stat : 9437 (java) S 9422 9425 9037 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81011858 26729906176 10834 33554432000 4194304 4196468 140722288125280 140416160581280 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9438] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9438/stat : 9438 (java) S 9422 9425 9037 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81011858 26729906176 10834 33554432000 4194304 4196468 140722288125280 140416159528176 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9439] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9439/stat : 9439 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011860 26729906176 10834 33554432000 4194304 4196468 140722288125280 140416158476752 140417911015323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9440] ppid=9422 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/9425/task/9440/stat : 9440 (java) S 9422 9425 9037 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 20 0 81011860 26729906176 10834 33554432000 4194304 4196468 140722288125280 140416157423856 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9441] ppid=9422 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/9425/task/9441/stat : 9441 (java) S 9422 9425 9037 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 81011860 26729906176 10834 33554432000 4194304 4196468 140722288125280 140416156371312 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9442] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9442/stat : 9442 (java) S 9422 9425 9037 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 81011860 26729906176 10834 33554432000 4194304 4196468 140722288125280 140416155318256 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9443] ppid=9422 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/9425/task/9443/stat : 9443 (java) S 9422 9425 9037 0 -1 1077944384 287 0 0 0 6 0 0 0 20 0 20 0 81011860 26729906176 10834 33554432000 4194304 4196468 140722288125280 140416154265712 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9444] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9444/stat : 9444 (java) S 9422 9425 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81011861 26729906176 10834 33554432000 4194304 4196468 140722288125280 140416153213920 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9445] ppid=9422 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9425/task/9445/stat : 9445 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011861 26729906176 10834 33554432000 4194304 4196468 140722288125280 140416152161456 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43336 KiB

[startup+0.309409 s]*
/proc/loadavg: 8.91 8.83 8.76 3/198 9445
/proc/meminfo: memFree=20224352/32770624 swapFree=67108860/67108860
[pid=9425] ppid=9422 vsize=26103424 memory=46888 CPUtime=0.43 cores=0-7
/proc/9425/stat : 9425 (java) S 9422 9425 9037 0 -1 1077944320 10903 0 0 0 41 2 0 0 20 0 20 0 81011855 26729906176 11722 33554432000 4194304 4196468 140722288125280 140722288107824 140417910996727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
/proc/9425/statm: 6525856 11722 3375 1 0 6487932 0
[pid=9425/tid=9427] ppid=9422 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9425/task/9427/stat : 9427 (java) R 9422 9425 9037 0 -1 4202560 8609 0 0 0 28 1 0 0 20 0 20 0 81011855 26729906176 11722 33554432000 4194304 4196468 140722288125280 140417915217864 140417895077214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9428] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9428/stat : 9428 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 11722 33554432000 4194304 4196468 140722288125280 140417863617552 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9429] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9429/stat : 9429 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 11722 33554432000 4194304 4196468 140722288125280 140417862565008 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9430] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9430/stat : 9430 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 11722 33554432000 4194304 4196468 140722288125280 140417861511952 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9431] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9431/stat : 9431 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 11722 33554432000 4194304 4196468 140722288125280 140417860459408 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9432] ppid=9422 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/9425/task/9432/stat : 9432 (java) S 9422 9425 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 11722 33554432000 4194304 4196468 140722288125280 140417859406352 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9433] ppid=9422 vsize=26103424 memory=139801319797679 CPUtime=0 cores=0-7
/proc/9425/task/9433/stat : 9433 (java) S 9422 9425 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 11722 33554432000 4194304 4196468 140722288125280 140417858353808 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9434] ppid=9422 vsize=26103424 memory=139801319799984 CPUtime=0 cores=0-7
/proc/9425/task/9434/stat : 9434 (java) S 9422 9425 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 11722 33554432000 4194304 4196468 140722288125280 140417857300752 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9435] ppid=9422 vsize=26103424 memory=139801319802288 CPUtime=0 cores=0-7
/proc/9425/task/9435/stat : 9435 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26729906176 11722 33554432000 4194304 4196468 140722288125280 140417856248208 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9436] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9436/stat : 9436 (java) S 9422 9425 9037 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81011857 26729906176 11722 33554432000 4194304 4196468 140722288125280 140416161635056 140417911007874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9437] ppid=9422 vsize=26103424 memory=279602639611536 CPUtime=0 cores=0-7
/proc/9425/task/9437/stat : 9437 (java) S 9422 9425 9037 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81011858 26729906176 11722 33554432000 4194304 4196468 140722288125280 140416160581280 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9438] ppid=9422 vsize=26103424 memory=279602639618448 CPUtime=0 cores=0-7
/proc/9425/task/9438/stat : 9438 (java) S 9422 9425 9037 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81011858 26729906176 11722 33554432000 4194304 4196468 140722288125280 140416159528176 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9439] ppid=9422 vsize=26103424 memory=279602639559728 CPUtime=0 cores=0-7
/proc/9425/task/9439/stat : 9439 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011860 26729906176 11722 33554432000 4194304 4196468 140722288125280 140416158476752 140417911015323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9440] ppid=9422 vsize=26103424 memory=279602639632272 CPUtime=0.01 cores=0-7
/proc/9425/task/9440/stat : 9440 (java) S 9422 9425 9037 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 20 0 81011860 26729906176 11722 33554432000 4194304 4196468 140722288125280 140416157423856 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9441] ppid=9422 vsize=26103424 memory=279602639639184 CPUtime=0.02 cores=0-7
/proc/9425/task/9441/stat : 9441 (java) S 9422 9425 9037 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 81011860 26729906176 11722 33554432000 4194304 4196468 140722288125280 140416156371312 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9442] ppid=9422 vsize=26103424 memory=279602639636880 CPUtime=0 cores=0-7
/proc/9425/task/9442/stat : 9442 (java) S 9422 9425 9037 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 81011860 26729906176 11722 33554432000 4194304 4196468 140722288125280 140416155318256 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9443] ppid=9422 vsize=26103424 memory=279602639653488 CPUtime=0.08 cores=0-7
/proc/9425/task/9443/stat : 9443 (java) S 9422 9425 9037 0 -1 1077944384 294 0 0 0 8 0 0 0 20 0 20 0 81011860 26729906176 11722 33554432000 4194304 4196468 140722288125280 140416154265712 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9444] ppid=9422 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9444/stat : 9444 (java) S 9422 9425 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81011861 26729906176 11722 33554432000 4194304 4196468 140722288125280 140416153213920 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9445] ppid=9422 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9425/task/9445/stat : 9445 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011861 26729906176 11722 33554432000 4194304 4196468 140722288125280 140416152161456 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46888 KiB

[startup+0.70086 s]
/proc/loadavg: 8.91 8.83 8.76 2/198 9445
/proc/meminfo: memFree=20200540/32770624 swapFree=67108860/67108860
[pid=9425] ppid=9422 vsize=26105492 memory=87652 CPUtime=0.99 cores=0-7
/proc/9425/stat : 9425 (java) S 9422 9425 9037 0 -1 1077944320 17850 0 0 0 94 5 0 0 20 0 20 0 81011855 26732023808 21913 33554432000 4194304 4196468 140722288125280 140722288107824 140417910996727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
/proc/9425/statm: 6526373 21913 3498 1 0 6488444 0
[pid=9425/tid=9427] ppid=9422 vsize=26105492 memory=0 CPUtime=0.68 cores=0-7
/proc/9425/task/9427/stat : 9427 (java) R 9422 9425 9037 0 -1 4202560 15068 0 0 0 64 4 0 0 20 0 20 0 81011855 26732023808 21913 33554432000 4194304 4196468 140722288125280 140417915219392 140417895077214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9428] ppid=9422 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9428/stat : 9428 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26732023808 21913 33554432000 4194304 4196468 140722288125280 140417863617552 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9429] ppid=9422 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9429/stat : 9429 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26732023808 21913 33554432000 4194304 4196468 140722288125280 140417862565008 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9430] ppid=9422 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9425/task/9430/stat : 9430 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26732023808 21913 33554432000 4194304 4196468 140722288125280 140417861511952 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9431] ppid=9422 vsize=26105492 memory=792 CPUtime=0 cores=0-7
/proc/9425/task/9431/stat : 9431 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26732023808 21913 33554432000 4194304 4196468 140722288125280 140417860459408 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9432] ppid=9422 vsize=26105492 memory=1716 CPUtime=0 cores=0-7
/proc/9425/task/9432/stat : 9432 (java) S 9422 9425 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81011856 26732023808 21913 33554432000 4194304 4196468 140722288125280 140417859406352 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9433] ppid=9422 vsize=26105492 memory=1952 CPUtime=0 cores=0-7
/proc/9425/task/9433/stat : 9433 (java) S 9422 9425 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81011856 26732023808 21913 33554432000 4194304 4196468 140722288125280 140417858353808 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9434] ppid=9422 vsize=26105492 memory=8572 CPUtime=0 cores=0-7
/proc/9425/task/9434/stat : 9434 (java) S 9422 9425 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81011856 26732023808 21913 33554432000 4194304 4196468 140722288125280 140417857300752 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9435] ppid=9422 vsize=26105492 memory=15872 CPUtime=0 cores=0-7
/proc/9425/task/9435/stat : 9435 (java) S 9422 9425 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81011856 26732023808 21913 33554432000 4194304 4196468 140722288125280 140417856248208 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9436] ppid=9422 vsize=26105492 memory=4012 CPUtime=0 cores=0-7
/proc/9425/task/9436/stat : 9436 (java) S 9422 9425 9037 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81011857 26732023808 21913 33554432000 4194304 4196468 140722288125280 140416161635056 140417911007874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0

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

/proc/9425/task/9449/stat : 9449 (java) R 9422 9425 9037 0 -1 4202560 65236 0 0 0 247729 58 0 0 20 0 46 0 81012382 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416133453696 140417542193348 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9450] ppid=9422 vsize=27850528 memory=4640 CPUtime=2480.32 cores=0-7
/proc/9425/task/9450/stat : 9450 (java) R 9422 9425 9037 0 -1 4202560 66317 0 0 0 247973 59 0 0 20 0 46 0 81012382 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416132400776 140417537261927 0 4 0 16800975 0 0 0 -1 3 0 0 32 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9451] ppid=9422 vsize=27850528 memory=3276756 CPUtime=2477.97 cores=0-7
/proc/9425/task/9451/stat : 9451 (java) R 9422 9425 9037 0 -1 4202560 60588 0 0 0 247740 57 0 0 20 0 46 0 81012389 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416129252640 140417537262594 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9452] ppid=9422 vsize=27850528 memory=4100 CPUtime=2478.46 cores=0-7
/proc/9425/task/9452/stat : 9452 (java) R 9422 9425 9037 0 -1 4202560 60559 0 0 0 247793 53 0 0 20 0 46 0 81012389 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416128201872 140417537266219 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9453] ppid=9422 vsize=27850528 memory=-6733704525061579059 CPUtime=2480.22 cores=0-7
/proc/9425/task/9453/stat : 9453 (java) R 9422 9425 9037 0 -1 4202560 59111 0 0 0 247971 51 0 0 20 0 46 0 81012389 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416127146368 140417895335610 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9454] ppid=9422 vsize=27850528 memory=4100 CPUtime=0.07 cores=0-7
/proc/9425/task/9454/stat : 9454 (java) S 9422 9425 9037 0 -1 1077944384 366 0 0 0 7 0 0 0 20 0 46 0 81012389 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416126100880 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9455] ppid=9422 vsize=27850528 memory=4126316290023845779 CPUtime=2478.28 cores=0-7
/proc/9425/task/9455/stat : 9455 (java) R 9422 9425 9037 0 -1 4202560 63919 0 0 0 247775 53 0 0 20 0 46 0 81012390 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416125042160 140417537264899 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9456] ppid=9422 vsize=27850528 memory=912 CPUtime=0.02 cores=0-7
/proc/9425/task/9456/stat : 9456 (java) S 9422 9425 9037 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 46 0 81012390 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416123995280 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9457] ppid=9422 vsize=27850528 memory=4126316290023845779 CPUtime=0.02 cores=0-7
/proc/9425/task/9457/stat : 9457 (java) S 9422 9425 9037 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 46 0 81012390 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416122942736 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9458] ppid=9422 vsize=27850528 memory=4136 CPUtime=2477.98 cores=0-7
/proc/9425/task/9458/stat : 9458 (java) R 9422 9425 9037 0 -1 4202560 66758 0 0 0 247743 55 0 0 20 0 46 0 81012390 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416076237928 140417537117677 0 4 0 16800975 0 0 0 -1 7 0 0 36 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9459] ppid=9422 vsize=27850528 memory=1404 CPUtime=2477.04 cores=0-7
/proc/9425/task/9459/stat : 9459 (java) R 9422 9425 9037 0 -1 4202560 58661 0 0 0 247649 55 0 0 20 0 46 0 81012399 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416075186656 140417537001080 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9460] ppid=9422 vsize=27850528 memory=3276332 CPUtime=0.02 cores=0-7
/proc/9425/task/9460/stat : 9460 (java) S 9422 9425 9037 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 46 0 81012463 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416072005264 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9461] ppid=9422 vsize=27850528 memory=8112282956445269571 CPUtime=0.03 cores=0-7
/proc/9425/task/9461/stat : 9461 (java) S 9422 9425 9037 0 -1 1077944384 346 0 0 0 3 0 0 0 20 0 46 0 81012464 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416070952720 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9462] ppid=9422 vsize=27850528 memory=8112282956445269571 CPUtime=0.02 cores=0-7
/proc/9425/task/9462/stat : 9462 (java) S 9422 9425 9037 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 46 0 81012465 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416069899664 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9463] ppid=9422 vsize=27850528 memory=3276332 CPUtime=0.02 cores=0-7
/proc/9425/task/9463/stat : 9463 (java) S 9422 9425 9037 0 -1 1077944384 313 0 0 0 2 0 0 0 20 0 46 0 81012466 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416068847120 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9464] ppid=9422 vsize=27850528 memory=8112282956445269571 CPUtime=0.02 cores=0-7
/proc/9425/task/9464/stat : 9464 (java) S 9422 9425 9037 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 46 0 81012467 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416067794064 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9465] ppid=9422 vsize=27850528 memory=-6733704525061579059 CPUtime=0.03 cores=0-7
/proc/9425/task/9465/stat : 9465 (java) S 9422 9425 9037 0 -1 1077944384 424 0 0 0 3 0 0 0 20 0 46 0 81012467 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416066741520 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9466] ppid=9422 vsize=27850528 memory=4126316290023845779 CPUtime=0.02 cores=0-7
/proc/9425/task/9466/stat : 9466 (java) S 9422 9425 9037 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 46 0 81012467 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416065688464 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9467] ppid=9422 vsize=27850528 memory=3276332 CPUtime=0.02 cores=0-7
/proc/9425/task/9467/stat : 9467 (java) S 9422 9425 9037 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 46 0 81012467 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416064635920 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9468] ppid=9422 vsize=27850528 memory=3276332 CPUtime=0.01 cores=0-7
/proc/9425/task/9468/stat : 9468 (java) S 9422 9425 9037 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 46 0 81012471 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416063583888 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9469] ppid=9422 vsize=27850528 memory=4100 CPUtime=0.01 cores=0-7
/proc/9425/task/9469/stat : 9469 (java) S 9422 9425 9037 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 46 0 81012473 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416062531344 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9470] ppid=9422 vsize=27850528 memory=3276332 CPUtime=0.01 cores=0-7
/proc/9425/task/9470/stat : 9470 (java) S 9422 9425 9037 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 46 0 81012476 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416061478288 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9471] ppid=9422 vsize=27850528 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/9425/task/9471/stat : 9471 (java) S 9422 9425 9037 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 46 0 81012479 28518940672 819189 33554432000 4194304 4196468 140722288125280 140416060425744 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
Current children cumulated CPU time: 19924.2 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 3276756 KiB

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

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

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

[startup+2520.2 s]
/proc/loadavg: 8.88 8.92 8.83 10/225 9537
/proc/meminfo: memFree=16987080/32770624 swapFree=67108860/67108860
[pid=9425] ppid=9422 vsize=27984684 memory=3277584 CPUtime=19925.6 cores=0-7
/proc/9425/stat : 9425 (java) S 9422 9425 9037 0 -1 1077944320 1640164 0 0 0 1991608 951 0 0 20 0 48 0 81011855 28656316416 819396 33554432000 4194304 4196468 140722288125280 140722288107824 140417910996727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
/proc/9425/statm: 6996171 819396 3629 1 0 6957721 0
[pid=9425/tid=9427] ppid=9422 vsize=27984684 memory=288230583166042426 CPUtime=5.23 cores=0-7
/proc/9425/task/9427/stat : 9427 (java) S 9422 9425 9037 0 -1 1077944384 22240 0 0 0 515 8 0 0 20 0 48 0 81011855 28656316416 819396 33554432000 4194304 4196468 140722288125280 140417915234192 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9428] ppid=9422 vsize=27984684 memory=16102567671237208 CPUtime=9.29 cores=0-7
/proc/9425/task/9428/stat : 9428 (java) S 9422 9425 9037 0 -1 1077944384 113554 0 0 0 874 55 0 0 20 0 48 0 81011856 28656316416 819396 33554432000 4194304 4196468 140722288125280 140417863617552 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9429] ppid=9422 vsize=27984684 memory=4012 CPUtime=9.32 cores=0-7
/proc/9425/task/9429/stat : 9429 (java) S 9422 9425 9037 0 -1 1077944384 107228 0 0 0 873 59 0 0 20 0 48 0 81011856 28656316416 819396 33554432000 4194304 4196468 140722288125280 140417862565008 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9430] ppid=9422 vsize=27984684 memory=13988 CPUtime=9.26 cores=0-7
/proc/9425/task/9430/stat : 9430 (java) S 9422 9425 9037 0 -1 1077944384 105086 0 0 0 870 56 0 0 20 0 48 0 81011856 28656316416 819396 33554432000 4194304 4196468 140722288125280 140417861511952 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9431] ppid=9422 vsize=27984684 memory=18484 CPUtime=9.3 cores=0-7
/proc/9425/task/9431/stat : 9431 (java) S 9422 9425 9037 0 -1 1077944384 96118 0 0 0 877 53 0 0 20 0 48 0 81011856 28656316416 819396 33554432000 4194304 4196468 140722288125280 140417860459408 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9432] ppid=9422 vsize=27984684 memory=644 CPUtime=9.26 cores=0-7
/proc/9425/task/9432/stat : 9432 (java) S 9422 9425 9037 0 -1 1077944384 97772 0 0 0 874 52 0 0 20 0 48 0 81011856 28656316416 819396 33554432000 4194304 4196468 140722288125280 140417859406352 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9433] ppid=9422 vsize=27984684 memory=1788 CPUtime=9.21 cores=0-7
/proc/9425/task/9433/stat : 9433 (java) S 9422 9425 9037 0 -1 1077944384 112331 0 0 0 867 54 0 0 20 0 48 0 81011856 28656316416 819396 33554432000 4194304 4196468 140722288125280 140417858353808 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9434] ppid=9422 vsize=27984684 memory=952 CPUtime=9.25 cores=0-7
/proc/9425/task/9434/stat : 9434 (java) S 9422 9425 9037 0 -1 1077944384 105174 0 0 0 871 54 0 0 20 0 48 0 81011856 28656316416 819396 33554432000 4194304 4196468 140722288125280 140417857300752 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9435] ppid=9422 vsize=27984684 memory=1240 CPUtime=9.31 cores=0-7
/proc/9425/task/9435/stat : 9435 (java) S 9422 9425 9037 0 -1 1077944384 115613 0 0 0 880 51 0 0 20 0 48 0 81011856 28656316416 819396 33554432000 4194304 4196468 140722288125280 140417856248208 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9436] ppid=9422 vsize=27984684 memory=2340 CPUtime=7.24 cores=0-7
/proc/9425/task/9436/stat : 9436 (java) S 9422 9425 9037 0 -1 1077944384 176633 0 0 0 639 85 0 0 20 0 48 0 81011857 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416161635056 140417911007874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9437] ppid=9422 vsize=27984684 memory=1568 CPUtime=0 cores=0-7
/proc/9425/task/9437/stat : 9437 (java) S 9422 9425 9037 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 48 0 81011858 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416160581344 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9438] ppid=9422 vsize=27984684 memory=928 CPUtime=0 cores=0-7
/proc/9425/task/9438/stat : 9438 (java) S 9422 9425 9037 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 48 0 81011858 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416159528192 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9439] ppid=9422 vsize=27984684 memory=2240 CPUtime=0 cores=0-7
/proc/9425/task/9439/stat : 9439 (java) S 9422 9425 9037 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 48 0 81011860 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416158476752 140417911015323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9440] ppid=9422 vsize=27984684 memory=288230583166042426 CPUtime=1.55 cores=0-7
/proc/9425/task/9440/stat : 9440 (java) S 9422 9425 9037 0 -1 1077944384 8716 0 0 0 153 2 0 0 20 0 48 0 81011860 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416157423856 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9441] ppid=9422 vsize=27984684 memory=16102567671237208 CPUtime=1.56 cores=0-7
/proc/9425/task/9441/stat : 9441 (java) S 9422 9425 9037 0 -1 1077944384 9661 0 0 0 153 3 0 0 20 0 48 0 81011860 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416156371312 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9442] ppid=9422 vsize=27984684 memory=2340 CPUtime=1.51 cores=0-7
/proc/9425/task/9442/stat : 9442 (java) S 9422 9425 9037 0 -1 1077944384 10414 0 0 0 149 2 0 0 20 0 48 0 81011860 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416155318256 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9443] ppid=9422 vsize=27984684 memory=1568 CPUtime=1.29 cores=0-7
/proc/9425/task/9443/stat : 9443 (java) S 9422 9425 9037 0 -1 1077944384 15926 0 0 0 127 2 0 0 20 0 48 0 81011860 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416154265280 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9444] ppid=9422 vsize=27984684 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/9425/task/9444/stat : 9444 (java) S 9422 9425 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 81011861 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416153213920 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9445] ppid=9422 vsize=27984684 memory=288230583166042426 CPUtime=0.74 cores=0-7
/proc/9425/task/9445/stat : 9445 (java) S 9422 9425 9037 0 -1 1077944384 8946 0 0 0 31 43 0 0 20 0 48 0 81011861 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416152161456 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9446] ppid=9422 vsize=27984684 memory=16102567671237208 CPUtime=0.03 cores=0-7
/proc/9425/task/9446/stat : 9446 (java) S 9422 9425 9037 0 -1 1077944384 1774 0 0 0 3 0 0 0 20 0 48 0 81012344 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416140813264 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9447] ppid=9422 vsize=27984684 memory=3276756 CPUtime=1.99 cores=0-7
/proc/9425/task/9447/stat : 9447 (java) S 9422 9425 9037 0 -1 1077944384 22521 0 0 0 95 104 0 0 20 0 48 0 81012365 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416137663488 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9448] ppid=9422 vsize=27984684 memory=3276756 CPUtime=0.09 cores=0-7
/proc/9425/task/9448/stat : 9448 (java) S 9422 9425 9037 0 -1 1077944384 453 0 0 0 9 0 0 0 20 0 48 0 81012381 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416134513808 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9449] ppid=9422 vsize=27984684 memory=3276756 CPUtime=2478.04 cores=0-7
/proc/9425/task/9449/stat : 9449 (java) R 9422 9425 9037 0 -1 4202560 65270 0 0 0 247746 58 0 0 20 0 48 0 81012382 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416133455200 140417534413287 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9450] ppid=9422 vsize=27984684 memory=8112282956445269571 CPUtime=2480.47 cores=0-7
/proc/9425/task/9450/stat : 9450 (java) R 9422 9425 9037 0 -1 4202560 66336 0 0 0 247988 59 0 0 20 0 48 0 81012382 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416132400832 140417537264917 0 4 0 16800975 0 0 0 -1 2 0 0 32 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9451] ppid=9422 vsize=27984684 memory=12032 CPUtime=2478.13 cores=0-7
/proc/9425/task/9451/stat : 9451 (java) S 9422 9425 9037 0 -1 1077944384 60611 0 0 0 247756 57 0 0 20 0 48 0 81012389 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416129252448 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9452] ppid=9422 vsize=27984684 memory=1404 CPUtime=2478.62 cores=0-7
/proc/9425/task/9452/stat : 9452 (java) S 9422 9425 9037 0 -1 1077944384 60581 0 0 0 247809 53 0 0 20 0 48 0 81012389 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416128200416 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9453] ppid=9422 vsize=27984684 memory=0 CPUtime=2480.4 cores=0-7
/proc/9425/task/9453/stat : 9453 (java) R 9422 9425 9037 0 -1 4202560 59134 0 0 0 247989 51 0 0 20 0 48 0 81012389 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416127146560 140417537322369 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9454] ppid=9422 vsize=27984684 memory=4629771062077588875 CPUtime=0.07 cores=0-7
/proc/9425/task/9454/stat : 9454 (java) S 9422 9425 9037 0 -1 1077944384 420 0 0 0 7 0 0 0 20 0 48 0 81012389 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416126100880 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9455] ppid=9422 vsize=27984684 memory=24040 CPUtime=2478.43 cores=0-7
/proc/9425/task/9455/stat : 9455 (java) S 9422 9425 9037 0 -1 1077944384 63938 0 0 0 247790 53 0 0 20 0 48 0 81012390 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416125042272 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9456] ppid=9422 vsize=27984684 memory=1296 CPUtime=0.02 cores=0-7
/proc/9425/task/9456/stat : 9456 (java) S 9422 9425 9037 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 48 0 81012390 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416123989168 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9457] ppid=9422 vsize=27984684 memory=8112282956445269571 CPUtime=0.02 cores=0-7
/proc/9425/task/9457/stat : 9457 (java) R 9422 9425 9037 0 -1 4202560 573 0 0 0 2 0 0 0 20 0 48 0 81012390 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416122940512 140417891276101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9458] ppid=9422 vsize=27984684 memory=7163649664894724440 CPUtime=2478.14 cores=0-7
/proc/9425/task/9458/stat : 9458 (java) S 9422 9425 9037 0 -1 1077944384 66768 0 0 0 247759 55 0 0 20 0 48 0 81012390 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416076237792 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9459] ppid=9422 vsize=27984684 memory=7163649664894724440 CPUtime=2477.2 cores=0-7
/proc/9425/task/9459/stat : 9459 (java) R 9422 9425 9037 0 -1 4202560 58670 0 0 0 247665 55 0 0 20 0 48 0 81012399 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416075185576 140417892403026 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9460] ppid=9422 vsize=27984684 memory=7868698293292066403 CPUtime=0.02 cores=0-7
/proc/9425/task/9460/stat : 9460 (java) S 9422 9425 9037 0 -1 1077944384 566 0 0 0 2 0 0 0 20 0 48 0 81012463 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416072005264 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9461] ppid=9422 vsize=27984684 memory=7508410323102426723 CPUtime=0.03 cores=0-7
/proc/9425/task/9461/stat : 9461 (java) S 9422 9425 9037 0 -1 1077944384 557 0 0 0 3 0 0 0 20 0 48 0 81012464 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416070946000 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9462] ppid=9422 vsize=27984684 memory=7163649664894724440 CPUtime=0.02 cores=0-7
/proc/9425/task/9462/stat : 9462 (java) S 9422 9425 9037 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 48 0 81012465 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416069899664 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9463] ppid=9422 vsize=27984684 memory=0 CPUtime=0.02 cores=0-7
/proc/9425/task/9463/stat : 9463 (java) S 9422 9425 9037 0 -1 1077944384 313 0 0 0 2 0 0 0 20 0 48 0 81012466 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416068847120 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9464] ppid=9422 vsize=27984684 memory=288230376990847317 CPUtime=0.02 cores=0-7
/proc/9425/task/9464/stat : 9464 (java) S 9422 9425 9037 0 -1 1077944384 714 0 0 0 2 0 0 0 20 0 48 0 81012467 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416067794064 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9465] ppid=9422 vsize=27984684 memory=288292194572586130 CPUtime=0.03 cores=0-7
/proc/9425/task/9465/stat : 9465 (java) S 9422 9425 9037 0 -1 1077944384 452 0 0 0 3 0 0 0 20 0 48 0 81012467 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416066741520 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9466] ppid=9422 vsize=27984684 memory=7163649664894724440 CPUtime=0.02 cores=0-7
/proc/9425/task/9466/stat : 9466 (java) S 9422 9425 9037 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 48 0 81012467 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416065688464 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9467] ppid=9422 vsize=27984684 memory=7163649664894724440 CPUtime=0.02 cores=0-7
/proc/9425/task/9467/stat : 9467 (java) S 9422 9425 9037 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 48 0 81012467 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416064635920 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9468] ppid=9422 vsize=27984684 memory=7163649664894724440 CPUtime=0.02 cores=0-7
/proc/9425/task/9468/stat : 9468 (java) S 9422 9425 9037 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 48 0 81012471 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416063583888 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9469] ppid=9422 vsize=27984684 memory=7163649664894724440 CPUtime=0.01 cores=0-7
/proc/9425/task/9469/stat : 9469 (java) S 9422 9425 9037 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 48 0 81012473 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416062525136 140417911007874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9470] ppid=9422 vsize=27984684 memory=7163649664894724440 CPUtime=0.01 cores=0-7
/proc/9425/task/9470/stat : 9470 (java) S 9422 9425 9037 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 48 0 81012476 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416061478288 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
[pid=9425/tid=9471] ppid=9422 vsize=27984684 memory=7163649664894724440 CPUtime=0.01 cores=0-7
/proc/9425/task/9471/stat : 9471 (java) S 9422 9425 9037 0 -1 1077944384 409 0 0 0 1 0 0 0 20 0 48 0 81012479 28656316416 819396 33554432000 4194304 4196468 140722288125280 140416060419632 140417911006933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22507520 140722288133198 140722288133381 140722288133381 140722288136143 0
Current children cumulated CPU time: 19925.6 s
Current children cumulated vsize: 27984684 KiB
Current children cumulated memory: 3277584 KiB

Child status: 143
Real time (s): 2520.27
CPU time (s): 19925.9
CPU user time (s): 19916.4
CPU system time (s): 9.53168
CPU usage (%): 790.626
Max. virtual memory (cumulated for all children) (KiB): 27984684
Max. memory (cumulated for all children) (KiB): 3280136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19916.4
system time used= 9.53168
maximum resident set size= 3280396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1640555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 727275
involuntary context switches= 429258


# summary of solver processes directly reported to runsolver:
#   pid: 9425
#   total CPU time (s): 19925.9
#   total CPU user time (s): 19916.4
#   total CPU system time (s): 9.53168

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.3815 second user time and 37.0968 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-26 21:48:07
IDJOB=4291730
IDBENCH=141152
IDSOLVER=2745
FILE ID=node103/4291730-1532634487
RUNJOBID= node103-1532631955-9064
PBS_JOBID= 21022172
Free space on /tmp= 56536 MiB

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

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=799311906

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
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:        20257720 kB
MemAvailable:   31927832 kB
Buffers:          289260 kB
Cached:         11567244 kB
SwapCached:            0 kB
Active:          3893132 kB
Inactive:        8018024 kB
Active(anon):      57132 kB
Inactive(anon):    25180 kB
Active(file):    3836000 kB
Inactive(file):  7992844 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35780 kB
Writeback:             0 kB
AnonPages:         60444 kB
Mapped:            40436 kB
Shmem:             25228 kB
Slab:             296980 kB
SReclaimable:     269728 kB
SUnreclaim:        27252 kB
KernelStack:        3152 kB
PageTables:         5060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56500 MiB
End job on node103 at 2018-07-26 22:30:07