Trace number 4298545

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)599258 2520.12 2511.63

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1931334
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: 2520
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
2.72/1.54	o 0
2.72/1.54	o 1525
2.72/1.55	o 20929
2.72/1.55	o 22454
2.72/1.55	o 29546
2.72/1.56	o 31071
2.72/1.56	o 32196
2.72/1.56	o 33721
2.72/1.56	o 53125
2.72/1.57	o 54650
2.72/1.57	o 61742
2.72/1.57	o 63267
2.72/1.57	o 66951
2.72/1.58	o 75568
2.72/1.58	o 80070
2.72/1.59	o 81595
2.72/1.59	o 88687
2.72/1.59	o 90212
2.72/1.59	o 93896
2.72/1.59	o 102513
2.72/1.59	o 103476
2.72/1.59	o 112093
2.72/1.59	o 114499
2.72/1.59	o 115462
2.72/1.60	o 124079
2.98/1.60	o 126143
2.98/1.60	o 134760
2.98/1.60	o 141313
2.98/1.61	o 141840
2.98/1.62	o 147714
2.98/1.62	o 148241
2.98/1.62	o 148372
2.98/1.63	o 153259
2.98/1.63	o 153786
2.98/1.63	o 153917
2.98/1.63	o 153938
2.98/1.63	o 159812
2.98/1.63	o 160339
2.98/1.63	o 160470
2.98/1.64	o 161117
2.98/1.64	o 161644
2.98/1.64	o 167518
2.98/1.64	o 168045
2.98/1.64	o 168176
2.98/1.65	o 168197
2.98/1.65	o 174071
2.98/1.65	o 174598
2.98/1.65	o 174729
2.98/1.65	o 176996
2.98/1.65	o 177523
2.98/1.65	o 178614
2.98/1.65	o 179141
2.98/1.66	o 185015
2.98/1.66	o 185542
2.98/1.66	o 185702
2.98/1.67	o 186093
2.98/1.67	o 191967
2.98/1.67	o 192494
2.98/1.67	o 192654
2.98/1.68	o 197159
2.98/1.68	o 197686
2.98/1.68	o 197817
2.98/1.68	o 197846
2.98/1.68	o 197977
2.98/1.68	o 198109
2.98/1.68	o 199685
2.98/1.68	o 200212
2.98/1.68	o 200372
2.98/1.68	o 200763
2.98/1.68	o 206637
2.98/1.68	o 207164
2.98/1.69	o 207324
3.24/1.70	o 212931
3.24/1.70	o 213458
3.24/1.70	o 213618
3.24/1.72	o 216012
3.24/1.72	o 216539
3.24/1.72	o 222306
3.24/1.72	o 222833
3.24/1.72	o 222964
3.24/1.72	o 223491
3.24/1.72	o 229258
3.24/1.72	o 229785
3.24/1.73	o 231521
3.24/1.73	o 232048
3.24/1.73	o 232179
3.24/1.73	o 232706
3.24/1.73	o 238473
3.24/1.73	o 239000
3.24/1.74	o 239331
3.24/1.74	o 239858
3.24/1.74	o 239989
3.24/1.74	o 240516
3.24/1.74	o 246283
3.24/1.74	o 246810
3.24/1.75	o 248832
3.24/1.75	o 249359
3.24/1.79	o 250057
3.24/1.79	o 250584
3.24/1.79	o 252606
3.24/1.79	o 253133
3.24/1.79	o 257009
3.24/1.79	o 257536
3.24/1.79	o 259558
3.24/1.79	o 260085
3.38/1.80	o 260139
3.38/1.80	o 260666
3.38/1.81	o 263336
3.38/1.81	o 263863
3.38/1.81	o 263994
3.38/1.81	o 267328
3.38/1.81	o 267855
3.38/1.81	o 267986
3.38/1.81	o 268513
3.38/1.81	o 274280
3.38/1.81	o 274807
3.38/1.82	o 275318
3.38/1.82	o 275845
3.38/1.82	o 276543
3.38/1.82	o 277070
3.38/1.82	o 279092
3.38/1.82	o 279619
3.38/1.82	o 283495
3.38/1.82	o 284022
3.38/1.82	o 286044
3.38/1.82	o 286571
3.38/1.85	o 287193
3.38/1.85	o 287720
3.38/1.87	o 287803
3.38/1.87	o 293079
3.38/1.87	o 293606
3.38/1.87	o 294228
3.38/1.87	o 294755
3.38/1.88	o 295266
3.38/1.88	o 295793
3.38/1.88	o 295869
3.38/1.88	o 297891
3.38/1.88	o 298418
3.38/1.88	o 299040
3.38/1.88	o 299567
3.38/1.88	o 302294
3.38/1.88	o 302821
3.38/1.89	o 304843
3.38/1.89	o 305370
3.38/1.89	o 305992
3.38/1.89	o 306519
3.51/1.90	o 306747
3.51/1.93	o 307282
3.51/1.93	o 307809
3.51/1.93	o 308431
3.51/1.94	o 308958
3.51/1.94	o 309186
3.51/1.97	o 309411
3.51/1.97	o 309938
3.51/1.97	o 310701
3.51/1.97	o 311228
3.51/1.97	o 311850
3.51/1.97	o 312377
3.51/1.97	o 313078
3.51/1.97	o 313605
3.51/1.97	o 314227
3.51/1.97	o 314754
3.51/1.98	o 315047
3.51/1.98	o 315574
3.51/1.98	o 315705
3.51/1.98	o 315978
3.51/1.98	o 316600
3.51/1.98	o 317127
3.51/1.98	o 317890
3.51/1.98	o 318417
3.51/1.98	o 319039
3.51/1.98	o 319566
3.51/1.98	o 319854
3.51/1.98	o 320381
3.51/1.98	o 322403
3.51/1.98	o 322930
3.51/1.98	o 323552
3.51/1.98	o 324079
3.51/1.98	o 324842
3.51/1.98	o 325369
3.51/1.98	o 325991
3.51/1.98	o 326518
3.62/2.05	o 327281
3.62/2.05	o 327808
3.62/2.05	o 328430
3.62/2.05	o 328957
3.62/2.07	o 329250
3.62/2.07	o 329777
3.62/2.07	o 329908
3.62/2.07	o 330181
3.62/2.07	o 330803
3.62/2.07	o 331330
3.62/2.07	o 332093
3.62/2.07	o 332620
3.62/2.07	o 333242
3.62/2.07	o 333769
3.62/2.07	o 334057
3.62/2.07	o 334584
3.62/2.07	o 336606
3.62/2.07	o 337133
3.62/2.07	o 337755
3.62/2.07	o 338282
3.62/2.07	o 339045
3.62/2.07	o 339572
3.62/2.07	o 340194
3.62/2.07	o 340721
3.75/2.13	o 342055
3.75/2.13	o 342582
3.75/2.13	o 342713
3.75/2.13	o 343204
3.75/2.13	o 343731
3.75/2.13	o 343862
3.75/2.13	o 344494
3.75/2.13	o 345021
3.75/2.13	o 345152
3.75/2.13	o 345643
3.75/2.13	o 346170
3.75/2.13	o 346301
3.75/2.13	o 346574
3.75/2.13	o 347196
3.75/2.13	o 347723
3.75/2.13	o 348486
3.75/2.13	o 349013
3.75/2.13	o 349635
3.75/2.13	o 350162
3.75/2.13	o 350450
3.75/2.13	o 350977
3.75/2.13	o 352999
3.75/2.13	o 353526
3.75/2.13	o 354148
3.75/2.14	o 354675
3.75/2.14	o 355438
3.75/2.14	o 355965
3.75/2.14	o 356587
3.75/2.14	o 357114
3.75/2.19	o 357510
3.75/2.19	o 357641
3.75/2.19	o 361790
3.75/2.19	o 362317
3.75/2.19	o 364339
3.75/2.19	o 364866
3.75/2.19	o 365488
3.75/2.19	o 366015
3.75/2.19	o 366778
3.75/2.19	o 367305
3.75/2.19	o 367927
3.75/2.19	o 368454
3.84/2.28	o 368769
3.84/2.28	o 369391
3.84/2.28	o 369918
3.84/2.28	o 370681
3.84/2.28	o 371208
3.84/2.28	o 371830
3.84/2.28	o 372357
3.94/2.38	o 372645
3.94/2.38	o 373172
3.94/2.39	o 373935
3.94/2.39	o 374462
3.94/2.39	o 375084
3.94/2.39	o 375611
3.94/2.39	o 376012
3.94/2.39	o 376539
3.94/2.39	o 377302
3.94/2.39	o 377829
3.94/2.39	o 378451
3.94/2.39	o 378978
3.94/2.39	o 379293
3.94/2.39	o 379915
3.94/2.39	o 380442
3.94/2.39	o 381205
3.94/2.39	o 381732
3.94/2.39	o 382354
3.94/2.39	o 382881
4.04/2.46	o 382992
4.04/2.46	o 383483
4.04/2.46	o 384010
4.04/2.46	o 384141
4.04/2.47	o 384411
4.04/2.47	o 384938
4.04/2.47	o 385069
4.04/2.47	o 385701
4.04/2.47	o 386228
4.04/2.47	o 386359
4.04/2.47	o 386850
4.04/2.47	o 387377
4.04/2.47	o 387508
4.04/2.47	o 387692
4.04/2.47	o 387823
4.04/2.47	o 388314
4.04/2.47	o 388841
4.04/2.47	o 388972
4.04/2.47	o 389604
4.04/2.47	o 390131
4.04/2.47	o 390262
4.04/2.47	o 390753
4.04/2.47	o 391280
4.04/2.47	o 391411
4.04/2.47	o 391988
4.04/2.47	o 392515
4.04/2.47	o 393278
4.04/2.47	o 393805
4.04/2.47	o 394427
4.04/2.47	o 394954
4.04/2.47	o 395355
4.04/2.47	o 395882
4.04/2.47	o 396645
4.04/2.48	o 397172
4.04/2.48	o 397794
4.04/2.48	o 398321
4.04/2.48	o 398636
4.04/2.48	o 399258
4.04/2.48	o 399785
4.04/2.48	o 400548
4.04/2.48	o 401075
4.04/2.48	o 401697
4.04/2.48	o 402224
4.24/2.61	o 402349
4.24/2.61	o 402876
4.24/2.61	o 403498
4.24/2.61	o 404025
4.34/2.71	o 404608
4.34/2.71	o 405135
4.34/2.74	o 405428
4.34/2.74	o 405955
4.34/2.74	o 406086
4.34/2.75	o 406663
4.34/2.75	o 407190
4.34/2.75	o 407953
4.34/2.75	o 408480
4.34/2.75	o 409102
4.34/2.75	o 409629
4.34/2.75	o 410030
4.34/2.75	o 410557
4.34/2.75	o 411320
4.34/2.75	o 411847
4.34/2.75	o 412469
4.34/2.75	o 412996
4.34/2.75	o 413311
4.34/2.75	o 413933
4.34/2.75	o 414460
4.34/2.75	o 415223
4.34/2.76	o 415750
4.34/2.76	o 416372
4.34/2.76	o 416899
4.44/2.82	o 417058
4.44/2.82	o 417680
4.44/2.82	o 418207
4.54/2.90	o 418252
4.54/2.90	o 418779
4.54/2.90	o 418910
4.54/2.90	o 419094
4.54/2.90	o 419225
4.54/2.90	o 419716
4.54/2.90	o 420243
4.54/2.90	o 420374
4.54/2.90	o 421006
4.54/2.90	o 421533
4.54/2.90	o 421664
4.54/2.90	o 422155
4.54/2.90	o 422682
4.54/2.91	o 422813
4.54/2.91	o 423083
4.54/2.91	o 423610
4.54/2.91	o 423741
4.54/2.91	o 424373
4.54/2.91	o 424900
4.54/2.91	o 425031
4.54/2.91	o 425522
4.54/2.91	o 426049
4.54/2.91	o 426180
4.54/2.91	o 426364
4.54/2.91	o 426495
4.54/2.91	o 426986
4.54/2.91	o 427513
4.54/2.91	o 427644
4.54/2.91	o 428276
4.54/2.91	o 428803
4.54/2.91	o 428934
4.54/2.91	o 429425
4.54/2.91	o 429952
4.54/2.91	o 430083
4.54/2.93	o 430660
4.54/2.93	o 431187
4.54/2.93	o 431950
4.54/2.93	o 432477
4.54/2.93	o 433099
4.54/2.93	o 433626
4.54/2.94	o 434027
4.54/2.94	o 434554
4.54/2.94	o 435317
4.54/2.94	o 435844
4.54/2.94	o 436466
4.54/2.94	o 436993
4.54/2.94	o 437308
4.54/2.94	o 437930
4.54/2.94	o 438457
4.54/2.94	o 439220
4.54/2.94	o 439747
4.54/2.94	o 440369
4.54/2.94	o 440896
6.50/4.53	o 441328
6.50/4.53	o 442091
6.50/4.53	o 442618
6.50/4.53	o 443240
6.50/4.53	o 443767
6.50/4.53	o 444082
6.50/4.53	o 444704
6.50/4.53	o 445231
6.50/4.53	o 445994
6.50/4.53	o 446521
6.50/4.53	o 447143
6.50/4.53	o 447670
7.03/5.07	o 447988
7.13/5.16	o 448453
7.64/5.62	o 448916
7.64/5.62	o 449047
7.64/5.62	o 449538
7.64/5.62	o 450065
7.64/5.62	o 450196
7.64/5.63	o 450469
7.64/5.63	o 451091
7.64/5.63	o 451618
7.64/5.63	o 452381
7.64/5.63	o 452908
7.64/5.63	o 453530
7.64/5.63	o 454057
7.64/5.63	o 454140
7.64/5.63	o 454667
7.64/5.63	o 455430
7.64/5.63	o 455957
7.64/5.63	o 456579
7.64/5.63	o 457106
7.64/5.63	o 457421
7.64/5.63	o 458043
7.64/5.63	o 458570
7.64/5.64	o 459333
7.64/5.64	o 459860
7.64/5.64	o 460482
7.64/5.64	o 461009
7.64/5.67	o 461327
8.78/6.76	o 461491
8.78/6.76	o 461622
8.78/6.76	o 462254
8.78/6.76	o 462781
8.78/6.76	o 462912
8.78/6.76	o 463403
8.78/6.76	o 463930
8.78/6.76	o 464061
8.78/6.76	o 464245
8.78/6.76	o 464376
8.78/6.76	o 464867
8.78/6.76	o 465394
8.78/6.76	o 465525
8.78/6.76	o 466157
8.78/6.76	o 466684
8.78/6.76	o 466815
8.78/6.76	o 467306
8.78/6.76	o 467833
8.78/6.76	o 467964
8.78/6.77	o 468237
8.78/6.77	o 468859
8.78/6.77	o 469386
8.78/6.77	o 470149
8.78/6.77	o 470676
8.78/6.77	o 471298
8.78/6.77	o 471825
8.78/6.77	o 471908
8.78/6.77	o 472435
8.78/6.77	o 473198
8.78/6.77	o 473725
8.78/6.77	o 474347
8.78/6.77	o 474874
8.78/6.77	o 475189
8.78/6.77	o 475811
8.78/6.77	o 476338
8.78/6.77	o 477101
8.78/6.77	o 477628
8.78/6.77	o 478250
8.78/6.77	o 478777
8.99/7.01	o 479095
9.29/7.23	o 479558
9.29/7.23	o 479689
9.29/7.23	o 480180
9.29/7.23	o 480707
9.29/7.23	o 480838
9.29/7.23	o 481111
9.29/7.24	o 481733
9.29/7.24	o 482260
9.29/7.24	o 483023
9.29/7.24	o 483550
9.29/7.24	o 484172
9.29/7.24	o 484699
9.29/7.24	o 484782
9.29/7.24	o 485309
9.29/7.24	o 486072
9.29/7.24	o 486599
9.29/7.24	o 487221
9.29/7.24	o 487748
9.29/7.24	o 488063
9.29/7.24	o 488685
9.29/7.24	o 489212
9.29/7.24	o 489975
9.29/7.24	o 490502
9.29/7.24	o 491124
9.29/7.24	o 491651
9.29/7.25	o 491969
9.48/7.45	o 492456
9.48/7.45	o 492983
9.48/7.45	o 493114
9.48/7.45	o 493605
9.48/7.45	o 494132
9.48/7.45	o 494263
9.48/7.46	o 494536
9.48/7.46	o 495158
9.48/7.46	o 495685
9.48/7.46	o 496448
9.48/7.46	o 496975
9.48/7.46	o 497597
9.48/7.46	o 498124
9.48/7.47	o 498207
9.48/7.47	o 498734
9.48/7.47	o 499497
9.48/7.47	o 500024
9.48/7.47	o 500646
9.48/7.47	o 501173
9.48/7.47	o 501488
9.48/7.47	o 502110
9.48/7.47	o 502637
9.48/7.47	o 503400
9.48/7.47	o 503927
9.48/7.47	o 504549
9.48/7.47	o 505076
9.79/7.72	o 505394
10.98/8.93	o 505623
10.98/8.94	o 505706
10.98/8.94	o 506233
10.98/8.94	o 506996
10.98/8.94	o 507523
10.98/8.94	o 508145
10.98/8.94	o 508672
10.98/8.94	o 508987
10.98/8.95	o 509609
10.98/8.95	o 510136
10.98/8.95	o 510899
10.98/8.95	o 511426
10.98/8.95	o 512048
10.98/8.95	o 512575
11.28/9.22	o 512829
11.28/9.23	o 513356
11.28/9.23	o 513487
11.28/9.23	o 513978
11.28/9.23	o 514505
11.28/9.23	o 514636
11.48/9.45	o 514909
11.48/9.45	o 515531
11.48/9.45	o 516058
11.48/9.46	o 516821
11.48/9.46	o 517348
11.48/9.46	o 517970
11.48/9.46	o 518497
11.48/9.46	o 518580
11.48/9.46	o 519107
11.48/9.46	o 519870
11.48/9.47	o 520397
11.48/9.47	o 521019
11.48/9.47	o 521546
11.48/9.47	o 521861
11.48/9.47	o 522483
11.48/9.47	o 523010
11.48/9.47	o 523773
11.48/9.47	o 524300
11.48/9.47	o 524922
11.48/9.47	o 525449
12.68/10.61	o 525767
13.68/11.63	o 526011
13.68/11.63	o 526538
13.68/11.63	o 527160
13.68/11.63	o 527687
13.68/11.64	o 528005
15.40/13.36	o 528542
15.40/13.36	o 529069
15.40/13.36	o 529585
15.40/13.36	o 530207
15.40/13.36	o 530734
15.40/13.36	o 531296
15.40/13.36	o 531823
15.40/13.36	o 532445
15.40/13.36	o 532972
15.90/13.84	o 533290
19.90/17.82	o 533687
19.90/17.82	o 534214
19.90/17.82	o 534374
19.90/17.82	o 534936
19.90/17.82	o 535463
19.90/17.82	o 536085
19.90/17.82	o 536612
19.90/17.87	o 536930
22.71/20.63	o 537433
22.71/20.63	o 537960
22.71/20.63	o 538582
22.71/20.63	o 539109
22.71/20.64	o 539393
22.71/20.64	o 539920
22.71/20.64	o 540482
22.71/20.64	o 541009
22.71/20.64	o 541631
22.71/20.64	o 542158
22.71/20.64	o 542421
22.71/20.64	o 542674
22.71/20.64	o 543296
22.71/20.64	o 543823
22.71/20.64	o 544385
22.71/20.64	o 544912
22.71/20.64	o 545534
22.71/20.64	o 546061
22.71/20.65	o 546379
23.22/21.16	o 546842
23.22/21.16	o 546973
23.22/21.16	o 547464
23.22/21.16	o 547991
23.22/21.16	o 548122
23.22/21.17	o 548292
23.22/21.17	o 548914
23.22/21.17	o 549441
23.22/21.17	o 549745
23.22/21.17	o 550307
23.22/21.17	o 550834
23.22/21.17	o 551456
23.22/21.17	o 551983
23.22/21.17	o 552267
23.22/21.17	o 552794
23.22/21.17	o 553356
23.22/21.17	o 553883
23.22/21.17	o 554505
23.22/21.17	o 555032
23.22/21.18	o 555295
23.22/21.18	o 555548
23.22/21.18	o 556170
23.22/21.18	o 556697
23.22/21.18	o 557259
23.22/21.18	o 557786
23.22/21.18	o 558408
23.22/21.18	o 558935
23.31/21.23	o 559253
37.70/35.40	o 559292
37.70/35.40	o 559892
37.70/35.40	o 560023
37.70/35.40	o 560523
37.70/35.40	o 560654
39.10/36.81	o 561229
39.10/36.81	o 561360
39.10/36.81	o 561860
39.10/36.81	o 561991
39.10/36.81	o 562591
39.10/36.81	o 562722
39.10/36.81	o 563222
39.10/36.81	o 563353
41.70/39.48	o 563461
41.70/39.48	o 563592
41.70/39.48	o 564610
41.70/39.48	o 564741
41.70/39.48	o 565241
41.70/39.48	o 565372
41.70/39.48	o 565972
41.70/39.48	o 566103
41.70/39.48	o 566603
41.70/39.48	o 566734
41.70/39.49	o 566794
41.70/39.49	o 566925
41.70/39.49	o 567425
41.70/39.49	o 567556
41.70/39.49	o 567923
41.70/39.49	o 568054
41.70/39.49	o 569072
41.70/39.49	o 569203
41.70/39.49	o 569703
41.70/39.49	o 569834
41.70/39.49	o 570434
41.70/39.49	o 570565
41.70/39.49	o 571065
41.70/39.49	o 571196
42.60/40.30	o 571433
42.60/40.30	o 571564
42.60/40.30	o 572064
42.60/40.30	o 572195
44.91/42.60	o 572358
44.91/42.60	o 572489
44.91/42.60	o 573089
44.91/42.60	o 573220
44.91/42.60	o 573720
44.91/42.60	o 573851
44.91/42.61	o 574088
44.91/42.61	o 574219
44.91/42.61	o 574719
44.91/42.61	o 574850
46.81/44.54	o 574886
46.81/44.54	o 575017
46.81/44.54	o 575517
46.81/44.54	o 575648
46.81/44.54	o 576015
46.81/44.54	o 576146
46.81/44.54	o 577164
46.81/44.54	o 577295
46.81/44.54	o 577795
46.81/44.54	o 577926
46.81/44.54	o 578526
46.81/44.54	o 578657
46.81/44.54	o 579157
46.81/44.54	o 579288
48.70/46.43	o 579388
48.70/46.43	o 579519
48.70/46.43	o 579998
48.70/46.43	o 580129
48.70/46.43	o 580729
48.70/46.43	o 580860
48.70/46.43	o 581360
48.70/46.43	o 581491
49.20/46.97	o 581598
49.20/46.97	o 581729
49.20/46.97	o 582329
49.20/46.97	o 582460
49.20/46.97	o 582960
49.20/46.97	o 583091
49.20/46.97	o 583457
49.20/46.98	o 583588
49.20/46.98	o 584088
49.20/46.98	o 584219
49.20/46.98	o 584819
49.20/46.98	o 584950
49.20/46.98	o 585450
49.20/46.98	o 585581
49.20/46.98	o 586060
49.20/46.98	o 586191
49.20/46.98	o 586791
49.20/46.98	o 586922
49.20/46.98	o 587422
49.20/46.98	o 587553
49.43/47.16	o 587895
49.43/47.16	o 588026
49.43/47.16	o 588526
49.43/47.16	o 588657
49.43/47.16	o 589257
49.43/47.16	o 589388
49.43/47.16	o 589888
49.43/47.16	o 590019
49.43/47.16	o 590498
49.43/47.16	o 590629
49.43/47.16	o 591229
49.43/47.16	o 591360
49.43/47.16	o 591860
49.43/47.16	o 591991
52.02/49.77	o 592086
52.02/49.77	o 592217
52.02/49.77	o 592717
52.02/49.77	o 592848
52.02/49.77	o 593327
52.02/49.77	o 593458
52.02/49.77	o 594058
52.02/49.77	o 594189
52.02/49.77	o 594689
52.02/49.77	o 594820
52.12/49.86	o 595162
52.12/49.86	o 595293
52.12/49.86	o 595793
52.12/49.86	o 595924
52.12/49.86	o 596524
52.12/49.86	o 596655
52.12/49.86	o 597155
52.12/49.86	o 597286
52.12/49.86	o 597765
52.12/49.86	o 597896
52.12/49.86	o 598496
52.12/49.86	o 598627
52.12/49.86	o 599127
52.12/49.86	o 599258
2520.07/2511.60	s SATISFIABLE
2520.07/2511.61	v <instantiation>
2520.07/2511.61	v 	<list>
2520.07/2511.61	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.07/2511.61	v 	</list>
2520.07/2511.61	v 	<values>
2520.07/2511.61	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2520.07/2511.61	v 	</values>
2520.07/2511.61	v </instantiation>

