Trace number 4309271

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-08-14SAT (TO)952944 19926.3 2520.24

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.56	c version: 2018-08-14
0.66/0.56	c seed: 1309507514
0.66/0.56	c timeout: 20160
0.66/0.56	c memlimit: 22000
0.66/0.56	c nbcore: 8
0.66/0.59	c Parsing instance...
2.46/1.12	c Parsing done, starting search...
12.24/5.84	o 7362
12.24/5.85	o 14120
12.24/5.85	o 19173
12.24/5.86	o 25931
12.24/5.86	o 33324
12.24/5.86	o 45135
12.24/5.87	o 51893
12.96/5.90	o 57642
12.96/5.90	o 64400
12.96/5.91	o 69453
12.96/5.91	o 76211
12.96/5.91	o 79219
12.96/5.93	o 82985
12.96/5.93	o 94796
12.96/5.93	o 97804
12.96/5.93	o 100595
12.96/5.94	o 101554
12.96/5.94	o 104562
12.96/5.94	o 111002
12.96/5.96	o 114010
12.96/5.96	o 115682
12.96/5.96	o 119432
12.96/5.97	o 122440
12.96/5.97	o 127152
12.96/5.97	o 130160
12.96/5.97	o 132840
12.96/5.99	o 134398
12.96/5.99	o 135468
12.96/5.99	o 138476
12.96/5.99	o 141156
12.96/5.99	o 142109
12.96/5.99	o 143667
12.96/6.00	o 147745
12.96/6.00	o 150425
12.96/6.00	o 150753
12.96/6.00	o 153433
12.96/6.00	o 156929
12.96/6.00	o 159937
12.96/6.00	o 162617
12.96/6.00	o 163615
13.81/6.02	o 165645
13.81/6.02	o 168653
13.81/6.02	o 174829
13.81/6.02	o 177837
13.81/6.02	o 178835
13.81/6.02	o 180517
13.81/6.02	o 181515
13.81/6.02	o 183624
13.81/6.03	o 185035
13.81/6.03	o 187715
13.81/6.03	o 189747
13.81/6.03	o 192755
13.81/6.03	o 195435
13.81/6.05	o 196433
13.81/6.05	o 196877
13.81/6.05	o 197205
13.81/6.05	o 199885
13.81/6.06	o 201345
13.81/6.06	o 202343
13.81/6.06	o 203633
13.81/6.07	o 204183
13.81/6.07	o 206641
13.81/6.07	o 206863
13.81/6.07	o 209321
13.81/6.08	o 210319
13.81/6.10	o 211172
13.81/6.10	o 211428
13.81/6.10	o 212390
13.81/6.10	o 213460
13.81/6.10	o 216468
13.81/6.10	o 219148
13.81/6.10	o 221606
13.81/6.10	o 222604
13.81/6.11	o 225353
13.81/6.11	o 228033
13.81/6.12	o 230491
14.71/6.12	o 230880
14.71/6.13	o 234186
14.71/6.13	o 237638
14.71/6.14	o 240096
14.71/6.14	o 240318
14.71/6.14	o 242776
14.71/6.14	o 243326
14.71/6.14	o 245784
14.71/6.14	o 246782
14.71/6.15	o 248283
14.71/6.15	o 249281
14.71/6.16	o 249282
14.71/6.16	o 249610
14.71/6.16	o 249791
14.71/6.16	o 252290
14.71/6.17	o 254748
14.71/6.17	o 255746
14.71/6.18	o 256487
14.71/6.19	o 258986
14.71/6.19	o 259319
14.71/6.19	o 260272
14.71/6.19	o 262771
14.71/6.20	o 262952
14.71/6.20	o 265451
15.33/6.21	o 266449
15.33/6.21	o 266599
15.33/6.22	o 269607
15.33/6.22	o 272287
15.33/6.22	o 274786
15.33/6.22	o 275029
15.33/6.22	o 278037
15.33/6.22	o 280536
15.33/6.23	o 280717
15.33/6.23	o 283216
15.33/6.23	o 284214
15.33/6.23	o 285070
15.33/6.23	o 287750
15.33/6.23	o 290048
15.33/6.23	o 290492
15.33/6.24	o 293500
15.33/6.24	o 296180
15.33/6.24	o 298679
15.33/6.24	o 299677
15.33/6.24	o 301028
15.33/6.24	o 302026
15.33/6.24	o 302481
15.33/6.24	o 305161
15.33/6.26	o 307510
15.33/6.26	o 307660
15.33/6.26	o 310009
15.33/6.26	o 310287
15.33/6.30	o 311832
15.33/6.30	o 312636
15.33/6.30	o 314181
15.33/6.30	o 315355
15.33/6.30	o 316463
15.33/6.30	o 316791
15.33/6.30	o 316972
15.33/6.30	o 319471
15.33/6.30	o 321820
15.33/6.30	o 322818
15.33/6.30	o 323015
16.15/6.31	o 323679
16.15/6.31	o 324123
16.15/6.31	o 324451
16.15/6.31	o 327131
16.15/6.31	o 329480
16.15/6.31	o 331025
16.15/6.31	o 331840
16.15/6.31	o 332146
16.15/6.31	o 332151
16.15/6.31	o 333254
16.15/6.31	o 335603
16.15/6.32	o 336262
16.15/6.32	o 338611
16.15/6.32	o 340156
16.15/6.32	o 340487
16.15/6.32	o 341291
16.15/6.32	o 342836
16.15/6.32	o 343790
16.15/6.32	o 345335
16.15/6.32	o 346333
16.15/6.32	o 347795
16.15/6.32	o 348126
16.15/6.32	o 350475
16.15/6.34	o 350625
16.15/6.34	o 352974
16.15/6.34	o 353972
16.15/6.34	o 354082
16.15/6.34	o 356581
16.15/6.34	o 358930
16.15/6.34	o 359928
16.15/6.34	o 361935
16.15/6.34	o 362933
16.15/6.37	o 363342
16.15/6.37	o 363492
16.15/6.37	o 365841
16.15/6.37	o 366497
16.15/6.37	o 368846
16.15/6.37	o 369844
16.15/6.37	o 370011
16.15/6.37	o 370667
16.15/6.37	o 373016
16.15/6.38	o 374561
16.15/6.38	o 376696
16.15/6.38	o 377352
16.15/6.38	o 379701
16.15/6.38	o 379851
16.15/6.38	o 382200
16.15/6.38	o 382617
16.15/6.38	o 385408
16.15/6.39	o 387907
16.89/6.40	o 390256
16.89/6.40	o 391254
16.89/6.40	o 391349
16.89/6.41	o 391760
16.89/6.41	o 391855
16.89/6.41	o 394109
16.89/6.41	o 394204
16.89/6.42	o 394824
16.89/6.42	o 395628
16.89/6.42	o 395845
16.89/6.42	o 397173
16.89/6.42	o 397268
16.89/6.42	o 398636
16.89/6.42	o 399198
16.89/6.42	o 401135
16.89/6.42	o 401697
16.89/6.42	o 403484
16.89/6.42	o 404046
16.89/6.42	o 404141
16.89/6.42	o 404211
16.89/6.42	o 404812
16.89/6.43	o 404918
16.89/6.43	o 405415
16.89/6.43	o 405977
16.89/6.43	o 406428
16.89/6.43	o 406463
16.89/6.43	o 407926
16.89/6.43	o 408088
16.89/6.43	o 409041
16.89/6.43	o 409191
16.89/6.44	o 411540
16.89/6.44	o 412102
16.89/6.44	o 412197
16.89/6.44	o 412868
16.89/6.44	o 412963
16.89/6.44	o 413100
16.89/6.44	o 413195
16.89/6.44	o 413866
16.89/6.44	o 413961
16.89/6.44	o 414279
16.89/6.44	o 414536
16.89/6.45	o 415098
16.89/6.45	o 415206
16.89/6.45	o 415437
16.89/6.45	o 416665
16.89/6.45	o 416668
16.89/6.45	o 416831
16.89/6.46	o 417457
16.89/6.46	o 418019
16.89/6.46	o 418893
16.89/6.46	o 419455
16.89/6.46	o 421410
16.89/6.46	o 421916
16.89/6.46	o 422458
16.89/6.46	o 424003
16.89/6.46	o 424565
16.89/6.47	o 424744
16.89/6.47	o 425306
16.89/6.47	o 425548
16.89/6.47	o 427093
16.89/6.47	o 427655
16.89/6.47	o 428504
16.89/6.47	o 429066
16.89/6.48	o 430362
16.89/6.48	o 430924
16.89/6.48	o 431048
16.89/6.48	o 431610
16.89/6.48	o 431808
16.89/6.48	o 432370
16.89/6.48	o 433397
16.89/6.48	o 433959
16.89/6.48	o 434152
16.89/6.48	o 434190
16.89/6.48	o 434503
16.89/6.49	o 435036
16.89/6.49	o 435598
16.89/6.49	o 435686
16.89/6.49	o 435763
16.89/6.49	o 435850
16.89/6.49	o 436258
16.89/6.49	o 437604
16.89/6.50	o 437870
16.89/6.50	o 438342
16.89/6.50	o 438811
16.89/6.50	o 439283
16.89/6.50	o 439385
16.89/6.50	o 439953
17.53/6.50	o 440515
17.53/6.51	o 440621
17.53/6.51	o 440784
17.53/6.51	o 441262
17.53/6.51	o 441674
17.53/6.51	o 442219
17.53/6.51	o 444718
17.53/6.52	o 445162
17.53/6.52	o 446188
17.53/6.52	o 446750
17.53/6.52	o 446955
17.53/6.52	o 447089
17.53/6.52	o 448500
17.53/6.53	o 448972
17.53/6.53	o 449062
17.53/6.53	o 449534
17.53/6.53	o 449643
17.53/6.53	o 450205
17.53/6.53	o 450677
17.53/6.53	o 451479
17.53/6.54	o 451940
17.53/6.54	o 453173
17.53/6.54	o 453735
17.53/6.54	o 454132
17.53/6.54	o 454495
17.53/6.55	o 454737
17.53/6.55	o 455187
17.53/6.55	o 455720
17.53/6.55	o 456282
17.53/6.55	o 456754
17.53/6.55	o 457384
17.53/6.55	o 457856
17.53/6.56	o 458002
17.53/6.56	o 458474
17.53/6.56	o 459729
17.53/6.56	o 460291
17.53/6.56	o 460661
17.53/6.56	o 461223
17.53/6.56	o 461308
17.53/6.56	o 461398
17.53/6.56	o 461870
17.53/6.57	o 461892
17.53/6.57	o 462364
17.53/6.57	o 462603
17.53/6.57	o 462640
17.53/6.57	o 463002
17.53/6.57	o 463673
17.53/6.58	o 464145
17.53/6.58	o 464170
17.53/6.58	o 464390
17.53/6.58	o 464480
17.53/6.58	o 464952
17.53/6.58	o 465044
17.53/6.58	o 465111
17.53/6.58	o 465583
17.53/6.59	o 465900
17.53/6.59	o 466439
17.53/6.59	o 467001
17.53/6.59	o 467029
17.53/6.59	o 467511
17.53/6.59	o 467783
17.53/6.60	o 467854
17.53/6.60	o 468326
17.53/6.60	o 468416
17.53/6.60	o 468888
17.91/6.60	o 469038
17.91/6.60	o 469476
17.91/6.60	o 469570
17.91/6.60	o 470042
17.91/6.60	o 470132
17.91/6.61	o 470604
17.91/6.61	o 471045
17.91/6.61	o 471241
17.91/6.61	o 471894
17.91/6.61	o 472043
17.91/6.61	o 472605
17.91/6.61	o 472807
17.91/6.62	o 474352
17.91/6.62	o 474610
17.91/6.62	o 475172
17.91/6.62	o 475495
17.91/6.62	o 476057
17.91/6.62	o 476074
17.91/6.62	o 476636
17.91/6.62	o 477619
17.91/6.62	o 478181
17.91/6.63	o 478653
17.91/6.63	o 479716
17.91/6.63	o 480188
17.91/6.63	o 480295
17.91/6.63	o 480454
17.91/6.63	o 480697
17.91/6.63	o 480973
17.91/6.63	o 481445
17.91/6.64	o 481840
17.91/6.64	o 482165
17.91/6.64	o 482727
17.91/6.64	o 483199
17.91/6.64	o 483518
17.91/6.64	o 484189
17.91/6.64	o 484661
17.91/6.64	o 484751
17.91/6.64	o 485223
17.91/6.64	o 486346
17.91/6.65	o 486818
17.91/6.65	o 487201
17.91/6.65	o 487763
17.91/6.65	o 488235
17.91/6.65	o 488572
17.91/6.65	o 488866
17.91/6.65	o 489338
17.91/6.65	o 489428
17.91/6.65	o 489900
17.91/6.66	o 490280
17.91/6.66	o 490951
17.91/6.66	o 491423
17.91/6.66	o 491556
17.91/6.66	o 492510
17.91/6.66	o 492912
17.91/6.66	o 494055
17.91/6.66	o 494527
17.91/6.66	o 494617
17.91/6.66	o 495089
17.91/6.67	o 495557
17.91/6.67	o 496029
17.91/6.67	o 496427
17.91/6.67	o 496989
17.91/6.67	o 497404
17.91/6.67	o 497966
17.91/6.67	o 498438
17.91/6.68	o 498468
17.91/6.68	o 498940
17.91/6.68	o 499030
17.91/6.68	o 499502
17.91/6.68	o 499674
17.91/6.68	o 500236
17.91/6.68	o 500817
17.91/6.68	o 501379
17.91/6.68	o 501851
17.91/6.68	o 502433
17.91/6.68	o 502905
17.91/6.68	o 503092
17.91/6.69	o 503896
17.91/6.69	o 504030
17.91/6.69	o 504298
17.91/6.69	o 505441
17.91/6.69	o 505913
17.91/6.70	o 506003
17.91/6.70	o 506475
17.91/6.70	o 506543
17.91/6.70	o 506638
17.91/6.70	o 506652
17.91/6.70	o 507124
17.91/6.70	o 507214
17.91/6.70	o 507686
17.91/6.70	o 507781
17.91/6.70	o 508008
18.45/6.71	o 508570
18.45/6.71	o 508665
18.45/6.71	o 509151
18.45/6.71	o 509246
18.45/6.71	o 509713
18.45/6.71	o 509808
18.45/6.71	o 510185
18.45/6.71	o 510280
18.45/6.71	o 510479
18.45/6.71	o 510951
18.45/6.71	o 511046
18.45/6.71	o 511183
18.45/6.71	o 511278
18.45/6.71	o 511477
18.45/6.71	o 511949
18.45/6.71	o 512044
18.45/6.72	o 512212
18.45/6.72	o 512307
18.45/6.72	o 512611
18.45/6.72	o 512701
18.45/6.72	o 513173
18.45/6.72	o 513592
18.45/6.72	o 513687
18.45/6.72	o 513934
18.45/6.72	o 514326
18.45/6.72	o 514728
18.45/6.73	o 514778
18.45/6.73	o 515340
18.45/6.73	o 515812
18.45/6.73	o 515871
18.45/6.73	o 516343
18.45/6.73	o 516718
18.45/6.73	o 517077
18.45/6.73	o 517549
18.45/6.74	o 518220
18.45/6.75	o 518423
18.45/6.75	o 518692
18.45/6.75	o 518846
18.45/6.75	o 519408
18.45/6.75	o 519880
18.45/6.75	o 520068
18.45/6.75	o 520540
18.45/6.75	o 520945
18.45/6.75	o 521417
18.45/6.76	o 521823
18.45/6.76	o 521959
18.45/6.76	o 522380
18.45/6.76	o 523647
18.45/6.76	o 524790
18.45/6.76	o 525352
18.45/6.76	o 525824
18.45/6.77	o 526381
18.45/6.77	o 526943
18.45/6.77	o 527415
18.45/6.77	o 527463
18.45/6.77	o 527935
18.45/6.77	o 528730
18.45/6.77	o 529202
18.45/6.77	o 529292
18.45/6.77	o 529764
18.45/6.78	o 530261
18.45/6.78	o 530733
18.45/6.78	o 530835
18.45/6.78	o 531183
18.45/6.78	o 531655
18.45/6.78	o 531750
18.45/6.78	o 532304
18.45/6.78	o 532776
18.45/6.79	o 533618
18.45/6.79	o 534180
18.45/6.79	o 534652
18.45/6.79	o 534672
18.45/6.79	o 535762
18.45/6.79	o 536324
18.45/6.79	o 536796
18.45/6.79	o 536857
18.45/6.79	o 537329
18.45/6.80	o 537419
18.45/6.80	o 537891
18.45/6.80	o 538358
18.45/6.80	o 538891
18.45/6.80	o 539453
19.00/6.80	o 539502
19.00/6.81	o 540064
19.00/6.81	o 540536
19.00/6.81	o 540570
19.00/6.81	o 540707
19.00/6.81	o 541364
19.00/6.81	o 541836
19.00/6.81	o 542507
19.00/6.81	o 542979
19.00/6.81	o 543069
19.00/6.81	o 543541
19.00/6.81	o 543636
19.00/6.81	o 543835
19.00/6.81	o 543930
19.00/6.81	o 544307
19.00/6.81	o 544402
19.00/6.81	o 544808
19.00/6.81	o 544903
19.00/6.81	o 545102
19.00/6.81	o 545574
19.00/6.82	o 545669
19.00/6.82	o 545806
19.00/6.82	o 545901
19.00/6.82	o 546100
19.00/6.82	o 546572
19.00/6.83	o 546667
19.00/6.83	o 547081
19.00/6.83	o 547553
19.00/6.83	o 547584
19.00/6.83	o 548146
19.00/6.83	o 548618
19.00/6.83	o 548816
19.00/6.83	o 549262
19.00/6.83	o 549933
19.00/6.84	o 550405
19.00/6.84	o 550495
19.00/6.84	o 550967
19.00/6.84	o 551023
19.00/6.84	o 551125
19.00/6.84	o 551132
19.00/6.84	o 551604
19.00/6.84	o 551694
19.00/6.84	o 552233
19.00/6.85	o 552705
19.00/6.85	o 552835
19.00/6.85	o 553307
19.00/6.85	o 553670
19.00/6.85	o 554142
19.00/6.85	o 554232
19.00/6.85	o 554704
19.00/6.86	o 554796
19.00/6.86	o 555939
19.00/6.86	o 556042
19.00/6.86	o 556514
19.00/6.86	o 556809
19.00/6.86	o 557263
19.00/6.86	o 557825
19.00/6.87	o 558469
19.00/6.87	o 559612
19.00/6.87	o 560174
19.00/6.87	o 560646
19.00/6.88	o 560693
19.00/6.88	o 560973
19.00/6.88	o 561251
19.00/6.88	o 561375
19.00/6.88	o 561484
19.00/6.88	o 561491
19.00/6.88	o 562053
19.00/6.88	o 562377
19.00/6.88	o 562939
19.00/6.88	o 563312
19.00/6.88	o 563893
19.00/6.88	o 564455
19.00/6.88	o 564927
19.00/6.89	o 565029
19.00/6.89	o 565360
19.00/6.89	o 565638
19.00/6.89	o 565762
19.00/6.89	o 566108
19.00/6.89	o 566203
19.00/6.89	o 566670
19.00/6.89	o 566765
19.00/6.89	o 566905
19.00/6.89	o 567377
19.00/6.90	o 567479
19.00/6.90	o 567939
19.00/6.90	o 568041
19.00/6.90	o 568134
19.00/6.90	o 568276
19.00/6.90	o 568452
19.00/6.90	o 568703
19.00/6.90	o 568805
19.00/6.90	o 568900
19.71/6.91	o 569340
19.71/6.91	o 569396
19.71/6.91	o 569868
19.71/6.91	o 570074
19.71/6.91	o 570655
19.71/6.91	o 571217
19.71/6.91	o 571689
19.71/6.92	o 571846
19.71/6.92	o 572408
19.71/6.92	o 572880
19.71/6.92	o 572952
19.71/6.92	o 573424
19.71/6.92	o 573514
19.71/6.92	o 573986
19.71/6.92	o 574034
19.71/6.92	o 574596
19.71/6.92	o 575301
19.71/6.93	o 575863
19.71/6.93	o 575969
19.71/6.93	o 576441
19.71/6.93	o 576531
19.71/6.93	o 577003
19.71/6.93	o 577112
19.71/6.93	o 577674
19.71/6.93	o 578146
19.71/6.93	o 578288
19.71/6.93	o 578390
19.71/6.94	o 578981
19.71/6.94	o 579453
19.71/6.94	o 580124
19.71/6.94	o 580596
19.71/6.94	o 580686
19.71/6.94	o 581158
19.71/6.94	o 581230
19.71/6.94	o 581702
19.71/6.94	o 581792
19.71/6.94	o 582264
19.71/6.95	o 582436
19.71/6.95	o 582998
19.71/6.95	o 583579
19.71/6.95	o 584141
19.71/6.95	o 584613
19.71/6.95	o 584737
19.71/6.95	o 584861
19.71/6.95	o 586004
19.71/6.95	o 586476
19.71/6.95	o 586566
19.71/6.95	o 587038
19.71/6.95	o 587210
19.71/6.95	o 588353
19.71/6.96	o 588915
19.71/6.96	o 589387
19.71/6.96	o 589598
19.71/6.96	o 590070
19.71/6.97	o 590086
19.71/6.97	o 590188
19.71/6.97	o 590558
19.71/6.97	o 590660
19.71/6.97	o 590933
19.71/6.97	o 591442
19.71/6.97	o 591914
19.71/6.97	o 592585
19.71/6.97	o 593057
19.71/6.97	o 593159
19.71/6.97	o 593254
19.71/6.98	o 593344
19.71/6.98	o 593619
19.71/6.98	o 593714
19.71/6.98	o 593721
19.71/6.98	o 593816
19.71/6.98	o 593913
19.71/6.98	o 594015
19.71/6.98	o 594385
19.71/6.98	o 594487
19.71/6.98	o 594582
19.71/6.98	o 594617
19.71/6.98	o 594712
19.71/6.98	o 594911
19.71/6.98	o 595383
19.71/6.98	o 595478
19.71/6.98	o 595527
19.71/6.98	o 595534
19.71/6.98	o 595629
19.71/6.99	o 596046
19.71/6.99	o 596136
19.71/6.99	o 596608
19.71/6.99	o 596849
19.71/6.99	o 596944
19.71/6.99	o 597296
19.71/6.99	o 597858
19.71/6.99	o 598330
19.71/6.99	o 598498
19.71/6.99	o 598970
19.71/7.00	o 599004
19.71/7.00	o 599914
19.71/7.00	o 600360
19.71/7.00	o 601503
19.71/7.00	o 601975
19.71/7.00	o 602065
19.71/7.00	o 602537
19.71/7.00	o 602709
19.71/7.00	o 603852
19.71/7.00	o 604414
19.71/7.00	o 604886
19.71/7.00	o 605138
19.71/7.00	o 605245
20.39/7.01	o 605717
20.39/7.01	o 605826
20.39/7.01	o 606388
20.39/7.01	o 606860
20.39/7.01	o 607292
20.39/7.01	o 607497
20.39/7.01	o 607500
20.39/7.01	o 607534
20.39/7.01	o 608006
20.39/7.01	o 608890
20.39/7.01	o 610033
20.39/7.01	o 610505
20.39/7.01	o 610595
20.39/7.01	o 611067
20.39/7.01	o 611239
20.39/7.02	o 612382
20.39/7.02	o 612944
20.39/7.02	o 613416
20.39/7.02	o 613526
20.39/7.03	o 613698
20.39/7.03	o 614170
20.39/7.03	o 614260
20.39/7.03	o 614732
20.39/7.03	o 614841
20.39/7.03	o 615403
20.39/7.03	o 615875
20.39/7.04	o 616455
20.39/7.04	o 616927
20.39/7.04	o 617017
20.39/7.04	o 617489
20.39/7.08	o 617586
20.39/7.08	o 618058
20.39/7.08	o 618160
20.39/7.08	o 618250
20.39/7.08	o 618620
20.39/7.08	o 618722
20.39/7.08	o 618817
20.39/7.08	o 619071
20.39/7.08	o 619325
20.39/7.08	o 619415
20.39/7.08	o 619887
20.39/7.08	o 619982
20.39/7.08	o 619989
20.39/7.08	o 620084
20.39/7.08	o 620248
20.39/7.08	o 620502
20.39/7.08	o 620592
20.39/7.08	o 621064
20.39/7.09	o 621166
20.39/7.09	o 621261
20.39/7.09	o 621283
20.39/7.09	o 621515
20.39/7.09	o 621769
20.39/7.09	o 621859
20.39/7.09	o 622331
20.39/7.09	o 622426
20.39/7.09	o 622433
20.39/7.09	o 622528
20.39/7.09	o 622577
20.39/7.09	o 622679
20.39/7.09	o 622851
20.39/7.10	o 623323
20.39/7.10	o 623413
20.39/7.10	o 623885
20.39/7.10	o 624229
20.39/7.10	o 624701
20.39/7.10	o 624803
20.39/7.10	o 625200
20.39/7.10	o 625762
20.39/7.10	o 626016
20.39/7.10	o 626578
20.39/7.10	o 626680
20.39/7.10	o 627050
20.39/7.10	o 627152
20.39/7.10	o 627247
21.18/7.11	o 627283
21.18/7.11	o 627845
21.18/7.11	o 628317
21.18/7.11	o 628412
21.18/7.11	o 628419
21.18/7.11	o 628514
21.18/7.11	o 628611
21.18/7.11	o 628713
21.18/7.11	o 629083
21.18/7.11	o 629185
21.18/7.12	o 629280
21.18/7.15	o 629735
21.18/7.16	o 630083
21.18/7.16	o 630529
21.18/7.16	o 631200
21.18/7.16	o 631672
21.18/7.16	o 631762
21.18/7.16	o 632234
21.18/7.16	o 632406
21.18/7.16	o 633549
21.18/7.16	o 634111
21.18/7.16	o 634583
21.18/7.18	o 634853
21.18/7.18	o 634948
21.18/7.18	o 634955
21.18/7.18	o 635050
21.18/7.18	o 635354
21.18/7.18	o 635456
21.18/7.18	o 635551
21.18/7.18	o 635648
21.18/7.18	o 635743
21.18/7.18	o 636120
21.18/7.18	o 636215
21.18/7.18	o 636222
21.18/7.18	o 636317
21.90/7.22	o 636394
21.90/7.22	o 636496
21.90/7.22	o 636591
21.90/7.22	o 636895
21.90/7.22	o 636990
21.90/7.22	o 636997
21.90/7.22	o 637092
21.90/7.24	o 637189
21.90/7.24	o 637661
21.90/7.24	o 637763
21.90/7.24	o 637858
21.90/7.26	o 637957
21.90/7.26	o 638052
21.90/7.26	o 638538
21.90/7.26	o 639100
21.90/7.26	o 639195
21.90/7.26	o 639354
21.90/7.26	o 639449
21.90/7.26	o 639916
21.90/7.26	o 640011
21.90/7.27	o 640102
21.90/7.27	o 640250
21.90/7.27	o 640271
21.90/7.27	o 640833
21.90/7.27	o 640996
21.90/7.27	o 641812
21.90/7.27	o 642374
21.90/7.27	o 642469
21.90/7.27	o 642476
21.90/7.27	o 642571
21.90/7.27	o 642846
21.90/7.27	o 642948
21.90/7.27	o 643043
21.90/7.27	o 643079
21.90/7.27	o 643174
21.90/7.27	o 643181
21.90/7.27	o 643276
21.90/7.27	o 643641
22.66/7.30	o 643743
22.66/7.30	o 643838
22.66/7.30	o 644113
22.66/7.30	o 644208
22.66/7.30	o 644215
22.66/7.30	o 644310
22.66/7.31	o 644407
22.66/7.31	o 644879
22.66/7.31	o 644981
22.66/7.31	o 645076
22.66/7.32	o 645123
22.66/7.32	o 645180
22.66/7.32	o 645282
22.66/7.32	o 645377
22.66/7.32	o 645742
22.66/7.33	o 645837
22.66/7.33	o 645844
22.66/7.33	o 645939
22.66/7.33	o 646069
22.66/7.33	o 646171
22.66/7.33	o 646323
22.66/7.33	o 646885
22.66/7.33	o 646987
22.66/7.33	o 647082
22.66/7.33	o 647281
22.66/7.34	o 647383
22.66/7.34	o 647478
22.66/7.34	o 648006
22.66/7.34	o 648101
22.66/7.34	o 648822
22.66/7.34	o 648917
22.66/7.34	o 648924
22.66/7.34	o 649019
22.66/7.34	o 649384
22.66/7.34	o 649486
22.66/7.34	o 649581
22.66/7.34	o 649856
22.66/7.34	o 649951
22.66/7.34	o 649958
22.66/7.34	o 650053
22.66/7.35	o 650089
22.66/7.35	o 650191
22.66/7.35	o 650561
22.66/7.35	o 650663
22.66/7.35	o 651123
22.66/7.35	o 651225
22.66/7.35	o 651320
22.66/7.35	o 651417
22.66/7.35	o 651889
22.66/7.35	o 651984
22.66/7.35	o 651991
22.66/7.35	o 652086
22.66/7.35	o 652129
22.66/7.36	o 652231
22.66/7.36	o 652662
22.66/7.36	o 652752
22.66/7.36	o 653224
22.66/7.36	o 653604
22.66/7.36	o 653858
22.66/7.36	o 654420
22.66/7.36	o 655001
22.66/7.37	o 655563
22.66/7.37	o 655657
22.66/7.37	o 655882
22.66/7.37	o 656465
22.66/7.37	o 656863
22.66/7.37	o 657190
22.66/7.37	o 658006
22.66/7.37	o 658568
22.66/7.37	o 659040
22.66/7.37	o 659142
22.66/7.37	o 659237
22.66/7.37	o 659491
22.66/7.37	o 659586
22.66/7.37	o 659593
22.66/7.37	o 659688
22.66/7.37	o 659745
22.66/7.37	o 659847
22.66/7.38	o 660307
22.66/7.38	o 660409
22.66/7.38	o 660504
22.66/7.38	o 660601
22.66/7.38	o 660703
22.66/7.38	o 660798
22.66/7.38	o 661073
22.66/7.38	o 661168
22.66/7.38	o 661175
22.66/7.38	o 661270
22.66/7.39	o 661307
23.46/7.40	o 661549
23.46/7.40	o 662021
23.46/7.40	o 662123
23.46/7.40	o 662157
23.46/7.40	o 662205
23.46/7.41	o 662307
23.46/7.41	o 662849
23.46/7.41	o 663411
23.46/7.41	o 663992
23.46/7.41	o 664554
23.46/7.41	o 664656
23.46/7.41	o 665026
23.46/7.41	o 665128
23.46/7.41	o 665223
23.46/7.41	o 665259
23.46/7.41	o 665821
23.46/7.41	o 665916
23.46/7.42	o 666293
23.46/7.42	o 666388
23.46/7.42	o 666395
23.46/7.42	o 666490
23.46/7.42	o 666587
23.46/7.42	o 666689
23.46/7.42	o 667059
23.46/7.42	o 667161
23.46/7.42	o 667256
23.46/7.49	o 667294
23.46/7.49	o 667396
24.26/7.50	o 667491
24.26/7.50	o 667495
24.26/7.50	o 667584
24.26/7.50	o 668056
24.26/7.50	o 668555
24.26/7.50	o 669117
24.26/7.50	o 669371
24.26/7.50	o 669933
24.26/7.50	o 670405
24.26/7.50	o 670500
24.26/7.50	o 670507
24.26/7.51	o 670602
24.26/7.51	o 670699
24.26/7.51	o 671171
24.26/7.51	o 671273
24.26/7.51	o 671368
24.26/7.51	o 671672
24.26/7.51	o 671767
24.26/7.52	o 671774
24.26/7.52	o 671869
24.26/7.52	o 671966
24.26/7.52	o 672068
24.26/7.52	o 672438
24.26/7.52	o 672540
24.26/7.52	o 672635
24.26/7.56	o 672857
24.26/7.57	o 672952
24.26/7.57	o 672959
24.26/7.57	o 673054
24.26/7.57	o 673083
24.26/7.57	o 673090
24.26/7.57	o 673192
24.26/7.57	o 673562
24.26/7.57	o 673664
24.26/7.57	o 674124
24.26/7.57	o 674226
24.26/7.57	o 674321
24.26/7.57	o 674418
24.26/7.57	o 674890
24.26/7.57	o 674985
24.26/7.57	o 674992
24.26/7.58	o 675087
24.26/7.59	o 675177
24.26/7.60	o 675302
24.26/7.60	o 675404
24.26/7.60	o 675561
24.26/7.60	o 676033
24.26/7.60	o 676286
24.26/7.60	o 676540
24.26/7.60	o 677102
24.26/7.60	o 677574
24.26/7.60	o 677676
24.26/7.60	o 677771
24.26/7.60	o 677868
24.26/7.60	o 677970
24.26/7.60	o 678340
25.12/7.62	o 678442
25.12/7.62	o 678537
25.12/7.62	o 678908
25.12/7.62	o 679003
25.12/7.62	o 679161
25.12/7.62	o 679633
25.12/7.62	o 679977
25.12/7.62	o 680449
25.12/7.62	o 680544
25.12/7.62	o 680739
25.12/7.62	o 680834
25.12/7.62	o 680985
25.12/7.62	o 681547
25.12/7.63	o 681710
25.12/7.63	o 682526
25.12/7.63	o 683088
25.12/7.63	o 683183
25.12/7.63	o 683560
25.12/7.63	o 683655
25.12/7.63	o 683662
25.12/7.63	o 683757
25.12/7.63	o 683854
25.12/7.63	o 684326
25.12/7.63	o 684428
25.12/7.63	o 684523
25.12/7.64	o 684552
25.12/7.64	o 684827
25.12/7.64	o 684929
25.12/7.64	o 685024
25.12/7.65	o 685121
25.12/7.65	o 685216
25.12/7.65	o 685593
25.12/7.65	o 685688
25.12/7.65	o 685695
25.12/7.65	o 685790
25.86/7.71	o 685842
25.86/7.72	o 685919
25.86/7.72	o 685965
25.86/7.72	o 686067
25.86/7.72	o 686384
25.86/7.72	o 686474
25.86/7.72	o 686946
25.86/7.72	o 687055
25.86/7.72	o 687617
25.86/7.72	o 688089
25.86/7.72	o 688191
25.86/7.72	o 688445
25.86/7.72	o 688843
25.86/7.72	o 689170
25.86/7.72	o 689514
25.86/7.72	o 689986
25.86/7.72	o 690088
25.86/7.72	o 690178
25.86/7.73	o 690548
25.86/7.73	o 690650
25.86/7.73	o 690745
25.86/7.73	o 690781
25.86/7.73	o 691253
25.86/7.73	o 691348
25.86/7.73	o 691438
25.86/7.73	o 691815
25.86/7.73	o 691910
25.86/7.73	o 691917
25.86/7.73	o 692012
25.86/7.73	o 692109
25.86/7.73	o 692581
25.86/7.73	o 692683
25.86/7.74	o 692778
27.45/7.99	o 692992
27.45/8.01	o 693094
27.45/8.01	o 693189
27.45/8.01	o 693286
27.45/8.01	o 693381
27.45/8.01	o 693758
27.45/8.01	o 693853
27.45/8.01	o 693860
27.45/8.01	o 693955
27.45/8.01	o 693992
28.35/8.03	o 694094
28.35/8.03	o 694554
28.35/8.03	o 694656
28.35/8.03	o 694690
28.35/8.03	o 694780
28.35/8.03	o 695252
28.35/8.03	o 695280
28.35/8.03	o 695861
28.35/8.03	o 696423
28.35/8.03	o 696677
28.35/8.03	o 697239
28.35/8.03	o 697711
28.35/8.03	o 697813
28.35/8.04	o 697908
28.35/8.04	o 698005
28.35/8.04	o 698477
28.35/8.04	o 698572
28.35/8.04	o 698579
28.35/8.04	o 698674
28.35/8.04	o 698978
28.35/8.04	o 699080
28.35/8.04	o 699175
28.35/8.04	o 699272
28.35/8.04	o 699367
28.35/8.04	o 699744
28.35/8.04	o 699839
28.35/8.04	o 699846
28.35/8.04	o 699941
30.61/8.38	o 700203
30.61/8.38	o 700305
30.61/8.38	o 700400
30.61/8.38	o 700578
30.61/8.38	o 700673
30.61/8.38	o 701087
30.61/8.38	o 701559
30.61/8.39	o 701668
30.61/8.39	o 702230
30.61/8.39	o 702702
30.61/8.39	o 702797
30.61/8.39	o 702804
30.61/8.39	o 702899
30.61/8.39	o 702944
30.61/8.39	o 703055
30.61/8.39	o 703527
30.61/8.39	o 703690
30.61/8.39	o 704034
30.61/8.39	o 704506
30.61/8.40	o 704596
30.61/8.40	o 705068
30.61/8.40	o 705170
30.61/8.40	o 705265
30.61/8.40	o 705358
31.48/8.41	o 705403
31.48/8.41	o 705863
31.48/8.41	o 705965
31.48/8.41	o 706060
31.48/8.41	o 706335
31.48/8.41	o 706430
31.48/8.41	o 706437
31.48/8.41	o 706532
31.48/8.41	o 706625
32.20/8.56	o 706629
32.20/8.58	o 707101
32.20/8.58	o 707203
32.20/8.58	o 707298
32.20/8.58	o 707391
34.60/8.89	o 707607
35.39/8.90	o 707709
35.39/8.90	o 707804
35.39/8.90	o 708079
35.39/8.90	o 708174
35.39/8.90	o 708181
35.39/8.90	o 708276
35.39/8.90	o 708373
35.39/8.90	o 708475
35.39/8.90	o 708845
35.39/8.90	o 708947
35.39/8.90	o 709042
35.39/8.90	o 709135
35.39/8.93	o 709346
35.39/8.93	o 709441
35.39/8.94	o 709448
35.39/8.94	o 709543
35.39/8.94	o 709636
35.39/8.94	o 709640
35.39/8.94	o 709742
35.39/8.94	o 710112
35.39/8.94	o 710214
35.39/8.94	o 710309
35.39/8.94	o 710402
46.52/10.34	o 710439
46.52/10.34	o 710534
46.52/10.34	o 710541
46.52/10.34	o 710636
46.52/10.34	o 710729
46.52/10.34	o 710774
46.52/10.34	o 711144
46.52/10.34	o 711246
46.52/10.34	o 711706
46.52/10.34	o 711808
46.52/10.34	o 711903
46.52/10.35	o 711996
46.52/10.35	o 712000
46.52/10.35	o 712472
46.52/10.35	o 712567
46.52/10.35	o 712574
46.52/10.35	o 712669
46.52/10.35	o 712762
48.91/10.68	o 712785
48.91/10.69	o 713257
48.91/10.69	o 713359
48.91/10.69	o 713454
48.91/10.69	o 713819
48.91/10.69	o 713914
48.91/10.69	o 713921
48.91/10.69	o 714016
48.91/10.69	o 714061
48.91/10.69	o 714163
48.91/10.69	o 714480
48.91/10.69	o 714570
48.91/10.69	o 715042
48.91/10.69	o 715151
48.91/10.69	o 715713
48.91/10.69	o 716185
48.91/10.71	o 716287
48.91/10.71	o 716382
48.91/10.71	o 716475
48.91/10.71	o 716636
48.91/10.71	o 716980
48.91/10.71	o 717452
48.91/10.71	o 717547
48.91/10.71	o 717554
48.91/10.71	o 717649
48.91/10.71	o 717742
48.91/10.71	o 717746
48.91/10.71	o 718218
48.91/10.71	o 718320
48.91/10.71	o 718415
48.91/10.71	o 718508
49.78/10.76	o 718617
49.78/10.77	o 718712
49.78/10.77	o 718805
49.78/10.77	o 718850
49.78/10.77	o 719322
49.78/10.77	o 719412
49.78/10.77	o 719884
49.78/10.77	o 719979
49.78/10.77	o 720072
49.78/10.77	o 720178
49.78/10.77	o 720273
49.78/10.77	o 720650
49.78/10.77	o 720745
49.78/10.78	o 720838
49.78/10.78	o 721028
49.78/10.78	o 721355
49.78/10.78	o 721609
49.78/10.78	o 721699
49.78/10.79	o 722171
49.78/10.79	o 722273
49.78/10.79	o 722368
49.78/10.79	o 722461
49.78/10.79	o 722622
49.78/10.79	o 722724
49.78/10.79	o 722966
49.78/10.79	o 723438
49.78/10.79	o 723540
49.78/10.79	o 723635
49.78/10.79	o 723728
49.78/10.79	o 723732
49.78/10.79	o 723827
49.78/10.79	o 723834
50.50/10.80	o 723929
50.50/10.80	o 724204
50.50/10.80	o 724306
50.50/10.80	o 724401
50.50/10.80	o 724494
56.09/11.51	o 724642
56.09/11.51	o 724737
56.09/11.51	o 724986
56.09/11.51	o 725458
56.09/11.51	o 725553
56.09/11.51	o 725646
56.09/11.51	o 725752
56.09/11.51	o 725847
56.09/11.51	o 726224
56.09/11.51	o 726319
56.09/11.51	o 726412
56.09/11.52	o 726711
56.09/11.52	o 727183
56.09/11.52	o 727273
56.09/11.52	o 727745
56.09/11.52	o 727847
56.09/11.52	o 727942
56.09/11.52	o 728035
56.09/11.52	o 728540
56.09/11.52	o 728642
56.09/11.52	o 728737
56.09/11.52	o 729012
56.09/11.53	o 729107
56.09/11.53	o 729114
56.09/11.53	o 729209
56.09/11.53	o 729302
56.09/11.53	o 729306
56.09/11.53	o 729408
56.09/11.53	o 729778
56.09/11.53	o 729880
56.09/11.53	o 729975
56.09/11.53	o 730068
64.04/12.50	o 730186
64.04/12.51	o 730288
64.04/12.51	o 730383
64.04/12.51	o 730476
66.44/12.85	o 730597
66.44/12.86	o 730692
66.44/12.86	o 730699
66.44/12.86	o 730794
66.44/12.86	o 730887
66.44/12.86	o 730891
66.44/12.86	o 730993
66.44/12.86	o 731363
66.44/12.86	o 731465
66.44/12.86	o 731560
66.44/12.86	o 731653
66.44/12.88	o 731807
66.44/12.88	o 731902
66.44/12.88	o 732134
66.44/12.88	o 732478
66.44/12.88	o 732950
66.44/12.88	o 733045
66.44/12.88	o 733052
66.44/12.88	o 733147
66.44/12.88	o 733192
66.44/12.88	o 733294
66.44/12.88	o 733611
66.44/12.88	o 733701
66.44/12.88	o 734173
66.44/12.89	o 734282
66.44/12.89	o 734844
66.44/12.89	o 735316
66.44/12.89	o 735418
66.44/12.89	o 735513
66.44/12.89	o 735549
66.44/12.89	o 735644
66.44/12.89	o 736021
66.44/12.89	o 736116
66.44/12.89	o 736123
66.44/12.89	o 736218
66.44/12.89	o 736583
66.44/12.89	o 736685
66.44/12.89	o 736780
66.44/12.89	o 736873
66.44/12.90	o 736877
66.44/12.90	o 736972
66.44/12.90	o 737349
66.44/12.90	o 737444
66.44/12.90	o 737451
66.44/12.90	o 737546
67.25/12.91	o 737639
77.58/14.20	o 737823
77.58/14.20	o 737925
77.58/14.21	o 737932
77.58/14.21	o 738404
77.58/14.21	o 738494
77.58/14.21	o 738966
77.58/14.21	o 739068
77.58/14.21	o 739163
77.58/14.21	o 739256
77.58/14.21	o 739260
77.58/14.21	o 739362
77.58/14.21	o 739732
77.58/14.22	o 739834
77.58/14.22	o 739929
77.58/14.22	o 740022
77.58/14.22	o 740233
77.58/14.22	o 740328
77.58/14.22	o 740335
77.58/14.22	o 740430
77.58/14.22	o 740523
77.58/14.22	o 740527
77.58/14.22	o 740629
77.58/14.22	o 740999
77.58/14.22	o 741101
77.58/14.22	o 741196
77.58/14.22	o 741289
77.58/14.27	o 741443
77.58/14.29	o 741545
77.58/14.29	o 741552
77.58/14.29	o 742024
77.58/14.29	o 742114
77.58/14.29	o 742586
77.58/14.29	o 742688
77.58/14.29	o 742783
77.58/14.29	o 742828
77.58/14.29	o 742923
77.58/14.29	o 742993
77.58/14.29	o 743337
77.58/14.29	o 743809
77.58/14.29	o 743918
77.58/14.29	o 744480
77.58/14.29	o 744952
77.58/14.29	o 745047
77.58/14.29	o 745054
77.58/14.30	o 745149
77.58/14.30	o 745242
77.58/14.30	o 745246
77.58/14.30	o 745348
77.58/14.30	o 745718
77.58/14.30	o 745820
77.58/14.30	o 745915
77.58/14.30	o 746008
77.58/14.30	o 746219
77.58/14.30	o 746314
77.58/14.30	o 746321
77.58/14.30	o 746416
77.58/14.30	o 746509
77.58/14.30	o 746513
77.58/14.30	o 746615
77.58/14.30	o 746985
78.41/14.31	o 747087
78.41/14.31	o 747182
78.41/14.31	o 747275
89.52/15.77	o 747317
89.52/15.78	o 747410
89.52/15.78	o 747571
89.52/15.78	o 747666
89.52/15.78	o 747915
89.52/15.78	o 748387
89.52/15.78	o 748482
89.52/15.78	o 748489
89.52/15.78	o 748584
89.52/15.78	o 748677
90.32/15.85	o 748681
90.32/15.86	o 749153
90.32/15.86	o 749255
90.32/15.86	o 749350
90.32/15.86	o 749443
92.77/16.13	o 749471
92.77/16.13	o 749573
92.77/16.14	o 749668
92.77/16.14	o 749734
92.77/16.14	o 749829
92.77/16.14	o 750296
92.77/16.14	o 750391
92.77/16.14	o 750549
92.77/16.14	o 750644
92.77/16.14	o 750803
92.77/16.14	o 751365
92.77/16.14	o 751460
92.77/16.14	o 751837
92.77/16.14	o 751932
92.77/16.14	o 751939
92.77/16.14	o 752034
92.77/16.14	o 752127
92.77/16.15	o 752131
92.77/16.15	o 752603
92.77/16.15	o 752705
92.77/16.15	o 752800
92.77/16.15	o 752893
92.77/16.15	o 753104
92.77/16.15	o 753206
92.77/16.15	o 753301
92.77/16.15	o 753394
92.77/16.15	o 753398
92.77/16.15	o 753493
92.77/16.15	o 753870
92.77/16.15	o 753965
92.77/16.15	o 753972
92.77/16.16	o 754067
92.77/16.16	o 754160
93.49/16.26	o 754314
93.49/16.27	o 754416
93.49/16.27	o 754423
93.49/16.27	o 754895
93.49/16.27	o 754985
93.49/16.27	o 755457
93.49/16.27	o 755559
93.49/16.27	o 755654
93.49/16.27	o 755810
93.49/16.27	o 755912
93.49/16.27	o 756007
93.49/16.27	o 756068
93.49/16.27	o 756789
93.49/16.27	o 756884
93.49/16.27	o 757351
93.49/16.27	o 757446
93.49/16.27	o 757453
93.49/16.27	o 757548
93.49/16.27	o 757823
93.49/16.28	o 757925
93.49/16.28	o 758020
93.49/16.29	o 758113
93.49/16.30	o 758117
93.49/16.30	o 758212
93.49/16.30	o 758589
94.36/16.32	o 758684
94.36/16.32	o 758691
94.36/16.32	o 758786
94.36/16.32	o 758879
94.36/16.36	o 759090
94.36/16.38	o 759192
94.36/16.38	o 759287
94.36/16.38	o 759380
94.36/16.39	o 759384
94.36/16.39	o 759479
94.36/16.39	o 759856
94.36/16.39	o 759951
94.36/16.39	o 759958
94.36/16.39	o 760053
94.36/16.39	o 760146
138.12/21.82	o 760543
138.12/21.82	o 760638
138.12/21.82	o 760645
138.12/21.82	o 760740
138.12/21.82	o 761105
138.12/21.82	o 761207
138.12/21.82	o 761302
138.12/21.82	o 761395
138.12/21.84	o 761399
138.12/21.84	o 761494
138.12/21.84	o 761871
138.12/21.84	o 761966
138.12/21.84	o 761973
138.12/21.84	o 762068
138.12/21.84	o 762161
171.66/26.02	o 762247
171.66/26.02	o 762406
171.66/26.02	o 762496
171.66/26.02	o 762968
171.66/26.02	o 763063
171.66/26.02	o 763070
171.66/26.02	o 763165
171.66/26.02	o 763258
171.66/26.02	o 763419
171.66/26.02	o 763673
171.66/26.02	o 763763
171.66/26.02	o 764235
171.66/26.03	o 764337
171.66/26.03	o 764432
171.66/26.03	o 764525
171.66/26.03	o 764529
171.66/26.03	o 764631
171.66/26.03	o 764726
171.66/26.03	o 765001
171.66/26.03	o 765096
171.66/26.03	o 765103
171.66/26.03	o 765198
171.66/26.04	o 765291
193.94/28.82	o 765489
233.74/33.84	o 765498
235.40/34.10	o 765853
236.20/34.11	o 765955
236.20/34.11	o 766050
236.20/34.11	o 766143
236.20/34.12	o 766230
236.20/34.12	o 766702
236.20/34.13	o 767038
236.20/34.13	o 767436
236.20/34.13	o 768017
236.20/34.13	o 768579
236.20/34.13	o 769051
236.20/34.13	o 769148
236.20/34.13	o 769238
236.20/34.13	o 769710
236.20/34.13	o 770046
236.20/34.13	o 770444
236.20/34.13	o 771025
236.20/34.13	o 771587
236.20/34.13	o 772059
248.09/35.61	o 772084
248.09/35.61	o 772177
281.58/39.85	o 772227
281.58/39.85	o 772604
281.58/39.85	o 772699
281.58/39.86	o 772706
281.58/39.86	o 772801
281.58/39.86	o 772893
281.58/39.86	o 772995
281.58/39.86	o 773455
281.58/39.86	o 773557
281.58/39.86	o 773709
281.58/39.86	o 773799
281.58/39.86	o 774271
281.58/39.87	o 774373
281.58/39.87	o 774468
281.58/39.87	o 774561
281.58/39.87	o 774565
281.58/39.87	o 775037
281.58/39.87	o 775132
281.58/39.87	o 775139
281.58/39.87	o 775234
281.58/39.87	o 775327
281.58/39.87	o 775538
281.58/39.87	o 775640
281.58/39.87	o 775735
281.58/39.87	o 775828
281.58/39.87	o 775832
281.58/39.87	o 775927
281.58/39.87	o 776304
281.58/39.87	o 776399
281.58/39.87	o 776406
281.58/39.87	o 776501
281.58/39.87	o 776594
301.49/42.39	o 776896
301.49/42.39	o 777458
301.49/42.40	o 778163
301.49/42.40	o 778725
307.14/43.05	o 778735
307.14/43.05	o 779207
307.14/43.05	o 779495
307.14/43.05	o 780522
307.14/43.05	o 781084
307.14/43.05	o 781556
307.14/43.05	o 781743
307.14/43.05	o 782215
307.14/43.05	o 782503
307.14/43.05	o 782551
307.14/43.05	o 782949
307.14/43.05	o 783530
307.14/43.07	o 784092
307.14/43.07	o 784564
364.45/50.22	o 784731
364.45/50.23	o 784833
366.82/50.59	o 785200
366.82/50.59	o 785372
366.82/50.59	o 786515
366.82/50.59	o 786987
366.82/50.59	o 787077
366.82/50.59	o 787549
390.71/53.54	o 787717
390.71/53.55	o 788279
390.71/53.55	o 788751
404.27/55.29	o 789034
404.27/55.30	o 789705
404.27/55.30	o 790177
404.27/55.30	o 790267
404.27/55.30	o 790739
405.14/55.33	o 790918
405.14/55.33	o 791480
405.14/55.34	o 791952
405.14/55.34	o 792150
405.14/55.34	o 793267
405.14/55.34	o 793739
405.14/55.34	o 793829
405.14/55.34	o 794301
405.14/55.34	o 794488
405.14/55.34	o 794960
405.14/55.34	o 795248
405.14/55.34	o 796275
405.14/55.34	o 796837
405.14/55.34	o 797309
538.97/72.13	o 797342
538.97/72.14	o 798485
538.97/72.14	o 798957
538.97/72.14	o 799047
538.97/72.14	o 799519
538.97/72.14	o 799668
538.97/72.14	o 799855
538.97/72.14	o 800327
538.97/72.14	o 800663
538.97/72.14	o 801061
538.97/72.14	o 801642
538.97/72.14	o 802204
538.97/72.14	o 802676
538.97/72.18	o 802993
538.97/72.18	o 803083
538.97/72.19	o 803555
718.94/94.79	o 803704
718.94/94.80	o 804176
718.94/94.80	o 804707
718.94/94.80	o 805179
718.94/94.80	o 805412
718.94/94.80	o 805974
718.94/94.80	o 806446
719.77/94.81	o 806611
719.77/94.81	o 806844
719.77/94.81	o 807316
719.77/94.81	o 807406
719.77/94.81	o 807878
758.76/99.76	o 808246
758.76/99.76	o 808718
758.76/99.76	o 809249
758.76/99.76	o 809721
758.76/99.76	o 809954
758.76/99.77	o 810426
758.76/99.77	o 810516
758.76/99.77	o 810988
854.33/111.70	o 811174
854.33/111.72	o 811646
854.33/111.72	o 811879
854.33/111.72	o 812441
854.33/111.72	o 812913
855.13/111.86	o 813051
855.13/111.87	o 813722
855.13/111.87	o 814194
855.13/111.87	o 814284
855.13/111.87	o 814756
855.13/111.87	o 814989
855.13/111.87	o 815551
855.13/111.87	o 816023
993.59/129.22	o 816428
993.59/129.22	o 816518
993.59/129.23	o 816990
1026.96/133.43	o 817179
1026.96/133.43	o 817741
1026.96/133.43	o 818213
1026.96/133.43	o 818382
1026.96/133.43	o 818472
1026.96/133.43	o 818944
1033.32/134.29	o 819417
1033.32/134.29	o 819889
1033.32/134.30	o 820420
1033.32/134.30	o 820892
1033.32/134.30	o 821125
1033.32/134.30	o 821687
1033.32/134.30	o 822159
1298.91/167.90	o 822475
1299.71/167.91	o 822947
1347.32/173.94	o 823354
1347.32/173.94	o 823826
1557.40/200.41	o 824097
1557.40/200.42	o 824187
1557.40/200.42	o 824659
1803.10/231.42	o 824967
1803.10/231.43	o 825095
1803.10/231.43	o 825472
1803.10/231.43	o 826034
1803.10/231.43	o 826506
1803.10/231.43	o 826675
1803.10/231.43	o 826765
1803.10/231.43	o 827237
1803.10/231.43	o 827301
1803.10/231.43	o 827773
1803.10/231.43	o 828032
1803.10/231.43	o 828504
2000.89/256.49	o 828742
2000.89/256.49	o 828837
2000.89/256.49	o 829214
2000.89/256.49	o 829309
2000.89/256.49	o 829316
2000.89/256.49	o 829411
2000.89/256.49	o 829776
2001.68/256.50	o 829878
2001.68/256.50	o 829973
2001.68/256.50	o 830070
2001.68/256.50	o 830165
2001.68/256.50	o 830542
2001.68/256.50	o 830637
2001.68/256.50	o 830644
2001.68/256.50	o 830739
2034.65/260.73	o 830875
2034.65/260.73	o 831219
2034.65/260.74	o 831691
2034.65/260.74	o 831781
2034.65/260.74	o 832253
2034.65/260.74	o 832348
2034.65/260.74	o 832547
2034.65/260.74	o 832642
2034.65/260.74	o 833019
2034.65/260.74	o 833114
2058.49/263.71	o 833181
2058.49/263.71	o 833225
2058.49/263.71	o 833697
2058.49/263.71	o 834316
2058.49/263.71	o 834788
2058.49/263.71	o 834878
2058.49/263.71	o 835350
2058.49/263.71	o 835452
2058.49/263.71	o 835547
2058.49/263.71	o 835644
2058.49/263.71	o 835746
2058.49/263.71	o 835841
2058.49/263.72	o 836116
2058.49/263.72	o 836211
2058.49/263.72	o 836218
2058.49/263.72	o 836313
2128.18/272.57	o 836697
2128.18/272.59	o 836799
2128.18/272.59	o 836894
2408.83/308.11	o 837114
2409.63/308.12	o 837373
2409.63/308.12	o 837845
2409.63/308.12	o 837909
2409.63/308.12	o 838381
2409.63/308.12	o 838640
2409.63/308.12	o 839112
2409.63/308.13	o 839343
2576.34/329.21	o 839548
2576.34/329.22	o 840129
2576.34/329.22	o 840691
2576.34/329.22	o 841163
2576.34/329.22	o 841396
2576.34/329.22	o 841868
2576.34/329.22	o 841958
2576.34/329.22	o 842430
4338.06/551.85	o 842695
4338.06/551.85	o 843257
4338.06/551.85	o 843729
4338.80/551.97	o 844046
4338.80/551.98	o 844136
4338.80/551.98	o 844608
4539.37/577.30	o 844833
4541.75/577.68	o 844982
4542.53/577.71	o 845018
4542.53/577.72	o 845490
4542.53/577.72	o 845641
4542.53/577.72	o 845759
4542.53/577.72	o 846321
4542.53/577.72	o 846956
4542.53/577.72	o 847518
4542.53/577.72	o 847990
4636.43/589.69	o 848459
4636.43/589.69	o 848622
4636.43/589.70	o 849184
4636.43/589.70	o 849656
4636.43/589.70	o 849839
4636.43/589.70	o 849945
4636.43/589.70	o 850564
4636.43/589.70	o 851036
4636.43/589.70	o 851126
4636.43/589.70	o 851598
4636.43/589.70	o 851690
4665.64/593.39	o 851831
4665.64/593.39	o 852303
4673.62/594.31	o 852466
4673.62/594.31	o 852938
4673.62/594.32	o 853098
4673.62/594.32	o 853570
4680.68/595.26	o 853665
4680.68/595.28	o 853755
4680.68/595.28	o 854227
4680.68/595.28	o 854248
4680.68/595.28	o 854698
4680.68/595.28	o 855227
4680.68/595.28	o 855789
4680.68/595.28	o 856261
4680.68/595.28	o 856402
4680.68/595.28	o 856874
4680.68/595.28	o 856964
4680.68/595.28	o 857436
4984.92/633.78	o 857584
4985.71/633.82	o 857676
5048.95/641.83	o 857744
5059.32/643.13	o 857754
5059.32/643.13	o 858110
5059.32/643.13	o 858454
5059.32/643.13	o 859179
5059.32/643.13	o 859651
5059.32/643.13	o 859741
5059.32/643.14	o 860213
5059.32/643.14	o 860446
5059.32/643.14	o 861008
5059.32/643.14	o 861480
5059.32/643.14	o 861685
5059.32/643.14	o 861775
5059.32/643.14	o 862247
5060.03/643.27	o 862388
5060.03/643.27	o 862950
5060.03/643.28	o 863422
5643.87/717.00	o 863506
5643.87/717.00	o 863596
5643.87/717.01	o 864068
5655.80/718.49	o 864343
5655.80/718.50	o 864512
5655.80/718.50	o 865074
5655.80/718.50	o 865546
5655.80/718.50	o 865695
5655.80/718.50	o 865792
5655.80/718.50	o 865882
5655.80/718.50	o 866354
5655.80/718.50	o 866690
5655.80/718.50	o 867034
5655.80/718.50	o 867088
5655.80/718.50	o 867500
5655.80/718.51	o 867669
5655.80/718.51	o 868231
5655.80/718.51	o 868703
5655.80/718.51	o 868854
5655.80/718.51	o 868972
5655.80/718.51	o 869026
5655.80/718.51	o 869438
5655.80/718.51	o 870169
5655.80/718.51	o 870641
5655.80/718.51	o 870731
5655.80/718.51	o 871203
5656.68/718.54	o 871447
5656.68/718.54	o 871919
5656.68/718.55	o 872070
5656.68/718.55	o 872406
5656.68/718.55	o 872750
5656.68/718.55	o 873385
5656.68/718.55	o 873947
5656.68/718.55	o 874419
5658.98/718.89	o 874736
5658.98/718.89	o 874826
5658.98/718.89	o 875298
5662.14/719.28	o 875383
5662.14/719.29	o 875945
5662.14/719.29	o 876417
5662.14/719.29	o 876568
5662.14/719.29	o 876814
5662.14/719.29	o 877158
5662.14/719.29	o 877212
5662.14/719.29	o 877883
5662.14/719.29	o 878355
5662.14/719.29	o 878445
5662.14/719.29	o 878917
5662.92/719.31	o 879324
5662.92/719.32	o 879796
5726.18/727.35	o 880169
5726.18/727.35	o 880641
5726.18/727.35	o 880828
5726.18/727.35	o 881300
5726.18/727.35	o 881418
5726.18/727.36	o 881980
5726.18/727.36	o 882615
5726.18/727.36	o 883177
5726.18/727.36	o 883649
5726.18/727.37	o 884105
5726.18/727.37	o 884577
5726.18/727.37	o 884667
5726.18/727.37	o 885139
5726.18/727.37	o 885326
5726.18/727.37	o 885798
5726.18/727.37	o 886134
5726.18/727.37	o 886478
5726.18/727.37	o 886532
5726.18/727.38	o 887113
5726.18/727.38	o 887675
5726.18/727.38	o 888147
5750.00/730.39	o 888165
5750.79/730.40	o 888219
5750.79/730.40	o 889362
5750.79/730.40	o 889834
5750.79/730.40	o 889924
5750.79/730.40	o 890396
5753.97/730.83	o 890852
5753.97/730.83	o 891414
5753.97/730.83	o 891886
5753.97/730.83	o 891983
5753.97/730.83	o 892073
5753.97/730.83	o 892545
5753.97/730.83	o 892881
5753.97/730.83	o 893225
5753.97/730.83	o 893279
5753.97/730.83	o 893860
5753.97/730.83	o 894422
5753.97/730.84	o 894894
5791.93/735.65	o 895348
5791.93/735.65	o 895820
5791.93/735.65	o 895910
5791.93/735.65	o 896382
5792.67/735.71	o 896838
5792.67/735.72	o 897400
5792.67/735.72	o 897872
5792.67/735.72	o 897969
5792.67/735.72	o 898059
5792.67/735.72	o 898531
5792.67/735.72	o 898819
5792.67/735.72	o 898867
5792.67/735.72	o 899211
5792.67/735.72	o 899265
5792.67/735.72	o 899846
5792.67/735.72	o 900408
5792.67/735.72	o 900880
6372.67/808.90	o 901071
6849.05/869.12	o 901146
6849.05/869.13	o 901243
6849.05/869.13	o 901614
6849.05/869.13	o 901805
6849.05/869.13	o 902204
6849.05/869.13	o 902294
6849.05/869.13	o 902766
6849.05/869.13	o 902929
6849.05/869.13	o 903491
6849.05/869.13	o 903963
6849.05/869.13	o 904154
7323.41/929.13	o 904214
7323.41/929.13	o 904686
7323.41/929.13	o 904877
7323.41/929.13	o 904967
7323.41/929.13	o 905248
7323.41/929.13	o 905439
7323.41/929.13	o 905453
7323.41/929.13	o 905644
7323.41/929.14	o 906112
7323.41/929.14	o 906303
7323.41/929.14	o 906358
7323.41/929.14	o 906549
7323.41/929.14	o 906756
7323.41/929.14	o 907427
7323.41/929.14	o 907899
7323.41/929.14	o 908090
7323.41/929.14	o 908180
7323.41/929.14	o 908461
7323.41/929.14	o 908652
7767.15/985.18	o 908690
7767.15/985.20	o 908744
7767.15/985.20	o 909415
7767.15/985.20	o 909887
7767.15/985.20	o 909977
7767.15/985.20	o 910449
7767.15/985.20	o 910640
8450.89/1071.46	o 910674
8450.89/1071.46	o 910955
8450.89/1071.46	o 911146
8450.89/1071.46	o 911316
8450.89/1071.46	o 911715
8450.89/1071.46	o 911763
8450.89/1071.46	o 912270
8450.89/1071.46	o 912742
8450.89/1071.46	o 912832
8450.89/1071.46	o 913304
8450.89/1071.46	o 913495
8691.62/1101.86	o 913581
8691.62/1101.86	o 914025
8691.62/1101.86	o 914587
8691.62/1101.87	o 914778
8691.62/1101.87	o 915059
8691.62/1101.87	o 915250
9366.19/1186.96	o 915673
9366.19/1186.97	o 915864
9366.19/1186.97	o 915932
9366.19/1186.97	o 916404
9366.19/1186.97	o 916595
9367.04/1187.05	o 916828
9367.04/1187.05	o 917019
9367.04/1187.05	o 917249
9367.04/1187.05	o 917418
9367.04/1187.05	o 917508
9367.04/1187.05	o 917980
9367.04/1187.05	o 918143
9367.04/1187.05	o 918705
9367.04/1187.05	o 919177
9367.04/1187.06	o 919368
9367.04/1187.06	o 919382
9367.04/1187.06	o 919573
9367.04/1187.06	o 920041
9367.04/1187.06	o 920232
9367.04/1187.06	o 920329
9367.04/1187.06	o 920801
9367.04/1187.06	o 921187
9367.04/1187.06	o 921356
9367.04/1187.06	o 921918
9367.04/1187.06	o 922390
9367.04/1187.06	o 922581
9427.95/1194.78	o 922584
9427.95/1194.79	o 922598
9427.95/1194.79	o 922789
9427.95/1194.79	o 923257
9427.95/1194.79	o 923448
9427.95/1194.79	o 923937
9427.95/1194.79	o 924409
9427.95/1194.79	o 924572
9427.95/1194.79	o 925134
9427.95/1194.79	o 925606
9427.95/1194.79	o 925797
9660.39/1224.06	o 925857
9660.39/1224.07	o 926329
9660.39/1224.07	o 926520
9660.39/1224.07	o 926610
9660.39/1224.07	o 926891
9660.39/1224.07	o 927082
9660.39/1224.07	o 927096
9660.39/1224.07	o 927287
9660.39/1224.07	o 927755
9660.39/1224.07	o 927946
9660.39/1224.07	o 927953
9660.39/1224.07	o 928043
9660.39/1224.07	o 928515
9660.39/1224.07	o 929070
9660.39/1224.07	o 929632
9660.39/1224.08	o 930104
9660.39/1224.08	o 930295
12657.54/1602.50	o 930416
12657.54/1602.50	o 930607
12657.54/1602.51	o 931096
12657.54/1602.51	o 931568
12657.54/1602.51	o 931731
12657.54/1602.51	o 932293
12657.54/1602.51	o 932765
12657.54/1602.51	o 932956
12828.09/1624.04	o 933083
12828.09/1624.05	o 933555
12828.09/1624.05	o 933746
12828.09/1624.05	o 933848
12828.09/1624.05	o 934117
12828.09/1624.05	o 934219
12828.09/1624.05	o 934308
12828.09/1624.05	o 934410
12828.09/1624.05	o 934565
12828.09/1624.05	o 934756
12828.09/1624.05	o 935011
12828.09/1624.05	o 935120
12828.09/1624.05	o 935682
12828.09/1624.05	o 936154
12828.09/1624.05	o 936345
12828.09/1624.06	o 936447
12863.06/1628.46	o 936593
12863.06/1628.46	o 936648
12863.06/1628.47	o 936992
12863.06/1628.47	o 937046
12863.06/1628.47	o 937717
12863.06/1628.47	o 938189
12863.06/1628.47	o 938380
12863.06/1628.47	o 938470
12863.06/1628.47	o 938751
12863.06/1628.47	o 938942
15209.37/1924.59	o 938999
15209.37/1924.60	o 939101
15209.37/1924.60	o 939162
15209.37/1924.60	o 939724
15209.37/1924.60	o 940196
15209.37/1924.60	o 940298
15209.37/1924.60	o 940387
15209.37/1924.60	o 940489
15214.19/1925.19	o 940644
15214.91/1925.20	o 940835
15214.91/1925.20	o 941036
15214.91/1925.20	o 941199
15214.91/1925.20	o 941761
15214.91/1925.20	o 942233
15214.91/1925.20	o 942424
15214.91/1925.20	o 942526
15217.29/1925.56	o 942672
15217.29/1925.56	o 942679
15217.29/1925.56	o 942870
15217.29/1925.56	o 943071
15217.29/1925.56	o 943796
15217.29/1925.56	o 944268
15217.29/1925.56	o 944459
15217.29/1925.57	o 944830
15217.29/1925.57	o 945021
16308.31/2063.17	o 945097
16308.31/2063.17	o 945199
16308.31/2063.19	o 945302
16308.31/2063.19	o 945404
16308.31/2063.19	o 945770
16308.31/2063.19	o 945872
16308.31/2063.19	o 945961
16308.31/2063.19	o 946063
16308.31/2063.19	o 946207
16308.31/2063.19	o 946297
16308.31/2063.19	o 946578
16308.31/2063.19	o 946769
16308.31/2063.19	o 946922
16308.31/2063.19	o 946976
16308.31/2063.19	o 947085
16308.31/2063.19	o 947557
16308.31/2063.19	o 947647
16308.31/2063.19	o 948119
16308.31/2063.20	o 948310
16308.31/2063.20	o 948412
16308.31/2063.20	o 948446
16308.31/2063.20	o 948506
16308.31/2063.20	o 948978
16309.03/2063.20	o 949068
16309.03/2063.20	o 949540
16309.03/2063.20	o 949731
16309.03/2063.20	o 949745
16309.03/2063.20	o 949936
16309.03/2063.20	o 950404
16309.03/2063.20	o 950595
16309.03/2063.20	o 950602
16309.03/2063.20	o 950692
16309.03/2063.20	o 951164
16309.03/2063.20	o 951719
16309.03/2063.21	o 952281
16309.03/2063.21	o 952753
16309.03/2063.21	o 952944
19924.76/2520.09	s SATISFIABLE
19924.76/2520.11	v <instantiation>
19924.76/2520.11	v 	<list>
19924.76/2520.11	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.76/2520.11	v 	</list>
19924.76/2520.11	v 	<values>
19924.76/2520.11	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 0 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 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.76/2520.11	v 	</values>
19924.76/2520.11	v </instantiation>

