Trace number 4298538

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
The dodo solver 2018-04-29SAT (TO)621609 2520.1 2508.83

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.11/0.14	c version: 2018-04-11
0.11/0.14	c seed: 1811631
0.11/0.14	c timeout: 2520
0.11/0.14	c memlimit: -1
0.11/0.14	c nbcore: -1
2.74/1.52	o 0
2.74/1.52	o 11303
2.74/1.53	o 17675
2.74/1.53	o 28978
2.74/1.54	o 37490
2.74/1.54	o 39144
2.74/1.54	o 47656
2.74/1.55	o 48888
2.74/1.55	o 50403
2.74/1.55	o 52057
2.74/1.55	o 60569
2.74/1.56	o 61801
2.74/1.56	o 67499
2.74/1.56	o 68731
2.74/1.56	o 71900
2.74/1.56	o 80412
2.74/1.56	o 81644
2.74/1.57	o 82465
2.74/1.57	o 90977
2.74/1.57	o 92209
2.74/1.57	o 99636
2.74/1.57	o 100868
2.74/1.57	o 101689
2.74/1.57	o 110201
2.74/1.58	o 111433
2.74/1.58	o 111496
2.74/1.59	o 114998
2.74/1.59	o 116230
2.74/1.59	o 116293
2.74/1.59	o 117375
2.74/1.59	o 117438
3.00/1.60	o 119399
3.00/1.60	o 120631
3.00/1.60	o 120694
3.00/1.60	o 124196
3.00/1.60	o 125428
3.00/1.60	o 125491
3.00/1.60	o 126573
3.00/1.60	o 126636
3.00/1.61	o 129974
3.00/1.61	o 131206
3.00/1.61	o 131269
3.00/1.61	o 134771
3.00/1.61	o 136003
3.00/1.61	o 136066
3.00/1.62	o 137148
3.00/1.62	o 137211
3.00/1.62	o 139172
3.00/1.62	o 140404
3.00/1.62	o 140467
3.00/1.62	o 143969
3.00/1.62	o 145201
3.00/1.62	o 145264
3.00/1.62	o 146346
3.00/1.62	o 146409
3.00/1.64	o 147816
3.00/1.64	o 149048
3.00/1.64	o 149111
3.00/1.64	o 150193
3.00/1.65	o 150256
3.00/1.65	o 151562
3.00/1.65	o 152794
3.00/1.65	o 152857
3.00/1.65	o 155007
3.00/1.65	o 156239
3.00/1.65	o 156302
3.00/1.65	o 164205
3.00/1.65	o 165437
3.00/1.65	o 165500
3.00/1.65	o 167040
3.00/1.65	o 168272
3.00/1.65	o 168335
3.00/1.65	o 169417
3.00/1.65	o 169480
3.00/1.66	o 173062
3.00/1.66	o 174294
3.00/1.66	o 174357
3.00/1.66	o 175897
3.00/1.67	o 177129
3.00/1.67	o 177192
3.00/1.67	o 178274
3.00/1.67	o 178337
3.00/1.68	o 178560
3.00/1.68	o 178623
3.00/1.69	o 182186
3.00/1.69	o 183418
3.00/1.69	o 183481
3.00/1.69	o 183704
3.00/1.69	o 183767
3.00/1.69	o 185021
3.00/1.69	o 186253
3.00/1.69	o 186316
3.00/1.69	o 186539
3.00/1.69	o 186602
3.00/1.69	o 187398
3.00/1.70	o 187461
3.00/1.70	o 187684
3.00/1.70	o 187747
3.24/1.72	o 187752
3.24/1.72	o 187815
3.24/1.72	o 192256
3.24/1.72	o 193488
3.24/1.72	o 193551
3.24/1.72	o 193774
3.24/1.72	o 193837
3.24/1.72	o 195091
3.24/1.72	o 196323
3.24/1.72	o 196386
3.24/1.72	o 196609
3.24/1.72	o 196672
3.24/1.72	o 197468
3.24/1.73	o 197531
3.24/1.73	o 197754
3.24/1.73	o 197817
3.24/1.73	o 201314
3.24/1.73	o 202546
3.24/1.73	o 202609
3.24/1.73	o 202832
3.24/1.73	o 202895
3.24/1.73	o 204149
3.24/1.73	o 205381
3.24/1.73	o 205444
3.24/1.73	o 205667
3.24/1.73	o 205730
3.24/1.73	o 206011
3.24/1.73	o 206074
3.24/1.74	o 206297
3.24/1.74	o 206360
3.24/1.74	o 206526
3.24/1.74	o 206589
3.24/1.74	o 206812
3.24/1.74	o 206875
3.24/1.74	o 207156
3.24/1.74	o 207219
3.24/1.74	o 207442
3.24/1.74	o 207505
3.24/1.76	o 207518
3.24/1.76	o 207581
3.24/1.79	o 207637
3.24/1.79	o 209565
3.24/1.79	o 210797
3.24/1.79	o 210860
3.24/1.79	o 211083
3.24/1.79	o 211146
3.24/1.79	o 212400
3.24/1.79	o 213632
3.24/1.79	o 213695
3.24/1.79	o 213918
3.24/1.79	o 213981
3.24/1.80	o 214440
3.24/1.80	o 214503
3.24/1.80	o 214726
3.24/1.80	o 214789
3.24/1.80	o 214802
3.36/1.80	o 214865
3.36/1.80	o 218623
3.36/1.80	o 219855
3.36/1.80	o 219918
3.36/1.80	o 220141
3.36/1.80	o 220204
3.36/1.80	o 220217
3.36/1.80	o 220280
3.36/1.80	o 221458
3.36/1.80	o 222690
3.36/1.80	o 222753
3.36/1.80	o 222976
3.36/1.80	o 223039
3.36/1.80	o 223052
3.36/1.80	o 223115
3.36/1.81	o 223320
3.36/1.81	o 223383
3.36/1.81	o 223606
3.36/1.81	o 223669
3.36/1.81	o 223682
3.36/1.81	o 223745
3.36/1.82	o 223835
3.36/1.82	o 223898
3.36/1.82	o 224121
3.36/1.82	o 224184
3.36/1.82	o 224197
3.36/1.82	o 224260
3.36/1.82	o 224465
3.36/1.82	o 224528
3.36/1.82	o 224751
3.36/1.82	o 224814
3.36/1.82	o 224827
3.36/1.82	o 224890
3.36/1.86	o 225326
3.36/1.86	o 226558
3.36/1.87	o 226621
3.36/1.87	o 226634
3.36/1.87	o 226697
3.36/1.88	o 227703
3.36/1.88	o 227766
3.36/1.88	o 227779
3.36/1.88	o 227842
3.36/1.89	o 230741
3.36/1.89	o 231973
3.36/1.89	o 232036
3.36/1.89	o 232049
3.36/1.89	o 232112
3.36/1.89	o 233576
3.36/1.89	o 234808
3.36/1.89	o 234871
3.36/1.89	o 234884
3.36/1.89	o 234947
3.36/1.89	o 235953
3.36/1.89	o 236016
3.36/1.89	o 236029
3.36/1.89	o 236092
3.49/1.90	o 236583
3.49/1.91	o 236646
3.49/1.91	o 236659
3.49/1.91	o 236722
3.49/1.93	o 238571
3.49/1.93	o 239803
3.49/1.93	o 239866
3.49/1.93	o 239879
3.49/1.93	o 239942
3.49/1.93	o 241406
3.49/1.93	o 242638
3.49/1.93	o 242701
3.49/1.93	o 242714
3.49/1.93	o 242777
3.49/1.96	o 243878
3.49/1.96	o 245110
3.49/1.96	o 245173
3.49/1.96	o 245186
3.49/1.96	o 245249
3.49/1.98	o 245790
3.49/1.98	o 245853
3.49/1.98	o 246076
3.49/1.99	o 246139
3.49/1.99	o 246152
3.49/1.99	o 246215
3.49/1.99	o 246343
3.49/1.99	o 246406
3.49/1.99	o 246419
3.49/1.99	o 246482
3.49/1.99	o 247282
3.49/1.99	o 247345
3.49/1.99	o 250847
3.49/1.99	o 252079
3.49/1.99	o 252142
3.49/1.99	o 252365
3.49/1.99	o 252428
3.49/1.99	o 252441
3.49/1.99	o 252504
3.49/1.99	o 253682
3.49/1.99	o 254914
3.49/1.99	o 254977
3.49/1.99	o 255200
3.49/1.99	o 255263
3.49/1.99	o 255276
3.49/1.99	o 255339
3.49/2.01	o 259097
3.49/2.01	o 260329
3.49/2.01	o 260392
3.49/2.01	o 260615
3.49/2.01	o 260678
3.60/2.01	o 260691
3.60/2.01	o 260754
3.60/2.01	o 261932
3.60/2.01	o 263164
3.60/2.01	o 263227
3.60/2.01	o 263450
3.60/2.01	o 263513
3.60/2.01	o 263526
3.60/2.01	o 263589
3.60/2.03	o 264404
3.60/2.03	o 265636
3.60/2.03	o 265699
3.60/2.03	o 265922
3.60/2.03	o 265985
3.60/2.03	o 265998
3.60/2.03	o 266061
3.60/2.06	o 267252
3.60/2.06	o 267315
3.60/2.06	o 267538
3.60/2.06	o 267601
3.60/2.06	o 267614
3.60/2.06	o 267677
3.70/2.11	o 267691
3.70/2.11	o 267754
3.70/2.11	o 267977
3.70/2.11	o 268040
3.70/2.11	o 268053
3.70/2.11	o 268116
3.70/2.14	o 269204
3.70/2.14	o 269267
3.70/2.14	o 269490
3.70/2.14	o 269553
3.70/2.14	o 269566
3.70/2.14	o 269629
3.70/2.14	o 270820
3.70/2.14	o 270883
3.70/2.14	o 271106
3.70/2.14	o 271169
3.70/2.14	o 271182
3.70/2.14	o 271245
3.70/2.14	o 272039
3.70/2.14	o 272102
3.70/2.14	o 272325
3.70/2.14	o 272388
3.70/2.14	o 272401
3.70/2.14	o 272464
3.70/2.14	o 273655
3.70/2.14	o 273718
3.70/2.14	o 273941
3.70/2.14	o 274004
3.70/2.14	o 274017
3.70/2.14	o 274080
3.70/2.14	o 276829
3.70/2.14	o 278061
3.70/2.14	o 278124
3.70/2.14	o 278347
3.70/2.14	o 278410
3.70/2.14	o 278423
3.70/2.14	o 278486
3.70/2.14	o 279677
3.70/2.14	o 279740
3.70/2.14	o 279963
3.70/2.14	o 280026
3.70/2.15	o 280039
3.70/2.15	o 280102
3.70/2.15	o 280896
3.70/2.15	o 280959
3.70/2.15	o 281182
3.70/2.15	o 281245
3.70/2.15	o 281258
3.70/2.15	o 281321
3.70/2.15	o 282512
3.70/2.15	o 282575
3.70/2.15	o 282798
3.70/2.15	o 282861
3.70/2.15	o 282874
3.70/2.15	o 282937
3.70/2.18	o 285079
3.70/2.18	o 286311
3.70/2.18	o 286374
3.70/2.18	o 286597
3.70/2.18	o 286660
3.70/2.18	o 286673
3.70/2.18	o 286736
3.70/2.18	o 287927
3.70/2.18	o 287990
3.70/2.18	o 288213
3.70/2.18	o 288276
3.70/2.18	o 288289
3.70/2.18	o 288352
3.70/2.18	o 289146
3.70/2.18	o 289209
3.70/2.18	o 289432
3.70/2.18	o 289495
3.70/2.18	o 289508
3.70/2.18	o 289571
3.70/2.18	o 290762
3.70/2.18	o 290825
3.70/2.18	o 291048
3.70/2.18	o 291111
3.70/2.18	o 291124
3.70/2.18	o 291187
3.80/2.22	o 291618
3.80/2.22	o 291681
3.80/2.22	o 291904
3.80/2.22	o 291967
3.80/2.22	o 291980
3.80/2.22	o 292043
3.80/2.22	o 293234
3.80/2.22	o 293297
3.80/2.22	o 293520
3.80/2.22	o 293583
3.80/2.22	o 293596
3.80/2.22	o 293659
3.90/2.32	o 294156
3.90/2.32	o 295388
3.90/2.32	o 295451
3.90/2.32	o 295674
3.90/2.32	o 295737
3.90/2.32	o 295750
3.90/2.32	o 295813
3.90/2.32	o 297004
3.90/2.32	o 297067
3.90/2.32	o 297290
3.90/2.32	o 297353
3.90/2.32	o 297366
3.90/2.32	o 297429
3.90/2.32	o 298223
3.90/2.32	o 298286
3.90/2.32	o 298509
3.90/2.33	o 298572
3.90/2.33	o 298585
3.90/2.33	o 298648
3.90/2.33	o 299839
3.90/2.33	o 299902
3.90/2.33	o 300125
3.90/2.33	o 300188
3.90/2.33	o 300201
3.90/2.33	o 300264
4.01/2.44	o 302784
4.01/2.44	o 304016
4.01/2.44	o 304079
4.01/2.44	o 304302
4.01/2.44	o 304365
4.01/2.44	o 305619
4.01/2.44	o 306851
4.01/2.44	o 306914
4.01/2.44	o 307137
4.01/2.44	o 307200
4.01/2.45	o 308326
4.01/2.45	o 308389
4.01/2.45	o 308612
4.01/2.45	o 308675
4.01/2.45	o 308688
4.01/2.45	o 308751
4.01/2.45	o 309545
4.01/2.45	o 309608
4.01/2.45	o 309831
4.01/2.45	o 309894
4.01/2.45	o 309907
4.01/2.45	o 309970
4.01/2.45	o 311161
4.01/2.45	o 311224
4.01/2.45	o 311447
4.01/2.45	o 311510
4.01/2.45	o 311523
4.01/2.45	o 311586
4.01/2.46	o 313728
4.01/2.46	o 314960
4.01/2.46	o 315023
4.01/2.46	o 315246
4.01/2.46	o 315309
4.01/2.46	o 315322
4.01/2.46	o 315385
4.01/2.46	o 316576
4.01/2.46	o 316639
4.01/2.46	o 316862
4.01/2.46	o 316925
4.01/2.46	o 316938
4.01/2.46	o 317001
4.01/2.46	o 317795
4.01/2.46	o 317858
4.01/2.46	o 318081
4.01/2.46	o 318144
4.01/2.46	o 318157
4.01/2.46	o 318220
4.01/2.46	o 319411
4.01/2.46	o 319474
4.01/2.46	o 319697
4.01/2.46	o 319760
4.01/2.46	o 319773
4.01/2.46	o 319836
4.12/2.50	o 320267
4.12/2.50	o 320330
4.12/2.50	o 320553
4.12/2.50	o 320616
4.12/2.50	o 320629
4.12/2.50	o 320692
4.12/2.50	o 321883
4.12/2.50	o 321946
4.12/2.50	o 322169
4.12/2.50	o 322232
4.12/2.50	o 322245
4.12/2.50	o 322308
4.12/2.52	o 322671
4.12/2.52	o 322734
4.12/2.52	o 322957
4.12/2.52	o 323020
4.12/2.52	o 323033
4.12/2.52	o 323096
4.12/2.52	o 324287
4.12/2.52	o 324350
4.12/2.52	o 324573
4.12/2.52	o 324636
4.12/2.53	o 324649
4.12/2.53	o 324712
4.12/2.53	o 325506
4.12/2.53	o 325569
4.12/2.53	o 325792
4.12/2.53	o 325855
4.12/2.53	o 325868
4.12/2.53	o 325931
4.12/2.53	o 327122
4.12/2.53	o 327185
4.12/2.53	o 327408
4.12/2.53	o 327471
4.12/2.53	o 327484
4.12/2.53	o 327547
4.12/2.54	o 327963
4.12/2.54	o 328026
4.12/2.54	o 328249
4.12/2.54	o 328312
4.12/2.54	o 328325
4.12/2.54	o 328388
4.12/2.54	o 329579
4.12/2.54	o 329642
4.12/2.54	o 329865
4.12/2.54	o 329928
4.12/2.54	o 329941
4.12/2.54	o 330004
4.31/2.71	o 330975
4.31/2.71	o 331038
4.31/2.71	o 331261
4.31/2.71	o 331324
4.31/2.71	o 332194
4.31/2.71	o 332257
4.31/2.71	o 332480
4.31/2.71	o 332543
4.31/2.71	o 332578
4.31/2.71	o 333810
4.31/2.71	o 333873
4.31/2.71	o 334096
4.31/2.71	o 334159
4.31/2.78	o 334633
4.31/2.78	o 334696
4.31/2.78	o 334919
4.31/2.78	o 334982
4.31/2.78	o 335017
4.31/2.78	o 336249
4.31/2.78	o 336312
4.31/2.78	o 336535
4.31/2.78	o 336598
4.31/2.78	o 337609
4.31/2.78	o 337672
4.31/2.79	o 337895
4.31/2.79	o 337958
4.31/2.79	o 337993
4.31/2.79	o 339225
4.31/2.79	o 339288
4.31/2.79	o 339511
4.31/2.79	o 339574
4.31/2.79	o 340444
4.31/2.79	o 340507
4.31/2.79	o 340730
4.31/2.79	o 340793
4.31/2.79	o 340828
4.31/2.79	o 342060
4.31/2.79	o 342123
4.31/2.79	o 342346
4.31/2.79	o 342409
4.41/2.88	o 342848
4.41/2.88	o 342911
4.41/2.88	o 343134
4.41/2.88	o 343197
4.41/2.88	o 343232
4.41/2.88	o 344464
4.41/2.88	o 344527
4.41/2.88	o 344750
4.41/2.88	o 344813
4.41/2.88	o 345683
4.41/2.88	o 345746
4.41/2.88	o 345969
4.41/2.88	o 346032
4.41/2.88	o 346067
4.41/2.88	o 347299
4.41/2.88	o 347362
4.41/2.88	o 347585
4.41/2.88	o 347648
4.41/2.89	o 348140
4.41/2.89	o 348203
4.41/2.89	o 348426
4.41/2.89	o 348489
4.41/2.89	o 348524
4.41/2.89	o 349756
4.41/2.89	o 349819
4.41/2.89	o 350042
4.41/2.89	o 350105
4.51/3.00	o 350918
4.51/3.00	o 350981
4.51/3.00	o 351204
4.51/3.00	o 351267
4.51/3.00	o 351774
4.51/3.00	o 351837
4.51/3.00	o 352060
4.51/3.00	o 352123
4.51/3.00	o 352158
4.51/3.00	o 353390
4.51/3.00	o 353453
4.51/3.00	o 353676
4.51/3.00	o 353739
4.51/3.00	o 353743
4.51/3.00	o 353806
4.62/3.01	o 354222
4.62/3.01	o 354285
4.62/3.01	o 354508
4.62/3.01	o 354571
4.62/3.01	o 354584
4.62/3.01	o 354647
4.62/3.01	o 355838
4.62/3.01	o 355901
4.62/3.01	o 356124
4.62/3.01	o 356187
4.62/3.01	o 356200
4.62/3.01	o 356263
4.62/3.11	o 356264
4.62/3.11	o 357496
4.73/3.11	o 357559
4.73/3.11	o 357782
4.73/3.11	o 357845
4.73/3.11	o 358715
4.73/3.12	o 358778
4.73/3.12	o 359001
4.73/3.12	o 359064
4.73/3.12	o 359099
4.73/3.12	o 360331
4.73/3.12	o 360394
4.73/3.12	o 360617
4.73/3.12	o 360680
4.84/3.24	o 361125
4.84/3.24	o 361188
4.84/3.24	o 361411
4.84/3.24	o 361474
4.84/3.24	o 362344
4.84/3.24	o 362407
4.84/3.24	o 362630
4.84/3.24	o 362693
4.84/3.24	o 362728
4.84/3.24	o 363960
4.84/3.24	o 364023
4.84/3.24	o 364246
4.84/3.24	o 364309
4.84/3.28	o 365417
4.84/3.28	o 365480
4.84/3.28	o 365703
4.84/3.28	o 365766
4.84/3.28	o 365779
4.84/3.28	o 365842
4.84/3.28	o 366636
4.84/3.28	o 366699
4.84/3.28	o 366922
4.84/3.28	o 366985
4.84/3.28	o 366998
4.84/3.28	o 367061
4.84/3.28	o 368252
4.84/3.28	o 368315
4.84/3.28	o 368538
4.84/3.28	o 368601
4.84/3.28	o 368614
4.84/3.28	o 368677
4.84/3.29	o 369108
4.84/3.29	o 369171
4.84/3.29	o 369394
4.84/3.29	o 369457
4.84/3.29	o 369470
4.84/3.29	o 369533
4.84/3.29	o 370724
4.84/3.29	o 370787
4.84/3.29	o 371010
4.84/3.29	o 371073
4.84/3.29	o 371086
4.84/3.29	o 371149
4.94/3.39	o 371415
4.94/3.39	o 371701
4.94/3.39	o 371777
4.94/3.39	o 371799
4.94/3.39	o 373031
4.94/3.39	o 373317
4.94/3.39	o 373393
5.04/3.40	o 373887
5.04/3.40	o 374173
5.04/3.40	o 374249
5.04/3.40	o 374271
5.04/3.40	o 375503
5.04/3.40	o 375789
5.04/3.40	o 375865
5.04/3.46	o 376700
5.04/3.46	o 376986
5.04/3.46	o 377062
5.14/3.57	o 377296
5.14/3.57	o 377582
5.14/3.58	o 377658
5.14/3.58	o 378515
5.14/3.58	o 378801
5.14/3.58	o 378877
5.14/3.58	o 378899
5.14/3.58	o 380131
5.14/3.58	o 380417
5.14/3.58	o 380493
5.14/3.58	o 380767
5.14/3.58	o 380830
5.14/3.58	o 381053
5.14/3.58	o 381116
5.14/3.58	o 381129
5.14/3.59	o 381192
5.14/3.59	o 381917
5.14/3.59	o 382203
5.14/3.59	o 382279
5.14/3.59	o 382698
5.14/3.59	o 383930
5.14/3.59	o 384216
5.14/3.59	o 384292
5.14/3.59	o 384314
5.14/3.59	o 385546
5.14/3.59	o 385832
5.14/3.59	o 385908
5.14/3.59	o 386765
5.14/3.59	o 387051
5.14/3.59	o 387127
5.14/3.59	o 387149
5.14/3.59	o 388381
5.14/3.59	o 388667
5.14/3.59	o 388743
5.26/3.60	o 389215
5.26/3.60	o 389501
5.26/3.60	o 389577
5.26/3.60	o 389599
5.26/3.60	o 389621
5.26/3.60	o 390853
5.26/3.60	o 391139
5.26/3.60	o 391215
5.26/3.60	o 392050
5.26/3.60	o 392336
5.26/3.60	o 392412
5.26/3.69	o 392690
5.26/3.69	o 392766
6.72/4.71	o 392916
6.72/4.71	o 393202
6.72/4.71	o 393278
6.72/4.71	o 394113
6.72/4.71	o 394399
6.72/4.71	o 394475
6.72/4.71	o 394753
6.72/4.71	o 394829
7.66/5.69	o 394885
7.66/5.69	o 395171
7.66/5.69	o 395247
7.66/5.69	o 396082
7.66/5.69	o 396368
7.66/5.69	o 396444
7.66/5.69	o 396722
7.66/5.69	o 396798
7.66/5.69	o 396854
7.66/5.69	o 397140
7.66/5.69	o 397216
7.66/5.70	o 397720
7.66/5.70	o 398006
7.66/5.70	o 398082
7.66/5.70	o 398917
7.66/5.70	o 399203
7.76/5.70	o 399279
7.76/5.70	o 399557
7.76/5.70	o 399633
7.86/5.82	o 399729
7.86/5.82	o 399805
7.86/5.83	o 400640
7.86/5.83	o 400926
7.86/5.83	o 401002
7.86/5.83	o 401506
7.86/5.83	o 401792
7.86/5.83	o 401868
7.86/5.83	o 402703
7.86/5.83	o 402989
7.86/5.83	o 403065
7.86/5.83	o 403343
7.86/5.83	o 403419
7.86/5.83	o 403475
7.86/5.83	o 403761
7.86/5.83	o 403837
7.86/5.83	o 404341
7.86/5.83	o 404627
7.86/5.83	o 404703
7.86/5.83	o 405538
7.86/5.83	o 405824
7.86/5.83	o 405900
7.86/5.83	o 406178
7.86/5.83	o 406254
7.86/5.89	o 406684
7.86/5.89	o 406970
7.86/5.89	o 407046
7.86/5.89	o 407068
7.86/5.89	o 408300
7.86/5.89	o 408586
7.86/5.89	o 408662
7.86/5.89	o 409497
7.86/5.89	o 409783
7.86/5.89	o 409859
7.86/5.89	o 410363
7.86/5.89	o 410649
7.86/5.89	o 410725
7.86/5.89	o 411560
7.86/5.89	o 411846
7.86/5.89	o 411922
7.86/5.89	o 412200
7.86/5.89	o 412276
7.86/5.90	o 412332
7.86/5.90	o 412618
7.86/5.90	o 412694
7.86/5.90	o 413198
7.86/5.90	o 413484
7.96/5.90	o 413560
7.96/5.90	o 414395
7.96/5.90	o 414681
7.96/5.90	o 414757
7.96/5.90	o 415035
7.96/5.90	o 415111
9.45/7.48	o 415370
9.45/7.48	o 415656
9.45/7.48	o 415732
9.45/7.48	o 416236
9.45/7.48	o 416522
9.45/7.48	o 416598
9.45/7.48	o 417433
9.45/7.48	o 417719
9.45/7.48	o 417795
9.45/7.48	o 418205
9.45/7.48	o 418491
9.45/7.48	o 418567
9.45/7.48	o 419071
9.45/7.48	o 419357
9.45/7.48	o 419433
9.45/7.48	o 420268
9.45/7.48	o 420554
9.45/7.48	o 420630
9.45/7.48	o 420908
9.45/7.48	o 420984
9.75/7.78	o 421039
9.75/7.78	o 421543
9.75/7.78	o 421829
9.75/7.79	o 421905
9.75/7.79	o 422740
9.75/7.79	o 423026
9.75/7.79	o 423102
9.75/7.79	o 423175
9.75/7.79	o 423251
9.75/7.79	o 423886
9.75/7.79	o 424172
9.75/7.79	o 424248
9.75/7.79	o 424270
9.75/7.79	o 425502
9.75/7.79	o 425788
9.75/7.79	o 425864
9.75/7.79	o 426699
9.75/7.79	o 426985
9.75/7.79	o 427061
9.75/7.79	o 427565
9.75/7.79	o 427851
9.75/7.79	o 427927
9.75/7.79	o 428762
9.75/7.79	o 429048
9.75/7.79	o 429124
9.75/7.79	o 429534
9.75/7.79	o 429820
9.75/7.79	o 429896
9.75/7.79	o 430400
9.75/7.79	o 430686
9.75/7.79	o 430762
9.75/7.79	o 431597
9.75/7.79	o 431883
9.75/7.79	o 431959
9.75/7.80	o 432237
9.75/7.80	o 432313
9.96/7.95	o 432373
9.96/7.95	o 432449
9.96/7.95	o 433084
9.96/7.95	o 433370
9.96/7.95	o 433446
9.96/7.95	o 433468
9.96/7.95	o 434700
9.96/7.95	o 434986
9.96/7.95	o 435062
9.96/7.95	o 435897
9.96/7.95	o 436183
9.96/7.95	o 436259
9.96/7.95	o 436763
9.96/7.95	o 437049
9.96/7.95	o 437125
9.96/7.96	o 437960
9.96/7.96	o 438246
9.96/7.96	o 438322
9.96/7.96	o 438732
9.96/7.96	o 439018
9.96/7.96	o 439094
9.96/7.96	o 439598
9.96/7.96	o 439884
9.96/7.96	o 439960
9.96/7.96	o 440795
9.96/7.96	o 441081
9.96/7.96	o 441157
9.96/7.96	o 441435
9.96/7.96	o 441511
10.45/8.49	o 441573
10.45/8.49	o 442208
10.45/8.49	o 442494
10.45/8.49	o 442570
10.45/8.49	o 442592
10.45/8.49	o 443824
10.45/8.49	o 444110
10.45/8.50	o 444186
10.45/8.50	o 445021
10.45/8.50	o 445307
10.45/8.50	o 445383
10.56/8.50	o 445887
10.56/8.50	o 446173
10.56/8.50	o 446249
10.56/8.50	o 447084
10.56/8.50	o 447370
10.56/8.50	o 447446
10.56/8.50	o 447856
10.56/8.50	o 448142
10.56/8.50	o 448218
10.56/8.50	o 448722
10.56/8.50	o 449008
10.56/8.50	o 449084
10.56/8.50	o 449919
10.56/8.50	o 450205
10.56/8.50	o 450281
10.56/8.51	o 450559
10.56/8.51	o 450635
11.06/9.07	o 450664
11.06/9.07	o 450740
11.06/9.07	o 450762
11.06/9.07	o 451994
11.06/9.07	o 452280
11.06/9.07	o 452356
11.06/9.07	o 452634
11.06/9.07	o 452710
11.06/9.10	o 452988
11.06/9.10	o 453274
11.06/9.10	o 453350
11.06/9.10	o 453459
11.06/9.10	o 453535
11.06/9.10	o 454370
11.06/9.10	o 454656
11.06/9.10	o 454732
11.06/9.10	o 455236
11.06/9.10	o 455522
11.06/9.10	o 455598
11.06/9.10	o 456433
11.06/9.10	o 456719
11.06/9.10	o 456795
11.06/9.10	o 457205
11.06/9.11	o 457491
11.06/9.11	o 457567
11.16/9.11	o 458071
11.16/9.11	o 458357
11.16/9.11	o 458433
11.16/9.11	o 459268
11.16/9.11	o 459554
11.16/9.11	o 459630
11.16/9.11	o 459704
11.16/9.11	o 459895
11.16/9.11	o 459971
11.16/9.11	o 460044
11.16/9.11	o 460120
11.16/9.11	o 460755
11.16/9.11	o 461041
11.16/9.11	o 461117
11.16/9.11	o 461139
11.16/9.11	o 462371
11.16/9.11	o 462657
11.16/9.11	o 462733
11.16/9.11	o 463568
11.16/9.11	o 463854
11.16/9.11	o 463930
11.16/9.11	o 464434
11.16/9.11	o 464720
11.16/9.11	o 464796
11.16/9.11	o 465631
11.16/9.11	o 465917
11.16/9.11	o 465993
11.16/9.11	o 466403
11.16/9.12	o 466689
11.16/9.12	o 466765
11.16/9.12	o 467269
11.16/9.12	o 467555
11.16/9.12	o 467631
11.16/9.12	o 468466
11.16/9.12	o 468752
11.16/9.12	o 468828
11.16/9.13	o 469106
11.16/9.13	o 469182
11.97/9.90	o 469386
11.97/9.90	o 469462
11.97/9.90	o 469872
11.97/9.90	o 470158
11.97/9.90	o 470234
11.97/9.90	o 470738
11.97/9.90	o 471024
11.97/9.90	o 471100
11.97/9.90	o 471935
11.97/9.90	o 472221
11.97/9.90	o 472297
11.97/9.91	o 472488
11.97/9.91	o 472564
11.97/9.91	o 472637
11.97/9.91	o 472713
11.97/9.91	o 473348
11.97/9.91	o 473634
11.97/9.91	o 473710
11.97/9.91	o 473732
11.97/9.91	o 474964
11.97/9.91	o 475250
11.97/9.91	o 475326
11.97/9.91	o 476161
11.97/9.91	o 476447
11.97/9.91	o 476523
11.97/9.91	o 477027
11.97/9.91	o 477313
11.97/9.91	o 477389
11.97/9.91	o 478224
11.97/9.91	o 478510
11.97/9.91	o 478586
11.97/9.91	o 478996
11.97/9.91	o 479282
11.97/9.91	o 479358
11.97/9.91	o 479862
11.97/9.91	o 480148
11.97/9.91	o 480224
11.97/9.91	o 481059
11.97/9.91	o 481345
11.97/9.91	o 481421
11.97/9.92	o 481699
11.97/9.92	o 481775
12.68/10.64	o 482211
12.68/10.64	o 482497
12.68/10.64	o 482573
12.68/10.64	o 482851
12.68/10.64	o 482927
13.37/11.34	o 483440
13.37/11.34	o 483726
13.37/11.34	o 484592
13.37/11.34	o 484878
13.37/11.34	o 484945
13.37/11.34	o 485043
13.37/11.34	o 486275
13.37/11.35	o 486561
13.37/11.35	o 487427
13.37/11.35	o 487713
13.37/11.35	o 487787
13.37/11.35	o 487917
13.37/11.35	o 488203
13.37/11.35	o 488959
13.37/11.35	o 489245
13.37/11.35	o 489343
13.37/11.35	o 490575
13.37/11.35	o 490861
13.37/11.35	o 491022
13.37/11.35	o 491308
13.37/11.35	o 491406
13.37/11.35	o 492638
13.37/11.35	o 492924
13.37/11.35	o 493790
13.37/11.35	o 494076
13.37/11.35	o 494143
13.37/11.35	o 494241
13.37/11.35	o 495473
13.37/11.35	o 495759
13.37/11.35	o 496625
13.37/11.35	o 496911
13.37/11.37	o 497265
20.35/18.24	o 497485
20.35/18.24	o 497771
20.35/18.24	o 497925
20.35/18.24	o 498211
20.35/18.24	o 498465
20.35/18.24	o 499331
20.35/18.24	o 499617
20.35/18.26	o 499815
20.35/18.26	o 500681
20.35/18.26	o 500967
20.35/18.26	o 501121
20.35/18.26	o 501407
20.35/18.27	o 501840
20.35/18.27	o 502126
20.35/18.27	o 502992
20.35/18.27	o 503278
20.35/18.27	o 503432
20.35/18.27	o 503718
20.35/18.27	o 503972
20.35/18.27	o 504838
20.35/18.27	o 505124
21.96/19.79	o 505611
21.96/19.79	o 505897
21.96/19.79	o 506051
21.96/19.79	o 506337
21.96/19.79	o 506591
21.96/19.79	o 507457
21.96/19.79	o 507743
26.07/23.83	o 507838
26.07/23.83	o 508704
26.07/23.83	o 508990
26.07/23.83	o 509144
26.07/23.83	o 509430
26.07/23.83	o 509486
26.07/23.83	o 509640
26.07/23.83	o 509926
26.07/23.83	o 510359
26.07/23.83	o 510645
26.07/23.83	o 511511
26.07/23.83	o 511797
26.07/23.83	o 511951
26.07/23.84	o 512237
26.17/23.96	o 512491
26.17/23.96	o 513357
26.17/23.96	o 513643
26.67/24.41	o 513742
26.67/24.41	o 514608
26.67/24.41	o 514894
30.38/28.16	o 515154
30.38/28.16	o 515440
30.38/28.16	o 516306
30.38/28.16	o 516592
30.38/28.16	o 516746
30.38/28.16	o 517032
30.38/28.17	o 517088
30.38/28.17	o 517242
30.38/28.17	o 517528
30.38/28.17	o 517961
30.38/28.17	o 518247
30.38/28.17	o 519113
30.38/28.18	o 519399
30.38/28.18	o 519553
30.38/28.18	o 519839
30.38/28.19	o 520023
30.38/28.19	o 520889
30.38/28.19	o 521175
30.38/28.19	o 521329
30.38/28.19	o 521615
30.38/28.19	o 521869
30.38/28.19	o 522735
30.38/28.19	o 523021
30.67/28.43	o 523035
30.67/28.43	o 523468
30.67/28.43	o 523754
30.67/28.43	o 524620
30.67/28.43	o 524906
30.67/28.43	o 525060
30.67/28.43	o 525346
30.67/28.44	o 525530
30.67/28.44	o 526396
30.67/28.44	o 526682
30.67/28.44	o 526836
30.67/28.44	o 527122
30.67/28.45	o 527376
30.67/28.45	o 528242
30.67/28.45	o 528528
30.98/28.71	o 528753
30.98/28.71	o 529186
30.98/28.71	o 529472
30.98/28.71	o 530338
30.98/28.71	o 530624
30.98/28.71	o 530778
30.98/28.71	o 531064
30.98/28.79	o 531318
30.98/28.79	o 532184
30.98/28.79	o 532470
31.68/29.44	o 532589
31.68/29.44	o 532875
31.68/29.44	o 533308
31.68/29.44	o 533594
31.68/29.44	o 534460
31.68/29.44	o 534746
31.68/29.44	o 534900
31.68/29.44	o 535186
31.68/29.48	o 535711
31.68/29.48	o 535997
31.68/29.48	o 536151
31.68/29.48	o 536437
31.79/29.55	o 536592
31.79/29.57	o 536691
31.79/29.57	o 537557
31.79/29.57	o 537843
35.68/33.41	o 537875
35.68/33.41	o 537981
35.68/33.41	o 538267
35.68/33.41	o 538402
35.68/33.41	o 538688
35.68/33.41	o 539133
35.68/33.41	o 539419
35.68/33.41	o 539554
35.68/33.41	o 539840
35.68/33.41	o 539859
35.68/33.41	o 539994
35.68/33.41	o 540280
35.68/33.41	o 540292
35.68/33.41	o 540578
35.68/33.41	o 540713
35.68/33.41	o 540999
35.68/33.41	o 541444
35.68/33.41	o 541730
35.68/33.41	o 541865
35.68/33.41	o 542151
35.68/33.41	o 542170
35.68/33.41	o 542305
35.68/33.41	o 542591
35.68/33.42	o 542845
35.68/33.42	o 543290
35.68/33.42	o 543576
35.68/33.42	o 543711
35.68/33.42	o 543997
35.68/33.44	o 544096
35.68/33.44	o 544541
35.68/33.44	o 544827
35.68/33.44	o 544962
35.68/33.44	o 545248
36.48/34.22	o 545374
36.48/34.22	o 545660
36.48/34.22	o 545764
36.48/34.23	o 546050
36.48/34.23	o 546185
36.48/34.23	o 546471
36.48/34.23	o 546490
36.48/34.23	o 546625
36.48/34.23	o 546911
36.48/34.23	o 547066
36.48/34.23	o 547165
36.48/34.23	o 547610
36.48/34.23	o 547896
36.48/34.23	o 548031
36.48/34.23	o 548317
36.48/34.25	o 548398
36.48/34.25	o 548684
36.48/34.25	o 548703
36.48/34.25	o 548838
36.48/34.25	o 549124
36.48/34.25	o 549180
36.48/34.25	o 549199
36.48/34.25	o 549334
36.48/34.25	o 549620
36.48/34.25	o 549632
36.48/34.25	o 549918
36.48/34.25	o 550053
36.48/34.25	o 550339
36.48/34.26	o 550784
36.48/34.26	o 551070
36.48/34.26	o 551205
36.48/34.26	o 551491
36.48/34.26	o 551510
36.48/34.26	o 551645
36.48/34.26	o 551931
36.48/34.27	o 551933
36.48/34.27	o 551996
36.48/34.27	o 552219
36.48/34.27	o 552282
36.48/34.27	o 552301
36.48/34.27	o 552373
36.48/34.28	o 552436
36.48/34.28	o 552659
36.48/34.28	o 552722
36.48/34.28	o 552753
36.48/34.28	o 553039
36.48/34.28	o 553484
36.48/34.28	o 553770
36.48/34.28	o 553905
36.48/34.28	o 554191
36.48/34.28	o 554210
36.48/34.28	o 554345
36.48/34.28	o 554631
36.48/34.28	o 554687
36.48/34.28	o 554706
36.48/34.28	o 554841
36.48/34.28	o 555127
36.48/34.28	o 555139
36.48/34.28	o 555425
36.48/34.28	o 555560
36.48/34.28	o 555846
36.48/34.28	o 556291
36.48/34.28	o 556577
36.48/34.28	o 556712
36.48/34.28	o 556998
36.48/34.28	o 557017
36.48/34.28	o 557152
36.48/34.28	o 557438
36.48/34.29	o 557692
36.48/34.29	o 558137
36.48/34.29	o 558423
36.48/34.29	o 558558
36.48/34.29	o 558844
36.59/34.30	o 558943
36.59/34.30	o 559388
36.59/34.30	o 559674
36.59/34.30	o 559809
36.59/34.30	o 560095
37.90/35.67	o 560251
37.90/35.67	o 560386
37.90/35.67	o 560672
37.90/35.67	o 560691
37.90/35.67	o 560826
37.90/35.67	o 561112
37.90/35.69	o 561216
37.90/35.69	o 561502
37.90/35.69	o 561637
37.90/35.69	o 561923
37.90/35.69	o 561942
37.90/35.69	o 562077
37.90/35.69	o 562363
38.00/35.74	o 562448
38.00/35.74	o 562467
38.00/35.74	o 562602
38.00/35.74	o 562888
38.00/35.77	o 562927
38.00/35.77	o 562946
38.00/35.77	o 563081
38.00/35.77	o 563367
38.00/35.77	o 563372
38.00/35.77	o 563658
38.00/35.77	o 563793
38.00/35.77	o 564079
38.00/35.77	o 564098
38.00/35.77	o 564233
38.00/35.77	o 564519
38.00/35.77	o 564531
38.00/35.77	o 564817
38.00/35.77	o 564952
38.00/35.78	o 565238
38.00/35.78	o 565257
38.00/35.78	o 565392
38.00/35.78	o 565678
38.00/35.78	o 565683
38.00/35.78	o 565969
38.00/35.78	o 566104
38.00/35.78	o 566390
38.00/35.78	o 566409
38.00/35.78	o 566544
38.00/35.78	o 566830
39.20/36.95	o 566993
39.20/36.95	o 566998
39.20/36.95	o 567284
39.20/36.95	o 567419
39.20/36.95	o 567705
39.20/36.95	o 567724
39.20/36.95	o 567859
39.20/36.95	o 568145
39.20/36.95	o 568201
39.20/36.95	o 568220
39.20/36.95	o 568355
39.20/36.95	o 568641
39.20/36.96	o 568653
39.20/36.96	o 568939
39.20/36.96	o 569074
39.20/36.96	o 569360
39.20/36.96	o 569379
39.20/36.96	o 569514
39.20/36.96	o 569800
39.20/36.96	o 569805
39.20/36.96	o 570091
39.20/36.96	o 570226
39.20/36.96	o 570512
39.20/36.96	o 570531
39.20/36.96	o 570666
39.20/36.96	o 570952
39.31/37.09	o 571051
39.31/37.09	o 571056
39.31/37.09	o 571342
39.31/37.09	o 571477
39.31/37.09	o 571763
39.31/37.09	o 571782
39.31/37.09	o 571917
39.31/37.09	o 572203
40.00/37.79	o 572358
40.20/37.96	o 572457
40.20/37.96	o 572902
40.20/37.96	o 573188
40.20/37.96	o 573323
40.20/37.96	o 573609
42.20/39.95	o 573652
42.20/39.95	o 573708
42.20/39.95	o 573727
42.20/39.95	o 573862
42.20/39.95	o 574148
42.20/39.96	o 574160
42.20/39.96	o 574446
42.20/39.96	o 574581
42.20/39.96	o 574867
42.20/39.96	o 574886
42.20/39.96	o 575021
42.20/39.96	o 575307
42.20/39.96	o 575312
42.20/39.96	o 575598
42.20/39.96	o 575733
42.20/39.96	o 576019
42.20/39.96	o 576038
42.20/39.96	o 576173
42.20/39.96	o 576459
42.20/39.96	o 576713
42.20/39.96	o 577158
42.20/39.96	o 577444
42.20/39.96	o 577579
42.20/39.96	o 577865
42.20/39.99	o 577964
42.20/39.99	o 578409
42.20/39.99	o 578695
42.20/39.99	o 578830
42.20/39.99	o 579116
44.52/42.24	o 579219
44.52/42.24	o 579295
44.52/42.24	o 579354
44.52/42.24	o 579640
44.52/42.24	o 579716
44.52/42.24	o 579735
44.52/42.24	o 579794
44.52/42.24	o 580080
44.52/42.24	o 580156
44.62/42.31	o 580235
44.62/42.32	o 580334
44.62/42.32	o 580410
44.62/42.32	o 580779
44.62/42.32	o 581065
44.62/42.32	o 581141
44.62/42.32	o 581200
44.62/42.32	o 581486
44.62/42.32	o 581562
45.12/42.87	o 581758
45.12/42.87	o 582012
45.12/42.87	o 582457
45.12/42.87	o 582743
45.12/42.87	o 582878
45.12/42.87	o 583164
45.22/42.92	o 583348
45.22/42.92	o 583367
45.22/42.92	o 583502
45.22/42.92	o 583788
45.22/42.92	o 584042
45.22/42.92	o 584487
45.22/42.92	o 584773
45.22/42.92	o 584908
45.22/42.92	o 585194
45.22/42.95	o 585370
45.22/42.95	o 585389
45.22/42.95	o 585524
45.22/42.95	o 585810
45.22/42.96	o 585822
45.22/42.96	o 586108
45.22/42.96	o 586243
45.22/42.96	o 586529
45.22/42.96	o 586548
45.22/42.96	o 586683
45.22/42.96	o 586969
45.22/42.96	o 586974
45.22/42.96	o 587260
45.22/42.96	o 587395
45.22/42.96	o 587681
45.22/42.96	o 587700
45.22/42.96	o 587835
45.22/42.96	o 588121
45.22/42.98	o 588224
45.22/42.98	o 588510
45.22/42.98	o 588522
45.22/42.98	o 588808
45.22/42.98	o 588943
45.22/42.98	o 589229
45.22/42.98	o 589248
45.22/42.98	o 589383
45.22/42.98	o 589669
45.22/42.98	o 589674
45.22/42.98	o 589960
45.22/42.98	o 590095
45.22/42.98	o 590381
45.22/42.98	o 590400
45.22/42.98	o 590535
45.22/42.98	o 590821
45.22/42.98	o 590877
45.22/42.98	o 590896
45.22/42.98	o 591031
45.22/42.98	o 591317
45.22/42.99	o 591329
45.22/42.99	o 591615
45.22/42.99	o 591750
45.22/42.99	o 592036
45.22/42.99	o 592055
45.22/42.99	o 592190
45.22/42.99	o 592476
45.22/42.99	o 592481
45.22/42.99	o 592767
45.22/42.99	o 592902
45.22/42.99	o 593188
45.22/42.99	o 593207
45.22/42.99	o 593342
45.22/42.99	o 593628
45.22/42.99	o 593882
45.22/42.99	o 594327
45.22/42.99	o 594613
45.22/42.99	o 594748
45.22/42.99	o 595034
45.33/43.05	o 595155
45.33/43.05	o 595441
45.33/43.05	o 595446
45.33/43.05	o 595732
45.33/43.05	o 595867
45.33/43.05	o 596153
45.33/43.05	o 596172
45.33/43.05	o 596307
45.33/43.05	o 596593
45.33/43.07	o 596658
45.33/43.07	o 596677
45.33/43.07	o 596812
45.33/43.07	o 597098
45.33/43.07	o 597110
45.33/43.07	o 597396
45.33/43.07	o 597531
45.33/43.07	o 597817
45.33/43.07	o 597836
45.33/43.07	o 597971
45.33/43.07	o 598257
45.33/43.07	o 598262
45.33/43.07	o 598548
45.33/43.07	o 598683
45.33/43.07	o 598969
45.33/43.07	o 598988
45.33/43.07	o 599123
45.33/43.07	o 599409
45.33/43.07	o 599503
45.33/43.07	o 599789
45.33/43.07	o 599801
45.33/43.07	o 600087
45.33/43.07	o 600222
45.33/43.07	o 600508
45.33/43.07	o 600527
45.33/43.08	o 600662
45.33/43.08	o 600948
45.33/43.08	o 600953
45.33/43.08	o 601239
45.33/43.08	o 601374
45.33/43.08	o 601660
45.33/43.08	o 601679
45.33/43.08	o 601814
45.33/43.08	o 602100
45.33/43.08	o 602354
45.33/43.08	o 602799
45.33/43.08	o 603085
45.33/43.08	o 603220
45.33/43.08	o 603506
45.62/43.36	o 603605
45.62/43.36	o 604050
45.62/43.36	o 604336
45.62/43.36	o 604471
45.62/43.36	o 604757
60.24/57.97	o 604911
60.24/57.97	o 605197
60.24/57.97	o 605352
60.24/57.97	o 605583
60.24/57.97	o 605869
60.24/57.97	o 606024
61.45/59.18	o 606032
61.45/59.18	o 606299
61.45/59.18	o 606392
61.45/59.18	o 606685
61.45/59.18	o 606971
61.45/59.18	o 607192
61.45/59.18	o 607485
61.45/59.19	o 607771
61.45/59.19	o 607864
61.45/59.19	o 608157
61.45/59.19	o 608443
61.45/59.19	o 608710
61.45/59.19	o 608803
61.45/59.19	o 609096
61.45/59.19	o 609382
62.25/59.99	o 609537
62.25/59.99	o 609692
62.25/59.99	o 609836
62.25/59.99	o 609991
62.25/59.99	o 610103
62.25/59.99	o 610258
62.25/59.99	o 610489
62.25/59.99	o 610775
62.25/59.99	o 610930
62.25/60.00	o 611289
62.25/60.00	o 611575
62.25/60.00	o 611730
62.25/60.00	o 611961
62.25/60.00	o 612247
62.25/60.00	o 612402
62.25/60.00	o 612514
62.25/60.00	o 612669
62.25/60.00	o 612900
62.25/60.00	o 613186
62.25/60.00	o 613341
265.91/263.12	o 613625
265.91/263.12	o 614232
265.91/263.12	o 614518
265.91/263.12	o 614586
265.91/263.12	o 614872
265.91/263.17	o 614922
265.91/263.18	o 615208
265.91/263.18	o 615546
265.91/263.18	o 615832
265.91/263.18	o 615900
265.91/263.18	o 616186
265.91/263.18	o 616260
265.91/263.18	o 616546
265.91/263.18	o 617153
265.91/263.18	o 617439
265.91/263.18	o 617507
265.91/263.18	o 617793
266.50/263.78	o 618048
266.50/263.78	o 618116
266.50/263.78	o 618402
267.00/264.22	o 618452
267.00/264.23	o 618738
267.00/264.23	o 618844
267.00/264.23	o 619130
267.00/264.23	o 619198
267.00/264.23	o 619484
267.00/264.23	o 619716
267.00/264.23	o 619790
267.00/264.23	o 620076
267.00/264.23	o 620683
267.00/264.23	o 620969
267.00/264.23	o 621037
267.00/264.23	o 621323
268.22/265.48	o 621538
337.53/334.54	o 621546
337.53/334.54	o 621609
2520.06/2508.80	s SATISFIABLE
2520.06/2508.81	v <instantiation>
2520.06/2508.81	v 	<list>
2520.06/2508.81	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] 
2520.06/2508.81	v 	</list>
2520.06/2508.81	v 	<values>
2520.06/2508.81	v 		0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 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 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 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 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 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 
2520.06/2508.81	v 	</values>
2520.06/2508.81	v </instantiation>