Verifier Data 

OK	599258

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

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

running on 4 cores: 0,2,4,6

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
solver pid=25864, runsolver pid=25861
Current StackSize limit: 8192 KiB


[startup+0.100248 s]*
/proc/loadavg: 1.95 1.88 1.87 4/215 25879
/proc/meminfo: memFree=19846492/32770624 swapFree=67108860/67108860
[pid=25864] ppid=25861 vsize=10658972 memory=29520 CPUtime=0.13 cores=0,2,4,6
/proc/25864/stat : 25864 (java) S 25861 25864 23077 0 -1 1077944320 5267 0 0 0 12 1 0 0 20 0 15 0 93836716 10914787328 7380 33554432000 4194304 4196468 140731154405488 140731154388032 139841698004727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
/proc/25864/statm: 2664743 7380 2859 1 0 2627263 0
[pid=25864/tid=25866] ppid=25861 vsize=10658972 memory=-7254952165438285178 CPUtime=0.09 cores=0,2,4,6
/proc/25864/task/25866/stat : 25866 (java) S 25861 25864 23077 0 -1 1077944384 3094 0 0 0 9 0 0 0 20 0 15 0 93836716 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841702232976 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25867] ppid=25861 vsize=10658972 memory=5793855219446618553 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25867/stat : 25867 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841654557840 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25868] ppid=25861 vsize=10658972 memory=139968436725376 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25868/stat : 25868 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841653505040 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25869] ppid=25861 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25869/stat : 25869 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841302879120 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25870] ppid=25861 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25870/stat : 25870 (java) S 25861 25864 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93836717 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841301826320 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25871] ppid=25861 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25871/stat : 25871 (java) S 25861 25864 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93836718 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841257875824 139841698015874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25872] ppid=25861 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25872/stat : 25872 (java) S 25861 25864 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93836719 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841256821792 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25873] ppid=25861 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25873/stat : 25873 (java) S 25861 25864 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93836719 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841255768944 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25874] ppid=25861 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25874/stat : 25874 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836721 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841254717264 139841698023323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25875] ppid=25861 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25875/stat : 25875 (java) R 25861 25864 23077 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 93836721 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841253665648 139841698015874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25876] ppid=25861 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25876/stat : 25876 (java) R 25861 25864 23077 0 -1 4202560 169 0 0 0 0 0 0 0 20 0 15 0 93836721 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841252612848 139841675837584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25877] ppid=25861 vsize=10658972 memory=139968436725376 CPUtime=0.02 cores=0,2,4,6
/proc/25864/task/25877/stat : 25877 (java) S 25861 25864 23077 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 15 0 93836721 10914787328 7380 33554432000 4194304 4196468 140731154405488 139841251560048 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25878] ppid=25861 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25878/stat : 25878 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836722 10914787328 7380 33554432000 4194304 4196468 140731154405488 139840793340640 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25879] ppid=25861 vsize=10658972 memory=139968436725376 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25879/stat : 25879 (java) R 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836722 10914787328 7380 33554432000 4194304 4196468 140731154405488 139840792287920 139841698015874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 29520 KiB