Verifier Data 

OK	952944

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309271-1534360750/watcher-4309271-1534360750 -o /tmp/evaluation-result-4309271-1534360750/solver-4309271-1534360750 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534353169-16237 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1309507514 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309271-1534360750.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=16896, runsolver pid=16893

[startup+0.100245 s]*
/proc/loadavg: 7.88 8.68 8.84 2/203 16916
/proc/meminfo: memFree=24660232/32770624 swapFree=67108688/67108860
[pid=16896] ppid=16893 vsize=26103420 memory=32012 CPUtime=0.11 cores=0-7
/proc/16896/stat : 16896 (java) S 16893 16896 16210 0 -1 1077944320 6970 0 0 0 9 2 0 0 20 0 20 0 253638234 26729902080 8003 33554432000 4194304 4196468 140735349634304 140735349616848 139939909000951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
/proc/16896/statm: 6525855 8003 3142 1 0 6487932 0
[pid=16896/tid=16898] ppid=16893 vsize=26103420 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16896/task/16898/stat : 16898 (java) R 16893 16896 16210 0 -1 4202560 5039 0 0 0 7 1 0 0 20 0 20 0 253638235 26729902080 8003 33554432000 4194304 4196468 140735349634304 139939913204080 139939889276832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16899] ppid=16893 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16896/task/16899/stat : 16899 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 8003 33554432000 4194304 4196468 140735349634304 139939861621904 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16900] ppid=16893 vsize=26103420 memory=140374022620800 CPUtime=0 cores=0-7
/proc/16896/task/16900/stat : 16900 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 8003 33554432000 4194304 4196468 140735349634304 139939860569104 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16901] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16901/stat : 16901 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 8003 33554432000 4194304 4196468 140735349634304 139939859516304 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16902] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16902/stat : 16902 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 8003 33554432000 4194304 4196468 140735349634304 139939858463504 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16903] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16903/stat : 16903 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 8003 33554432000 4194304 4196468 140735349634304 139939857410704 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16904] ppid=16893 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/16896/task/16904/stat : 16904 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 8003 33554432000 4194304 4196468 140735349634304 139939856357904 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16905] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16905/stat : 16905 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 8003 33554432000 4194304 4196468 140735349634304 139939855305104 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16906] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16906/stat : 16906 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 8003 33554432000 4194304 4196468 140735349634304 139939854252304 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16907] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16907/stat : 16907 (java) S 16893 16896 16210 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253638237 26729902080 8003 33554432000 4194304 4196468 140735349634304 139938969398128 139939909012098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16908] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16908/stat : 16908 (java) S 16893 16896 16210 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253638237 26729902080 8003 33554432000 4194304 4196468 140735349634304 139938968344096 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16909] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16909/stat : 16909 (java) S 16893 16896 16210 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 253638238 26729902080 8003 33554432000 4194304 4196468 140735349634304 139938967291248 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16910] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16910/stat : 16910 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 8003 33554432000 4194304 4196468 140735349634304 139938966239568 139939909019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16911] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16911/stat : 16911 (java) S 16893 16896 16210 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 8003 33554432000 4194304 4196468 140735349634304 139938965186928 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16912] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16912/stat : 16912 (java) S 16893 16896 16210 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 8003 33554432000 4194304 4196468 140735349634304 139938964134128 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16913] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16913/stat : 16913 (java) S 16893 16896 16210 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 8003 33554432000 4194304 4196468 140735349634304 139938963081328 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16914] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16914/stat : 16914 (java) S 16893 16896 16210 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 8003 33554432000 4194304 4196468 140735349634304 139938962028528 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16915] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16915/stat : 16915 (java) S 16893 16896 16210 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 8003 33554432000 4194304 4196468 140735349634304 139938037754976 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16916] ppid=16893 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/16896/task/16916/stat : 16916 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 8003 33554432000 4194304 4196468 140735349634304 139938036702256 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 32012 KiB

