0.07/0.08
0.07/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mrdac-wdeg.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1114081-1215896554.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.39/0.43 nbVariables=350 nbDomainTypes=11 minDomainSize=42 maxDomainSize=302 nbTotalValues=73016
0.39/0.43 => wckTime=0.18 cpuTime=0.13 mem=9M795
0.39/0.43
0.39/0.43 predicates being loaded...
0.39/0.49
0.39/0.49 constraints being loaded...
10.43/10.55
10.43/10.55 INFO : Stopping converting binary constraints (cpu=10.05, mem = 14M894)
11.14/11.25 nbConstraints=3812 nbConvertedConstraints=1127 nbConvertConstraintsChecks=37120472 nbExtensionStructures=888
11.14/11.26 nbSharedExtensionStructures=447 nbConflictsStructures=1201 nbSharedConflictsStructures=611
11.14/11.26 nbUnbuiltConflictsStructures=1417 nbSharedBinaryRepresentations=333281 nbEvaluationManagers=1730
11.14/11.26 nbSharedEvaluationManagers=955 minDegree=7 maxDegree=32 minArity=2 maxArity=2
11.14/11.26 => wckTime=11.009 cpuTime=10.66 mem=40M553
11.23/11.40
11.23/11.40 solver LocalSearchSolver being built...
11.33/11.44 => wckTime=11.193 cpuTime=10.7 mem=15M760
11.33/11.49
11.33/11.49 s SATISFIABLE
11.33/11.49 o 1109
11.43/11.51 o 1101
11.43/11.52 o 1092
11.43/11.53 o 1091
11.43/11.55 o 1087
11.43/11.56 o 1083
11.43/11.57 o 1079
11.43/11.58 o 1077
11.43/11.59 o 1071
11.53/11.60 o 1066
11.53/11.61 o 1062
11.53/11.62 o 1058
11.53/11.62 o 1054
11.53/11.63 o 1050
11.53/11.64 o 1048
11.53/11.65 o 1046
11.53/11.65 o 1042
11.53/11.66 o 1037
11.53/11.66 o 1035
11.53/11.67 o 1030
11.53/11.68 o 1025
11.53/11.69 o 1022
11.53/11.69 o 1018
11.53/11.70 o 1014
11.63/11.70 o 1011
11.63/11.72 o 1010
11.63/11.73 o 1004
11.63/11.74 o 996
11.63/11.75 o 994
11.63/11.76 o 989
11.63/11.76 o 986
11.63/11.78 o 984
11.63/11.79 o 980
11.73/11.80 o 979
11.73/11.81 o 975
11.73/11.81 o 971
11.73/11.82 o 966
11.73/11.82 o 962
11.73/11.83 o 958
11.73/11.85 o 954
11.73/11.86 o 952
11.73/11.86 o 950
11.73/11.87 o 948
11.73/11.89 o 945
11.73/11.89 o 941
11.83/11.90 o 935
11.83/11.92 o 933
11.83/11.93 o 925
11.83/11.93 o 919
11.83/11.93 o 916
11.83/11.94 o 911
11.83/11.94 o 910
11.83/11.95 o 906
11.83/11.96 o 901
11.83/11.98 o 895
11.83/11.99 o 891
11.93/12.02 o 890
11.93/12.04 o 888
11.93/12.05 o 884
11.93/12.07 o 881
11.93/12.08 o 877
11.93/12.10 o 873
12.03/12.10 o 868
12.03/12.12 o 867
12.03/12.13 o 865
12.03/12.14 o 863
12.03/12.15 o 859
12.03/12.16 o 855
12.03/12.17 o 851
12.03/12.19 o 848
12.12/12.20 o 842
12.12/12.21 o 841
12.12/12.23 o 834
12.12/12.24 o 830
12.12/12.25 o 828
12.12/12.27 o 826
12.12/12.28 o 820
12.12/12.29 o 817
12.12/12.30 o 816
12.22/12.31 o 814
12.22/12.32 o 813
12.22/12.35 o 809
12.22/12.36 o 807
12.22/12.37 o 806
12.22/12.38 o 801
12.22/12.39 o 799
12.32/12.41 o 798
12.32/12.43 o 792
12.32/12.45 o 790
12.32/12.46 o 787
12.42/12.51 o 785
12.42/12.53 o 778
12.42/12.54 o 776
12.42/12.56 o 774
12.42/12.58 o 771
12.51/12.61 o 770
12.51/12.63 o 769
12.51/12.64 o 768
12.51/12.65 o 767
12.51/12.67 o 763
12.51/12.69 o 758
12.61/12.70 o 755
12.61/12.71 o 754
12.61/12.74 o 751
12.61/12.76 o 750
12.71/12.81 o 748
12.71/12.86 o 746
12.71/12.88 o 744
12.81/12.94 o 742
12.81/13.00 o 740
12.91/13.02 o 738
12.91/13.03 o 736
12.91/13.06 o 735
12.91/13.07 o 732
12.91/13.10 o 728
13.01/13.11 o 725
13.01/13.13 o 724
13.01/13.15 o 723
13.01/13.16 o 721
13.01/13.18 o 717
13.01/13.20 o 714
13.11/13.21 o 712
13.11/13.25 o 710
13.11/13.29 o 709
13.21/13.35 o 707
13.21/13.39 o 703
13.31/13.41 o 700
13.31/13.44 o 699
13.31/13.46 o 696
13.31/13.47 o 693
13.31/13.49 o 689
13.41/13.51 o 686
13.41/13.52 o 682
13.41/13.57 o 678
13.41/13.58 o 677
13.41/13.59 o 675
13.51/13.60 o 671
13.51/13.62 o 669
13.51/13.64 o 668
13.51/13.65 o 664
13.51/13.66 o 662
13.51/13.67 o 660
13.51/13.69 o 657
13.61/13.71 o 652
13.61/13.72 o 651
13.61/13.77 o 650
13.71/13.81 o 649
13.71/13.83 o 647
13.71/13.85 o 646
13.71/13.87 o 644
13.71/13.89 o 642
13.81/13.93 o 641
13.81/13.95 o 640
13.81/13.98 o 638
13.90/14.03 o 636
14.10/14.22 o 635
14.10/14.26 o 634
14.10/14.28 o 630
14.20/14.30 o 629
14.20/14.33 o 626
14.20/14.35 o 622
14.20/14.38 o 620
14.30/14.45 o 618
14.30/14.50 o 616
14.40/14.52 o 614
14.40/14.55 o 612
14.40/14.58 o 609
14.50/14.60 o 608
14.50/14.62 o 605
14.60/14.75 o 604
14.60/14.78 o 601
14.70/14.80 o 598
14.70/14.83 o 595
14.80/14.90 o 594
14.80/14.99 o 593
14.90/15.02 o 590
14.90/15.09 o 587
15.00/15.11 o 584
15.00/15.14 o 581
15.09/15.21 o 579
15.09/15.23 o 577
15.09/15.28 o 572
15.20/15.35 o 570
15.20/15.37 o 569
15.30/15.41 o 568
15.30/15.43 o 566
15.30/15.46 o 565
15.30/15.48 o 564
15.39/15.53 o 563
15.39/15.57 o 562
15.39/15.59 o 561
15.59/15.70 o 558
15.59/15.74 o 557
15.69/15.84 o 555
15.69/15.86 o 552
15.69/15.89 o 551
15.79/15.91 o 550
15.89/16.01 o 548
15.89/16.04 o 547
15.89/16.09 o 543
16.08/16.27 o 542
16.68/16.82 o 541
16.68/16.89 o 538
16.78/16.92 o 537
16.78/16.95 o 535
16.88/17.01 o 534
16.88/17.04 o 531
16.98/17.14 o 530
16.98/17.18 o 529
17.08/17.21 o 527
17.48/17.61 o 526
17.48/17.65 o 525
17.78/17.95 o 524
17.78/17.98 o 523
17.98/18.18 o 522
18.08/18.21 o 520
18.08/18.25 o 517
18.18/18.33 o 516
18.18/18.37 o 515
18.28/18.42 o 514
18.28/18.46 o 513
18.38/18.58 o 511
18.48/18.62 o 508
19.07/19.29 o 507
19.17/19.37 o 504
19.27/19.46 o 502
19.46/19.67 o 501
19.67/19.85 o 500
19.76/19.91 o 498
19.86/20.01 o 497
19.86/20.05 o 494
19.96/20.13 o 493
20.16/20.30 o 492
20.16/20.35 o 490
20.26/20.49 o 489
20.36/20.54 o 488
20.45/20.65 o 487
20.45/20.70 o 485
21.05/21.20 o 484
21.05/21.29 o 483
21.15/21.34 o 482
21.15/21.38 o 480
21.25/21.42 o 478
21.36/21.51 o 477
21.46/21.64 o 473
21.46/21.69 o 471
21.56/21.74 o 470
23.15/23.31 o 469
23.15/23.37 o 468
24.14/24.38 o 467
24.24/24.44 o 466
24.34/24.50 o 465
24.54/24.73 o 463
24.54/24.75 o 461
24.64/24.81 o 460
24.64/24.85 o 457
25.74/25.92 o 455
25.74/25.98 o 454
25.84/26.09 o 453
25.93/26.13 o 452
25.93/26.18 o 450
26.03/26.22 o 448
26.13/26.33 o 445
26.13/26.37 o 442
26.23/26.42 o 441
26.33/26.54 o 439
26.33/26.59 o 436
26.43/26.64 o 434
26.43/26.69 o 432
26.53/26.74 o 429
26.63/26.87 o 428
26.73/26.92 o 426
26.73/26.96 o 425
26.83/27.01 o 422
26.83/27.06 o 420
26.93/27.10 o 418
27.02/27.25 o 415
27.02/27.29 o 413
27.12/27.34 o 409
27.42/27.64 o 407
27.42/27.68 o 406
27.52/27.72 o 405
27.52/27.77 o 403
27.62/27.81 o 400
27.72/27.92 o 398
27.72/27.96 o 397
27.72/28.00 o 393
27.82/28.04 o 392
27.82/28.09 o 391
28.21/28.40 o 390
28.21/28.44 o 389
28.32/28.53 o 388
28.32/28.58 o 386
28.42/28.67 o 385
28.51/28.77 o 383
28.61/28.82 o 381
28.71/28.97 o 380
28.81/29.02 o 376
28.91/29.16 o 375
29.01/29.30 o 371
29.21/29.40 o 369
29.21/29.46 o 367
29.60/29.82 o 365
29.60/29.87 o 363
29.70/29.98 o 362
29.80/30.03 o 361
29.90/30.14 o 359
29.90/30.19 o 358
30.00/30.24 o 355
30.10/30.30 o 353
30.70/30.99 o 352
31.90/32.13 o 351
31.90/32.18 o 346
32.59/32.86 o 344
32.70/32.91 o 343
32.70/32.95 o 340
32.80/33.05 o 339
32.89/33.17 o 336
33.19/33.44 o 334
33.29/33.50 o 333
33.59/33.86 o 331
33.69/33.92 o 330
34.49/34.77 o 328
34.59/34.82 o 325
34.68/34.94 o 323
34.68/34.97 o 321
34.78/35.02 o 320
34.98/35.22 o 315
34.98/35.27 o 314
35.08/35.34 o 313
36.67/36.99 o 312
36.87/37.11 o 310
36.87/37.16 o 308
36.97/37.21 o 307
37.08/37.35 o 305
37.37/37.61 o 304
37.37/37.65 o 303
37.87/38.17 o 301
37.97/38.21 o 300
37.97/38.27 o 299
38.17/38.44 o 298
38.27/38.56 o 296
38.37/38.62 o 295
38.57/38.81 o 294
38.87/39.16 o 291
38.97/39.22 o 288
39.06/39.34 o 287
39.16/39.41 o 282
39.36/39.69 o 281
39.46/39.74 o 280
39.56/39.86 o 278
39.76/40.02 o 277
39.76/40.09 o 275
39.86/40.14 o 274
40.25/40.55 o 273
40.35/40.70 o 271
40.46/40.76 o 270
40.55/40.82 o 268
41.84/42.17 o 266
41.94/42.23 o 265
42.04/42.35 o 263
42.64/42.97 o 262
42.74/43.04 o 261
42.74/43.08 o 259
42.84/43.14 o 257
42.84/43.19 o 255
42.94/43.26 o 254
43.04/43.38 o 253
43.24/43.53 o 252
43.24/43.59 o 251
43.34/43.65 o 249
43.44/43.71 o 247
43.44/43.76 o 245
43.54/43.83 o 244
44.04/44.36 o 243
44.14/44.43 o 241
44.34/44.62 o 240
44.34/44.68 o 239
44.44/44.74 o 238
44.53/44.81 o 237
45.13/45.41 o 236
45.62/45.95 o 234
45.72/46.01 o 232
45.72/46.06 o 230
45.83/46.10 o 227
46.02/46.35 o 224
46.12/46.41 o 222
46.22/46.50 o 220
46.32/46.64 o 219
46.42/46.72 o 218
46.71/47.08 o 217
46.92/47.30 o 215
47.02/47.34 o 214
47.02/47.36 o 211
47.11/47.41 o 210
47.21/47.52 o 207
47.21/47.57 o 206
47.51/47.84 o 204
47.71/48.02 o 203
48.31/48.65 o 199
48.31/48.68 o 198
48.41/48.73 o 197
48.41/48.78 o 196
48.51/48.84 o 195
48.61/48.91 o 194
48.61/48.96 o 192
48.71/49.01 o 191
48.71/49.05 o 189
48.81/49.11 o 188
48.81/49.16 o 187
48.91/49.30 o 185
50.00/50.32 o 184
50.00/50.36 o 183
50.10/50.46 o 182
50.20/50.53 o 180
50.20/50.57 o 179
50.30/50.62 o 178
50.40/50.72 o 177
50.40/50.74 o 176
50.40/50.79 o 175
50.50/50.81 o 173
50.50/50.86 o 170
50.60/50.91 o 169
50.60/50.96 o 167
50.70/51.02 o 165
50.70/51.06 o 163
50.70/51.07 o 162
50.80/51.11 o 160
50.80/51.13 o 158
50.80/51.15 o 155
50.90/51.28 o 154
51.00/51.32 o 153
51.09/51.49 o 152
51.30/51.66 o 150
51.30/51.69 o 148
51.69/52.04 o 147
51.69/52.08 o 145
51.79/52.11 o 144
51.79/52.19 o 143
51.89/52.22 o 142
51.89/52.25 o 140
51.89/52.27 o 138
52.18/52.50 o 136
52.18/52.54 o 135
52.18/52.57 o 134
52.28/52.61 o 133
52.28/52.67 o 132
52.39/52.78 o 130
52.49/52.82 o 129
52.49/52.85 o 128
52.49/52.88 o 125
52.58/52.91 o 124
52.58/52.97 o 123
52.88/53.24 o 121
52.99/53.33 o 119
53.09/53.46 o 118
53.09/53.50 o 117
53.19/53.57 o 116
53.28/53.67 o 115
53.28/53.69 o 114
53.38/53.79 o 113
53.49/53.81 o 112
53.49/53.90 o 111
53.58/53.96 o 110
53.78/54.12 o 108
53.78/54.13 o 107
53.78/54.20 o 106
53.98/54.30 o 105
53.98/54.31 o 102
54.08/54.41 o 101
54.18/54.50 o 100
54.28/54.62 o 99
54.37/54.78 o 98
54.47/54.85 o 97
54.47/54.87 o 96
54.58/54.91 o 95
54.58/54.94 o 94
54.58/54.98 o 93
54.58/54.99 o 91
54.68/55.04 o 90
54.77/55.19 o 89
54.87/55.22 o 88
54.87/55.25 o 84
54.97/55.33 o 83
54.97/55.36 o 82
55.07/55.40 o 80
55.07/55.41 o 77
55.56/55.93 o 75
55.56/55.99 o 74
55.68/56.02 o 73
55.68/56.07 o 69
55.77/56.13 o 68
55.77/56.17 o 66
55.87/56.29 o 65
55.97/56.32 o 64
55.97/56.35 o 62
55.97/56.36 o 60
55.97/56.39 o 59
56.07/56.41 o 57
56.07/56.44 o 56
56.07/56.49 o 54
56.17/56.50 o 52
56.17/56.60 o 51
56.27/56.67 o 50
56.27/56.69 o 49
56.37/56.71 o 48
56.37/56.74 o 47
56.47/56.81 o 46
56.47/56.86 o 45
56.56/56.91 o 42
56.96/57.32 o 41
56.96/57.34 o 40
57.06/57.40 o 38
57.06/57.42 o 37
57.06/57.43 o 36
57.06/57.45 o 35
57.16/57.52 o 33
57.16/57.53 o 32
57.16/57.54 o 31
57.16/57.57 o 30
57.36/57.70 o 28
57.36/57.73 o 27
57.46/57.87 o 26
57.75/58.15 o 24
57.75/58.18 o 22
58.55/58.98 o 21
59.15/59.59 o 20
59.35/59.75 o 19
59.75/60.19 o 18
59.84/60.26 o 17
60.04/60.48 o 15
60.64/61.05 o 14
60.74/61.12 o 13
60.74/61.13 o 12
61.43/61.81 o 11
61.64/62.06 o 10
61.64/62.07 o 9
61.94/62.35 o 7
67.59/68.07 o 6
72.68/73.10 o 5
102.63/103.27
102.63/103.27 search
102.63/103.27 run=0 nbConstraintChecks=412573227 nbAssignments=5473
102.63/103.27 => wckTime=91.83 cpuTime=91.3 mem=16M763
102.63/103.27
102.63/103.27 global
102.63/103.27 nbConstraintChecks=412573227 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
102.63/103.27 solvingWckTime=91.828 solvingCpuTime=91.3 expiredTime=no totalExploration=no nbFoundSolutions=0
102.63/103.27 globalCpuTime=102.04
102.63/103.27 => wckTime=103.023 cpuTime=102.0 mem=16M763
102.63/103.27
102.63/103.27 solver DecomposerSolver being built...
103.03/103.61 => wckTime=103.366 cpuTime=102.19 mem=121M559
104.43/105.02
104.43/105.02 preprocessing
104.43/105.02 nbConstraintChecks=4792434 nbValidityChecks=305714 nbPropagations=377 nbRevisions=7239 nbUselessRevisions=6202
104.43/105.02 nbRemovedValues=41795 detectedInconsistency=yes
104.43/105.02 => wckTime=1.408 cpuTime=1.39 mem=121M559
104.43/105.02
104.43/105.02 global
104.43/105.02 nbConstraintChecks=4792434 nbValidityChecks=305714 nbPropagations=377 nbRevisions=7239 nbUselessRevisions=6202
104.43/105.02 solvingWckTime=1.411 solvingCpuTime=1.39 expiredTime=no totalExploration=yes nbFoundSolutions=0
104.43/105.02 globalCpuTime=103.62
104.43/105.02 => wckTime=104.778 cpuTime=103.58 mem=121M559
104.43/105.03
104.43/105.03 s UNSATISFIABLE
104.43/105.03 d NODES 0
104.43/105.03 d CHECKS 4792434
104.43/105.03
104.43/105.03 totalWckTime=104.851 totalCpuTime=103.63
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114081-1215896554/watcher-1114081-1215896554 -o /tmp/evaluation-result-1114081-1215896554/solver-1114081-1215896554 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1114081-1215896554.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20049
/proc/meminfo: memFree=1393088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=1616 CPUtime=0
/proc/20049/stat : 20049 (java) R 20047 20049 18763 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 46357153 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20049/statm: 404 148 122 9 0 46 0
[startup+0.08812 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20049
/proc/meminfo: memFree=1393088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=865988 CPUtime=0.07
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 3635 0 1 0 5 2 0 0 18 0 9 0 46357153 886771712 3123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216497 3125 1669 9 0 211052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865988
[startup+0.101123 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20049
/proc/meminfo: memFree=1393088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=865988 CPUtime=0.08
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 3715 0 1 0 6 2 0 0 18 0 9 0 46357153 886771712 3189 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216497 3189 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.301135 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20049
/proc/meminfo: memFree=1393088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=866388 CPUtime=0.28
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 5865 0 1 0 23 5 0 0 18 0 9 0 46357153 887181312 5240 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216597 5240 1955 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388
[startup+0.701159 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20049
/proc/meminfo: memFree=1393088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=0.68
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 9308 0 1 0 61 7 0 0 18 0 9 0 46357153 888532992 8669 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 8670 2011 9 0 211433 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867708
[startup+1.50221 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1358136/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=1.48
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 11804 0 1 0 139 9 0 0 18 0 9 0 46357153 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 11162 2014 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=1.29
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 10453 0 1 0 121 8 0 0 25 0 9 0 46357154 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4126875609 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46357155 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 46357155 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 46357155 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.17
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 654 0 0 0 17 0 0 0 15 0 9 0 46357157 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867708
[startup+3.10232 s]
/proc/loadavg: 1.92 1.98 1.99 4/90 20058
/proc/meminfo: memFree=1353528/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=3.07
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 13256 0 1 0 297 10 0 0 18 0 9 0 46357153 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 12612 2014 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=2.86
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 11885 0 1 0 277 9 0 0 25 0 9 0 46357154 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4126858696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46357155 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 46357155 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 46357155 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.19
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 674 0 0 0 19 0 0 0 15 0 9 0 46357157 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867708
[startup+6.30153 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1342776/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=6.26
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 15775 0 1 0 613 13 0 0 18 0 9 0 46357153 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 15128 2014 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=6.02
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 14397 0 1 0 591 11 0 0 25 0 9 0 46357154 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4126864068 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 46357155 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 46357155 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.21
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 681 0 0 0 21 0 0 0 15 0 9 0 46357157 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867708
[startup+12.7019 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1316152/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=12.61
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 22543 0 1 0 1243 18 0 0 18 0 9 0 46357153 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 21678 2640 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=12.12
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15875 0 1 0 1197 15 0 0 25 0 9 0 46357154 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4126863161 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.18
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 5247 0 0 0 17 1 0 0 17 0 9 0 46357155 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.29
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 724 0 0 0 28 1 0 0 15 0 9 0 46357157 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867708
[startup+25.5028 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1316088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=25.34
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 22546 0 1 0 2512 22 0 0 18 0 9 0 46357153 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 21681 2640 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=24.84
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15875 0 1 0 2465 19 0 0 25 0 9 0 46357154 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4127043224 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.18
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 5247 0 0 0 17 1 0 0 16 0 9 0 46357155 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.29
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 727 0 0 0 28 1 0 0 15 0 9 0 46357157 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867708
[startup+51.1024 s]
/proc/loadavg: 1.96 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1315896/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=50.8
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 22549 0 1 0 5054 26 0 0 18 0 9 0 46357153 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 21682 2640 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=50.3
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15877 0 1 0 5007 23 0 0 25 0 9 0 46357154 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4126864583 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.19
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 5247 0 0 0 18 1 0 0 16 0 9 0 46357155 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.29
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 728 0 0 0 28 1 0 0 16 0 9 0 46357157 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 867708
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1315768/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=101.74
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 22551 0 1 0 10127 47 0 0 18 0 9 0 46357153 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 21684 2640 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=101.23
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15877 0 1 0 10079 44 0 0 25 0 9 0 46357154 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4127176227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.19
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 5247 0 0 0 18 1 0 0 16 0 9 0 46357155 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.3
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 730 0 0 0 29 1 0 0 16 0 9 0 46357157 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 867708
Solver just ended. Dumping a history of the last processes samples
[startup+103.903 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1315704/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=103.33
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 39531 0 1 0 10280 53 0 0 18 0 9 0 46357153 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 38659 2641 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=102.65
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15928 0 1 0 10221 44 0 0 25 0 9 0 46357154 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4126862077 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.32
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 22154 0 0 0 25 7 0 0 16 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.33
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 749 0 0 0 32 1 0 0 16 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 103.33
Current children cumulated vsize (KiB) 867708
[startup+104.703 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1247800/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=104.13
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 39531 0 1 0 10360 53 0 0 18 0 9 0 46357153 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 38659 2641 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=103.45
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15928 0 1 0 10301 44 0 0 25 0 9 0 46357154 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4126858752 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.32
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 22154 0 0 0 25 7 0 0 17 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.33
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 749 0 0 0 32 1 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 104.13
Current children cumulated vsize (KiB) 867708
[startup+104.903 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1247800/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=104.33
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 39531 0 1 0 10380 53 0 0 18 0 9 0 46357153 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 38659 2641 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=103.65
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15928 0 1 0 10321 44 0 0 25 0 9 0 46357154 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4126862064 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.32
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 22154 0 0 0 25 7 0 0 17 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.33
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 749 0 0 0 32 1 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 104.33
Current children cumulated vsize (KiB) 867708
[startup+105.003 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1247800/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=104.43
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 39531 0 1 0 10390 53 0 0 18 0 9 0 46357153 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 38659 2641 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=103.75
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15928 0 1 0 10331 44 0 0 25 0 9 0 46357154 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4126863161 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.32
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 22154 0 0 0 25 7 0 0 17 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.33
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 749 0 0 0 32 1 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 104.43
Current children cumulated vsize (KiB) 867708
Child status: 0
Real time (s): 105.066
CPU time (s): 104.492
CPU user time (s): 103.934
CPU system time (s): 0.557915
CPU usage (%): 99.4538
Max. virtual memory (cumulated for all children) (KiB): 867708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.934
system time used= 0.557915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39541
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3930
involuntary context switches= 6424
runsolver used 0.159975 second user time and 0.378942 second system time
The end
Begin job on node30 at 2008-07-12 23:02:34
IDJOB=1114081
IDBENCH=61685
IDSOLVER=359
FILE ID=node30/1114081-1215896554
PBS_JOBID= 7903545
Free space on /tmp= 66484 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp18/normalized-fapp18-0350-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114081-1215896554/watcher-1114081-1215896554 -o /tmp/evaluation-result-1114081-1215896554/solver-1114081-1215896554 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1114081-1215896554.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 78f33be6cc0faf5bde59c1fce35f8c02
RANDOM SEED=1893128265
node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1393504 kB
Buffers: 17280 kB
Cached: 127332 kB
SwapCached: 6144 kB
Active: 583076 kB
Inactive: 37016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1393504 kB
SwapTotal: 4192956 kB
SwapFree: 4180348 kB
Dirty: 2472 kB
Writeback: 0 kB
Mapped: 491748 kB
Slab: 26496 kB
Committed_AS: 999068 kB
PageTables: 2804 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66480 MiB
End job on node30 at 2008-07-12 23:04:19