[startup+0.210515 s]*
/proc/loadavg: 1.95 1.88 1.87 4/215 25879
/proc/meminfo: memFree=19833484/32770624 swapFree=67108860/67108860
[pid=25864] ppid=25861 vsize=10661056 memory=42968 CPUtime=0.35 cores=0,2,4,6
/proc/25864/stat : 25864 (java) S 25861 25864 23077 0 -1 1077944320 8348 0 0 0 32 3 0 0 20 0 15 0 93836716 10916921344 10742 33554432000 4194304 4196468 140731154405488 140731154388032 139841698004727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
/proc/25864/statm: 2665264 10742 3006 1 0 2627263 0
[pid=25864/tid=25866] ppid=25861 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/25864/task/25866/stat : 25866 (java) S 25861 25864 23077 0 -1 1077944384 5088 0 0 0 18 2 0 0 20 0 15 0 93836716 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841702242528 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25867] ppid=25861 vsize=10661056 memory=4211973694641515914 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25867/stat : 25867 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841654557840 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25868] ppid=25861 vsize=10661056 memory=139968436725376 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25868/stat : 25868 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841653505040 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25869] ppid=25861 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25869/stat : 25869 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841302879120 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25870] ppid=25861 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25870/stat : 25870 (java) S 25861 25864 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93836717 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841301826320 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25871] ppid=25861 vsize=10661056 memory=139968436725376 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25871/stat : 25871 (java) S 25861 25864 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93836718 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841257875824 139841698015874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25872] ppid=25861 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25872/stat : 25872 (java) S 25861 25864 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93836719 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841256821792 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25873] ppid=25861 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25873/stat : 25873 (java) S 25861 25864 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93836719 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841255768944 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25874] ppid=25861 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25874/stat : 25874 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836721 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841254717264 139841698023323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25875] ppid=25861 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25864/task/25875/stat : 25875 (java) R 25861 25864 23077 0 -1 4202560 768 0 0 0 3 0 0 0 20 0 15 0 93836721 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841253665648 139841675364656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25876] ppid=25861 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25864/task/25876/stat : 25876 (java) R 25861 25864 23077 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 15 0 93836721 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841252612848 139841698015874 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25877] ppid=25861 vsize=10661056 memory=139968436725376 CPUtime=0.08 cores=0,2,4,6
/proc/25864/task/25877/stat : 25877 (java) R 25861 25864 23077 0 -1 4202560 911 0 0 0 8 0 0 0 20 0 15 0 93836721 10916921344 10742 33554432000 4194304 4196468 140731154405488 139841251560048 139841675228880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25878] ppid=25861 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25878/stat : 25878 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836722 10916921344 10742 33554432000 4194304 4196468 140731154405488 139840793340640 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25879] ppid=25861 vsize=10661056 memory=139968436725376 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25879/stat : 25879 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836722 10916921344 10742 33554432000 4194304 4196468 140731154405488 139840792287920 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 42968 KiB