[startup+0.210299 s]*
/proc/loadavg: 7.88 8.68 8.84 4/203 16916
/proc/meminfo: memFree=24646900/32770624 swapFree=67108688/67108860
[pid=16896] ppid=16893 vsize=26103420 memory=45344 CPUtime=0.3 cores=0-7
/proc/16896/stat : 16896 (java) S 16893 16896 16210 0 -1 1077944320 10529 0 0 0 27 3 0 0 20 0 20 0 253638234 26729902080 11336 33554432000 4194304 4196468 140735349634304 140735349616848 139939909000951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
/proc/16896/statm: 6525855 11336 3279 1 0 6487932 0
[pid=16896/tid=16898] ppid=16893 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/16896/task/16898/stat : 16898 (java) R 16893 16896 16210 0 -1 4202560 8330 0 0 0 18 2 0 0 20 0 20 0 253638235 26729902080 11336 33554432000 4194304 4196468 140735349634304 139939913226000 139939909022298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16899] ppid=16893 vsize=26103420 memory=13976 CPUtime=0 cores=0-7
/proc/16896/task/16899/stat : 16899 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 11336 33554432000 4194304 4196468 140735349634304 139939861621904 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16900] ppid=16893 vsize=26103420 memory=288370750174332544 CPUtime=0 cores=0-7
/proc/16896/task/16900/stat : 16900 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 11336 33554432000 4194304 4196468 140735349634304 139939860569104 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16901] ppid=16893 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/16896/task/16901/stat : 16901 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 11336 33554432000 4194304 4196468 140735349634304 139939859516304 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16902] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16902/stat : 16902 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 11336 33554432000 4194304 4196468 140735349634304 139939858463504 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16903] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16903/stat : 16903 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 11336 33554432000 4194304 4196468 140735349634304 139939857410704 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16904] ppid=16893 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/16896/task/16904/stat : 16904 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 11336 33554432000 4194304 4196468 140735349634304 139939856357904 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16905] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16905/stat : 16905 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 11336 33554432000 4194304 4196468 140735349634304 139939855305104 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16906] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16906/stat : 16906 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 11336 33554432000 4194304 4196468 140735349634304 139939854252304 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16907] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16907/stat : 16907 (java) S 16893 16896 16210 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253638237 26729902080 11336 33554432000 4194304 4196468 140735349634304 139938969398128 139939909012098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16908] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16908/stat : 16908 (java) S 16893 16896 16210 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253638237 26729902080 11336 33554432000 4194304 4196468 140735349634304 139938968344096 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16909] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16909/stat : 16909 (java) S 16893 16896 16210 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 253638238 26729902080 11336 33554432000 4194304 4196468 140735349634304 139938967291248 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16910] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16910/stat : 16910 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 11336 33554432000 4194304 4196468 140735349634304 139938966239568 139939909019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16911] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16911/stat : 16911 (java) S 16893 16896 16210 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 11336 33554432000 4194304 4196468 140735349634304 139938965186928 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16912] ppid=16893 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/16896/task/16912/stat : 16912 (java) S 16893 16896 16210 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 20 0 253638240 26729902080 11336 33554432000 4194304 4196468 140735349634304 139938964134128 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16913] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16913/stat : 16913 (java) S 16893 16896 16210 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 11336 33554432000 4194304 4196468 140735349634304 139938963081328 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16914] ppid=16893 vsize=26103420 memory=0 CPUtime=0.05 cores=0-7
/proc/16896/task/16914/stat : 16914 (java) R 16893 16896 16210 0 -1 4202560 281 0 0 0 5 0 0 0 20 0 20 0 253638240 26729902080 11336 33554432000 4194304 4196468 140735349634304 139938962024256 139939909012886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16915] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16915/stat : 16915 (java) S 16893 16896 16210 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 11336 33554432000 4194304 4196468 140735349634304 139938037754976 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16916] ppid=16893 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/16896/task/16916/stat : 16916 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 11336 33554432000 4194304 4196468 140735349634304 139938036702256 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 45344 KiB

