Trace number 4298537

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
SuperSolver_Macq_Stevenart 2018-04-27SAT1305447 303.55 301.038

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
2.97/1.68	o 0
2.97/1.68	o 11303
2.97/1.68	o 17675
2.97/1.69	o 28978
2.97/1.69	o 37490
3.14/1.70	o 39144
3.14/1.70	o 47656
3.14/1.70	o 48888
3.14/1.71	o 50403
3.14/1.71	o 52057
3.14/1.71	o 60569
3.14/1.71	o 61801
3.14/1.72	o 67499
3.14/1.72	o 68731
3.14/1.72	o 71900
3.14/1.72	o 80412
3.14/1.72	o 81644
3.14/1.73	o 82465
3.14/1.73	o 90977
3.14/1.73	o 92209
3.14/1.73	o 99636
3.14/1.73	o 100868
3.14/1.73	o 101689
3.14/1.73	o 110201
3.14/1.73	o 111433
3.14/1.74	o 111496
3.14/1.76	o 114998
3.14/1.76	o 116230
3.14/1.77	o 116293
3.14/1.78	o 117375
3.14/1.78	o 117438
3.14/1.79	o 119399
3.14/1.79	o 120631
3.14/1.79	o 124196
3.14/1.79	o 125428
3.42/1.80	o 126573
3.42/1.81	o 126636
3.42/1.81	o 129974
3.42/1.81	o 131206
3.42/1.82	o 131269
3.42/1.82	o 132351
3.42/1.82	o 132414
3.42/1.83	o 139172
3.42/1.83	o 140404
3.42/1.83	o 141549
3.42/1.83	o 141612
3.42/1.84	o 143969
3.42/1.84	o 145201
3.42/1.85	o 145264
3.42/1.85	o 146346
3.42/1.86	o 146409
3.72/1.93	o 148727
3.72/1.93	o 149959
3.72/1.93	o 151104
3.72/1.94	o 151167
3.72/1.94	o 155007
3.72/1.94	o 156239
3.72/1.94	o 156302
3.72/1.94	o 164205
3.72/1.95	o 165437
3.72/1.95	o 165500
3.72/1.95	o 166582
3.72/1.96	o 166645
3.72/1.96	o 167040
3.72/1.96	o 168272
3.72/1.97	o 169417
3.72/1.98	o 169480
4.31/2.49	o 177142
4.31/2.49	o 177205
4.31/2.49	o 186340
4.31/2.49	o 186403
4.31/2.49	o 186626
4.31/2.49	o 186689
4.31/2.49	o 186702
4.31/2.49	o 186765
4.31/2.50	o 194451
4.31/2.50	o 194514
4.41/2.50	o 203649
4.41/2.50	o 203712
4.41/2.50	o 203935
4.41/2.50	o 203998
4.41/2.50	o 204011
4.41/2.50	o 204074
4.41/2.50	o 205265
4.41/2.50	o 205328
4.41/2.50	o 205551
4.41/2.50	o 205614
4.41/2.50	o 205627
4.41/2.50	o 205690
4.41/2.51	o 212322
4.41/2.51	o 212385
4.41/2.51	o 212608
4.41/2.51	o 212671
4.41/2.51	o 212684
4.41/2.51	o 212747
4.41/2.51	o 220433
4.41/2.51	o 220496
4.41/2.51	o 229631
4.41/2.51	o 229694
4.41/2.51	o 229917
4.41/2.51	o 229980
4.41/2.51	o 229993
4.41/2.51	o 230056
4.41/2.52	o 231247
4.41/2.52	o 231310
4.41/2.52	o 231533
4.41/2.52	o 231596
4.41/2.52	o 231609
4.41/2.52	o 231672
4.41/2.52	o 236236
4.41/2.52	o 236299
4.41/2.52	o 236522
4.41/2.52	o 236585
4.41/2.52	o 236598
4.41/2.52	o 236661
4.41/2.52	o 237852
4.41/2.52	o 237915
4.41/2.52	o 238138
4.41/2.52	o 238201
4.41/2.52	o 238214
4.41/2.52	o 238277
4.41/2.53	o 241484
4.41/2.53	o 241547
4.41/2.53	o 241770
4.41/2.53	o 241833
4.41/2.53	o 243100
4.41/2.53	o 243163
4.41/2.53	o 243386
4.41/2.53	o 243449
4.41/2.54	o 243463
4.41/2.54	o 243526
4.41/2.54	o 243539
4.41/2.54	o 243602
4.41/2.54	o 244793
4.41/2.54	o 244856
4.41/2.54	o 245079
4.41/2.54	o 245142
4.41/2.54	o 245155
4.41/2.54	o 245218
4.41/2.54	o 248425
4.41/2.54	o 248488
4.41/2.54	o 248711
4.41/2.54	o 248774
4.41/2.54	o 250041
4.41/2.54	o 250104
4.41/2.54	o 250327
4.41/2.54	o 250390
4.41/2.55	o 252054
4.41/2.55	o 252117
4.41/2.55	o 252340
4.41/2.55	o 252403
4.41/2.55	o 253670
4.41/2.55	o 253733
4.41/2.55	o 253956
4.41/2.55	o 254019
4.41/2.56	o 256834
4.41/2.56	o 256897
4.41/2.56	o 257120
4.41/2.56	o 257183
4.41/2.56	o 258450
4.41/2.56	o 258513
4.41/2.56	o 258736
4.41/2.56	o 258799
4.41/2.56	o 258813
4.41/2.56	o 258876
4.41/2.56	o 258889
4.41/2.56	o 258952
4.41/2.56	o 260143
4.41/2.56	o 260206
4.41/2.56	o 260429
4.41/2.57	o 260492
4.41/2.57	o 260505
4.41/2.57	o 260568
4.41/2.57	o 263775
4.41/2.57	o 263838
4.41/2.57	o 264061
4.41/2.57	o 264124
4.41/2.57	o 265391
4.41/2.57	o 265454
4.41/2.57	o 265677
4.41/2.57	o 265740
4.41/2.57	o 267404
4.41/2.57	o 267467
4.41/2.57	o 267690
4.41/2.57	o 267753
4.41/2.57	o 269020
4.41/2.57	o 269083
4.41/2.57	o 269306
4.41/2.57	o 269369
4.41/2.58	o 269591
4.41/2.58	o 269654
4.41/2.58	o 269877
4.41/2.58	o 269940
4.41/2.58	o 271207
4.41/2.58	o 271270
4.41/2.58	o 271493
4.41/2.58	o 271556
4.41/2.58	o 273220
4.41/2.59	o 273283
4.41/2.59	o 273506
4.41/2.59	o 273569
4.41/2.59	o 274836
4.41/2.59	o 274899
4.41/2.59	o 275122
4.41/2.59	o 275185
4.41/2.59	o 278000
4.41/2.59	o 278063
4.41/2.59	o 278286
4.41/2.59	o 278349
4.41/2.60	o 279616
4.41/2.60	o 279679
4.53/2.60	o 279902
4.53/2.60	o 279965
4.53/2.60	o 279979
4.53/2.60	o 280042
4.53/2.60	o 280055
4.53/2.60	o 280118
4.53/2.60	o 281309
4.53/2.60	o 281372
4.53/2.60	o 281595
4.53/2.60	o 281658
4.53/2.60	o 281671
4.53/2.60	o 281734
4.53/2.60	o 284941
4.53/2.60	o 285004
4.53/2.60	o 285227
4.53/2.60	o 285290
4.53/2.60	o 286557
4.53/2.60	o 286620
4.53/2.60	o 286843
4.53/2.60	o 286906
4.53/2.61	o 288570
4.53/2.61	o 288633
4.53/2.61	o 288856
4.53/2.61	o 288919
4.53/2.61	o 290186
4.53/2.61	o 290249
4.53/2.61	o 290472
4.53/2.61	o 290535
4.53/2.62	o 290633
4.53/2.62	o 290696
4.53/2.62	o 290919
4.53/2.62	o 290982
4.53/2.62	o 292249
4.53/2.62	o 292312
4.53/2.62	o 292535
4.53/2.62	o 292598
4.53/2.63	o 293426
4.53/2.63	o 293489
4.53/2.63	o 293712
4.53/2.63	o 293775
4.53/2.63	o 295042
4.53/2.63	o 295105
4.53/2.63	o 295328
4.53/2.63	o 295391
4.53/2.64	o 297055
4.53/2.64	o 297118
4.53/2.64	o 297341
4.53/2.64	o 297404
4.53/2.64	o 298671
4.53/2.64	o 298734
4.53/2.64	o 298957
4.53/2.64	o 299020
4.53/2.64	o 299242
4.53/2.64	o 299305
4.53/2.64	o 299528
4.53/2.64	o 299591
4.53/2.64	o 300858
4.53/2.64	o 300921
4.53/2.64	o 301144
4.53/2.64	o 301207
4.53/2.65	o 302871
4.53/2.65	o 302934
4.53/2.65	o 303157
4.53/2.65	o 303220
4.53/2.65	o 304487
4.53/2.65	o 304550
4.53/2.65	o 304773
4.53/2.65	o 304836
4.53/2.65	o 307651
4.53/2.65	o 307714
4.53/2.65	o 307937
4.53/2.65	o 308000
4.53/2.66	o 309267
4.53/2.66	o 309330
4.53/2.66	o 309553
4.53/2.66	o 309616
4.53/2.66	o 309630
4.53/2.66	o 309693
4.53/2.66	o 309706
4.53/2.66	o 309769
4.53/2.66	o 310960
4.53/2.66	o 311023
4.53/2.66	o 311246
4.53/2.66	o 311309
4.53/2.66	o 311322
4.53/2.66	o 311385
4.53/2.66	o 314592
4.53/2.66	o 314655
4.53/2.66	o 314878
4.53/2.66	o 314941
4.53/2.66	o 316208
4.53/2.66	o 316271
4.53/2.66	o 316494
4.53/2.66	o 316557
4.53/2.67	o 318221
4.53/2.67	o 318284
4.53/2.67	o 318507
4.53/2.67	o 318570
4.53/2.67	o 319837
4.53/2.67	o 319900
4.53/2.67	o 320123
4.53/2.67	o 320186
4.53/2.68	o 320284
4.53/2.68	o 320347
4.53/2.68	o 320570
4.53/2.68	o 320633
4.53/2.68	o 321900
4.53/2.68	o 321963
4.53/2.68	o 322186
4.53/2.68	o 322249
4.53/2.69	o 322286
4.53/2.69	o 322299
4.53/2.69	o 322362
4.53/2.69	o 327185
4.53/2.69	o 327248
4.53/2.69	o 327471
4.53/2.69	o 327534
4.53/2.69	o 328801
4.53/2.69	o 328864
4.53/2.70	o 329087
4.53/2.70	o 329150
4.63/2.70	o 330814
4.63/2.70	o 330877
4.63/2.70	o 331100
4.63/2.70	o 331163
4.63/2.70	o 332430
4.63/2.70	o 332493
4.63/2.70	o 332716
4.63/2.70	o 332779
4.63/2.71	o 332877
4.63/2.71	o 332940
4.63/2.71	o 333163
4.63/2.71	o 333226
4.63/2.71	o 334493
4.63/2.71	o 334556
4.63/2.71	o 334779
4.63/2.71	o 334842
5.10/3.19	o 334854
5.10/3.19	o 335140
5.10/3.19	o 335316
5.10/3.19	o 336548
5.10/3.19	o 336611
5.10/3.19	o 336834
5.10/3.19	o 336897
5.10/3.19	o 340564
5.10/3.20	o 341796
5.10/3.20	o 341859
5.10/3.20	o 342082
5.10/3.20	o 342145
5.20/3.20	o 344193
5.20/3.20	o 345425
5.20/3.20	o 345488
5.20/3.20	o 345711
5.20/3.20	o 345774
5.20/3.20	o 346575
5.20/3.20	o 346861
5.20/3.20	o 348972
5.20/3.20	o 350204
5.20/3.20	o 350490
5.20/3.21	o 350844
5.20/3.21	o 351035
5.20/3.21	o 352267
5.20/3.21	o 352553
5.20/3.21	o 352907
5.20/3.22	o 354865
5.20/3.22	o 356097
5.20/3.22	o 356160
5.20/3.22	o 356383
5.20/3.22	o 356446
5.20/3.22	o 358494
5.20/3.22	o 359726
5.20/3.22	o 359789
5.20/3.22	o 360012
5.20/3.22	o 360075
5.20/3.23	o 360876
5.20/3.23	o 361162
5.20/3.23	o 363273
5.20/3.23	o 364505
5.20/3.23	o 364791
5.20/3.23	o 364967
5.20/3.23	o 366199
5.20/3.23	o 366262
5.20/3.23	o 366485
5.20/3.23	o 366548
5.20/3.24	o 370215
5.20/3.24	o 371447
5.20/3.24	o 371510
5.20/3.24	o 371733
5.20/3.24	o 371796
5.20/3.24	o 373844
5.20/3.24	o 375076
5.20/3.24	o 375139
5.20/3.24	o 375362
5.20/3.24	o 375425
5.20/3.24	o 376226
5.20/3.24	o 376512
5.20/3.25	o 378623
5.20/3.25	o 379855
5.20/3.25	o 380141
5.20/3.25	o 380495
5.20/3.25	o 380686
5.20/3.25	o 381918
5.20/3.25	o 382204
5.20/3.25	o 382558
5.20/3.26	o 383052
5.20/3.26	o 383338
5.20/3.26	o 383514
5.20/3.26	o 384746
5.20/3.26	o 384809
5.20/3.27	o 385032
5.20/3.27	o 385095
5.20/3.27	o 388762
5.20/3.27	o 389994
5.20/3.27	o 390057
5.20/3.27	o 390280
5.20/3.27	o 390343
5.20/3.27	o 392391
5.20/3.27	o 393623
5.20/3.27	o 393686
5.20/3.27	o 393909
5.20/3.27	o 393972
5.20/3.27	o 394773
5.20/3.27	o 395059
5.20/3.28	o 397170
5.20/3.28	o 398402
5.20/3.28	o 398688
5.20/3.28	o 399042
5.20/3.28	o 399233
5.20/3.28	o 400465
5.20/3.28	o 400751
5.20/3.28	o 401105
5.31/3.30	o 402095
5.31/3.30	o 402158
5.31/3.30	o 402381
5.31/3.30	o 402444
5.31/3.30	o 403245
5.31/3.30	o 403531
5.31/3.30	o 405642
5.31/3.30	o 406874
5.31/3.30	o 407160
5.31/3.31	o 407514
5.31/3.32	o 407705
5.31/3.32	o 408937
5.31/3.32	o 409223
5.31/3.32	o 409577
5.83/3.83	o 409908
5.83/3.83	o 409971
5.83/3.84	o 411058
5.83/3.85	o 413455
5.83/3.85	o 414687
5.83/3.86	o 415149
5.83/3.86	o 416381
5.83/3.86	o 416444
5.83/3.86	o 420397
5.83/3.86	o 421629
5.83/3.86	o 421692
5.83/3.86	o 424026
5.83/3.86	o 425258
5.83/3.86	o 425321
5.83/3.87	o 426408
5.83/3.87	o 428805
5.83/3.87	o 430037
5.83/3.88	o 430868
5.83/3.88	o 432100
5.83/3.90	o 432281
5.83/3.90	o 434678
5.93/3.90	o 435910
5.93/3.91	o 436741
5.93/3.91	o 437973
6.43/4.45	o 438115
6.43/4.45	o 439347
6.43/4.45	o 439410
6.43/4.45	o 439987
6.43/4.45	o 440050
6.43/4.45	o 440963
6.43/4.46	o 441026
6.43/4.46	o 441603
6.43/4.46	o 441666
6.53/4.50	o 443988
6.53/4.50	o 445220
6.53/4.50	o 445283
6.53/4.50	o 445860
6.53/4.50	o 445923
6.53/4.50	o 446836
6.53/4.50	o 446899
6.53/4.51	o 447476
6.53/4.51	o 447539
7.04/5.02	o 448695
7.04/5.02	o 448758
7.04/5.02	o 450311
7.04/5.02	o 450374
7.04/5.03	o 450639
7.04/5.03	o 453474
7.04/5.03	o 455090
7.04/5.06	o 456562
7.04/5.06	o 457031
7.04/5.06	o 457094
7.04/5.06	o 458181
7.04/5.06	o 460194
7.04/5.06	o 461810
7.04/5.07	o 462435
7.04/5.07	o 462904
7.04/5.07	o 462967
7.04/5.07	o 464054
7.04/5.07	o 466067
7.04/5.07	o 467683
7.04/5.08	o 468835
7.04/5.10	o 471585
7.04/5.11	o 473201
7.15/5.11	o 474353
7.54/5.60	o 475515
7.54/5.60	o 475801
7.64/5.60	o 476155
7.64/5.60	o 481033
7.64/5.60	o 481319
7.64/5.60	o 481673
7.64/5.61	o 482185
7.64/5.61	o 482471
7.64/5.61	o 482825
7.64/5.64	o 483344
7.64/5.64	o 483630
7.64/5.64	o 483984
8.05/6.09	o 485117
8.05/6.09	o 486314
8.05/6.09	o 487180
8.05/6.09	o 488377
8.05/6.09	o 489019
8.05/6.09	o 489882
8.05/6.09	o 490524
8.05/6.09	o 492140
8.05/6.09	o 493337
8.05/6.09	o 494203
8.05/6.09	o 495400
8.05/6.09	o 496291
8.05/6.09	o 497157
8.05/6.09	o 498354
8.05/6.09	o 498996
8.05/6.09	o 500612
8.05/6.09	o 501809
8.05/6.09	o 502675
8.05/6.09	o 503872
8.05/6.09	o 504503
8.05/6.09	o 506119
8.05/6.09	o 507316
8.05/6.09	o 508182
8.05/6.09	o 509379
8.05/6.09	o 510021
8.05/6.10	o 510493
8.05/6.10	o 511690
8.05/6.10	o 512332
8.05/6.10	o 512753
8.05/6.10	o 512873
8.05/6.10	o 513515
8.05/6.10	o 515131
8.05/6.10	o 516328
8.05/6.10	o 517194
8.05/6.10	o 518391
8.05/6.10	o 519282
8.05/6.10	o 520148
8.05/6.10	o 521345
8.05/6.10	o 521987
8.05/6.10	o 523603
8.05/6.10	o 524800
8.05/6.10	o 525666
8.05/6.10	o 526863
8.05/6.11	o 527494
8.05/6.11	o 529110
8.05/6.11	o 530307
8.15/6.11	o 531173
8.15/6.11	o 532370
8.15/6.11	o 533012
8.15/6.11	o 533484
8.15/6.11	o 534681
8.15/6.11	o 535323
8.15/6.11	o 535744
8.15/6.11	o 535822
8.15/6.11	o 536464
8.15/6.11	o 538080
8.15/6.11	o 539277
8.15/6.11	o 540143
8.15/6.12	o 541340
8.15/6.12	o 542231
8.15/6.12	o 543097
8.15/6.12	o 544294
8.15/6.12	o 544936
8.15/6.12	o 546552
8.15/6.12	o 547749
8.15/6.12	o 548615
8.15/6.12	o 549812
8.15/6.12	o 550443
8.15/6.12	o 552059
8.15/6.12	o 553256
8.15/6.12	o 554122
8.15/6.12	o 555319
8.15/6.12	o 555961
8.15/6.12	o 556433
8.15/6.12	o 557630
8.15/6.12	o 558272
8.15/6.12	o 558693
8.15/6.13	o 559165
8.15/6.13	o 559586
8.15/6.13	o 559708
8.15/6.13	o 560339
8.15/6.13	o 561955
8.15/6.13	o 563152
8.15/6.13	o 564018
8.15/6.13	o 565215
8.15/6.13	o 565463
8.15/6.13	o 566329
8.15/6.13	o 567526
8.15/6.13	o 567947
8.15/6.14	o 568419
8.15/6.14	o 568840
8.15/6.14	o 569044
8.15/6.14	o 569465
8.15/6.15	o 569760
8.15/6.15	o 570957
8.15/6.15	o 571823
8.15/6.15	o 573020
8.15/6.15	o 573268
8.15/6.15	o 574134
8.15/6.15	o 575331
8.15/6.15	o 575752
8.15/6.15	o 576224
8.15/6.15	o 576645
8.15/6.15	o 576849
8.15/6.15	o 577270
8.15/6.16	o 577419
8.15/6.16	o 578285
8.15/6.16	o 579482
8.15/6.16	o 579903
8.15/6.16	o 580375
8.15/6.16	o 580796
8.15/6.16	o 581000
8.15/6.16	o 581421
8.15/6.17	o 581716
8.15/6.17	o 582913
8.15/6.17	o 583779
8.15/6.17	o 584976
8.15/6.17	o 585224
8.15/6.17	o 586090
8.15/6.17	o 587287
8.15/6.17	o 587708
8.15/6.17	o 588180
8.15/6.17	o 588601
8.15/6.17	o 588805
8.15/6.17	o 589226
8.15/6.18	o 589273
8.15/6.18	o 589477
8.15/6.18	o 589898
8.15/6.19	o 589921
8.15/6.19	o 590169
8.15/6.19	o 591035
8.15/6.19	o 592232
8.15/6.19	o 592653
8.15/6.19	o 593125
8.15/6.19	o 593546
8.15/6.19	o 593750
8.15/6.19	o 594171
8.15/6.20	o 594218
8.15/6.20	o 594422
8.26/6.20	o 594843
8.26/6.20	o 595780
8.26/6.20	o 596201
8.26/6.20	o 596673
8.26/6.20	o 597094
8.26/6.20	o 597298
8.26/6.20	o 597719
8.26/6.21	o 597766
8.26/6.21	o 597970
8.26/6.21	o 598391
8.26/6.21	o 598414
8.26/6.21	o 598662
8.26/6.21	o 599528
8.26/6.21	o 600725
8.26/6.21	o 601146
8.26/6.21	o 601618
8.26/6.21	o 602039
8.26/6.22	o 602243
8.26/6.22	o 602664
8.26/6.22	o 602711
8.26/6.22	o 602915
8.26/6.22	o 603336
8.26/6.23	o 603442
8.26/6.23	o 603863
8.26/6.23	o 604012
8.26/6.23	o 604878
8.26/6.23	o 606075
8.26/6.23	o 606496
8.26/6.23	o 606968
8.26/6.23	o 607389
8.26/6.23	o 607593
8.26/6.23	o 608014
8.26/6.24	o 608309
8.26/6.24	o 609506
8.26/6.24	o 610372
8.26/6.24	o 611569
8.26/6.24	o 611817
8.26/6.24	o 612683
8.26/6.24	o 613880
8.26/6.24	o 614301
8.26/6.24	o 614773
8.26/6.24	o 615194
8.26/6.24	o 615398
8.26/6.24	o 615819
8.26/6.25	o 615866
8.26/6.25	o 616070
8.26/6.25	o 616491
8.26/6.25	o 616514
8.26/6.25	o 616762
8.26/6.26	o 617628
8.26/6.26	o 618825
8.26/6.26	o 619246
8.26/6.26	o 619718
8.26/6.26	o 620139
8.26/6.26	o 620343
8.26/6.26	o 620764
8.26/6.26	o 620811
8.26/6.26	o 621015
8.26/6.26	o 621436
8.26/6.27	o 622373
8.26/6.27	o 622794
8.26/6.27	o 623266
8.26/6.27	o 623687
8.26/6.27	o 623891
8.26/6.27	o 624312
8.26/6.27	o 624359
8.26/6.27	o 624563
8.26/6.27	o 624984
8.26/6.28	o 625007
8.26/6.28	o 625255
8.26/6.28	o 626121
8.26/6.28	o 627318
8.26/6.28	o 627739
8.26/6.28	o 628211
8.26/6.28	o 628632
8.26/6.28	o 628836
8.26/6.28	o 629257
8.26/6.28	o 629304
8.26/6.28	o 629508
8.26/6.28	o 629929
8.36/6.31	o 630022
8.36/6.31	o 631219
8.36/6.31	o 631640
8.36/6.31	o 632112
8.36/6.31	o 632533
8.36/6.31	o 632737
8.36/6.31	o 633158
8.36/6.32	o 633205
8.36/6.32	o 633409
8.36/6.32	o 633830
8.36/6.34	o 633937
8.36/6.34	o 634409
8.36/6.34	o 634830
8.36/6.34	o 635034
8.36/6.34	o 635455
8.36/6.34	o 635502
8.36/6.35	o 635706
8.36/6.35	o 636127
8.86/6.85	o 636349
8.86/6.85	o 636770
8.86/6.85	o 637508
8.86/6.85	o 638660
8.86/6.85	o 639081
8.86/6.87	o 639478
8.86/6.87	o 640209
8.86/6.87	o 640630
8.86/6.90	o 640800
8.86/6.90	o 641221
9.37/7.34	o 642220
9.37/7.34	o 643452
9.37/7.34	o 643711
9.37/7.34	o 643787
9.37/7.34	o 644892
9.37/7.34	o 646124
9.37/7.34	o 647727
9.37/7.34	o 648959
9.37/7.34	o 650038
9.37/7.34	o 651270
9.37/7.34	o 651691
9.37/7.35	o 652483
9.37/7.35	o 652904
9.37/7.35	o 653358
9.37/7.35	o 654437
9.37/7.35	o 655669
9.37/7.35	o 656090
9.37/7.35	o 656600
9.37/7.35	o 657225
9.37/7.35	o 657301
9.37/7.35	o 658406
9.37/7.35	o 659638
9.37/7.35	o 661241
9.37/7.35	o 662473
9.37/7.35	o 662732
9.37/7.35	o 662808
9.37/7.35	o 663913
9.37/7.35	o 665145
9.37/7.35	o 666748
9.37/7.35	o 667980
9.37/7.36	o 669059
9.37/7.36	o 670291
9.37/7.36	o 670712
9.37/7.36	o 671184
9.37/7.36	o 671605
9.37/7.36	o 671809
9.37/7.36	o 672230
9.37/7.37	o 672532
9.37/7.37	o 672791
9.37/7.37	o 672867
9.37/7.37	o 673972
9.37/7.37	o 675204
9.37/7.37	o 676807
9.37/7.37	o 678039
9.37/7.37	o 679118
9.37/7.37	o 680350
9.37/7.37	o 680771
9.37/7.37	o 681243
9.37/7.38	o 681664
9.37/7.38	o 681868
9.37/7.38	o 682289
9.37/7.38	o 682819
9.37/7.38	o 684051
9.37/7.38	o 684127
9.37/7.38	o 684472
9.37/7.39	o 684548
9.37/7.39	o 684944
9.37/7.39	o 685020
9.37/7.39	o 685365
9.37/7.39	o 685441
9.37/7.39	o 685569
9.37/7.39	o 685645
9.37/7.39	o 685990
9.37/7.39	o 686066
9.47/7.41	o 686188
9.47/7.41	o 686609
9.47/7.41	o 686813
9.47/7.41	o 687234
9.47/7.42	o 687764
9.47/7.42	o 688996
9.47/7.42	o 689072
9.47/7.42	o 689417
9.47/7.42	o 689493
9.47/7.42	o 689889
9.47/7.42	o 689965
9.47/7.42	o 690310
9.47/7.42	o 690386
9.47/7.43	o 690514
9.47/7.43	o 690590
9.47/7.43	o 690935
9.47/7.43	o 691011
9.47/7.44	o 691665
9.47/7.44	o 692897
9.47/7.44	o 693976
9.47/7.44	o 695208
9.47/7.44	o 695629
9.47/7.45	o 696101
9.47/7.45	o 696522
9.47/7.45	o 696726
9.47/7.45	o 697147
9.47/7.45	o 697677
9.47/7.45	o 698909
9.47/7.45	o 698985
9.47/7.45	o 699330
9.47/7.45	o 699406
9.47/7.46	o 699802
9.47/7.46	o 699878
9.47/7.46	o 700223
9.47/7.46	o 700299
9.47/7.46	o 700427
9.47/7.46	o 700503
9.47/7.46	o 700848
9.47/7.46	o 700924
9.47/7.47	o 701046
9.47/7.47	o 701467
9.47/7.48	o 701671
9.47/7.48	o 702092
9.47/7.48	o 702622
9.47/7.48	o 703854
9.47/7.48	o 703930
9.47/7.48	o 704275
9.47/7.48	o 704351
9.47/7.48	o 704747
9.47/7.48	o 704823
9.47/7.48	o 705168
9.47/7.48	o 705244
9.47/7.49	o 705372
9.47/7.49	o 705448
9.47/7.49	o 705793
9.47/7.49	o 705869
11.08/9.07	o 706084
11.08/9.07	o 707281
11.08/9.07	o 708147
11.08/9.07	o 709344
11.08/9.07	o 709592
11.08/9.07	o 710458
11.08/9.07	o 711655
11.08/9.07	o 711963
11.08/9.07	o 712211
11.08/9.07	o 713077
11.08/9.07	o 714274
11.08/9.07	o 715167
11.08/9.07	o 715792
11.08/9.07	o 716230
11.08/9.07	o 717096
11.08/9.08	o 718293
11.08/9.08	o 718541
11.08/9.08	o 719407
11.08/9.08	o 720604
11.08/9.08	o 720912
11.08/9.08	o 721160
11.08/9.08	o 722026
11.08/9.08	o 723223
11.08/9.08	o 724116
11.08/9.08	o 724741
11.08/9.08	o 724788
11.08/9.08	o 725413
11.08/9.08	o 726014
11.08/9.08	o 726608
11.08/9.08	o 727280
11.08/9.08	o 727881
11.08/9.08	o 728139
11.08/9.09	o 728447
11.08/9.09	o 728695
11.08/9.09	o 729561
11.08/9.09	o 730758
11.08/9.09	o 731651
11.08/9.09	o 732276
11.08/9.09	o 732323
11.08/9.09	o 732948
11.08/9.09	o 733549
11.08/9.09	o 734143
11.08/9.09	o 734815
11.08/9.09	o 735416
11.08/9.09	o 735915
11.08/9.09	o 736223
11.08/9.09	o 736471
11.08/9.09	o 737337
11.08/9.09	o 738534
11.08/9.09	o 739427
11.08/9.10	o 740052
11.08/9.10	o 740490
11.08/9.10	o 741356
11.08/9.10	o 742553
11.08/9.10	o 742801
11.08/9.10	o 743667
11.08/9.10	o 744864
11.08/9.10	o 745172
11.08/9.10	o 745420
11.08/9.10	o 746286
11.08/9.10	o 747483
11.08/9.10	o 748376
11.08/9.10	o 749001
11.08/9.10	o 749048
11.08/9.10	o 749673
11.08/9.10	o 750274
11.08/9.10	o 750868
11.08/9.10	o 751540
11.08/9.10	o 752141
11.08/9.11	o 752399
11.17/9.11	o 752707
11.17/9.11	o 752955
11.17/9.11	o 753821
11.17/9.11	o 755018
11.17/9.11	o 755911
11.17/9.11	o 756536
11.17/9.11	o 756583
11.17/9.11	o 757208
11.17/9.11	o 757809
11.17/9.11	o 758403
11.17/9.11	o 759075
11.17/9.11	o 759676
11.17/9.12	o 759988
11.17/9.12	o 761185
11.17/9.12	o 762078
11.17/9.12	o 762703
11.17/9.12	o 762750
11.17/9.12	o 763375
11.17/9.12	o 763976
11.17/9.12	o 764406
11.17/9.12	o 765007
11.17/9.12	o 765601
11.17/9.12	o 766273
11.17/9.12	o 766874
11.17/9.13	o 767186
11.17/9.13	o 768383
11.17/9.13	o 769276
11.17/9.13	o 769901
11.17/9.13	o 769948
11.17/9.13	o 770573
11.17/9.13	o 771174
11.17/9.14	o 771622
11.17/9.14	o 772223
11.17/9.15	o 772568
11.17/9.15	o 773169
11.17/9.16	o 773617
11.17/9.16	o 774218
11.17/9.18	o 774405
11.17/9.18	o 774713
11.17/9.18	o 774961
11.17/9.18	o 775827
11.17/9.18	o 777024
11.17/9.18	o 777917
11.17/9.18	o 778542
11.17/9.18	o 778589
11.17/9.18	o 779214
11.17/9.18	o 779815
11.17/9.19	o 779912
11.17/9.19	o 780537
11.17/9.19	o 780584
11.17/9.19	o 781209
11.17/9.19	o 781810
11.27/9.21	o 782258
11.27/9.21	o 782859
11.77/9.71	o 783895
11.77/9.71	o 783971
11.77/9.71	o 784316
11.77/9.71	o 784392
11.77/9.72	o 784612
11.77/9.72	o 784688
11.77/9.72	o 784982
11.77/9.72	o 785058
11.77/9.72	o 787180
11.77/9.72	o 787256
11.77/9.72	o 787601
11.77/9.72	o 787677
11.77/9.72	o 788002
11.77/9.72	o 788078
11.77/9.72	o 788796
11.77/9.72	o 791631
11.77/9.72	o 791707
11.77/9.72	o 792052
11.77/9.72	o 792128
11.77/9.72	o 794250
11.77/9.72	o 794326
11.77/9.72	o 794671
11.77/9.72	o 794747
11.77/9.72	o 797241
11.77/9.72	o 797317
11.77/9.72	o 797662
11.77/9.72	o 797738
11.77/9.72	o 799860
11.77/9.72	o 799936
11.77/9.73	o 800281
11.77/9.73	o 800357
11.77/9.73	o 801300
11.77/9.73	o 801376
11.77/9.73	o 801721
11.77/9.73	o 801797
11.77/9.73	o 803919
11.77/9.73	o 803995
11.77/9.73	o 804340
11.77/9.73	o 804416
11.77/9.74	o 805673
11.77/9.74	o 805749
11.77/9.74	o 806094
11.77/9.74	o 806170
11.77/9.74	o 808292
11.77/9.74	o 808368
11.77/9.74	o 808713
11.77/9.74	o 808789
11.77/9.74	o 809732
11.77/9.74	o 809808
11.77/9.74	o 810153
11.77/9.74	o 810229
11.77/9.74	o 812351
11.77/9.74	o 812427
11.77/9.74	o 812772
11.77/9.74	o 812848
11.77/9.74	o 813068
11.77/9.74	o 813144
11.77/9.74	o 813438
11.77/9.74	o 813514
11.77/9.74	o 815636
11.77/9.74	o 815712
11.77/9.74	o 816057
11.77/9.75	o 816133
11.77/9.75	o 816458
11.77/9.75	o 816534
11.77/9.75	o 817252
11.77/9.75	o 820087
11.77/9.75	o 820163
11.77/9.75	o 820508
11.77/9.75	o 820584
11.77/9.75	o 822706
11.77/9.75	o 822782
11.77/9.75	o 823127
11.77/9.75	o 823203
11.77/9.75	o 825697
11.77/9.75	o 825773
11.77/9.75	o 826118
11.77/9.75	o 826194
11.77/9.75	o 828316
11.77/9.75	o 828392
11.77/9.75	o 828737
11.77/9.75	o 828813
11.77/9.75	o 829756
11.77/9.75	o 829832
11.77/9.75	o 830177
11.77/9.75	o 830253
11.77/9.76	o 832375
11.77/9.76	o 832451
11.77/9.76	o 832796
11.77/9.76	o 832872
11.77/9.76	o 834786
11.77/9.76	o 834862
11.77/9.76	o 835207
11.77/9.76	o 835283
11.77/9.77	o 835359
11.77/9.77	o 835435
11.77/9.77	o 835780
11.77/9.77	o 835856
11.77/9.77	o 837978
11.77/9.77	o 838054
11.77/9.77	o 838399
11.77/9.77	o 838475
11.77/9.77	o 840969
11.77/9.78	o 841045
11.77/9.78	o 841390
11.77/9.78	o 841466
11.77/9.78	o 843588
11.77/9.78	o 843664
11.77/9.78	o 844009
11.77/9.78	o 844085
11.77/9.78	o 845028
11.77/9.78	o 845104
11.77/9.78	o 845449
11.77/9.78	o 845525
11.77/9.78	o 847647
11.77/9.78	o 847723
11.77/9.78	o 848068
11.77/9.78	o 848144
11.77/9.79	o 850058
11.77/9.79	o 850134
11.77/9.79	o 850479
11.77/9.79	o 850555
11.87/9.81	o 851123
11.87/9.81	o 851199
11.87/9.81	o 851544
11.87/9.81	o 851620
11.87/9.81	o 852563
11.87/9.81	o 852639
11.87/9.81	o 852984
11.87/9.81	o 853060
11.87/9.81	o 855182
11.87/9.81	o 855258
11.87/9.81	o 855603
11.87/9.81	o 855679
11.87/9.81	o 857593
11.87/9.81	o 857669
11.87/9.81	o 858014
11.87/9.81	o 858090
11.87/9.87	o 858436
11.87/9.87	o 858512
11.87/9.87	o 858857
11.87/9.87	o 858933
11.97/9.90	o 861347
11.97/9.90	o 862787
11.97/9.90	o 865406
11.97/9.92	o 866249
11.97/9.94	o 866263
11.97/9.94	o 868882
11.97/9.94	o 870322
11.97/9.94	o 872941
12.50/10.41	o 873001
12.50/10.41	o 873287
12.50/10.41	o 873356
12.50/10.41	o 873626
12.50/10.41	o 873912
12.50/10.45	o 873931
12.50/10.45	o 874201
12.50/10.45	o 874487
12.50/10.45	o 874538
12.50/10.45	o 874824
12.50/10.45	o 875094
12.50/10.45	o 875380
12.50/10.45	o 875449
12.50/10.45	o 875719
12.50/10.45	o 876005
12.50/10.47	o 876280
12.50/10.47	o 876331
12.50/10.47	o 876617
12.50/10.47	o 876887
12.50/10.47	o 877173
12.50/10.47	o 877242
12.50/10.47	o 877512
12.50/10.47	o 877798
12.50/10.48	o 877935
12.50/10.48	o 878221
12.50/10.48	o 879087
12.50/10.48	o 879373
12.50/10.48	o 879643
12.50/10.48	o 879929
12.50/10.48	o 879980
12.50/10.48	o 880266
12.50/10.48	o 880536
12.50/10.48	o 880822
12.50/10.48	o 880891
12.50/10.48	o 881161
12.50/10.48	o 881447
12.61/10.50	o 881667
12.61/10.50	o 881953
12.61/10.50	o 882004
12.61/10.50	o 882290
12.61/10.50	o 882560
12.61/10.50	o 882846
12.61/10.50	o 882915
12.61/10.50	o 883185
12.61/10.50	o 883471
12.61/10.50	o 883511
12.61/10.50	o 883580
12.61/10.50	o 883850
12.61/10.50	o 884136
12.61/10.50	o 884388
12.61/10.50	o 884658
12.61/10.50	o 884944
12.61/10.50	o 885569
12.61/10.51	o 885855
12.61/10.51	o 886721
12.61/10.51	o 887007
12.61/10.51	o 887277
12.61/10.51	o 887563
12.61/10.51	o 887614
12.61/10.51	o 887900
12.61/10.51	o 888170
12.61/10.51	o 888456
12.61/10.51	o 888525
12.61/10.51	o 888795
12.61/10.51	o 889081
12.61/10.52	o 889292
12.61/10.52	o 889578
12.61/10.52	o 889830
12.61/10.52	o 890100
12.61/10.52	o 890386
12.61/10.52	o 891011
12.61/10.52	o 891297
12.61/10.52	o 892163
12.61/10.52	o 892449
12.61/10.52	o 892719
12.61/10.52	o 893005
12.61/10.52	o 893056
12.61/10.52	o 893342
12.61/10.52	o 893612
12.61/10.52	o 893898
12.61/10.52	o 893967
12.61/10.52	o 894237
12.61/10.52	o 894523
12.61/10.55	o 894542
12.61/10.55	o 894812
12.61/10.55	o 895098
12.61/10.55	o 895149
12.61/10.55	o 895435
12.61/10.55	o 895705
12.61/10.55	o 895991
12.61/10.55	o 896060
12.61/10.55	o 896330
12.61/10.55	o 896616
12.61/10.57	o 896827
12.61/10.57	o 897113
12.61/10.57	o 897365
12.61/10.57	o 897635
12.61/10.57	o 897921
12.61/10.57	o 898546
12.61/10.58	o 898832
12.61/10.58	o 899698
12.61/10.58	o 899984
12.61/10.58	o 900254
12.61/10.58	o 900540
12.61/10.58	o 900591
12.61/10.58	o 900877
12.61/10.58	o 901147
12.61/10.58	o 901433
12.61/10.58	o 901502
12.61/10.58	o 901772
12.61/10.58	o 902058
13.71/11.67	o 902094
13.71/11.67	o 902170
14.22/12.12	o 902284
14.22/12.12	o 902840
14.22/12.12	o 902909
14.22/12.12	o 903465
14.22/12.12	o 903512
14.22/12.12	o 903581
14.22/12.12	o 904137
14.22/12.13	o 904358
14.22/12.13	o 904695
14.22/12.13	o 905251
14.22/12.13	o 905320
14.22/12.13	o 905876
14.22/12.13	o 905923
14.22/12.13	o 905992
14.22/12.13	o 906548
14.22/12.13	o 906604
14.22/12.14	o 907160
14.22/12.14	o 907207
14.22/12.14	o 907276
14.22/12.14	o 907832
14.22/12.14	o 908053
14.22/12.14	o 908390
14.22/12.14	o 908946
14.22/12.14	o 909015
14.22/12.14	o 909571
14.22/12.14	o 909618
14.22/12.14	o 909687
14.22/12.14	o 910243
14.22/12.15	o 910272
14.22/12.15	o 911469
14.22/12.15	o 912621
14.22/12.15	o 913177
14.22/12.15	o 913514
14.22/12.15	o 914070
14.22/12.15	o 914139
14.22/12.15	o 914695
14.22/12.15	o 914742
14.22/12.15	o 914811
14.22/12.15	o 915367
14.22/12.15	o 915588
14.22/12.15	o 915925
14.22/12.15	o 916481
14.22/12.16	o 916550
14.22/12.16	o 917106
14.22/12.16	o 917153
14.22/12.16	o 917222
14.22/12.16	o 917778
14.22/12.16	o 917890
14.22/12.17	o 917919
14.22/12.17	o 919116
14.22/12.17	o 920268
14.22/12.17	o 920824
14.22/12.17	o 921161
14.22/12.17	o 921717
14.22/12.17	o 921786
14.22/12.17	o 922342
14.22/12.17	o 922389
14.22/12.17	o 922458
14.22/12.17	o 923014
14.22/12.18	o 923235
14.22/12.18	o 923572
14.22/12.18	o 924128
14.22/12.18	o 924197
14.22/12.18	o 924753
14.22/12.18	o 924800
14.22/12.18	o 924869
14.22/12.18	o 925425
14.22/12.18	o 925585
14.22/12.18	o 925654
14.22/12.18	o 926210
14.22/12.19	o 926257
14.22/12.19	o 926326
14.22/12.19	o 926882
14.22/12.19	o 926994
14.31/12.20	o 927023
14.31/12.20	o 928220
14.31/12.20	o 929372
14.31/12.20	o 929928
14.31/12.20	o 930265
14.31/12.20	o 930821
14.31/12.20	o 930890
14.31/12.20	o 931446
14.31/12.20	o 931493
14.31/12.20	o 931562
14.31/12.20	o 932118
14.31/12.20	o 932339
14.31/12.20	o 932676
14.31/12.21	o 933232
14.31/12.21	o 933301
14.31/12.21	o 933857
14.31/12.21	o 933904
14.31/12.21	o 933973
14.31/12.21	o 934529
14.31/12.22	o 934671
14.31/12.22	o 935227
14.31/12.22	o 935296
14.31/12.22	o 935852
14.31/12.22	o 935899
14.31/12.22	o 935968
14.31/12.22	o 936524
14.31/12.23	o 936592
14.31/12.23	o 936639
14.31/12.23	o 936708
14.31/12.23	o 937264
14.31/12.23	o 937485
14.31/12.23	o 937822
14.31/12.23	o 938378
14.31/12.23	o 938447
14.31/12.23	o 939003
14.31/12.23	o 939050
14.31/12.23	o 939119
14.31/12.23	o 939675
14.31/12.24	o 939787
17.93/15.81	o 940519
17.93/15.81	o 940595
17.93/15.81	o 941671
17.93/15.81	o 941747
17.93/15.81	o 942092
17.93/15.81	o 942168
17.93/15.81	o 942564
17.93/15.81	o 942640
17.93/15.81	o 942985
17.93/15.81	o 943061
17.93/15.82	o 943246
17.93/15.82	o 943322
17.93/15.82	o 944405
17.93/15.82	o 944481
17.93/15.82	o 945557
17.93/15.82	o 945633
17.93/15.82	o 945978
17.93/15.82	o 946054
17.93/15.82	o 946450
17.93/15.82	o 946526
17.93/15.82	o 946871
17.93/15.82	o 946947
17.93/15.83	o 946971
17.93/15.83	o 948054
17.93/15.83	o 948130
17.93/15.83	o 949206
17.93/15.83	o 949282
17.93/15.83	o 949627
17.93/15.83	o 949703
17.93/15.83	o 950099
17.93/15.83	o 950175
17.93/15.83	o 950520
17.93/15.83	o 950596
17.93/15.84	o 950642
17.93/15.84	o 950666
17.93/15.84	o 951749
17.93/15.84	o 951825
17.93/15.84	o 952901
17.93/15.84	o 952977
17.93/15.84	o 953322
17.93/15.84	o 953398
17.93/15.84	o 953794
17.93/15.84	o 953870
17.93/15.84	o 954215
17.93/15.84	o 954291
17.93/15.85	o 954476
17.93/15.85	o 954552
17.93/15.85	o 955635
17.93/15.85	o 955711
17.93/15.85	o 956787
17.93/15.85	o 956863
17.93/15.86	o 957208
17.93/15.86	o 957284
17.93/15.86	o 957680
17.93/15.86	o 957756
17.93/15.86	o 958101
17.93/15.86	o 958177
17.93/15.86	o 958201
17.93/15.86	o 959284
17.93/15.86	o 959360
17.93/15.86	o 960436
17.93/15.86	o 960512
17.93/15.87	o 960857
17.93/15.87	o 960933
17.93/15.87	o 961329
17.93/15.87	o 961405
17.93/15.87	o 961750
17.93/15.87	o 961826
17.93/15.87	o 962282
17.93/15.88	o 962358
17.93/15.88	o 962703
17.93/15.88	o 962779
17.93/15.88	o 963175
17.93/15.88	o 963251
17.93/15.88	o 963596
17.93/15.88	o 963672
17.93/15.88	o 963696
17.93/15.88	o 964779
17.93/15.88	o 964855
17.93/15.88	o 965931
17.93/15.88	o 966007
17.93/15.88	o 966352
17.93/15.88	o 966428
17.93/15.88	o 966824
17.93/15.88	o 966900
17.93/15.88	o 967245
17.93/15.88	o 967321
17.93/15.89	o 967506
17.93/15.89	o 967582
17.93/15.89	o 968665
17.93/15.89	o 968741
17.93/15.89	o 969817
17.93/15.89	o 969893
17.93/15.89	o 970238
17.93/15.89	o 970314
17.93/15.89	o 970710
17.93/15.89	o 970786
17.93/15.89	o 971131
17.93/15.89	o 971207
18.03/15.90	o 971231
18.03/15.90	o 972314
18.03/15.90	o 972390
18.03/15.90	o 973466
18.03/15.90	o 973542
18.03/15.90	o 973887
18.03/15.90	o 973963
18.03/15.90	o 974359
18.03/15.90	o 974435
18.03/15.90	o 974780
18.03/15.90	o 974856
18.03/15.91	o 974902
18.03/15.91	o 974926
18.03/15.91	o 976009
18.03/15.91	o 976085
18.03/15.92	o 977161
18.03/15.92	o 977237
18.03/15.92	o 977582
18.03/15.92	o 977658
18.03/15.92	o 978054
18.03/15.92	o 978130
18.03/15.92	o 978475
18.03/15.92	o 978551
18.03/15.93	o 978736
18.03/15.93	o 978812
18.03/15.93	o 979895
18.03/15.93	o 979971
18.03/15.93	o 981047
18.03/15.93	o 981123
18.03/15.93	o 981468
18.03/15.93	o 981544
18.03/15.93	o 981940
18.03/15.93	o 982016
18.03/15.93	o 982361
18.03/15.93	o 982437
18.03/15.94	o 982461
18.03/15.94	o 983544
18.03/15.94	o 983620
18.03/15.94	o 984696
18.03/15.94	o 984772
18.03/15.94	o 985117
18.03/15.94	o 985193
18.03/15.94	o 985589
18.03/15.94	o 985665
18.03/15.94	o 986010
18.03/15.94	o 986086
18.03/15.99	o 986836
18.03/15.99	o 986912
18.03/15.99	o 987257
18.03/15.99	o 987333
18.03/15.99	o 987729
18.03/15.99	o 987805
18.03/15.99	o 988150
18.03/16.00	o 988226
18.03/16.00	o 988426
18.03/16.00	o 988502
18.03/16.00	o 989585
18.03/16.00	o 989661
18.03/16.00	o 990737
18.03/16.00	o 990813
18.03/16.00	o 991158
18.03/16.00	o 991234
18.03/16.00	o 991630
18.03/16.00	o 991706
18.03/16.00	o 992051
18.03/16.00	o 992127
18.14/16.01	o 992151
18.14/16.02	o 993234
18.14/16.02	o 993310
18.14/16.02	o 994386
18.14/16.02	o 994462
18.14/16.02	o 994807
18.14/16.02	o 994883
18.14/16.02	o 995279
18.14/16.02	o 995355
18.14/16.02	o 995700
18.14/16.02	o 995776
19.53/17.48	o 996353
19.53/17.48	o 996566
19.53/17.48	o 996613
19.53/17.48	o 997238
19.53/17.49	o 997276
19.53/17.49	o 997901
19.53/17.49	o 997948
19.53/17.49	o 998573
19.53/17.49	o 998748
19.53/17.49	o 999980
19.53/17.49	o 1001177
19.53/17.49	o 1001802
19.53/17.49	o 1001849
19.53/17.49	o 1002474
19.53/17.49	o 1003588
19.53/17.49	o 1004213
19.53/17.49	o 1004260
19.53/17.49	o 1004885
19.53/17.49	o 1004915
19.53/17.49	o 1006147
19.53/17.49	o 1007344
19.53/17.49	o 1007969
19.53/17.50	o 1008016
19.53/17.50	o 1008641
19.53/17.50	o 1009755
19.53/17.50	o 1010380
19.53/17.50	o 1010427
19.63/17.50	o 1011052
19.63/17.50	o 1011411
19.63/17.50	o 1011458
19.63/17.50	o 1012083
19.63/17.50	o 1012113
19.63/17.50	o 1013345
19.63/17.50	o 1014542
19.63/17.50	o 1015167
19.63/17.50	o 1015214
19.63/17.50	o 1015839
19.63/17.50	o 1016953
19.63/17.50	o 1017578
19.63/17.50	o 1017625
19.63/17.50	o 1018250
19.63/17.51	o 1018813
19.63/17.51	o 1018860
19.63/17.51	o 1019485
19.63/17.51	o 1020599
19.63/17.51	o 1021224
19.63/17.51	o 1021271
19.63/17.51	o 1021896
19.63/17.52	o 1022109
19.63/17.52	o 1022156
19.63/17.52	o 1022781
19.63/17.52	o 1022819
19.63/17.52	o 1023444
19.63/17.52	o 1023491
19.63/17.52	o 1024116
19.63/17.52	o 1024291
19.63/17.52	o 1025523
19.63/17.52	o 1026720
19.63/17.52	o 1027345
19.63/17.52	o 1027392
19.63/17.52	o 1028017
19.63/17.52	o 1029131
19.63/17.52	o 1029756
19.63/17.52	o 1029803
19.63/17.53	o 1030428
19.63/17.53	o 1030458
19.63/17.53	o 1031690
19.63/17.53	o 1032887
19.63/17.53	o 1033512
19.63/17.53	o 1033559
19.63/17.53	o 1034184
19.63/17.53	o 1035298
19.63/17.53	o 1035923
19.63/17.53	o 1035970
19.63/17.53	o 1036595
19.63/17.53	o 1036954
19.63/17.53	o 1037001
19.63/17.53	o 1037626
19.63/17.53	o 1037656
19.63/17.53	o 1038888
19.63/17.53	o 1040085
19.63/17.53	o 1040710
19.63/17.53	o 1040757
19.63/17.53	o 1041382
19.63/17.53	o 1042496
19.63/17.53	o 1043121
19.63/17.53	o 1043168
19.63/17.54	o 1043793
19.63/17.54	o 1044278
19.63/17.55	o 1044637
19.63/17.55	o 1044684
19.63/17.55	o 1045309
19.63/17.55	o 1045339
19.63/17.55	o 1046571
19.63/17.55	o 1047768
19.63/17.55	o 1048393
19.63/17.55	o 1048440
19.63/17.55	o 1049065
19.63/17.55	o 1050179
19.63/17.55	o 1050804
19.63/17.55	o 1050851
19.63/17.55	o 1051476
19.63/17.56	o 1051958
19.63/17.56	o 1052583
19.63/17.56	o 1052630
19.63/17.56	o 1053255
19.63/17.57	o 1053740
19.63/17.57	o 1054099
19.63/17.57	o 1054146
19.63/17.57	o 1054771
19.63/17.57	o 1056033
19.63/17.57	o 1057230
19.63/17.57	o 1057855
19.63/17.57	o 1057902
19.63/17.57	o 1058527
19.63/17.57	o 1059641
19.63/17.57	o 1060266
19.63/17.57	o 1060313
19.63/17.57	o 1060938
19.63/17.59	o 1061335
19.63/17.59	o 1061960
19.63/17.59	o 1062007
19.63/17.59	o 1062632
19.63/17.60	o 1063114
19.63/17.60	o 1063739
19.74/17.60	o 1063786
19.74/17.60	o 1064411
19.74/17.60	o 1064896
19.74/17.60	o 1065255
19.74/17.61	o 1065302
19.74/17.61	o 1065927
19.74/17.61	o 1067189
19.74/17.61	o 1068386
19.74/17.61	o 1069011
19.74/17.61	o 1069058
19.74/17.61	o 1069683
19.74/17.61	o 1070797
19.74/17.61	o 1071422
19.74/17.61	o 1071469
19.74/17.61	o 1072094
21.25/19.17	o 1072345
21.25/19.17	o 1073238
21.25/19.17	o 1075207
21.25/19.17	o 1076404
21.25/19.17	o 1077297
21.25/19.17	o 1077881
21.25/19.18	o 1079850
21.25/19.18	o 1081047
21.25/19.18	o 1081940
21.25/19.19	o 1082281
21.34/19.21	o 1082857
21.34/19.21	o 1083750
21.34/19.22	o 1084334
21.34/19.22	o 1086303
21.34/19.22	o 1087500
21.34/19.22	o 1088393
21.34/19.23	o 1088734
21.34/19.25	o 1089204
21.34/19.26	o 1090401
21.34/19.26	o 1091294
21.34/19.27	o 1092211
21.34/19.27	o 1093104
21.34/19.28	o 1093688
21.34/19.28	o 1095657
21.34/19.28	o 1096854
21.34/19.28	o 1097747
21.44/19.33	o 1098088
21.95/19.83	o 1098852
21.95/19.83	o 1099408
21.95/19.83	o 1099745
21.95/19.83	o 1100301
21.95/19.83	o 1100370
21.95/19.83	o 1100926
21.95/19.83	o 1100973
21.95/19.83	o 1101042
21.95/19.83	o 1101598
21.95/19.85	o 1101920
21.95/19.86	o 1101967
21.95/19.86	o 1102036
21.95/19.86	o 1102592
22.35/20.28	o 1102635
22.35/20.28	o 1102921
22.35/20.28	o 1103037
22.35/20.28	o 1103307
22.35/20.28	o 1103593
22.35/20.28	o 1104727
22.35/20.28	o 1105013
22.35/20.28	o 1105283
22.35/20.28	o 1105569
22.35/20.28	o 1105685
22.35/20.28	o 1105955
22.35/20.28	o 1106241
22.35/20.29	o 1106722
22.35/20.29	o 1107008
22.35/20.29	o 1107278
22.35/20.29	o 1107564
22.35/20.29	o 1107680
22.35/20.29	o 1107950
22.35/20.29	o 1108236
22.45/20.30	o 1108445
22.45/20.30	o 1108731
22.45/20.30	o 1108847
22.45/20.30	o 1109117
22.45/20.30	o 1109403
22.45/20.31	o 1109884
22.45/20.31	o 1110170
22.45/20.31	o 1110440
22.45/20.31	o 1110726
22.45/20.31	o 1110842
22.45/20.31	o 1111112
22.45/20.31	o 1111398
22.45/20.32	o 1111435
22.45/20.32	o 1111721
22.45/20.33	o 1112855
22.45/20.33	o 1113141
22.45/20.33	o 1113411
22.45/20.33	o 1113697
22.45/20.33	o 1113813
22.45/20.33	o 1114083
22.45/20.33	o 1114369
22.45/20.33	o 1114850
22.45/20.33	o 1115136
22.45/20.33	o 1115406
22.45/20.33	o 1115692
22.45/20.33	o 1115808
22.45/20.33	o 1116078
22.45/20.33	o 1116364
22.45/20.35	o 1116573
22.45/20.35	o 1116859
22.45/20.35	o 1116975
22.45/20.35	o 1117245
22.45/20.35	o 1117531
22.45/20.35	o 1118012
22.45/20.35	o 1118298
22.45/20.35	o 1118568
22.45/20.35	o 1118854
22.45/20.35	o 1118970
22.45/20.35	o 1119240
22.45/20.35	o 1119526
26.27/24.13	o 1119584
26.27/24.13	o 1119870
26.27/24.13	o 1119939
26.27/24.13	o 1120209
26.27/24.13	o 1120495
26.27/24.14	o 1120686
26.27/24.14	o 1120972
26.27/24.14	o 1121023
26.27/24.14	o 1121309
26.27/24.14	o 1121579
26.27/24.14	o 1121865
26.27/24.14	o 1121934
26.27/24.14	o 1122204
26.27/24.14	o 1122490
26.36/24.26	o 1122509
26.36/24.26	o 1122795
26.36/24.26	o 1122864
26.36/24.26	o 1123134
26.36/24.26	o 1123420
28.97/26.84	o 1123480
28.97/26.84	o 1123481
28.97/26.84	o 1123767
28.97/26.84	o 1124037
28.97/26.85	o 1124323
28.97/26.86	o 1124325
28.97/26.86	o 1124611
28.97/26.86	o 1126388
28.97/26.86	o 1126674
28.97/26.86	o 1126944
28.97/26.86	o 1127230
28.97/26.86	o 1127281
28.97/26.86	o 1127567
28.97/26.86	o 1127837
28.97/26.86	o 1128123
28.97/26.86	o 1128124
28.97/26.86	o 1128410
28.97/26.86	o 1128680
28.97/26.86	o 1128966
28.97/26.89	o 1128973
28.97/26.89	o 1129259
28.97/26.89	o 1129310
28.97/26.89	o 1129596
28.97/26.89	o 1129866
28.97/26.89	o 1130152
28.97/26.89	o 1130153
28.97/26.89	o 1130439
28.97/26.89	o 1130709
28.97/26.89	o 1130995
29.08/26.90	o 1130997
29.08/26.90	o 1131283
29.08/26.90	o 1133060
29.08/26.90	o 1133346
29.08/26.90	o 1133616
29.08/26.90	o 1133902
29.08/26.90	o 1133953
29.08/26.90	o 1134239
29.08/26.90	o 1134509
29.08/26.90	o 1134795
29.08/26.91	o 1134796
29.08/26.91	o 1135082
29.08/26.91	o 1135352
29.08/26.91	o 1135638
29.08/26.93	o 1137048
29.08/26.93	o 1137334
29.08/26.93	o 1139111
29.08/26.93	o 1139397
29.08/26.93	o 1139667
29.08/26.93	o 1139953
29.08/26.93	o 1140004
29.08/26.93	o 1140290
29.08/26.93	o 1140560
29.08/26.93	o 1140846
29.08/26.93	o 1140847
29.08/26.93	o 1141133
29.08/26.93	o 1141403
29.08/26.93	o 1141689
29.08/26.94	o 1141691
29.08/26.94	o 1141977
29.08/26.94	o 1143754
29.08/26.94	o 1144040
29.08/26.94	o 1144310
29.08/26.94	o 1144596
29.08/26.94	o 1144647
29.08/26.94	o 1144933
29.08/26.94	o 1145203
29.08/26.94	o 1145489
29.08/26.94	o 1145490
29.08/26.94	o 1145776
29.08/26.94	o 1146046
29.08/26.94	o 1146332
29.08/26.99	o 1146406
29.08/26.99	o 1146457
29.08/26.99	o 1146743
29.08/26.99	o 1147013
29.08/26.99	o 1147299
29.08/26.99	o 1147300
29.08/26.99	o 1147586
29.08/26.99	o 1147856
29.08/26.99	o 1148142
52.07/49.86	o 1148164
52.07/49.87	o 1148450
52.07/49.87	o 1148946
52.07/49.87	o 1149232
52.07/49.87	o 1150105
52.07/49.87	o 1150391
52.07/49.87	o 1151257
52.07/49.87	o 1151543
52.07/49.87	o 1151813
52.07/49.87	o 1152099
52.07/49.89	o 1152154
52.07/49.89	o 1152440
52.58/50.38	o 1153386
52.58/50.38	o 1154011
52.68/50.42	o 1155061
52.68/50.42	o 1155686
52.68/50.43	o 1156871
52.68/50.43	o 1157496
52.68/50.44	o 1157865
52.68/50.44	o 1158490
52.68/50.44	o 1158895
52.68/50.44	o 1159203
52.68/50.44	o 1159451
52.68/50.44	o 1161514
52.68/50.44	o 1162139
52.68/50.50	o 1162163
52.68/50.50	o 1162788
52.68/50.50	o 1163193
52.68/50.50	o 1163501
52.78/50.50	o 1163749
52.78/50.50	o 1165812
52.78/50.50	o 1166437
65.30/63.07	o 1166838
69.40/67.13	o 1166882
69.40/67.13	o 1167554
69.40/67.13	o 1167725
69.40/67.13	o 1168397
69.40/67.13	o 1168558
69.40/67.14	o 1169440
69.40/67.14	o 1170592
69.40/67.14	o 1171264
69.40/67.14	o 1171622
69.40/67.14	o 1171930
69.40/67.14	o 1173089
69.40/67.14	o 1174241
69.40/67.14	o 1174913
69.40/67.14	o 1175084
69.40/67.14	o 1175756
69.40/67.14	o 1176236
69.40/67.14	o 1176908
69.40/67.14	o 1177079
69.40/67.14	o 1177751
69.40/67.14	o 1178075
69.40/67.14	o 1178383
69.40/67.14	o 1179542
69.40/67.14	o 1180694
69.40/67.14	o 1181366
69.40/67.14	o 1181537
69.40/67.15	o 1182209
69.40/67.15	o 1182689
69.40/67.15	o 1183361
69.40/67.15	o 1183532
69.40/67.15	o 1184204
69.40/67.20	o 1184330
69.49/67.20	o 1184393
69.49/67.20	o 1184564
69.49/67.20	o 1185236
69.49/67.20	o 1185716
69.49/67.20	o 1186388
69.49/67.20	o 1186559
69.49/67.20	o 1187231
69.49/67.20	o 1187555
69.49/67.20	o 1187863
69.49/67.20	o 1189022
69.49/67.20	o 1190174
69.49/67.20	o 1190846
69.49/67.20	o 1191017
69.49/67.20	o 1191689
69.49/67.21	o 1192169
69.49/67.21	o 1192841
69.49/67.21	o 1193012
69.49/67.21	o 1193684
71.50/69.23	o 1195608
71.50/69.23	o 1195894
71.50/69.23	o 1196164
71.50/69.23	o 1196450
71.50/69.23	o 1196519
71.50/69.23	o 1196789
71.50/69.23	o 1197075
71.50/69.23	o 1197293
71.50/69.23	o 1197362
71.50/69.23	o 1197632
71.50/69.24	o 1197918
108.45/106.11	o 1198704
108.45/106.12	o 1199446
108.45/106.12	o 1201284
108.45/106.12	o 1203347
108.45/106.14	o 1203514
108.45/106.15	o 1204935
108.45/106.15	o 1206998
108.45/106.15	o 1208350
108.45/106.15	o 1210025
108.45/106.16	o 1211835
108.45/106.16	o 1212577
108.45/106.16	o 1214415
108.45/106.16	o 1216478
123.95/121.67	o 1216818
123.95/121.67	o 1217104
124.06/121.70	o 1217284
124.06/121.70	o 1217570
124.06/121.70	o 1217979
124.06/121.70	o 1218265
124.06/121.70	o 1219595
124.06/121.70	o 1219881
124.06/121.70	o 1220267
124.06/121.70	o 1220553
124.06/121.70	o 1220724
124.06/121.70	o 1221110
124.06/121.70	o 1221396
124.06/121.72	o 1221736
124.06/121.72	o 1222022
124.06/121.79	o 1222158
124.06/121.80	o 1222444
124.06/121.80	o 1222824
124.06/121.80	o 1223110
124.06/121.80	o 1223519
124.16/121.80	o 1223805
124.16/121.80	o 1225135
124.16/121.80	o 1225421
124.16/121.80	o 1225807
124.16/121.80	o 1226093
124.16/121.80	o 1226264
124.16/121.80	o 1226650
124.16/121.80	o 1226936
124.16/121.81	o 1227276
124.16/121.81	o 1227562
124.16/121.83	o 1227742
124.16/121.83	o 1228028
124.16/121.83	o 1228437
124.16/121.83	o 1228723
124.16/121.83	o 1230053
124.16/121.83	o 1230339
124.16/121.83	o 1230725
124.16/121.83	o 1231011
124.16/121.83	o 1231182
124.16/121.83	o 1231568
124.16/121.83	o 1231854
124.16/121.84	o 1232194
124.16/121.84	o 1232480
124.66/122.32	o 1232673
124.66/122.32	o 1233229
124.66/122.32	o 1233299
124.66/122.32	o 1233855
124.66/122.36	o 1233915
124.66/122.36	o 1234471
124.66/122.38	o 1235184
124.66/122.38	o 1235740
124.66/122.38	o 1238833
124.66/122.38	o 1239389
127.96/125.67	o 1239390
127.96/125.67	o 1240015
127.96/125.69	o 1240458
127.96/125.69	o 1240676
127.96/125.69	o 1241301
128.06/125.70	o 1241302
128.06/125.70	o 1241927
128.06/125.73	o 1243472
128.06/125.73	o 1244097
128.06/125.73	o 1244315
128.06/125.73	o 1244940
128.06/125.74	o 1244941
128.06/125.74	o 1245566
154.69/152.33	o 1246194
154.69/152.33	o 1246480
154.69/152.34	o 1246820
154.69/152.34	o 1247106
154.69/152.37	o 1247361
154.69/152.37	o 1250724
154.69/152.37	o 1251010
154.69/152.38	o 1251350
154.69/152.38	o 1251636
199.33/196.99	o 1251803
215.54/213.18	o 1252042
215.54/213.19	o 1252328
215.54/213.20	o 1252375
215.54/213.20	o 1252444
215.54/213.20	o 1252714
215.54/213.20	o 1253000
232.24/229.87	o 1253191
232.24/229.87	o 1254057
232.24/229.87	o 1254343
232.24/229.87	o 1254613
232.24/229.87	o 1254899
232.24/229.87	o 1255015
232.24/229.87	o 1255285
232.24/229.87	o 1255571
232.24/229.87	o 1255626
232.24/229.87	o 1255912
232.24/229.88	o 1255968
232.24/229.88	o 1256022
232.24/229.88	o 1256292
232.24/229.88	o 1256578
232.24/229.88	o 1257203
232.24/229.88	o 1257489
232.24/229.88	o 1258355
232.24/229.88	o 1258641
232.24/229.88	o 1258911
232.24/229.88	o 1259197
232.24/229.88	o 1259313
232.24/229.89	o 1259583
232.24/229.89	o 1259869
232.24/229.89	o 1259924
232.24/229.89	o 1260210
232.34/229.90	o 1260450
232.34/229.90	o 1260566
232.34/229.90	o 1260836
232.34/229.90	o 1261122
232.34/229.91	o 1261177
232.34/229.91	o 1261463
232.34/229.91	o 1261519
232.34/229.91	o 1261573
232.34/229.91	o 1261843
232.34/229.91	o 1262129
232.34/229.91	o 1262754
232.34/229.91	o 1263040
232.34/229.91	o 1263906
232.34/229.91	o 1264192
232.34/229.91	o 1264462
232.34/229.91	o 1264748
232.34/229.91	o 1264864
232.34/229.91	o 1265134
232.34/229.91	o 1265420
232.34/229.91	o 1265475
232.34/229.91	o 1265761
232.34/229.92	o 1265929
232.34/229.93	o 1265985
232.34/229.93	o 1266039
232.34/229.93	o 1266309
232.34/229.93	o 1266595
232.34/229.93	o 1267220
232.34/229.93	o 1267506
232.34/229.93	o 1268372
232.34/229.93	o 1268658
232.34/229.93	o 1268928
232.34/229.93	o 1269214
232.34/229.93	o 1269330
232.34/229.93	o 1269600
232.34/229.93	o 1269886
232.34/229.93	o 1269941
232.34/229.93	o 1270227
232.34/229.94	o 1270352
232.34/229.94	o 1270406
232.34/229.94	o 1270676
232.34/229.94	o 1270962
232.34/229.94	o 1271587
232.34/229.94	o 1271873
232.34/229.94	o 1272739
232.34/229.94	o 1273025
232.34/229.94	o 1273295
232.34/229.94	o 1273581
232.34/229.94	o 1273697
232.34/229.94	o 1273967
232.34/229.94	o 1274253
232.34/229.94	o 1274308
232.34/229.94	o 1274594
232.34/229.95	o 1274650
232.34/229.95	o 1274704
232.34/229.95	o 1274974
232.34/229.95	o 1275260
232.34/229.95	o 1275885
232.34/229.95	o 1276171
232.34/229.95	o 1277037
232.34/229.95	o 1277323
232.34/229.95	o 1277593
232.34/229.95	o 1277879
232.34/229.95	o 1277995
232.34/229.95	o 1278265
232.34/229.95	o 1278551
232.34/229.95	o 1278606
232.34/229.95	o 1278892
232.34/229.97	o 1279116
232.34/229.98	o 1279386
232.34/229.98	o 1279672
232.34/229.98	o 1279788
232.34/229.98	o 1280058
232.34/229.98	o 1280344
232.34/229.98	o 1280399
232.34/229.98	o 1280685
232.34/229.99	o 1280810
232.34/229.99	o 1280864
232.34/229.99	o 1281134
232.34/229.99	o 1281420
232.34/229.99	o 1282045
232.34/229.99	o 1282331
232.34/229.99	o 1283197
232.34/229.99	o 1283483
232.34/229.99	o 1283753
232.34/229.99	o 1284039
232.34/229.99	o 1284155
232.34/229.99	o 1284425
232.34/229.99	o 1284711
232.34/229.99	o 1284766
232.34/229.99	o 1285052
232.34/230.00	o 1285108
232.34/230.00	o 1285162
232.34/230.00	o 1285432
232.34/230.00	o 1285718
232.34/230.00	o 1286343
232.34/230.00	o 1286629
232.34/230.00	o 1287495
232.34/230.00	o 1287781
232.34/230.00	o 1288051
232.34/230.00	o 1288337
232.34/230.00	o 1288453
232.34/230.00	o 1288723
232.34/230.00	o 1289009
232.34/230.00	o 1289064
232.34/230.00	o 1289350
247.96/245.53	o 1289868
247.96/245.54	o 1290494
247.96/245.57	o 1292332
247.96/245.57	o 1293004
247.96/245.57	o 1293175
247.96/245.57	o 1293847
247.96/245.58	o 1294473
252.96/250.52	o 1294754
252.96/250.52	o 1295024
252.96/250.52	o 1295310
252.96/250.52	o 1295361
252.96/250.52	o 1295647
252.96/250.52	o 1295917
252.96/250.52	o 1296203
252.96/250.52	o 1296272
252.96/250.52	o 1296542
252.96/250.52	o 1296828
252.96/250.52	o 1296875
252.96/250.52	o 1296944
252.96/250.52	o 1297214
252.96/250.52	o 1297500
252.96/250.53	o 1297611
252.96/250.53	o 1297897
252.96/250.53	o 1298766
252.96/250.53	o 1299052
252.96/250.53	o 1299322
252.96/250.53	o 1299608
252.96/250.54	o 1299659
252.96/250.54	o 1299945
252.96/250.54	o 1300215
252.96/250.54	o 1300501
252.96/250.54	o 1300570
252.96/250.54	o 1300840
252.96/250.54	o 1301126
252.96/250.54	o 1301173
252.96/250.54	o 1301242
252.96/250.54	o 1301512
252.96/250.54	o 1301798
300.31/297.81	o 1302511
300.31/297.81	o 1302797
300.31/297.81	o 1303067
300.31/297.81	o 1303353
300.31/297.81	o 1303422
300.31/297.81	o 1303692
300.31/297.81	o 1303978
300.31/297.81	o 1304196
300.31/297.81	o 1304265
300.31/297.81	o 1304535
300.31/297.81	o 1304821
300.31/297.86	o 1304822
300.31/297.86	o 1304891
300.31/297.86	o 1305161
300.31/297.86	o 1305447
303.51/301.01	s SATISFIABLE
303.51/301.02	v <instantiation>
303.51/301.02	v 	<list>
303.51/301.02	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] 
303.51/301.02	v 	</list>
303.51/301.02	v 	<values>
303.51/301.02	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 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 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
303.51/301.02	v 	</values>
303.51/301.02	v </instantiation>