[startup+0.311171 s]*
/proc/loadavg: 1.95 1.88 1.87 5/215 25879
/proc/meminfo: memFree=19826792/32770624 swapFree=67108860/67108860
[pid=25864] ppid=25861 vsize=10661132 memory=51620 CPUtime=0.6 cores=0,2,4,6
/proc/25864/stat : 25864 (java) S 25861 25864 23077 0 -1 1077944320 8969 0 0 0 57 3 0 0 20 0 15 0 93836716 10916999168 12905 33554432000 4194304 4196468 140731154405488 140731154388032 139841698004727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
/proc/25864/statm: 2665283 12905 3072 1 0 2627263 0
[pid=25864/tid=25866] ppid=25861 vsize=10661132 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/25864/task/25866/stat : 25866 (java) R 25861 25864 23077 0 -1 4202560 5408 0 0 0 27 2 0 0 20 0 15 0 93836716 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841702241328 139841333511980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25867] ppid=25861 vsize=10661132 memory=4211973694641515914 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25867/stat : 25867 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841654557840 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25868] ppid=25861 vsize=10661132 memory=279936723392896 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25868/stat : 25868 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841653505040 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25869] ppid=25861 vsize=10661132 memory=279936573362688 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25869/stat : 25869 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841302879120 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25870] ppid=25861 vsize=10661132 memory=139968286667535 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25870/stat : 25870 (java) S 25861 25864 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841301826320 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25871] ppid=25861 vsize=10661132 memory=279936723402112 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25871/stat : 25871 (java) S 25861 25864 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93836718 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841257875824 139841698015874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25872] ppid=25861 vsize=10661132 memory=139968286672143 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25872/stat : 25872 (java) S 25861 25864 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841256821792 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25873] ppid=25861 vsize=10661132 memory=139968286697557 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25873/stat : 25873 (java) S 25861 25864 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841255768944 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25874] ppid=25861 vsize=10661132 memory=139968286702403 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25874/stat : 25874 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836721 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841254717264 139841698023323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25875] ppid=25861 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25864/task/25875/stat : 25875 (java) R 25861 25864 23077 0 -1 4202560 860 0 0 0 8 0 0 0 20 0 15 0 93836721 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841253665648 139841679526118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25876] ppid=25861 vsize=10661132 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/25864/task/25876/stat : 25876 (java) R 25861 25864 23077 0 -1 4202560 288 0 0 0 5 0 0 0 20 0 15 0 93836721 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841252598872 139841677251415 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25877] ppid=25861 vsize=10661132 memory=139968436725376 CPUtime=0.15 cores=0,2,4,6
/proc/25864/task/25877/stat : 25877 (java) R 25861 25864 23077 0 -1 4202560 1045 0 0 0 15 0 0 0 20 0 15 0 93836721 10916999168 12905 33554432000 4194304 4196468 140731154405488 139841251555776 139841682164961 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25878] ppid=25861 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25878/stat : 25878 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836722 10916999168 12905 33554432000 4194304 4196468 140731154405488 139840793340640 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25879] ppid=25861 vsize=10661132 memory=139968436754896 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25879/stat : 25879 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836722 10916999168 12905 33554432000 4194304 4196468 140731154405488 139840792287920 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 51620 KiB