[startup+0.310347 s]*
/proc/loadavg: 7.88 8.68 8.84 2/203 16916
/proc/meminfo: memFree=24643612/32770624 swapFree=67108688/67108860
[pid=16896] ppid=16893 vsize=26103420 memory=48896 CPUtime=0.43 cores=0-7
/proc/16896/stat : 16896 (java) S 16893 16896 16210 0 -1 1077944320 10940 0 0 0 40 3 0 0 20 0 20 0 253638234 26729902080 12224 33554432000 4194304 4196468 140735349634304 140735349616848 139939909000951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
/proc/16896/statm: 6525855 12224 3318 1 0 6487932 0
[pid=16896/tid=16898] ppid=16893 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16896/task/16898/stat : 16898 (java) R 16893 16896 16210 0 -1 4202560 8660 0 0 0 27 2 0 0 20 0 20 0 253638235 26729902080 12224 33554432000 4194304 4196468 140735349634304 139939913162688 139939889276247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16899] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16899/stat : 16899 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 12224 33554432000 4194304 4196468 140735349634304 139939861621904 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16900] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16900/stat : 16900 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 12224 33554432000 4194304 4196468 140735349634304 139939860569104 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16901] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16901/stat : 16901 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 12224 33554432000 4194304 4196468 140735349634304 139939859516304 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16902] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16902/stat : 16902 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 12224 33554432000 4194304 4196468 140735349634304 139939858463504 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16903] ppid=16893 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/16896/task/16903/stat : 16903 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 12224 33554432000 4194304 4196468 140735349634304 139939857410704 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16904] ppid=16893 vsize=26103420 memory=140373892625327 CPUtime=0 cores=0-7
/proc/16896/task/16904/stat : 16904 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 12224 33554432000 4194304 4196468 140735349634304 139939856357904 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16905] ppid=16893 vsize=26103420 memory=140373892627632 CPUtime=0 cores=0-7
/proc/16896/task/16905/stat : 16905 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 12224 33554432000 4194304 4196468 140735349634304 139939855305104 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16906] ppid=16893 vsize=26103420 memory=140373892629936 CPUtime=0 cores=0-7
/proc/16896/task/16906/stat : 16906 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26729902080 12224 33554432000 4194304 4196468 140735349634304 139939854252304 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16907] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16907/stat : 16907 (java) S 16893 16896 16210 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253638237 26729902080 12224 33554432000 4194304 4196468 140735349634304 139938969398128 139939909012098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16908] ppid=16893 vsize=26103420 memory=280747785266832 CPUtime=0 cores=0-7
/proc/16896/task/16908/stat : 16908 (java) S 16893 16896 16210 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253638237 26729902080 12224 33554432000 4194304 4196468 140735349634304 139938968344096 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16909] ppid=16893 vsize=26103420 memory=280747785273744 CPUtime=0 cores=0-7
/proc/16896/task/16909/stat : 16909 (java) S 16893 16896 16210 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 253638238 26729902080 12224 33554432000 4194304 4196468 140735349634304 139938967291248 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16910] ppid=16893 vsize=26103420 memory=280747785215024 CPUtime=0 cores=0-7
/proc/16896/task/16910/stat : 16910 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 12224 33554432000 4194304 4196468 140735349634304 139938966239568 139939909019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16911] ppid=16893 vsize=26103420 memory=280747785287568 CPUtime=0.01 cores=0-7
/proc/16896/task/16911/stat : 16911 (java) S 16893 16896 16210 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 20 0 253638240 26729902080 12224 33554432000 4194304 4196468 140735349634304 139938965186928 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16912] ppid=16893 vsize=26103420 memory=280747785294480 CPUtime=0.02 cores=0-7
/proc/16896/task/16912/stat : 16912 (java) S 16893 16896 16210 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 253638240 26729902080 12224 33554432000 4194304 4196468 140735349634304 139938964134128 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16913] ppid=16893 vsize=26103420 memory=280747785292176 CPUtime=0 cores=0-7
/proc/16896/task/16913/stat : 16913 (java) S 16893 16896 16210 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 12224 33554432000 4194304 4196468 140735349634304 139938963081328 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16914] ppid=16893 vsize=26103420 memory=280747785308784 CPUtime=0.07 cores=0-7
/proc/16896/task/16914/stat : 16914 (java) S 16893 16896 16210 0 -1 1077944384 290 0 0 0 7 0 0 0 20 0 20 0 253638240 26729902080 12224 33554432000 4194304 4196468 140735349634304 139938962028528 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16915] ppid=16893 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16915/stat : 16915 (java) S 16893 16896 16210 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 12224 33554432000 4194304 4196468 140735349634304 139938037754976 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16916] ppid=16893 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/16896/task/16916/stat : 16916 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638240 26729902080 12224 33554432000 4194304 4196468 140735349634304 139938036702256 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 48896 KiB