Verifier Data 

OK	1305447

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298537-1532811317/watcher-4298537-1532811317 -o /tmp/evaluation-result-4298537-1532811317/solver-4298537-1532811317 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532808819-31439 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4298537-1532811317.xml 

running on 4 cores: 1,3,5,7

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

solver pid=32098, runsolver pid=32095

[startup+0.100767 s]*
/proc/loadavg: 1.61 1.57 1.69 5/219 32113
/proc/meminfo: memFree=27156316/32770624 swapFree=67108856/67108860
[pid=32098] ppid=32095 vsize=10661052 memory=27976 CPUtime=0.13 cores=1,3,5,7
/proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 5330 0 0 0 12 1 0 0 20 0 15 0 98694818 10916917248 6994 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
/proc/32098/statm: 2665263 6994 2886 1 0 2627263 0
[pid=32098/tid=32100] ppid=32095 vsize=10661052 memory=-8269626465541197434 CPUtime=0.09 cores=1,3,5,7
/proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 3150 0 0 0 8 1 0 0 20 0 15 0 98694818 10916917248 6994 33554432000 4194304 4196468 140727801569776 139924176860288 139924156675429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32101] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32102] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32103] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32104] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32105] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694820 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32106] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694821 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32107] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694821 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32108] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32109] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32109/stat : 32109 (java) R 32095 32098 31407 0 -1 4202560 344 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923728021968 139924154156924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32110] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32110/stat : 32110 (java) R 32095 32098 31407 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923659156048 139924172642005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32111] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0.02 cores=1,3,5,7
/proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 15 0 98694823 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32112] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32113] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694824 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27976 KiB