[startup+0.700814 s]
/proc/loadavg: 2.12 1.91 1.88 5/215 25879
/proc/meminfo: memFree=19585444/32770624 swapFree=67108860/67108860
[pid=25864] ppid=25861 vsize=10661132 memory=292976 CPUtime=1.83 cores=0,2,4,6
/proc/25864/stat : 25864 (java) S 25861 25864 23077 0 -1 1077944320 13057 0 0 0 175 8 0 0 20 0 15 0 93836716 10916999168 73244 33554432000 4194304 4196468 140731154405488 140731154388032 139841698004727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
/proc/25864/statm: 2665283 73244 3107 1 0 2627263 0
[pid=25864/tid=25866] ppid=25861 vsize=10661132 memory=54 CPUtime=0.68 cores=0,2,4,6
/proc/25864/task/25866/stat : 25866 (java) R 25861 25864 23077 0 -1 4202560 5666 0 0 0 62 6 0 0 20 0 15 0 93836716 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841702240624 140731154847682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25867] ppid=25861 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25867/stat : 25867 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841654557840 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25868] ppid=25861 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25868/stat : 25868 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841653505040 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25869] ppid=25861 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25869/stat : 25869 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841302879120 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25870] ppid=25861 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25870/stat : 25870 (java) S 25861 25864 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841301826320 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25871] ppid=25861 vsize=10661132 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25871/stat : 25871 (java) S 25861 25864 23077 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93836718 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841257875824 139841698015874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25872] ppid=25861 vsize=10661132 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25872/stat : 25872 (java) S 25861 25864 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841256821792 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25873] ppid=25861 vsize=10661132 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25873/stat : 25873 (java) S 25861 25864 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841255768944 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25874] ppid=25861 vsize=10661132 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25874/stat : 25874 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836721 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841254717264 139841698023323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25875] ppid=25861 vsize=10661132 memory=792 CPUtime=0.45 cores=0,2,4,6
/proc/25864/task/25875/stat : 25875 (java) S 25861 25864 23077 0 -1 1077944384 1905 0 0 0 45 0 0 0 20 0 15 0 93836721 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841253665648 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25876] ppid=25861 vsize=10661132 memory=1716 CPUtime=0.4 cores=0,2,4,6
/proc/25864/task/25876/stat : 25876 (java) S 25861 25864 23077 0 -1 1077944384 2121 0 0 0 39 1 0 0 20 0 15 0 93836721 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841252612848 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25877] ppid=25861 vsize=10661132 memory=1952 CPUtime=0.28 cores=0,2,4,6
/proc/25864/task/25877/stat : 25877 (java) S 25861 25864 23077 0 -1 1077944384 1994 0 0 0 28 0 0 0 20 0 15 0 93836721 10916999168 73244 33554432000 4194304 4196468 140731154405488 139841251560048 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25878] ppid=25861 vsize=10661132 memory=8580 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25878/stat : 25878 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836722 10916999168 73244 33554432000 4194304 4196468 140731154405488 139840793340640 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25879] ppid=25861 vsize=10661132 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25879/stat : 25879 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836722 10916999168 73244 33554432000 4194304 4196468 140731154405488 139840792287920 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 292976 KiB