[startup+0.700835 s]
/proc/loadavg: 7.88 8.68 8.84 2/203 16916
/proc/meminfo: memFree=24619752/32770624 swapFree=67108688/67108860
[pid=16896] ppid=16893 vsize=26105488 memory=87296 CPUtime=0.99 cores=0-7
/proc/16896/stat : 16896 (java) S 16893 16896 16210 0 -1 1077944320 17758 0 0 0 93 6 0 0 20 0 20 0 253638234 26732019712 21824 33554432000 4194304 4196468 140735349634304 140735349616848 139939909000951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
/proc/16896/statm: 6526372 21824 3488 1 0 6488444 0
[pid=16896/tid=16898] ppid=16893 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/16896/task/16898/stat : 16898 (java) R 16893 16896 16210 0 -1 4202560 15036 0 0 0 63 4 0 0 20 0 20 0 253638235 26732019712 21824 33554432000 4194304 4196468 140735349634304 139939913227552 139939891478729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16899] ppid=16893 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16899/stat : 16899 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26732019712 21824 33554432000 4194304 4196468 140735349634304 139939861621904 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16900] ppid=16893 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16900/stat : 16900 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26732019712 21824 33554432000 4194304 4196468 140735349634304 139939860569104 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16901] ppid=16893 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/16896/task/16901/stat : 16901 (java) S 16893 16896 16210 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253638235 26732019712 21824 33554432000 4194304 4196468 140735349634304 139939859516304 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16902] ppid=16893 vsize=26105488 memory=1220 CPUtime=0 cores=0-7
/proc/16896/task/16902/stat : 16902 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26732019712 21824 33554432000 4194304 4196468 140735349634304 139939858463504 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16903] ppid=16893 vsize=26105488 memory=1612 CPUtime=0 cores=0-7
/proc/16896/task/16903/stat : 16903 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26732019712 21824 33554432000 4194304 4196468 140735349634304 139939857410704 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16904] ppid=16893 vsize=26105488 memory=1808 CPUtime=0 cores=0-7
/proc/16896/task/16904/stat : 16904 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26732019712 21824 33554432000 4194304 4196468 140735349634304 139939856357904 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16905] ppid=16893 vsize=26105488 memory=8700 CPUtime=0 cores=0-7
/proc/16896/task/16905/stat : 16905 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26732019712 21824 33554432000 4194304 4196468 140735349634304 139939855305104 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16906] ppid=16893 vsize=26105488 memory=14884 CPUtime=0 cores=0-7
/proc/16896/task/16906/stat : 16906 (java) S 16893 16896 16210 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253638235 26732019712 21824 33554432000 4194304 4196468 140735349634304 139939854252304 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16907] ppid=16893 vsize=26105488 memory=15784 CPUtime=0 cores=0-7
/proc/16896/task/16907/stat : 16907 (java) S 16893 16896 16210 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253638237 26732019712 21824 33554432000 4194304 4196468 140735349634304 139938969398128 139939909012098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0

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