Verifier Data 

OK	621609

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298538-1532762702/watcher-4298538-1532762702 -o /tmp/evaluation-result-4298538-1532762702/solver-4298538-1532762702 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532740268-23109 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298538-1532762702.xml --timelimit 2520 

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=25787, runsolver pid=25784

[startup+0.100061 s]*
/proc/loadavg: 2.03 1.88 1.87 3/215 25802
/proc/meminfo: memFree=19276624/32770624 swapFree=67108860/67108860
[pid=25787] ppid=25784 vsize=10658972 memory=27496 CPUtime=0.11 cores=1,3,5,7
/proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 5218 0 0 0 10 1 0 0 20 0 15 0 93833431 10914787328 6874 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
/proc/25787/statm: 2664743 6874 2831 1 0 2627263 0
[pid=25787/tid=25789] ppid=25784 vsize=10658972 memory=-7254952165438285178 CPUtime=0.08 cores=1,3,5,7
/proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 3152 0 0 0 8 0 0 0 20 0 15 0 93833431 10914787328 6874 33554432000 4194304 4196468 140723365616720 140708595096000 140708590874006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25790] ppid=25784 vsize=10658972 memory=5793855950995790265 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10914787328 6874 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25791] ppid=25784 vsize=10658972 memory=140699985897088 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10914787328 6874 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25792] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10914787328 6874 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25793] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833432 10914787328 6874 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25794] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833433 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25795] ppid=25784 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93833434 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25796] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93833434 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25797] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25798] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 93833436 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25799] ppid=25784 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25800] ppid=25784 vsize=10658972 memory=140699985897088 CPUtime=0.01 cores=1,3,5,7
/proc/25787/task/25800/stat : 25800 (java) R 25784 25787 23077 0 -1 4202560 305 0 0 0 1 0 0 0 20 0 15 0 93833437 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707619642096 140708569803654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25801] ppid=25784 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25802] ppid=25784 vsize=10658972 memory=140699985897088 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833438 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27496 KiB