[startup+1.50075 s]
/proc/loadavg: 2.12 1.91 1.88 3/215 25879
/proc/meminfo: memFree=19582696/32770624 swapFree=67108860/67108860
[pid=25864] ppid=25861 vsize=10661132 memory=295924 CPUtime=2.72 cores=0,2,4,6
/proc/25864/stat : 25864 (java) S 25861 25864 23077 0 -1 1077944320 13372 0 0 0 263 9 0 0 20 0 15 0 93836716 10916999168 73981 33554432000 4194304 4196468 140731154405488 140731154388032 139841698004727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
/proc/25864/statm: 2665283 73981 3107 1 0 2627263 0
[pid=25864/tid=25866] ppid=25861 vsize=10661132 memory=4140 CPUtime=1.47 cores=0,2,4,6
/proc/25864/task/25866/stat : 25866 (java) R 25861 25864 23077 0 -1 4202560 5912 0 0 0 141 6 0 0 20 0 15 0 93836716 10916999168 73981 33554432000 4194304 4196468 140731154405488 139841702122336 140731154847682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25867] ppid=25861 vsize=10661132 memory=27104 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25867/stat : 25867 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 73981 33554432000 4194304 4196468 140731154405488 139841654557840 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25868] ppid=25861 vsize=10661132 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25868/stat : 25868 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 73981 33554432000 4194304 4196468 140731154405488 139841653505040 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25869] ppid=25861 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25869/stat : 25869 (java) S 25861 25864 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 73981 33554432000 4194304 4196468 140731154405488 139841302879120 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25870] ppid=25861 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25870/stat : 25870 (java) S 25861 25864 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93836717 10916999168 73981 33554432000 4194304 4196468 140731154405488 139841301826320 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25871] ppid=25861 vsize=10661132 memory=7451293975509492822 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25871/stat : 25871 (java) S 25861 25864 23077 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93836718 10916999168 73981 33554432000 4194304 4196468 140731154405488 139841257875824 139841698015874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0

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

/proc/25864/task/25866/stat : 25866 (java) R 25861 25864 23077 0 -1 4202560 22450 0 0 0 237700 228 0 0 20 0 15 0 93836716 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841702054096 140731154847682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25867] ppid=25861 vsize=10661132 memory=468068 CPUtime=1.83 cores=0,2,4,6
/proc/25864/task/25867/stat : 25867 (java) S 25861 25864 23077 0 -1 1077944384 10819 0 0 0 177 6 0 0 20 0 15 0 93836717 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841654557840 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25868] ppid=25861 vsize=10661132 memory=468068 CPUtime=1.82 cores=0,2,4,6
/proc/25864/task/25868/stat : 25868 (java) S 25861 25864 23077 0 -1 1077944384 8564 0 0 0 176 6 0 0 20 0 15 0 93836717 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841653505040 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25869] ppid=25861 vsize=10661132 memory=468068 CPUtime=1.83 cores=0,2,4,6
/proc/25864/task/25869/stat : 25869 (java) S 25861 25864 23077 0 -1 1077944384 8957 0 0 0 178 5 0 0 20 0 15 0 93836717 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841302879120 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25870] ppid=25861 vsize=10661132 memory=4140 CPUtime=1.83 cores=0,2,4,6
/proc/25864/task/25870/stat : 25870 (java) S 25861 25864 23077 0 -1 1077944384 8742 0 0 0 178 5 0 0 20 0 15 0 93836717 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841301826320 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25871] ppid=25861 vsize=10661132 memory=27168 CPUtime=0.68 cores=0,2,4,6
/proc/25864/task/25871/stat : 25871 (java) S 25861 25864 23077 0 -1 1077944384 12186 0 0 0 62 6 0 0 20 0 15 0 93836718 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841257875824 139841698015874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25872] ppid=25861 vsize=10661132 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25872/stat : 25872 (java) S 25861 25864 23077 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841256821792 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25873] ppid=25861 vsize=10661132 memory=27168 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25873/stat : 25873 (java) S 25861 25864 23077 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841255768944 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25874] ppid=25861 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25874/stat : 25874 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836721 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841254717264 139841698023323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25875] ppid=25861 vsize=10661132 memory=4012 CPUtime=0.72 cores=0,2,4,6
/proc/25864/task/25875/stat : 25875 (java) S 25861 25864 23077 0 -1 1077944384 4320 0 0 0 71 1 0 0 20 0 15 0 93836721 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841253665648 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25876] ppid=25861 vsize=10661132 memory=468068 CPUtime=1.18 cores=0,2,4,6
/proc/25864/task/25876/stat : 25876 (java) S 25861 25864 23077 0 -1 1077944384 13162 0 0 0 116 2 0 0 20 0 15 0 93836721 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841252612848 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25877] ppid=25861 vsize=10661132 memory=468068 CPUtime=0.38 cores=0,2,4,6
/proc/25864/task/25877/stat : 25877 (java) S 25861 25864 23077 0 -1 1077944384 3884 0 0 0 37 1 0 0 20 0 15 0 93836721 10916999168 117017 33554432000 4194304 4196468 140731154405488 139841251560048 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25878] ppid=25861 vsize=10661132 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25878/stat : 25878 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836722 10916999168 117017 33554432000 4194304 4196468 140731154405488 139840793340640 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25879] ppid=25861 vsize=10661132 memory=15708 CPUtime=0.76 cores=0,2,4,6
/proc/25864/task/25879/stat : 25879 (java) S 25861 25864 23077 0 -1 1077944384 1052 0 0 0 36 40 0 0 20 0 15 0 93836722 10916999168 117017 33554432000 4194304 4196468 140731154405488 139840792287920 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
Current children cumulated CPU time: 2390.4 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 468068 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.43 1.51 3/215 25977
/proc/meminfo: memFree=19323560/32770624 swapFree=67108860/67108860
[pid=25864] ppid=25861 vsize=10661132 memory=470116 CPUtime=2450.55 cores=0,2,4,6
/proc/25864/stat : 25864 (java) S 25861 25864 23077 0 -1 1077944320 96826 0 0 0 244760 295 0 0 20 0 15 0 93836716 10916999168 117529 33554432000 4194304 4196468 140731154405488 140731154388032 139841698004727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
/proc/25864/statm: 2665283 117529 3164 1 0 2627263 0
[pid=25864/tid=25866] ppid=25861 vsize=10661132 memory=470116 CPUtime=2439.2 cores=0,2,4,6
/proc/25864/task/25866/stat : 25866 (java) R 25861 25864 23077 0 -1 4202560 22764 0 0 0 243687 233 0 0 20 0 15 0 93836716 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841702053888 139841336868288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25867] ppid=25861 vsize=10661132 memory=470116 CPUtime=1.87 cores=0,2,4,6
/proc/25864/task/25867/stat : 25867 (java) S 25861 25864 23077 0 -1 1077944384 11005 0 0 0 181 6 0 0 20 0 15 0 93836717 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841654557840 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25868] ppid=25861 vsize=10661132 memory=470116 CPUtime=1.86 cores=0,2,4,6
/proc/25864/task/25868/stat : 25868 (java) S 25861 25864 23077 0 -1 1077944384 8606 0 0 0 180 6 0 0 20 0 15 0 93836717 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841653505040 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25869] ppid=25861 vsize=10661132 memory=470116 CPUtime=1.88 cores=0,2,4,6
/proc/25864/task/25869/stat : 25869 (java) S 25861 25864 23077 0 -1 1077944384 9105 0 0 0 182 6 0 0 20 0 15 0 93836717 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841302879120 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25870] ppid=25861 vsize=10661132 memory=470116 CPUtime=1.88 cores=0,2,4,6
/proc/25864/task/25870/stat : 25870 (java) S 25861 25864 23077 0 -1 1077944384 9076 0 0 0 183 5 0 0 20 0 15 0 93836717 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841301826320 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25871] ppid=25861 vsize=10661132 memory=27168 CPUtime=0.7 cores=0,2,4,6
/proc/25864/task/25871/stat : 25871 (java) S 25861 25864 23077 0 -1 1077944384 12412 0 0 0 64 6 0 0 20 0 15 0 93836718 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841257875824 139841698015874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25872] ppid=25861 vsize=10661132 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25872/stat : 25872 (java) S 25861 25864 23077 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841256821792 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25873] ppid=25861 vsize=10661132 memory=470116 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25873/stat : 25873 (java) S 25861 25864 23077 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841255768944 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25874] ppid=25861 vsize=10661132 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25874/stat : 25874 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836721 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841254717264 139841698023323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25875] ppid=25861 vsize=10661132 memory=470116 CPUtime=0.72 cores=0,2,4,6
/proc/25864/task/25875/stat : 25875 (java) S 25861 25864 23077 0 -1 1077944384 4322 0 0 0 71 1 0 0 20 0 15 0 93836721 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841253665648 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25876] ppid=25861 vsize=10661132 memory=470116 CPUtime=1.18 cores=0,2,4,6
/proc/25864/task/25876/stat : 25876 (java) S 25861 25864 23077 0 -1 1077944384 13164 0 0 0 116 2 0 0 20 0 15 0 93836721 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841252612848 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25877] ppid=25861 vsize=10661132 memory=470116 CPUtime=0.38 cores=0,2,4,6
/proc/25864/task/25877/stat : 25877 (java) S 25861 25864 23077 0 -1 1077944384 3886 0 0 0 37 1 0 0 20 0 15 0 93836721 10916999168 117529 33554432000 4194304 4196468 140731154405488 139841251560048 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25878] ppid=25861 vsize=10661132 memory=470116 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25878/stat : 25878 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836722 10916999168 117529 33554432000 4194304 4196468 140731154405488 139840793340640 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25879] ppid=25861 vsize=10661132 memory=470116 CPUtime=0.78 cores=0,2,4,6
/proc/25864/task/25879/stat : 25879 (java) S 25861 25864 23077 0 -1 1077944384 1076 0 0 0 37 41 0 0 20 0 15 0 93836722 10916999168 117529 33554432000 4194304 4196468 140731154405488 139840792287920 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
Current children cumulated CPU time: 2450.55 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 470116 KiB