[startup+0.213946 s]*
/proc/loadavg: 1.61 1.57 1.69 6/219 32113
/proc/meminfo: memFree=27140872/32770624 swapFree=67108856/67108860
[pid=32098] ppid=32095 vsize=10661052 memory=41220 CPUtime=0.37 cores=1,3,5,7
/proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 8401 0 0 0 34 3 0 0 20 0 15 0 98694818 10916917248 10305 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
/proc/32098/statm: 2665263 10305 3019 1 0 2627263 0
[pid=32098/tid=32100] ppid=32095 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 5099 0 0 0 19 1 0 0 20 0 15 0 98694818 10916917248 10305 33554432000 4194304 4196468 140727801569776 139924176870096 139923810255200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32101] ppid=32095 vsize=10661052 memory=343 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32102] ppid=32095 vsize=10661052 memory=140094021818834 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32103] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32104] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32105] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694820 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32106] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694821 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32107] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694821 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32108] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32109] ppid=32095 vsize=10661052 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32109/stat : 32109 (java) R 32095 32098 31407 0 -1 4202560 765 0 0 0 3 0 0 0 20 0 15 0 98694823 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923728023344 139924153332402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32110] ppid=32095 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32098/task/32110/stat : 32110 (java) R 32095 32098 31407 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 98694823 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923659156080 139924172642005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32111] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0.08 cores=1,3,5,7
/proc/32098/task/32111/stat : 32111 (java) R 32095 32098 31407 0 -1 4202560 902 0 0 0 8 0 0 0 20 0 15 0 98694823 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923658103792 139924151577383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32112] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32113] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694824 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 41220 KiB