[startup+0.210482 s]*
/proc/loadavg: 2.03 1.88 1.87 4/215 25802
/proc/meminfo: memFree=19265216/32770624 swapFree=67108860/67108860
[pid=25787] ppid=25784 vsize=10661056 memory=39756 CPUtime=0.33 cores=1,3,5,7
/proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 8060 0 0 0 31 2 0 0 20 0 15 0 93833431 10916921344 9939 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
/proc/25787/statm: 2665264 9939 2990 1 0 2627263 0
[pid=25787/tid=25789] ppid=25784 vsize=10661056 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 5123 0 0 0 18 1 0 0 20 0 15 0 93833431 10916921344 9939 33554432000 4194304 4196468 140723365616720 140708595100272 140708178661408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25790] ppid=25784 vsize=10661056 memory=4211974426190687626 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916921344 9939 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25791] ppid=25784 vsize=10661056 memory=140699985897088 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916921344 9939 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25792] ppid=25784 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916921344 9939 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25793] ppid=25784 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833432 10916921344 9939 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25794] ppid=25784 vsize=10661056 memory=140699985897088 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833433 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25795] ppid=25784 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93833434 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25796] ppid=25784 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93833434 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25797] ppid=25784 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25798] ppid=25784 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 732 0 0 0 3 0 0 0 20 0 15 0 93833436 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25799] ppid=25784 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 15 0 93833436 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25800] ppid=25784 vsize=10661056 memory=140699985897088 CPUtime=0.07 cores=1,3,5,7
/proc/25787/task/25800/stat : 25800 (java) R 25784 25787 23077 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 15 0 93833437 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707619642096 140708569228398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25801] ppid=25784 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25802] ppid=25784 vsize=10661056 memory=140699985897088 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833438 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39756 KiB