[startup+2502.3 s]
/proc/loadavg: 1.28 1.39 1.49 3/215 26055
/proc/meminfo: memFree=19586636/32770624 swapFree=67108860/67108860
[pid=25864] ppid=25861 vsize=10661132 memory=473676 CPUtime=2510.75 cores=0,2,4,6
/proc/25864/stat : 25864 (java) S 25861 25864 23077 0 -1 1077944320 98055 0 0 0 250773 302 0 0 20 0 15 0 93836716 10916999168 118419 33554432000 4194304 4196468 140731154405488 140731154388032 139841698004727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
/proc/25864/statm: 2665283 118419 3164 1 0 2627263 0
[pid=25864/tid=25866] ppid=25861 vsize=10661132 memory=473676 CPUtime=2499.11 cores=0,2,4,6
/proc/25864/task/25866/stat : 25866 (java) R 25861 25864 23077 0 -1 4202560 22930 0 0 0 249673 238 0 0 20 0 15 0 93836716 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841702052320 139841683215841 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25867] ppid=25861 vsize=10661132 memory=0 CPUtime=1.93 cores=0,2,4,6
/proc/25864/task/25867/stat : 25867 (java) S 25861 25864 23077 0 -1 1077944384 11022 0 0 0 187 6 0 0 20 0 15 0 93836717 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841654557840 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25868] ppid=25861 vsize=10661132 memory=473676 CPUtime=1.92 cores=0,2,4,6
/proc/25864/task/25868/stat : 25868 (java) S 25861 25864 23077 0 -1 1077944384 8609 0 0 0 186 6 0 0 20 0 15 0 93836717 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841653505040 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25869] ppid=25861 vsize=10661132 memory=473676 CPUtime=1.94 cores=0,2,4,6
/proc/25864/task/25869/stat : 25869 (java) S 25861 25864 23077 0 -1 1077944384 9134 0 0 0 188 6 0 0 20 0 15 0 93836717 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841302879120 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25870] ppid=25861 vsize=10661132 memory=473676 CPUtime=1.94 cores=0,2,4,6
/proc/25864/task/25870/stat : 25870 (java) S 25861 25864 23077 0 -1 1077944384 9322 0 0 0 189 5 0 0 20 0 15 0 93836717 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841301826320 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25871] ppid=25861 vsize=10661132 memory=473676 CPUtime=0.72 cores=0,2,4,6
/proc/25864/task/25871/stat : 25871 (java) S 25861 25864 23077 0 -1 1077944384 13106 0 0 0 66 6 0 0 20 0 15 0 93836718 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841257875824 139841698015874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25872] ppid=25861 vsize=10661132 memory=473676 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25872/stat : 25872 (java) S 25861 25864 23077 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841256821792 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25873] ppid=25861 vsize=10661132 memory=473676 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25873/stat : 25873 (java) S 25861 25864 23077 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841255768944 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25874] ppid=25861 vsize=10661132 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25874/stat : 25874 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836721 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841254717264 139841698023323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25875] ppid=25861 vsize=10661132 memory=27168 CPUtime=0.72 cores=0,2,4,6
/proc/25864/task/25875/stat : 25875 (java) S 25861 25864 23077 0 -1 1077944384 4322 0 0 0 71 1 0 0 20 0 15 0 93836721 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841253665648 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25876] ppid=25861 vsize=10661132 memory=473676 CPUtime=1.18 cores=0,2,4,6
/proc/25864/task/25876/stat : 25876 (java) S 25861 25864 23077 0 -1 1077944384 13232 0 0 0 116 2 0 0 20 0 15 0 93836721 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841252612848 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25877] ppid=25861 vsize=10661132 memory=473676 CPUtime=0.38 cores=0,2,4,6
/proc/25864/task/25877/stat : 25877 (java) S 25861 25864 23077 0 -1 1077944384 3886 0 0 0 37 1 0 0 20 0 15 0 93836721 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841251560048 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25878] ppid=25861 vsize=10661132 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25878/stat : 25878 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836722 10916999168 118419 33554432000 4194304 4196468 140731154405488 139840793340640 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25879] ppid=25861 vsize=10661132 memory=1008 CPUtime=0.81 cores=0,2,4,6
/proc/25864/task/25879/stat : 25879 (java) S 25861 25864 23077 0 -1 1077944384 1082 0 0 0 39 42 0 0 20 0 15 0 93836722 10916999168 118419 33554432000 4194304 4196468 140731154405488 139840792287920 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
Current children cumulated CPU time: 2510.75 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 473676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.6 s]
/proc/loadavg: 1.17 1.36 1.48 3/215 26055
/proc/meminfo: memFree=19585952/32770624 swapFree=67108860/67108860
[pid=25864] ppid=25861 vsize=10661132 memory=473676 CPUtime=2520.07 cores=0,2,4,6
/proc/25864/stat : 25864 (java) S 25861 25864 23077 0 -1 1077944320 98710 0 0 0 251705 302 0 0 20 0 15 0 93836716 10916999168 118419 33554432000 4194304 4196468 140731154405488 140731154388032 139841698004727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
/proc/25864/statm: 2665283 118419 3164 1 0 2627263 0
[pid=25864/tid=25866] ppid=25861 vsize=10661132 memory=4140 CPUtime=2508.39 cores=0,2,4,6
/proc/25864/task/25866/stat : 25866 (java) R 25861 25864 23077 0 -1 4202560 23081 0 0 0 250601 238 0 0 20 0 15 0 93836716 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841702050864 139841336910954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25867] ppid=25861 vsize=10661132 memory=27168 CPUtime=1.93 cores=0,2,4,6
/proc/25864/task/25867/stat : 25867 (java) S 25861 25864 23077 0 -1 1077944384 11087 0 0 0 187 6 0 0 20 0 15 0 93836717 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841654557840 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25868] ppid=25861 vsize=10661132 memory=6791534058613427641 CPUtime=1.93 cores=0,2,4,6
/proc/25864/task/25868/stat : 25868 (java) S 25861 25864 23077 0 -1 1077944384 8713 0 0 0 187 6 0 0 20 0 15 0 93836717 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841653505040 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25869] ppid=25861 vsize=10661132 memory=1404 CPUtime=1.95 cores=0,2,4,6
/proc/25864/task/25869/stat : 25869 (java) S 25861 25864 23077 0 -1 1077944384 9142 0 0 0 189 6 0 0 20 0 15 0 93836717 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841302879120 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25870] ppid=25861 vsize=10661132 memory=3200 CPUtime=1.95 cores=0,2,4,6
/proc/25864/task/25870/stat : 25870 (java) S 25861 25864 23077 0 -1 1077944384 9424 0 0 0 190 5 0 0 20 0 15 0 93836717 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841301826320 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25871] ppid=25861 vsize=10661132 memory=473676 CPUtime=0.73 cores=0,2,4,6
/proc/25864/task/25871/stat : 25871 (java) S 25861 25864 23077 0 -1 1077944384 13311 0 0 0 67 6 0 0 20 0 15 0 93836718 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841257875824 139841698015874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25872] ppid=25861 vsize=10661132 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25872/stat : 25872 (java) S 25861 25864 23077 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841256821792 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25873] ppid=25861 vsize=10661132 memory=952 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25873/stat : 25873 (java) S 25861 25864 23077 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93836719 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841255768944 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25874] ppid=25861 vsize=10661132 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25874/stat : 25874 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836721 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841254717264 139841698023323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25875] ppid=25861 vsize=10661132 memory=2340 CPUtime=0.72 cores=0,2,4,6
/proc/25864/task/25875/stat : 25875 (java) S 25861 25864 23077 0 -1 1077944384 4324 0 0 0 71 1 0 0 20 0 15 0 93836721 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841253665648 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25876] ppid=25861 vsize=10661132 memory=1568 CPUtime=1.18 cores=0,2,4,6
/proc/25864/task/25876/stat : 25876 (java) S 25861 25864 23077 0 -1 1077944384 13234 0 0 0 116 2 0 0 20 0 15 0 93836721 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841252612848 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25877] ppid=25861 vsize=10661132 memory=928 CPUtime=0.38 cores=0,2,4,6
/proc/25864/task/25877/stat : 25877 (java) S 25861 25864 23077 0 -1 1077944384 3888 0 0 0 37 1 0 0 20 0 15 0 93836721 10916999168 118419 33554432000 4194304 4196468 140731154405488 139841251560048 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25878] ppid=25861 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25864/task/25878/stat : 25878 (java) S 25861 25864 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93836722 10916999168 118419 33554432000 4194304 4196468 140731154405488 139840793340640 139841698014933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
[pid=25864/tid=25879] ppid=25861 vsize=10661132 memory=6944652177228980320 CPUtime=0.81 cores=0,2,4,6
/proc/25864/task/25879/stat : 25879 (java) S 25861 25864 23077 0 -1 1077944384 1096 0 0 0 39 42 0 0 20 0 15 0 93836722 10916999168 118419 33554432000 4194304 4196468 140731154405488 139840792287920 139841698015874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13373440 140731154412664 140731154412809 140731154412809 140731154415567 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 473676 KiB

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