/proc/16896/task/16920/stat : 16920 (java) S 16893 16896 16210 0 -1 1077944384 486 0 0 0 8 0 0 0 20 0 46 0 253638759 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937709900944 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16921] ppid=16893 vsize=27850524 memory=3980 CPUtime=0.07 cores=0-7
/proc/16896/task/16921/stat : 16921 (java) S 16893 16896 16210 0 -1 1077944384 452 0 0 0 7 0 0 0 20 0 46 0 253638761 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937708848144 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16922] ppid=16893 vsize=27850524 memory=1924 CPUtime=2477.17 cores=0-7
/proc/16896/task/16922/stat : 16922 (java) R 16893 16896 16210 0 -1 4202560 57973 0 0 0 247657 60 0 0 20 0 46 0 253638766 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937705690848 139939521157298 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16923] ppid=16893 vsize=27850524 memory=7636 CPUtime=0.07 cores=0-7
/proc/16896/task/16923/stat : 16923 (java) S 16893 16896 16210 0 -1 1077944384 361 0 0 0 7 0 0 0 20 0 46 0 253638766 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937704646416 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16924] ppid=16893 vsize=27850524 memory=6791534058613427641 CPUtime=2477.86 cores=0-7
/proc/16896/task/16924/stat : 16924 (java) R 16893 16896 16210 0 -1 4202560 59546 0 0 0 247734 52 0 0 20 0 46 0 253638766 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937703588624 140735351049457 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16925] ppid=16893 vsize=27850524 memory=288230596050944315 CPUtime=0.02 cores=0-7
/proc/16896/task/16925/stat : 16925 (java) S 16893 16896 16210 0 -1 1077944384 602 0 0 0 2 0 0 0 20 0 46 0 253638766 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937702540816 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16926] ppid=16893 vsize=27850524 memory=15538518206188108 CPUtime=2478.73 cores=0-7
/proc/16896/task/16926/stat : 16926 (java) R 16893 16896 16210 0 -1 4202560 59082 0 0 0 247817 56 0 0 20 0 46 0 253638766 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937701481968 139939521017574 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16927] ppid=16893 vsize=27850524 memory=3485124 CPUtime=2477.47 cores=0-7
/proc/16896/task/16927/stat : 16927 (java) R 16893 16896 16210 0 -1 4202560 56209 0 0 0 247694 53 0 0 20 0 46 0 253638767 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937700431392 139939520252769 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16928] ppid=16893 vsize=27850524 memory=1808 CPUtime=2478.66 cores=0-7
/proc/16896/task/16928/stat : 16928 (java) R 16893 16896 16210 0 -1 4202560 57035 0 0 0 247810 56 0 0 20 0 46 0 253638767 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937699378624 139939521017736 0 4 0 16800975 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16929] ppid=16893 vsize=27850524 memory=8700 CPUtime=2478.08 cores=0-7
/proc/16896/task/16929/stat : 16929 (java) R 16893 16896 16210 0 -1 4202560 59319 0 0 0 247755 53 0 0 20 0 46 0 253638768 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937698321456 139939520902529 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16930] ppid=16893 vsize=27850524 memory=14884 CPUtime=2476.71 cores=0-7
/proc/16896/task/16930/stat : 16930 (java) R 16893 16896 16210 0 -1 4202560 55384 0 0 0 247618 53 0 0 20 0 46 0 253638775 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937697270768 139939521017633 0 4 0 16800975 0 0 0 -1 1 0 0 28 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16931] ppid=16893 vsize=27850524 memory=15784 CPUtime=0.02 cores=0-7
/proc/16896/task/16931/stat : 16931 (java) S 16893 16896 16210 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 46 0 253638775 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937696225040 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16932] ppid=16893 vsize=27850524 memory=1172 CPUtime=0.01 cores=0-7
/proc/16896/task/16932/stat : 16932 (java) S 16893 16896 16210 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 46 0 253638776 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937693038224 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16933] ppid=16893 vsize=27850524 memory=3485124 CPUtime=0.01 cores=0-7
/proc/16896/task/16933/stat : 16933 (java) S 16893 16896 16210 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 46 0 253638776 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937691985424 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16934] ppid=16893 vsize=27850524 memory=3360 CPUtime=0.01 cores=0-7
/proc/16896/task/16934/stat : 16934 (java) S 16893 16896 16210 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 46 0 253638776 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937690932624 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16935] ppid=16893 vsize=27850524 memory=496 CPUtime=0.01 cores=0-7
/proc/16896/task/16935/stat : 16935 (java) S 16893 16896 16210 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 46 0 253638776 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937689879824 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16936] ppid=16893 vsize=27850524 memory=1624 CPUtime=0.02 cores=0-7
/proc/16896/task/16936/stat : 16936 (java) S 16893 16896 16210 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 46 0 253638821 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937688827024 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16937] ppid=16893 vsize=27850524 memory=928 CPUtime=0.01 cores=0-7
/proc/16896/task/16937/stat : 16937 (java) S 16893 16896 16210 0 -1 1077944384 567 0 0 0 1 0 0 0 20 0 46 0 253638821 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937687774224 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16938] ppid=16893 vsize=27850524 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/16896/task/16938/stat : 16938 (java) S 16893 16896 16210 0 -1 1077944384 394 0 0 0 1 0 0 0 20 0 46 0 253638821 28518936576 871281 33554432000 4194304 4196468 140735349634304 139937686721424 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16939] ppid=16893 vsize=27850524 memory=2332 CPUtime=0.01 cores=0-7
/proc/16896/task/16939/stat : 16939 (java) S 16893 16896 16210 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 46 0 253638821 28518936576 871281 33554432000 4194304 4196468 140735349634304 139935872968464 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16940] ppid=16893 vsize=27850524 memory=924 CPUtime=0.01 cores=0-7
/proc/16896/task/16940/stat : 16940 (java) S 16893 16896 16210 0 -1 1077944384 301 0 0 0 1 0 0 0 20 0 46 0 253638821 28518936576 871281 33554432000 4194304 4196468 140735349634304 139935871915664 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16941] ppid=16893 vsize=27850524 memory=1564 CPUtime=0.02 cores=0-7
/proc/16896/task/16941/stat : 16941 (java) S 16893 16896 16210 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 46 0 253638821 28518936576 871281 33554432000 4194304 4196468 140735349634304 139935870862864 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16942] ppid=16893 vsize=27850524 memory=3485124 CPUtime=0.02 cores=0-7
/proc/16896/task/16942/stat : 16942 (java) S 16893 16896 16210 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 46 0 253638821 28518936576 871281 33554432000 4194304 4196468 140735349634304 139935869810064 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
Current children cumulated CPU time: 19924.8 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 3485124 KiB

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