[startup+0.310299 s]*
/proc/loadavg: 2.03 1.88 1.87 5/215 25802
/proc/meminfo: memFree=19257648/32770624 swapFree=67108860/67108860
[pid=25787] ppid=25784 vsize=10661132 memory=47644 CPUtime=0.59 cores=1,3,5,7
/proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 8985 0 0 0 57 2 0 0 20 0 15 0 93833431 10916999168 11911 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
/proc/25787/statm: 2665283 11911 3073 1 0 2627263 0
[pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=6735269665583770266 CPUtime=0.28 cores=1,3,5,7
/proc/25787/task/25789/stat : 25789 (java) S 25784 25787 23077 0 -1 1077944384 5449 0 0 0 27 1 0 0 20 0 15 0 93833431 10916999168 11911 33554432000 4194304 4196468 140723365616720 140708595098176 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=4211974426190687626 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 11911 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=281399826291072 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 11911 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=281399680815616 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 11911 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=140699840393999 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 11911 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=281399826297984 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 93833433 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=140699840398607 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=140699840424021 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=140699840428824 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25787/task/25798/stat : 25798 (java) R 25784 25787 23077 0 -1 1077944384 935 0 0 0 7 0 0 0 20 0 15 0 93833436 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707621740208 140708590872277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/25787/task/25799/stat : 25799 (java) R 25784 25787 23077 0 -1 4202560 239 0 0 0 5 0 0 0 20 0 15 0 93833436 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707620694736 140708583151520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=140699985897088 CPUtime=0.15 cores=1,3,5,7
/proc/25787/task/25800/stat : 25800 (java) R 25784 25787 23077 0 -1 4202560 1006 0 0 0 15 0 0 0 20 0 15 0 93833437 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707619637824 140708569840800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=140699985924584 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833438 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 47644 KiB

[startup+0.700829 s]
/proc/loadavg: 2.03 1.88 1.87 5/215 25802
/proc/meminfo: memFree=19144100/32770624 swapFree=67108860/67108860
[pid=25787] ppid=25784 vsize=10661132 memory=283872 CPUtime=1.82 cores=1,3,5,7
/proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 13323 0 0 0 176 6 0 0 20 0 15 0 93833431 10916999168 70968 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
/proc/25787/statm: 2665283 70968 3112 1 0 2627263 0
[pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=54 CPUtime=0.66 cores=1,3,5,7
/proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 5702 0 0 0 61 5 0 0 20 0 15 0 93833431 10916999168 70968 33554432000 4194304 4196468 140723365616720 140708595099104 140708182343244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 70968 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 70968 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 70968 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 70968 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 93833433 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=792 CPUtime=0.42 cores=1,3,5,7
/proc/25787/task/25798/stat : 25798 (java) R 25784 25787 23077 0 -1 4202560 2603 0 0 0 42 0 0 0 20 0 15 0 93833436 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707621747184 140708590874006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=1716 CPUtime=0.41 cores=1,3,5,7
/proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 1543 0 0 0 41 0 0 0 20 0 15 0 93833436 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=1952 CPUtime=0.3 cores=1,3,5,7
/proc/25787/task/25800/stat : 25800 (java) S 25784 25787 23077 0 -1 1077944384 2103 0 0 0 30 0 0 0 20 0 15 0 93833437 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707619642096 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=8580 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833438 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 283872 KiB

[startup+1.50077 s]
/proc/loadavg: 2.03 1.88 1.87 3/215 25802
/proc/meminfo: memFree=19018616/32770624 swapFree=67108860/67108860
[pid=25787] ppid=25784 vsize=10661132 memory=286924 CPUtime=2.74 cores=1,3,5,7
/proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 13647 0 0 0 268 6 0 0 20 0 15 0 93833431 10916999168 71731 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
/proc/25787/statm: 2665283 71731 3124 1 0 2627263 0
[pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=4140 CPUtime=1.46 cores=1,3,5,7
/proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 5953 0 0 0 141 5 0 0 20 0 15 0 93833431 10916999168 71731 33554432000 4194304 4196468 140723365616720 140708594618080 140708182343332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=27104 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 71731 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 71731 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 71731 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 71731 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=7451293975509493592 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 93833433 10916999168 71731 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0

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

/proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 19269 0 0 0 237563 265 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708594907120 140708182633591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.73 cores=1,3,5,7
/proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 6840 0 0 0 265 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.71 cores=1,3,5,7
/proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 6400 0 0 0 263 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.74 cores=1,3,5,7
/proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 7677 0 0 0 265 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.74 cores=1,3,5,7
/proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 7330 0 0 0 267 7 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.91 cores=1,3,5,7
/proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 7678 0 0 0 84 7 0 0 20 0 15 0 93833433 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.7 cores=1,3,5,7
/proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 5269 0 0 0 69 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=465500 CPUtime=1.18 cores=1,3,5,7
/proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 9939 0 0 0 117 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=4140 CPUtime=0.4 cores=1,3,5,7
/proc/25787/task/25800/stat : 25800 (java) S 25784 25787 23077 0 -1 1077944384 3779 0 0 0 39 1 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707619642096 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=7392 CPUtime=0.6 cores=1,3,5,7
/proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 767 0 0 0 30 30 0 0 20 0 15 0 93833438 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
Current children cumulated CPU time: 2393.08 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 465500 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.39 1.50 3/215 25977
/proc/meminfo: memFree=19325360/32770624 swapFree=67108860/67108860
[pid=25787] ppid=25784 vsize=10661132 memory=465500 CPUtime=2453.31 cores=1,3,5,7
/proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 77337 0 0 0 244993 338 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
/proc/25787/statm: 2665283 116375 3171 1 0 2627263 0
[pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=465500 CPUtime=2438.18 cores=1,3,5,7
/proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 19484 0 0 0 243546 272 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708594907424 140708183361465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.81 cores=1,3,5,7
/proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 7053 0 0 0 273 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.78 cores=1,3,5,7
/proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 6463 0 0 0 270 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.81 cores=1,3,5,7
/proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 7866 0 0 0 272 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.82 cores=1,3,5,7
/proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 7438 0 0 0 275 7 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.94 cores=1,3,5,7
/proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 7824 0 0 0 87 7 0 0 20 0 15 0 93833433 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.7 cores=1,3,5,7
/proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 5271 0 0 0 69 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=465500 CPUtime=1.18 cores=1,3,5,7
/proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 9941 0 0 0 117 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=4140 CPUtime=0.4 cores=1,3,5,7
/proc/25787/task/25800/stat : 25800 (java) S 25784 25787 23077 0 -1 1077944384 3781 0 0 0 39 1 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707619642096 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=2412 CPUtime=0.62 cores=1,3,5,7
/proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 800 0 0 0 31 31 0 0 20 0 15 0 93833438 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
Current children cumulated CPU time: 2453.31 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 465500 KiB

[startup+2502.3 s]
/proc/loadavg: 1.55 1.44 1.51 3/215 25978
/proc/meminfo: memFree=19319216/32770624 swapFree=67108860/67108860
[pid=25787] ppid=25784 vsize=10661132 memory=465500 CPUtime=2513.54 cores=1,3,5,7
/proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 77844 0 0 0 251008 346 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
/proc/25787/statm: 2665283 116375 3171 1 0 2627263 0
[pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=465500 CPUtime=2498.06 cores=1,3,5,7
/proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 19654 0 0 0 249528 278 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708594908736 140708182486253 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.88 cores=1,3,5,7
/proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 7290 0 0 0 280 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.87 cores=1,3,5,7
/proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 6510 0 0 0 278 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.88 cores=1,3,5,7
/proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 7871 0 0 0 279 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.89 cores=1,3,5,7
/proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 7451 0 0 0 282 7 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=12032 CPUtime=0.97 cores=1,3,5,7
/proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 7847 0 0 0 89 8 0 0 20 0 15 0 93833433 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=27168 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.7 cores=1,3,5,7
/proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 5273 0 0 0 69 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=1296 CPUtime=1.18 cores=1,3,5,7
/proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 9943 0 0 0 117 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/25787/task/25800/stat : 25800 (java) S 25784 25787 23077 0 -1 1077944384 3783 0 0 0 39 1 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707619642096 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=304051459958078946 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=4140 CPUtime=0.62 cores=1,3,5,7
/proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 806 0 0 0 31 31 0 0 20 0 15 0 93833438 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
Current children cumulated CPU time: 2513.54 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 465500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508.8 s]
/proc/loadavg: 1.50 1.43 1.51 3/215 25978
/proc/meminfo: memFree=19319216/32770624 swapFree=67108860/67108860
[pid=25787] ppid=25784 vsize=10661132 memory=465500 CPUtime=2520.06 cores=1,3,5,7
/proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 77847 0 0 0 251660 346 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
/proc/25787/statm: 2665283 116375 3171 1 0 2627263 0
[pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=465500 CPUtime=2504.54 cores=1,3,5,7
/proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 19657 0 0 0 250176 278 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708594907408 140708182260444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=56 CPUtime=2.89 cores=1,3,5,7
/proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 7290 0 0 0 281 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=0 CPUtime=2.87 cores=1,3,5,7
/proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 6510 0 0 0 278 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.89 cores=1,3,5,7
/proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 7871 0 0 0 280 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=2412 CPUtime=2.9 cores=1,3,5,7
/proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 7451 0 0 0 283 7 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=1724 CPUtime=0.97 cores=1,3,5,7
/proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 7847 0 0 0 89 8 0 0 20 0 15 0 93833433 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=8580 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=4140 CPUtime=0.7 cores=1,3,5,7
/proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 5273 0 0 0 69 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=27168 CPUtime=1.18 cores=1,3,5,7
/proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 9943 0 0 0 117 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.4 cores=1,3,5,7
/proc/25787/task/25800/stat : 25800 (java) S 25784 25787 23077 0 -1 1077944384 3783 0 0 0 39 1 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707619642096 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
[pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=2340 CPUtime=0.62 cores=1,3,5,7
/proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 806 0 0 0 31 31 0 0 20 0 15 0 93833438 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 465500 KiB

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

[startup+2508.83 s]
# the end of solver process 25787 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.63 s, system=3.47033 s

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

Child status: 143
Real time (s): 2508.83
CPU time (s): 2520.1
CPU user time (s): 2516.63
CPU system time (s): 3.47033
CPU usage (%): 100.449
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 466460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.63
system time used= 3.47033
maximum resident set size= 466464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74979
involuntary context switches= 1609


# summary of solver processes directly reported to runsolver:
#   pid: 25787
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.63
#   total CPU system time (s): 3.47033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3534 second user time and 22.6476 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-28 09:25:02
IDJOB=4298538
IDBENCH=141153
IDSOLVER=2768
FILE ID=node103/4298538-1532762702
RUNJOBID= node103-1532740268-23109
PBS_JOBID= 21022444
Free space on /tmp= 56536 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298538-1532762702/watcher-4298538-1532762702 -o /tmp/evaluation-result-4298538-1532762702/solver-4298538-1532762702 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532740268-23109 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4298538-1532762702.xml --timelimit 2520

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

MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193
RANDOM SEED=1490247336

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19292860 kB
MemAvailable:   30983364 kB
Buffers:          301308 kB
Cached:         11573276 kB
SwapCached:            0 kB
Active:          4857416 kB
Inactive:        8017636 kB
Active(anon):    1003164 kB
Inactive(anon):    25184 kB
Active(file):    3854252 kB
Inactive(file):  7992452 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1292 kB
Writeback:             0 kB
AnonPages:        954100 kB
Mapped:            54916 kB
Shmem:             25228 kB
Slab:             299848 kB
SReclaimable:     272260 kB
SUnreclaim:        27588 kB
KernelStack:        3792 kB
PageTables:         7236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1906332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    876544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56536 MiB
End job on node103 at 2018-07-28 10:06:51