[startup+0.312787 s]*
/proc/loadavg: 1.61 1.57 1.69 6/219 32113
/proc/meminfo: memFree=27132372/32770624 swapFree=67108856/67108860
[pid=32098] ppid=32095 vsize=10661128 memory=47292 CPUtime=0.6 cores=1,3,5,7
/proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 8971 0 0 0 57 3 0 0 20 0 15 0 98694818 10916995072 11823 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
/proc/32098/statm: 2665282 11823 3067 1 0 2627263 0
[pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 5427 0 0 0 29 1 0 0 20 0 15 0 98694818 10916995072 11823 33554432000 4194304 4196468 140727801569776 139924176867968 139923812432260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=288230604707987479 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=140094021818393 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=140094021789312 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694820 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/32098/task/32109/stat : 32109 (java) R 32095 32098 31407 0 -1 1077944384 782 0 0 0 6 0 0 0 20 0 15 0 98694823 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923728030320 139924172642946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/32098/task/32110/stat : 32110 (java) R 32095 32098 31407 0 -1 4202560 359 0 0 0 6 0 0 0 20 0 15 0 98694823 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923659146336 139924152346556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=140094021789312 CPUtime=0.16 cores=1,3,5,7
/proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 1041 0 0 0 16 0 0 0 20 0 15 0 98694823 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923658103792 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=140094021789312 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694824 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 47292 KiB

[startup+0.700791 s]
/proc/loadavg: 1.61 1.57 1.69 5/219 32113
/proc/meminfo: memFree=26965188/32770624 swapFree=67108856/67108860
[pid=32098] ppid=32095 vsize=10661128 memory=282884 CPUtime=1.86 cores=1,3,5,7
/proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 13599 0 0 0 178 8 0 0 20 0 15 0 98694818 10916995072 70721 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
/proc/32098/statm: 2665282 70721 3114 1 0 2627263 0
[pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=1804 CPUtime=0.68 cores=1,3,5,7
/proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 5700 0 0 0 63 5 0 0 20 0 15 0 98694818 10916995072 70721 33554432000 4194304 4196468 140727801569776 139924176868400 139923813841489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=796 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=11860 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=5772 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98694820 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=6296683612537770333 CPUtime=0.41 cores=1,3,5,7
/proc/32098/task/32109/stat : 32109 (java) R 32095 32098 31407 0 -1 4202560 2084 0 0 0 41 0 0 0 20 0 15 0 98694823 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923728030448 139924172643734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=7595725831727968097 CPUtime=0.42 cores=1,3,5,7
/proc/32098/task/32110/stat : 32110 (java) R 32095 32098 31407 0 -1 4202560 2274 0 0 0 42 0 0 0 20 0 15 0 98694823 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923659155136 139924172653146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=7236547281622689387 CPUtime=0.31 cores=1,3,5,7
/proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 2170 0 0 0 30 1 0 0 20 0 15 0 98694823 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694824 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 282884 KiB

[startup+1.50079 s]
/proc/loadavg: 1.61 1.57 1.69 3/219 32113
/proc/meminfo: memFree=26887760/32770624 swapFree=67108856/67108860
[pid=32098] ppid=32095 vsize=10661128 memory=285448 CPUtime=2.87 cores=1,3,5,7
/proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 13743 0 0 0 279 8 0 0 20 0 15 0 98694818 10916995072 71362 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
/proc/32098/statm: 2665282 71362 3125 1 0 2627263 0
[pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 5752 0 0 0 143 5 0 0 20 0 15 0 98694818 10916995072 71362 33554432000 4194304 4196468 140727801569776 139924176868400 139923814181297 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 71362 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 71362 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 71362 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 71362 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98694820 10916995072 71362 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0

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

[pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=380972 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95243 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=1796 CPUtime=0.14 cores=1,3,5,7
/proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1002 0 0 0 7 7 0 0 20 0 15 0 98694824 10916995072 95243 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
Current children cumulated CPU time: 300.11 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 380972 KiB

[startup+299.201 s]
/proc/loadavg: 1.98 1.80 1.75 3/220 32126
/proc/meminfo: memFree=26701528/32770624 swapFree=67108856/67108860
[pid=32098] ppid=32095 vsize=10661128 memory=380992 CPUtime=301.72 cores=1,3,5,7
/proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 41185 0 0 0 30149 23 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
/proc/32098/statm: 2665282 95248 3156 1 0 2627263 0
[pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=1712 CPUtime=299.11 cores=1,3,5,7
/proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 12069 0 0 0 29903 8 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 139924176871040 139923814595508 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=11860 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 2913 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=5772 CPUtime=0.04 cores=1,3,5,7
/proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1238 0 0 0 4 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=4616 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 2240 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2133 0 0 0 2 1 0 0 20 0 15 0 98694820 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=15261436964243280 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=280187828699376 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.85 cores=1,3,5,7
/proc/32098/task/32109/stat : 32109 (java) S 32095 32098 31407 0 -1 1077944384 5764 0 0 0 84 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923728030320 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.93 cores=1,3,5,7
/proc/32098/task/32110/stat : 32110 (java) S 32095 32098 31407 0 -1 1077944384 6056 0 0 0 92 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923659155952 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.41 cores=1,3,5,7
/proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 4925 0 0 0 40 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=1244 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=2268 CPUtime=0.14 cores=1,3,5,7
/proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1002 0 0 0 7 7 0 0 20 0 15 0 98694824 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
Current children cumulated CPU time: 301.72 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 380992 KiB

[startup+300.001 s]*
/proc/loadavg: 1.98 1.80 1.75 5/219 32156
/proc/meminfo: memFree=27044124/32770624 swapFree=67108856/67108860
[pid=32098] ppid=32095 vsize=10661128 memory=380992 CPUtime=302.51 cores=1,3,5,7
/proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 41187 0 0 0 30227 24 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
/proc/32098/statm: 2665282 95248 3156 1 0 2627263 0
[pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=6791534058613427641 CPUtime=299.91 cores=1,3,5,7
/proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 12071 0 0 0 29981 10 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 139924176871040 139923814473853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=1796 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 2913 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=916 CPUtime=0.04 cores=1,3,5,7
/proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1238 0 0 0 4 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=3848 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 2240 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=2588 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=2608 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2133 0 0 0 2 1 0 0 20 0 15 0 98694820 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=3156 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=385500 CPUtime=0.85 cores=1,3,5,7
/proc/32098/task/32109/stat : 32109 (java) S 32095 32098 31407 0 -1 1077944384 5764 0 0 0 84 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923728030320 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=1408 CPUtime=0.93 cores=1,3,5,7
/proc/32098/task/32110/stat : 32110 (java) S 32095 32098 31407 0 -1 1077944384 6056 0 0 0 92 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923659155952 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=3144 CPUtime=0.41 cores=1,3,5,7
/proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 4925 0 0 0 40 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=33 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=8514726395715349656 CPUtime=0.14 cores=1,3,5,7
/proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1002 0 0 0 7 7 0 0 20 0 15 0 98694824 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
Current children cumulated CPU time: 302.51 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 380992 KiB

[startup+300.801 s]
/proc/loadavg: 1.98 1.80 1.75 5/219 32156
/proc/meminfo: memFree=27044124/32770624 swapFree=67108856/67108860
[pid=32098] ppid=32095 vsize=10661128 memory=380992 CPUtime=303.3 cores=1,3,5,7
/proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 41189 0 0 0 30306 24 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
/proc/32098/statm: 2665282 95248 3156 1 0 2627263 0
[pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=8976414709404591081 CPUtime=300.7 cores=1,3,5,7
/proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 12073 0 0 0 30060 10 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 139924176871040 139923814474018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=4036 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 2913 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=28756 CPUtime=0.04 cores=1,3,5,7
/proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1238 0 0 0 4 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 2240 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=1796 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=916 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2133 0 0 0 2 1 0 0 20 0 15 0 98694820 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=137924284808593 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=2315000448730759876 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=2320113142344627744 CPUtime=0.85 cores=1,3,5,7
/proc/32098/task/32109/stat : 32109 (java) S 32095 32098 31407 0 -1 1077944384 5764 0 0 0 84 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923728030320 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=3618254766903834217 CPUtime=0.93 cores=1,3,5,7
/proc/32098/task/32110/stat : 32110 (java) S 32095 32098 31407 0 -1 1077944384 6056 0 0 0 92 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923659155952 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.41 cores=1,3,5,7
/proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 4925 0 0 0 40 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=2268 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=1804 CPUtime=0.14 cores=1,3,5,7
/proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1002 0 0 0 7 7 0 0 20 0 15 0 98694824 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
Current children cumulated CPU time: 303.3 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 380992 KiB

[startup+301.001 s]*
/proc/loadavg: 1.98 1.80 1.75 5/220 32203
/proc/meminfo: memFree=27061252/32770624 swapFree=67108856/67108860
[pid=32098] ppid=32095 vsize=10661128 memory=380992 CPUtime=303.51 cores=1,3,5,7
/proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 41190 0 0 0 30327 24 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
/proc/32098/statm: 2665282 95248 3156 1 0 2627263 0
[pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=6791534058613427641 CPUtime=300.91 cores=1,3,5,7
/proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 12074 0 0 0 30081 10 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 139924176871040 139923814595528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=2092 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 2913 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=7380 CPUtime=0.04 cores=1,3,5,7
/proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1238 0 0 0 4 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=836 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 2240 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=1796 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=916 CPUtime=0.03 cores=1,3,5,7
/proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2133 0 0 0 2 1 0 0 20 0 15 0 98694820 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=1236 CPUtime=0.85 cores=1,3,5,7
/proc/32098/task/32109/stat : 32109 (java) S 32095 32098 31407 0 -1 1077944384 5764 0 0 0 84 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923728030320 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=16504 CPUtime=0.93 cores=1,3,5,7
/proc/32098/task/32110/stat : 32110 (java) S 32095 32098 31407 0 -1 1077944384 6056 0 0 0 92 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923659155952 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=1780 CPUtime=0.41 cores=1,3,5,7
/proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 4925 0 0 0 40 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=644 CPUtime=0 cores=1,3,5,7
/proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
[pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=956 CPUtime=0.14 cores=1,3,5,7
/proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1002 0 0 0 7 7 0 0 20 0 15 0 98694824 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0
Current children cumulated CPU time: 303.51 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 380992 KiB

Child status: 0
Real time (s): 301.038
CPU time (s): 303.55
CPU user time (s): 303.301
CPU system time (s): 0.249085
CPU usage (%): 100.834
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 396312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 303.301
system time used= 0.249085
maximum resident set size= 399884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8463
involuntary context switches= 1333


# summary of solver processes directly reported to runsolver:
#   pid: 32098
#   total CPU time (s): 303.55
#   total CPU user time (s): 303.301
#   total CPU system time (s): 0.249085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.22335 second user time and 2.61485 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 22:55:17
IDJOB=4298537
IDBENCH=141153
IDSOLVER=2767
FILE ID=node133/4298537-1532811317
RUNJOBID= node133-1532808819-31439
PBS_JOBID= 21022475
Free space on /tmp= 48248 MiB

SOLVER NAME= SuperSolver_Macq_Stevenart 2018-04-27
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml
COMMAND LINE= java -jar DIR/bestMinicp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298537-1532811317/watcher-4298537-1532811317 -o /tmp/evaluation-result-4298537-1532811317/solver-4298537-1532811317 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532808819-31439 --watchdog 2580  java -jar HOME/bestMinicp.jar HOME/instance-4298537-1532811317.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193
RANDOM SEED=1466823202

node133.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.24
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.24
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.24
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.24
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:        27176908 kB
MemAvailable:   31675372 kB
Buffers:          183852 kB
Cached:          4562564 kB
SwapCached:            0 kB
Active:          2418580 kB
Inactive:        2655520 kB
Active(anon):     279156 kB
Inactive(anon):    76688 kB
Active(file):    2139424 kB
Inactive(file):  2578832 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:              1552 kB
Writeback:             0 kB
AnonPages:        340748 kB
Mapped:            53036 kB
Shmem:             25244 kB
Slab:             220060 kB
SReclaimable:     192088 kB
SUnreclaim:        27972 kB
KernelStack:        3856 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1178500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48248 MiB
End job on node133 at 2018-07-28 23:00:18