[startup+2520.24 s]
# the end of solver process 16896 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19916.6 s, system=9.77905 s

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

[startup+2520.2 s]
/proc/loadavg: 9.31 8.98 8.92 10/230 17017
/proc/meminfo: memFree=21194640/32770624 swapFree=67108688/67108860
[pid=16896] ppid=16893 vsize=28050216 memory=3486372 CPUtime=19926.3 cores=0-7
/proc/16896/stat : 16896 (java) S 16893 16896 16210 0 -1 1077944320 1574882 0 0 0 1991651 976 0 0 20 0 48 0 253638234 28723421184 871593 33554432000 4194304 4196468 140735349634304 140735349616848 139939909000951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
/proc/16896/statm: 7012554 871593 3628 1 0 6974105 0
[pid=16896/tid=16898] ppid=16893 vsize=28050216 memory=1924 CPUtime=5.09 cores=0-7
/proc/16896/task/16898/stat : 16898 (java) S 16893 16896 16210 0 -1 1077944384 22183 0 0 0 500 9 0 0 20 0 48 0 253638235 28723421184 871593 33554432000 4194304 4196468 140735349634304 139939913238416 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16899] ppid=16893 vsize=28050216 memory=3824 CPUtime=9.64 cores=0-7
/proc/16896/task/16899/stat : 16899 (java) S 16893 16896 16210 0 -1 1077944384 108420 0 0 0 909 55 0 0 20 0 48 0 253638235 28723421184 871593 33554432000 4194304 4196468 140735349634304 139939861621904 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16900] ppid=16893 vsize=28050216 memory=69056 CPUtime=9.66 cores=0-7
/proc/16896/task/16900/stat : 16900 (java) S 16893 16896 16210 0 -1 1077944384 92476 0 0 0 911 55 0 0 20 0 48 0 253638235 28723421184 871593 33554432000 4194304 4196468 140735349634304 139939860569104 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16901] ppid=16893 vsize=28050216 memory=6791534058613427641 CPUtime=9.57 cores=0-7
/proc/16896/task/16901/stat : 16901 (java) S 16893 16896 16210 0 -1 1077944384 110047 0 0 0 902 55 0 0 20 0 48 0 253638235 28723421184 871593 33554432000 4194304 4196468 140735349634304 139939859516304 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16902] ppid=16893 vsize=28050216 memory=1220 CPUtime=9.59 cores=0-7
/proc/16896/task/16902/stat : 16902 (java) S 16893 16896 16210 0 -1 1077944384 105356 0 0 0 905 54 0 0 20 0 48 0 253638235 28723421184 871593 33554432000 4194304 4196468 140735349634304 139939858463504 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16903] ppid=16893 vsize=28050216 memory=3824 CPUtime=9.68 cores=0-7
/proc/16896/task/16903/stat : 16903 (java) S 16893 16896 16210 0 -1 1077944384 103846 0 0 0 908 60 0 0 20 0 48 0 253638235 28723421184 871593 33554432000 4194304 4196468 140735349634304 139939857410704 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16904] ppid=16893 vsize=28050216 memory=69080 CPUtime=9.64 cores=0-7
/proc/16896/task/16904/stat : 16904 (java) S 16893 16896 16210 0 -1 1077944384 111295 0 0 0 905 59 0 0 20 0 48 0 253638235 28723421184 871593 33554432000 4194304 4196468 140735349634304 139939856357904 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16905] ppid=16893 vsize=28050216 memory=2316 CPUtime=9.62 cores=0-7
/proc/16896/task/16905/stat : 16905 (java) S 16893 16896 16210 0 -1 1077944384 104475 0 0 0 910 52 0 0 20 0 48 0 253638235 28723421184 871593 33554432000 4194304 4196468 140735349634304 139939855305104 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16906] ppid=16893 vsize=28050216 memory=1924 CPUtime=9.71 cores=0-7
/proc/16896/task/16906/stat : 16906 (java) S 16893 16896 16210 0 -1 1077944384 109075 0 0 0 915 56 0 0 20 0 48 0 253638235 28723421184 871593 33554432000 4194304 4196468 140735349634304 139939854252304 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16907] ppid=16893 vsize=28050216 memory=7636 CPUtime=7.18 cores=0-7
/proc/16896/task/16907/stat : 16907 (java) R 16893 16896 16210 0 -1 1077944384 167264 0 0 0 631 87 0 0 20 0 48 0 253638237 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938969398128 139939909012098 0 0 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16908] ppid=16893 vsize=28050216 memory=804 CPUtime=0 cores=0-7
/proc/16896/task/16908/stat : 16908 (java) S 16893 16896 16210 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 48 0 253638237 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938968344160 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16909] ppid=16893 vsize=28050216 memory=1800 CPUtime=0 cores=0-7
/proc/16896/task/16909/stat : 16909 (java) S 16893 16896 16210 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 48 0 253638238 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938967291264 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16910] ppid=16893 vsize=28050216 memory=920 CPUtime=0 cores=0-7
/proc/16896/task/16910/stat : 16910 (java) S 16893 16896 16210 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 48 0 253638240 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938966239568 139939909019547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16911] ppid=16893 vsize=28050216 memory=5748 CPUtime=1.76 cores=0-7
/proc/16896/task/16911/stat : 16911 (java) R 16893 16896 16210 0 -1 4202560 11104 0 0 0 174 2 0 0 20 0 48 0 253638240 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938965172296 139939892920044 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16912] ppid=16893 vsize=28050216 memory=4104 CPUtime=1.67 cores=0-7
/proc/16896/task/16912/stat : 16912 (java) R 16893 16896 16210 0 -1 4202560 9920 0 0 0 164 3 0 0 20 0 48 0 253638240 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938964120992 139939892911936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16913] ppid=16893 vsize=28050216 memory=1404 CPUtime=1.46 cores=0-7
/proc/16896/task/16913/stat : 16913 (java) R 16893 16896 16210 0 -1 1077944384 6190 0 0 0 144 2 0 0 20 0 48 0 253638240 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938963081328 139939909012098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16914] ppid=16893 vsize=28050216 memory=4636 CPUtime=1.18 cores=0-7
/proc/16896/task/16914/stat : 16914 (java) R 16893 16896 16210 0 -1 4202560 11907 0 0 0 115 3 0 0 20 0 48 0 253638240 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938962028336 139939887968465 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16915] ppid=16893 vsize=28050216 memory=3485124 CPUtime=0 cores=0-7
/proc/16896/task/16915/stat : 16915 (java) S 16893 16896 16210 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 253638240 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938037754976 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16916] ppid=16893 vsize=28050216 memory=6791534058613427641 CPUtime=0.71 cores=0-7
/proc/16896/task/16916/stat : 16916 (java) S 16893 16896 16210 0 -1 1077944384 8244 0 0 0 32 39 0 0 20 0 48 0 253638240 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938036702256 139939909012098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16917] ppid=16893 vsize=28050216 memory=1404 CPUtime=0.02 cores=0-7
/proc/16896/task/16917/stat : 16917 (java) S 16893 16896 16210 0 -1 1077944384 1927 0 0 0 2 0 0 0 20 0 48 0 253638719 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938025358416 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16918] ppid=16893 vsize=28050216 memory=0 CPUtime=1.88 cores=0-7
/proc/16896/task/16918/stat : 16918 (java) S 16893 16896 16210 0 -1 1077944384 16917 0 0 0 79 109 0 0 20 0 48 0 253638736 28723421184 871593 33554432000 4194304 4196468 140735349634304 139938022208992 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16919] ppid=16893 vsize=28050216 memory=3485124 CPUtime=2481.57 cores=0-7
/proc/16896/task/16919/stat : 16919 (java) R 16893 16896 16210 0 -1 4202560 59557 0 0 0 248104 53 0 0 20 0 48 0 253638758 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937710947832 139939521887057 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16920] ppid=16893 vsize=28050216 memory=288230574492221466 CPUtime=0.08 cores=0-7
/proc/16896/task/16920/stat : 16920 (java) S 16893 16896 16210 0 -1 1077944384 509 0 0 0 8 0 0 0 20 0 48 0 253638759 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937709900944 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16921] ppid=16893 vsize=28050216 memory=288230596050944315 CPUtime=0.08 cores=0-7
/proc/16896/task/16921/stat : 16921 (java) S 16893 16896 16210 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 48 0 253638761 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937708848144 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16922] ppid=16893 vsize=28050216 memory=15538518206188108 CPUtime=2477.35 cores=0-7
/proc/16896/task/16922/stat : 16922 (java) R 16893 16896 16210 0 -1 4202560 57978 0 0 0 247675 60 0 0 20 0 48 0 253638766 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937705690776 139939520906019 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16923] ppid=16893 vsize=28050216 memory=3980 CPUtime=0.07 cores=0-7
/proc/16896/task/16923/stat : 16923 (java) S 16893 16896 16210 0 -1 1077944384 386 0 0 0 7 0 0 0 20 0 48 0 253638766 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937704646416 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16924] ppid=16893 vsize=28050216 memory=1924 CPUtime=2478.02 cores=0-7
/proc/16896/task/16924/stat : 16924 (java) R 16893 16896 16210 0 -1 4202560 59549 0 0 0 247750 52 0 0 20 0 48 0 253638766 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937703587704 139939519584254 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16925] ppid=16893 vsize=28050216 memory=7636 CPUtime=0.02 cores=0-7
/proc/16896/task/16925/stat : 16925 (java) S 16893 16896 16210 0 -1 1077944384 623 0 0 0 2 0 0 0 20 0 48 0 253638766 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937702540816 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16926] ppid=16893 vsize=28050216 memory=3485124 CPUtime=2478.88 cores=0-7
/proc/16896/task/16926/stat : 16926 (java) R 16893 16896 16210 0 -1 4202560 59083 0 0 0 247832 56 0 0 20 0 48 0 253638766 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937701482104 139939520905226 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16927] ppid=16893 vsize=28050216 memory=1800 CPUtime=2477.66 cores=0-7
/proc/16896/task/16927/stat : 16927 (java) R 16893 16896 16210 0 -1 4202560 56211 0 0 0 247713 53 0 0 20 0 48 0 253638767 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937700428008 139939521017574 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16928] ppid=16893 vsize=28050216 memory=920 CPUtime=2478.85 cores=0-7
/proc/16896/task/16928/stat : 16928 (java) R 16893 16896 16210 0 -1 4202560 57040 0 0 0 247829 56 0 0 20 0 48 0 253638767 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937699376368 139939520252872 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16929] ppid=16893 vsize=28050216 memory=5748 CPUtime=2478.24 cores=0-7
/proc/16896/task/16929/stat : 16929 (java) R 16893 16896 16210 0 -1 4202560 59320 0 0 0 247771 53 0 0 20 0 48 0 253638768 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937698323456 139939521017574 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16930] ppid=16893 vsize=28050216 memory=4104 CPUtime=2476.86 cores=0-7
/proc/16896/task/16930/stat : 16930 (java) R 16893 16896 16210 0 -1 4202560 55388 0 0 0 247633 53 0 0 20 0 48 0 253638775 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937697270904 139939519584643 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16931] ppid=16893 vsize=28050216 memory=1404 CPUtime=0.02 cores=0-7
/proc/16896/task/16931/stat : 16931 (java) S 16893 16896 16210 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 48 0 253638775 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937696225040 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16932] ppid=16893 vsize=28050216 memory=4636 CPUtime=0.01 cores=0-7
/proc/16896/task/16932/stat : 16932 (java) S 16893 16896 16210 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 48 0 253638776 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937693038224 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16933] ppid=16893 vsize=28050216 memory=3485124 CPUtime=0.01 cores=0-7
/proc/16896/task/16933/stat : 16933 (java) S 16893 16896 16210 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 48 0 253638776 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937691985424 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16934] ppid=16893 vsize=28050216 memory=301741373374332954 CPUtime=0.02 cores=0-7
/proc/16896/task/16934/stat : 16934 (java) S 16893 16896 16210 0 -1 1077944384 694 0 0 0 2 0 0 0 20 0 48 0 253638776 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937690932624 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16935] ppid=16893 vsize=28050216 memory=304556144700162363 CPUtime=0.01 cores=0-7
/proc/16896/task/16935/stat : 16935 (java) S 16893 16896 16210 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 48 0 253638776 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937689879824 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16936] ppid=16893 vsize=28050216 memory=15538518206188108 CPUtime=0.02 cores=0-7
/proc/16896/task/16936/stat : 16936 (java) R 16893 16896 16210 0 -1 4202560 460 0 0 0 2 0 0 0 20 0 48 0 253638821 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937688823040 139939909012886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16937] ppid=16893 vsize=28050216 memory=3483968 CPUtime=0.02 cores=0-7
/proc/16896/task/16937/stat : 16937 (java) S 16893 16896 16210 0 -1 1077944384 631 0 0 0 2 0 0 0 20 0 48 0 253638821 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937687774224 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16938] ppid=16893 vsize=28050216 memory=3360 CPUtime=0.01 cores=0-7
/proc/16896/task/16938/stat : 16938 (java) S 16893 16896 16210 0 -1 1077944384 418 0 0 0 1 0 0 0 20 0 48 0 253638821 28723421184 871593 33554432000 4194304 4196468 140735349634304 139937686721424 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16939] ppid=16893 vsize=28050216 memory=496 CPUtime=0.02 cores=0-7
/proc/16896/task/16939/stat : 16939 (java) S 16893 16896 16210 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 48 0 253638821 28723421184 871593 33554432000 4194304 4196468 140735349634304 139935872968464 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16940] ppid=16893 vsize=28050216 memory=1624 CPUtime=0.01 cores=0-7
/proc/16896/task/16940/stat : 16940 (java) S 16893 16896 16210 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 48 0 253638821 28723421184 871593 33554432000 4194304 4196468 140735349634304 139935871915664 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16941] ppid=16893 vsize=28050216 memory=928 CPUtime=0.02 cores=0-7
/proc/16896/task/16941/stat : 16941 (java) S 16893 16896 16210 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 48 0 253638821 28723421184 871593 33554432000 4194304 4196468 140735349634304 139935870862864 139939909011157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
[pid=16896/tid=16942] ppid=16893 vsize=28050216 memory=280747788645248 CPUtime=0.02 cores=0-7
/proc/16896/task/16942/stat : 16942 (java) R 16893 16896 16210 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 48 0 253638821 28723421184 871593 33554432000 4194304 4196468 140735349634304 139935869810064 139939909011157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23011328 140735349642317 140735349642501 140735349642501 140735349645263 0
Current children cumulated CPU time: 19926.3 s
Current children cumulated vsize: 28050216 KiB
Current children cumulated memory: 3486372 KiB