[startup+2511.63 s]
# the end of solver process 25864 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.09 s, system=3.03075 s

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

Child status: 143
Real time (s): 2511.63
CPU time (s): 2520.12
CPU user time (s): 2517.09
CPU system time (s): 3.03075
CPU usage (%): 100.338
Max. virtual memory (cumulated for all children) (KiB): 10662792
Max. memory (cumulated for all children) (KiB): 474212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.09
system time used= 3.03075
maximum resident set size= 474212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69941
involuntary context switches= 3603


# summary of solver processes directly reported to runsolver:
#   pid: 25864
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2517.09
#   total CPU system time (s): 3.03075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4045 second user time and 20.9878 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-28 09:25:35
IDJOB=4298545
IDBENCH=141154
IDSOLVER=2768
FILE ID=node103/4298545-1532762735
RUNJOBID= node103-1532740268-23108
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-decay300_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298545-1532762735/watcher-4298545-1532762735 -o /tmp/evaluation-result-4298545-1532762735/solver-4298545-1532762735 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532740268-23108 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4298545-1532762735.xml --timelimit 2520

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1601621201

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:        19864136 kB
MemAvailable:   31553596 kB
Buffers:          301344 kB
Cached:         11572300 kB
SwapCached:            0 kB
Active:          4287824 kB
Inactive:        8017644 kB
Active(anon):     434652 kB
Inactive(anon):    25184 kB
Active(file):    3853172 kB
Inactive(file):  7992460 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1312 kB
Writeback:             0 kB
AnonPages:        539532 kB
Mapped:            54856 kB
Shmem:             25228 kB
Slab:             299956 kB
SReclaimable:     272288 kB
SUnreclaim:        27668 kB
KernelStack:        3792 kB
PageTables:         6096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1157864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    444416 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:07:27