Child status: 143
Real time (s): 2520.24
CPU time (s): 19926.3
CPU user time (s): 19916.6
CPU system time (s): 9.77905
CPU usage (%): 790.654
Max. virtual memory (cumulated for all children) (KiB): 28050216
Max. memory (cumulated for all children) (KiB): 3486372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19916.6
system time used= 9.77905
maximum resident set size= 3487632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1575042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 742156
involuntary context switches= 446275


# summary of solver processes directly reported to runsolver:
#   pid: 16896
#   total CPU time (s): 19926.3
#   total CPU user time (s): 19916.6
#   total CPU system time (s): 9.77905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.4004 second user time and 36.3423 second system time

The end

Launcher Data 

Begin job on node134 at 2018-08-15 21:19:10
IDJOB=4309271
IDBENCH=141152
IDSOLVER=2793
FILE ID=node134/4309271-1534360750
RUNJOBID= node134-1534353169-16237
PBS_JOBID= 21038259
Free space on /tmp= 51788 MiB

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

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=1309507514

node134.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.68
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.68
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.68
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.68
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:        24680528 kB
MemAvailable:   31891100 kB
Buffers:          215040 kB
Cached:          7211840 kB
SwapCached:           32 kB
Active:          3958052 kB
Inactive:        3525920 kB
Active(anon):       5996 kB
Inactive(anon):   111440 kB
Active(file):    3952056 kB
Inactive(file):  3414480 kB
Unevictable:        7392 kB
Mlocked:            7392 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             35888 kB
Writeback:             0 kB
AnonPages:         63708 kB
Mapped:            55936 kB
Shmem:             57844 kB
Slab:             301796 kB
SReclaimable:     272496 kB
SUnreclaim:        29300 kB
KernelStack:        3600 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 51752 MiB
End job on node134 at 2018-08-15 22:01:11