0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/277580-1169268700/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.46 nbVariables=435 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.46 => wckTime=0.15 cpuTime=0.12 mem=7M885
0.46
0.46 relations being loaded...
0.46
0.46 constraints being loaded...
0.60 nbConstraints=738 nbRelationTypes=19 nbSingletonDomainVariables=4 nbExtensionStructures=24
0.60 nbSharedExtensionStructures=714 nbConflictsStructures=24 nbSharedConflictsStructures=714
0.60 nbSharedBinaryRepresentations=26 maxDegree=26 maxArity=5
0.60 => wckTime=0.293 cpuTime=0.21 mem=10M811
0.64
0.64 solver LocalSearchSolver being built...
0.69 => wckTime=0.381 cpuTime=0.25 mem=6M18
0.69
0.69 s SATISFIABLE
0.69 o 506
0.69 c 232
0.70 o 507
0.70 c 231
0.70 o 512
0.70 c 226
0.70 o 513
0.70 c 225
0.71 o 514
0.71 c 224
0.71 o 518
0.71 c 220
0.71 o 521
0.71 c 217
0.71 o 524
0.71 c 214
0.71 o 527
0.71 c 211
0.71 o 529
0.71 c 209
0.71 o 533
0.71 c 205
0.71 o 536
0.71 c 202
0.71 o 539
0.71 c 199
0.72 o 542
0.72 c 196
0.72 o 545
0.72 c 193
0.72 o 548
0.72 c 190
0.72 o 551
0.72 c 187
0.72 o 554
0.72 c 184
0.72 o 556
0.72 c 182
0.72 o 558
0.72 c 180
0.72 o 560
0.72 c 178
0.72 o 561
0.72 c 177
0.72 o 562
0.72 c 176
0.72 o 565
0.72 c 173
0.72 o 566
0.72 c 172
0.72 o 567
0.72 c 171
0.73 o 569
0.73 c 169
0.73 o 571
0.73 c 167
0.73 o 574
0.73 c 164
0.73 o 577
0.73 c 161
0.73 o 579
0.73 c 159
0.73 o 581
0.73 c 157
0.73 o 583
0.73 c 155
0.73 o 585
0.73 c 153
0.73 o 587
0.73 c 151
0.73 o 589
0.73 c 149
0.73 o 591
0.73 c 147
0.73 o 593
0.73 c 145
0.73 o 595
0.73 c 143
0.73 o 597
0.73 c 141
0.73 o 599
0.73 c 139
0.73 o 601
0.73 c 137
0.73 o 602
0.73 c 136
0.73 o 604
0.73 c 134
0.73 o 606
0.73 c 132
0.74 o 608
0.74 c 130
0.74 o 610
0.74 c 128
0.74 o 612
0.74 c 126
0.74 o 614
0.74 c 124
0.74 o 615
0.74 c 123
0.74 o 616
0.74 c 122
0.74 o 617
0.74 c 121
0.74 o 618
0.74 c 120
0.74 o 619
0.74 c 119
0.74 o 620
0.74 c 118
0.74 o 621
0.74 c 117
0.74 o 622
0.74 c 116
0.74 o 623
0.74 c 115
0.74 o 624
0.74 c 114
0.74 o 626
0.74 c 112
0.74 o 628
0.74 c 110
0.74 o 629
0.74 c 109
0.74 o 631
0.74 c 107
0.74 o 633
0.74 c 105
0.75 o 635
0.75 c 103
0.75 o 637
0.75 c 101
0.75 o 638
0.75 c 100
0.75 o 640
0.75 c 98
0.75 o 641
0.75 c 97
0.75 o 642
0.75 c 96
0.75 o 643
0.75 c 95
0.75 o 644
0.75 c 94
0.75 o 645
0.75 c 93
0.75 o 646
0.75 c 92
0.75 o 647
0.75 c 91
0.75 o 648
0.75 c 90
0.75 o 649
0.75 c 89
0.75 o 650
0.75 c 88
0.75 o 651
0.75 c 87
0.75 o 652
0.75 c 86
0.75 o 653
0.75 c 85
0.75 o 654
0.75 c 84
0.75 o 655
0.75 c 83
0.76 o 656
0.76 c 82
0.76 o 657
0.76 c 81
0.76 o 658
0.76 c 80
0.76 o 659
0.76 c 79
0.76 o 660
0.76 c 78
0.76 o 661
0.76 c 77
0.76 o 662
0.76 c 76
0.76 o 663
0.76 c 75
0.76 o 664
0.76 c 74
0.76 o 665
0.76 c 73
0.76 o 666
0.76 c 72
0.76 o 667
0.76 c 71
0.76 o 668
0.76 c 70
0.76 o 669
0.76 c 69
0.76 o 671
0.76 c 67
0.76 o 672
0.76 c 66
0.77 o 673
0.77 c 65
0.77 o 674
0.77 c 64
0.77 o 675
0.77 c 63
0.77 o 676
0.77 c 62
0.77 o 677
0.77 c 61
0.77 o 679
0.77 c 59
0.77 o 680
0.77 c 58
0.77 o 682
0.77 c 56
0.77 o 683
0.77 c 55
0.77 o 684
0.77 c 54
0.77 o 686
0.77 c 52
0.77 o 687
0.77 c 51
0.77 o 688
0.77 c 50
0.77 o 689
0.77 c 49
0.77 o 690
0.77 c 48
0.77 o 691
0.77 c 47
0.77 o 692
0.77 c 46
0.77 o 693
0.77 c 45
0.77 o 694
0.77 c 44
0.78 o 695
0.78 c 43
0.78 o 696
0.78 c 42
0.78 o 697
0.78 c 41
0.78 o 698
0.78 c 40
0.78 o 699
0.78 c 39
0.78 o 700
0.78 c 38
0.78 o 702
0.78 c 36
0.78 o 703
0.78 c 35
0.78 o 705
0.78 c 33
0.78 o 706
0.78 c 32
0.78 o 707
0.78 c 31
0.78 o 708
0.78 c 30
0.78 o 710
0.78 c 28
0.78 o 712
0.78 c 26
0.78 o 714
0.78 c 24
0.79 o 715
0.79 c 23
0.79 o 716
0.79 c 22
0.79 o 717
0.79 c 21
0.79 o 718
0.79 c 20
0.79 o 719
0.79 c 19
0.79 o 720
0.79 c 18
0.79 o 721
0.79 c 17
0.79 o 723
0.79 c 15
0.79 o 724
0.79 c 14
0.79 o 725
0.80 c 13
0.80 o 726
0.80 c 12
0.80 o 727
0.80 c 11
0.81 o 728
0.81 c 10
0.81 o 729
0.81 c 9
0.81 o 730
0.81 c 8
0.82 o 731
0.82 c 7
0.82 o 732
0.82 c 6
0.83 o 733
0.83 c 5
0.83 o 734
0.83 c 4
0.84 o 735
0.84 c 3
0.84 o 736
0.84 c 2
0.85 o 737
0.85 c 1
0.85
0.85 search
0.85 run=0 nbConstraintChecks=86511 nbAssignments=750
0.85 => wckTime=0.164 cpuTime=0.14 mem=6M18
0.85
0.85 global
0.85 nbConstraintChecks=86511 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.85 solvingWckTime=0.162 solvingCpuTime=0.14 expiredTime=no totalExploration=no nbFoundSolutions=0
0.85 globalCpuTime=0.44
0.85 => wckTime=0.545 cpuTime=0.39 mem=6M18
0.85
0.85 solver IterativeSystematicSolver being built...
1.03 => wckTime=0.722 cpuTime=0.53 mem=19M851
1.05
1.05 preprocessing
1.05 nbConstraintChecks=22 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=5
1.05 detectedInconsistency=no
1.05 => wckTime=0.02 cpuTime=0.02 mem=19M851
1.19
1.19 search
1.19 run=0 nbConstraintChecks=51834 nbValidityChecks=27005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.19 nbAssignments=96 nbFailedAssignments=3 nbBacktracks=13 nbVisitedNodes=100 nbRestartNogoods=0
1.19 => wckTime=0.162 cpuTime=0.13 mem=19M851
1.31
1.31 search
1.31 run=1 nbConstraintChecks=104600 nbValidityChecks=55095 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.31 nbAssignments=194 nbFailedAssignments=6 nbBacktracks=30 nbVisitedNodes=201 nbRestartNogoods=1
1.31 => wckTime=0.281 cpuTime=0.24 mem=19M851
1.44
1.44 search
1.44 run=2 nbConstraintChecks=166358 nbValidityChecks=88627 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.44 nbAssignments=307 nbFailedAssignments=9 nbBacktracks=54 nbVisitedNodes=317 nbRestartNogoods=2
1.44 => wckTime=0.405 cpuTime=0.36 mem=19M851
1.57
1.57 search
1.57 run=3 nbConstraintChecks=235010 nbValidityChecks=126597 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.57 nbAssignments=427 nbFailedAssignments=16 nbBacktracks=93 nbVisitedNodes=444 nbRestartNogoods=4
1.57 => wckTime=0.542 cpuTime=0.49 mem=19M851
1.73
1.73 search
1.73 run=4 nbConstraintChecks=320585 nbValidityChecks=175721 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.73 nbAssignments=576 nbFailedAssignments=25 nbBacktracks=146 nbVisitedNodes=602 nbRestartNogoods=6
1.73 => wckTime=0.7 cpuTime=0.65 mem=19M851
1.92
1.92 search
1.92 run=5 nbConstraintChecks=417864 nbValidityChecks=234030 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.92 nbAssignments=740 nbFailedAssignments=34 nbBacktracks=227 nbVisitedNodes=775 nbRestartNogoods=8
1.92 => wckTime=0.886 cpuTime=0.83 mem=19M851
2.17
2.17 search
2.17 run=6 nbConstraintChecks=550382 nbValidityChecks=316210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.17 nbAssignments=949 nbFailedAssignments=52 nbBacktracks=350 nbVisitedNodes=1006 nbRestartNogoods=10
2.17 => wckTime=1.141 cpuTime=1.08 mem=19M851
2.53
2.53 search
2.53 run=7 nbConstraintChecks=729739 nbValidityChecks=429034 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.53 nbAssignments=1225 nbFailedAssignments=82 nbBacktracks=527 nbVisitedNodes=1315 nbRestartNogoods=12
2.53 => wckTime=1.497 cpuTime=1.43 mem=20M826
3.03
3.03 search
3.03 run=8 nbConstraintChecks=985863 nbValidityChecks=593318 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.03 nbAssignments=1606 nbFailedAssignments=131 nbBacktracks=788 nbVisitedNodes=1750 nbRestartNogoods=14
3.03 => wckTime=2.004 cpuTime=1.92 mem=20M826
3.75
3.75 search
3.75 run=9 nbConstraintChecks=1348424 nbValidityChecks=829090 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.75 nbAssignments=2126 nbFailedAssignments=206 nbBacktracks=1173 nbVisitedNodes=2371 nbRestartNogoods=18
3.75 => wckTime=2.719 cpuTime=2.62 mem=20M826
4.86
4.86 search
4.86 run=10 nbConstraintChecks=1963262 nbValidityChecks=1215750 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.86 nbAssignments=2920 nbFailedAssignments=343 nbBacktracks=1755 nbVisitedNodes=3338 nbRestartNogoods=20
4.86 => wckTime=3.831 cpuTime=3.73 mem=20M826
6.50
6.50 search
6.50 run=11 nbConstraintChecks=2842491 nbValidityChecks=1766451 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.50 nbAssignments=4077 nbFailedAssignments=562 nbBacktracks=2621 nbVisitedNodes=4732 nbRestartNogoods=26
6.50 => wckTime=5.469 cpuTime=5.35 mem=20M826
8.88
8.88 search
8.88 run=12 nbConstraintChecks=4062764 nbValidityChecks=2488742 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
8.88 nbAssignments=5761 nbFailedAssignments=873 nbBacktracks=3921 nbVisitedNodes=6772 nbRestartNogoods=31
8.88 => wckTime=7.852 cpuTime=7.72 mem=20M826
12.51
12.51 search
12.51 run=13 nbConstraintChecks=5929306 nbValidityChecks=3621800 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
12.51 nbAssignments=8247 nbFailedAssignments=1341 nbBacktracks=5870 nbVisitedNodes=9782 nbRestartNogoods=37
12.51 => wckTime=11.48 cpuTime=11.33 mem=20M826
18.05
18.05 search
18.05 run=14 nbConstraintChecks=8496457 nbValidityChecks=5093527 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
18.05 nbAssignments=11947 nbFailedAssignments=2062 nbBacktracks=8790 nbVisitedNodes=14280 nbRestartNogoods=42
18.05 => wckTime=17.019 cpuTime=16.84 mem=20M826
25.84
25.84 search
25.84 run=15 nbConstraintChecks=12375618 nbValidityChecks=7347373 nbPropagations=0 nbRevisions=0
25.84 nbUselessRevisions=0 nbAssignments=17361 nbFailedAssignments=3021 nbBacktracks=13173 nbVisitedNodes=20740
25.84 nbRestartNogoods=47
25.84 => wckTime=24.807 cpuTime=24.59 mem=20M826
36.20
36.20 search
36.20 run=16 nbConstraintChecks=17763487 nbValidityChecks=10557671 nbPropagations=0 nbRevisions=0
36.20 nbUselessRevisions=0 nbAssignments=24964 nbFailedAssignments=3975 nbBacktracks=19741 nbVisitedNodes=29391
36.20 nbRestartNogoods=53
36.20 => wckTime=35.168 cpuTime=34.9 mem=20M826
53.24
53.24 search
53.24 run=17 nbConstraintChecks=26555799 nbValidityChecks=15692354 nbPropagations=0 nbRevisions=0
53.24 nbUselessRevisions=0 nbAssignments=36650 nbFailedAssignments=5734 nbBacktracks=29593 nbVisitedNodes=43091
53.24 nbRestartNogoods=61
53.24 => wckTime=52.213 cpuTime=51.86 mem=20M826
80.46
80.46 search
80.46 run=18 nbConstraintChecks=39351731 nbValidityChecks=22414731 nbPropagations=0 nbRevisions=0
80.46 nbUselessRevisions=0 nbAssignments=54535 nbFailedAssignments=8766 nbBacktracks=44371 nbVisitedNodes=64264
80.46 nbRestartNogoods=69
80.46 => wckTime=79.431 cpuTime=78.95 mem=20M826
118.51
118.51 search
118.51 run=19 nbConstraintChecks=58691551 nbValidityChecks=33178871 nbPropagations=0 nbRevisions=0
118.51 nbUselessRevisions=0 nbAssignments=80866 nbFailedAssignments=12848 nbBacktracks=66541 nbVisitedNodes=95146
118.51 nbRestartNogoods=77
118.51 => wckTime=117.476 cpuTime=116.81 mem=20M826
174.93
174.93 search
174.93 run=20 nbConstraintChecks=85683822 nbValidityChecks=47293090 nbPropagations=0 nbRevisions=0
174.93 nbUselessRevisions=0 nbAssignments=119327 nbFailedAssignments=17986 nbBacktracks=99794 nbVisitedNodes=139159
174.93 nbRestartNogoods=84
174.93 => wckTime=173.9 cpuTime=172.96 mem=20M826
260.26
260.26 search
260.26 run=21 nbConstraintChecks=127566974 nbValidityChecks=69286557 nbPropagations=0 nbRevisions=0
260.26 nbUselessRevisions=0 nbAssignments=177146 nbFailedAssignments=25859 nbBacktracks=149674 nbVisitedNodes=205442
260.26 nbRestartNogoods=91
260.26 => wckTime=259.226 cpuTime=257.87 mem=20M826
300.33
300.33 search
300.33 run=22 nbConstraintChecks=144021223 nbValidityChecks=77480150 nbPropagations=0 nbRevisions=0
300.33 nbUselessRevisions=0 nbAssignments=202236 nbFailedAssignments=29182 nbBacktracks=171442 nbVisitedNodes=233963
300.33 nbRestartNogoods=99
300.33 => wckTime=299.302 cpuTime=297.77 mem=20M826
300.33
300.33 global
300.33 nbConstraintChecks=144021245 nbValidityChecks=77480150 nbRestartNogoods=99 solvingWckTime=299.303
300.33 solvingCpuTime=297.77 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=298.35
300.33 => wckTime=300.026 cpuTime=298.3 mem=20M826
300.34
300.34 s OPTIMUM FOUND
300.34 v 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1
300.34
300.34 totalWckTime=300.106 totalCpuTime=298.35
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-277580-1169268700 -o ROOT/results/node11/solver-277580-1169268700 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277580-1169268700/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.86 1.96 1.98 4/87 18509
/proc/meminfo: memFree=1279040/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=11820 CPUtime=0
/proc/18508/stat : 18508 (java) D 18506 18508 18118 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 275265071 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7979812 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/18508/statm: 2967 515 425 14 0 1602 0
[startup+0.104449 s]
/proc/loadavg: 1.86 1.96 1.98 4/87 18509
/proc/meminfo: memFree=1279040/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=914988 CPUtime=0.09
/proc/18508/stat : 18508 (java) S 18506 18508 18118 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 275265071 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228747 2743 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512529 s]
/proc/loadavg: 1.86 1.96 1.98 4/87 18509
/proc/meminfo: memFree=1279040/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915332 CPUtime=0.49
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 6402 0 1 0 45 4 0 0 18 0 8 0 275265071 937299968 6141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228833 6141 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33369 s]
/proc/loadavg: 1.86 1.96 1.98 3/94 18516
/proc/meminfo: memFree=1250056/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915584 CPUtime=1.3
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 9977 0 1 0 119 11 0 0 24 0 8 0 275265071 937558016 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228896 9714 2530 14 0 215366 0
[pid=18508/tid=18510] ppid=18506 vsize=915584 CPUtime=0.03
/proc/18508/task/18510/stat : 18510 (java) S 18506 18508 18118 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 275265075 937558016 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18511] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18511/stat : 18511 (java) S 18506 18508 18118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275265076 937558016 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18512] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18512/stat : 18512 (java) S 18506 18508 18118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275265076 937558016 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18513] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18513/stat : 18513 (java) S 18506 18508 18118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275265079 937558016 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18514] ppid=18506 vsize=915584 CPUtime=0.22
/proc/18508/task/18514/stat : 18514 (java) S 18506 18508 18118 0 -1 64 391 0 0 0 21 1 0 0 15 0 8 0 275265079 937558016 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18515] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18515/stat : 18515 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275265079 937558016 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18516] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18516/stat : 18516 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275265079 937558016 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915584
[startup+2.97402 s]
/proc/loadavg: 1.86 1.96 1.98 3/94 18516
/proc/meminfo: memFree=1249864/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915584 CPUtime=2.93
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 10008 0 1 0 281 12 0 0 25 0 8 0 275265071 937558016 9744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867597 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228896 9744 2530 14 0 215366 0
[pid=18508/tid=18510] ppid=18506 vsize=915584 CPUtime=0.03
/proc/18508/task/18510/stat : 18510 (java) S 18506 18508 18118 0 -1 64 285 0 0 0 3 0 0 0 17 0 8 0 275265075 937558016 9744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18511] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18511/stat : 18511 (java) S 18506 18508 18118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275265076 937558016 9744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18512] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18512/stat : 18512 (java) S 18506 18508 18118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275265076 937558016 9744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18513] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18513/stat : 18513 (java) S 18506 18508 18118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275265079 937558016 9744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18514] ppid=18506 vsize=915584 CPUtime=0.25
/proc/18508/task/18514/stat : 18514 (java) S 18506 18508 18118 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 275265079 937558016 9744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18515] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18515/stat : 18515 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275265079 937558016 9744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18516] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18516/stat : 18516 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275265079 937558016 9744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915584
[startup+6.27367 s]
/proc/loadavg: 1.87 1.96 1.98 4/94 18516
/proc/meminfo: memFree=1249672/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915584 CPUtime=6.22
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 10025 0 1 0 610 12 0 0 25 0 8 0 275265071 937558016 9758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228896 9758 2530 14 0 215366 0
[pid=18508/tid=18510] ppid=18506 vsize=915584 CPUtime=0.03
/proc/18508/task/18510/stat : 18510 (java) S 18506 18508 18118 0 -1 64 285 0 0 0 3 0 0 0 17 0 8 0 275265075 937558016 9758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18511] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18511/stat : 18511 (java) S 18506 18508 18118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275265076 937558016 9758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18512] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18512/stat : 18512 (java) S 18506 18508 18118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275265076 937558016 9758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18513] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18513/stat : 18513 (java) S 18506 18508 18118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275265079 937558016 9758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18514] ppid=18506 vsize=915584 CPUtime=0.26
/proc/18508/task/18514/stat : 18514 (java) S 18506 18508 18118 0 -1 64 415 0 0 0 25 1 0 0 15 0 8 0 275265079 937558016 9758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18515] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18515/stat : 18515 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275265079 937558016 9758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18516] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18516/stat : 18516 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275265079 937558016 9758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915584
[startup+12.752 s]
/proc/loadavg: 1.89 1.96 1.98 3/94 18516
/proc/meminfo: memFree=1249608/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915584 CPUtime=12.66
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 10037 0 1 0 1254 12 0 0 25 0 8 0 275265071 937558016 9768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228896 9768 2530 14 0 215366 0
[pid=18508/tid=18510] ppid=18506 vsize=915584 CPUtime=0.03
/proc/18508/task/18510/stat : 18510 (java) S 18506 18508 18118 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 275265075 937558016 9768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18511] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18511/stat : 18511 (java) S 18506 18508 18118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275265076 937558016 9768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18512] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18512/stat : 18512 (java) S 18506 18508 18118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275265076 937558016 9768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18513] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18513/stat : 18513 (java) S 18506 18508 18118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275265079 937558016 9768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18514] ppid=18506 vsize=915584 CPUtime=0.27
/proc/18508/task/18514/stat : 18514 (java) S 18506 18508 18118 0 -1 64 418 0 0 0 26 1 0 0 15 0 8 0 275265079 937558016 9768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18515] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18515/stat : 18515 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275265079 937558016 9768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18516] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18516/stat : 18516 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275265079 937558016 9768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915584
[startup+25.6165 s]
/proc/loadavg: 1.91 1.97 1.98 3/94 18516
/proc/meminfo: memFree=1249608/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915584 CPUtime=25.46
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 10043 0 1 0 2534 12 0 0 25 0 8 0 275265071 937558016 9772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228896 9772 2530 14 0 215366 0
[pid=18508/tid=18510] ppid=18506 vsize=915584 CPUtime=0.03
/proc/18508/task/18510/stat : 18510 (java) S 18506 18508 18118 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 275265075 937558016 9772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18511] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18511/stat : 18511 (java) S 18506 18508 18118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275265076 937558016 9772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18512] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18512/stat : 18512 (java) S 18506 18508 18118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275265076 937558016 9772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18513] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18513/stat : 18513 (java) S 18506 18508 18118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275265079 937558016 9772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18514] ppid=18506 vsize=915584 CPUtime=0.27
/proc/18508/task/18514/stat : 18514 (java) S 18506 18508 18118 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 275265079 937558016 9772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18515] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18515/stat : 18515 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275265079 937558016 9772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18516] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18516/stat : 18516 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275265079 937558016 9772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915584
[startup+51.2296 s]
/proc/loadavg: 1.94 1.97 1.98 3/94 18516
/proc/meminfo: memFree=1249608/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915584 CPUtime=50.96
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 10049 0 1 0 5083 13 0 0 25 0 8 0 275265071 937558016 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228896 9778 2530 14 0 215366 0
[pid=18508/tid=18510] ppid=18506 vsize=915584 CPUtime=0.03
/proc/18508/task/18510/stat : 18510 (java) S 18506 18508 18118 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 275265075 937558016 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18511] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18511/stat : 18511 (java) S 18506 18508 18118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275265076 937558016 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18512] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18512/stat : 18512 (java) S 18506 18508 18118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275265076 937558016 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18513] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18513/stat : 18513 (java) S 18506 18508 18118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275265079 937558016 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18514] ppid=18506 vsize=915584 CPUtime=0.27
/proc/18508/task/18514/stat : 18514 (java) S 18506 18508 18118 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 275265079 937558016 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18515] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18515/stat : 18515 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275265079 937558016 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18516] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18516/stat : 18516 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275265079 937558016 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915584
[startup+102.45 s]
/proc/loadavg: 1.97 1.97 1.98 3/94 18516
/proc/meminfo: memFree=1249608/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915584 CPUtime=101.93
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 10057 0 1 0 10180 13 0 0 25 0 8 0 275265071 937558016 9785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867590 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228896 9785 2530 14 0 215366 0
[pid=18508/tid=18510] ppid=18506 vsize=915584 CPUtime=0.03
/proc/18508/task/18510/stat : 18510 (java) S 18506 18508 18118 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 275265075 937558016 9785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18511] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18511/stat : 18511 (java) S 18506 18508 18118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275265076 937558016 9785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18512] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18512/stat : 18512 (java) S 18506 18508 18118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275265076 937558016 9785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18513] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18513/stat : 18513 (java) S 18506 18508 18118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275265079 937558016 9785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18514] ppid=18506 vsize=915584 CPUtime=0.27
/proc/18508/task/18514/stat : 18514 (java) S 18506 18508 18118 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 275265079 937558016 9785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18515] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18515/stat : 18515 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275265079 937558016 9785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18516] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18516/stat : 18516 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275265079 937558016 9785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915584
[startup+162.516 s]
/proc/loadavg: 1.99 1.97 1.98 3/94 18516
/proc/meminfo: memFree=1249608/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915584 CPUtime=161.7
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 10060 0 1 0 16157 13 0 0 25 0 8 0 275265071 937558016 9787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228896 9787 2530 14 0 215366 0
[pid=18508/tid=18510] ppid=18506 vsize=915584 CPUtime=0.03
/proc/18508/task/18510/stat : 18510 (java) S 18506 18508 18118 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 275265075 937558016 9787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18511] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18511/stat : 18511 (java) S 18506 18508 18118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275265076 937558016 9787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18512] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18512/stat : 18512 (java) S 18506 18508 18118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275265076 937558016 9787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18513] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18513/stat : 18513 (java) S 18506 18508 18118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275265079 937558016 9787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18514] ppid=18506 vsize=915584 CPUtime=0.27
/proc/18508/task/18514/stat : 18514 (java) S 18506 18508 18118 0 -1 64 422 0 0 0 26 1 0 0 16 0 8 0 275265079 937558016 9787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18515] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18515/stat : 18515 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275265079 937558016 9787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18516] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18516/stat : 18516 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275265079 937558016 9787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.7
Current children cumulated vsize (KiB) 915584
[startup+222.58 s]
/proc/loadavg: 1.99 1.97 1.98 3/94 18516
/proc/meminfo: memFree=1249608/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915584 CPUtime=221.48
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 10064 0 1 0 22134 14 0 0 25 0 8 0 275265071 937558016 9790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865822 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228896 9790 2530 14 0 215366 0
[pid=18508/tid=18510] ppid=18506 vsize=915584 CPUtime=0.03
/proc/18508/task/18510/stat : 18510 (java) S 18506 18508 18118 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 275265075 937558016 9790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18511] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18511/stat : 18511 (java) S 18506 18508 18118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275265076 937558016 9790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18512] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18512/stat : 18512 (java) S 18506 18508 18118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275265076 937558016 9790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18513] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18513/stat : 18513 (java) S 18506 18508 18118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275265079 937558016 9790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18514] ppid=18506 vsize=915584 CPUtime=0.27
/proc/18508/task/18514/stat : 18514 (java) S 18506 18508 18118 0 -1 64 423 0 0 0 26 1 0 0 16 0 8 0 275265079 937558016 9790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18515] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18515/stat : 18515 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275265079 937558016 9790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18516] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18516/stat : 18516 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275265079 937558016 9790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.48
Current children cumulated vsize (KiB) 915584
[startup+282.641 s]
/proc/loadavg: 1.99 1.97 1.98 3/94 18516
/proc/meminfo: memFree=1249608/2055920 swapFree=4171812/4192956
[pid=18508] ppid=18506 vsize=915584 CPUtime=281.26
/proc/18508/stat : 18508 (java) R 18506 18508 18118 0 -1 0 10068 0 1 0 28111 15 0 0 25 0 8 0 275265071 937558016 9793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073919287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18508/statm: 228896 9793 2530 14 0 215366 0
[pid=18508/tid=18510] ppid=18506 vsize=915584 CPUtime=0.03
/proc/18508/task/18510/stat : 18510 (java) S 18506 18508 18118 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 275265075 937558016 9793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18511] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18511/stat : 18511 (java) S 18506 18508 18118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275265076 937558016 9793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18512] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18512/stat : 18512 (java) S 18506 18508 18118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275265076 937558016 9793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18513] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18513/stat : 18513 (java) S 18506 18508 18118 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275265079 937558016 9793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18514] ppid=18506 vsize=915584 CPUtime=0.27
/proc/18508/task/18514/stat : 18514 (java) S 18506 18508 18118 0 -1 64 423 0 0 0 26 1 0 0 16 0 8 0 275265079 937558016 9793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18515] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18515/stat : 18515 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275265079 937558016 9793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18508/tid=18516] ppid=18506 vsize=915584 CPUtime=0
/proc/18508/task/18516/stat : 18516 (java) S 18506 18508 18118 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275265079 937558016 9793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.26
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 300.359
CPU time (s): 298.884
CPU user time (s): 298.726
CPU system time (s): 0.157975
CPU usage (%): 99.5089
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 298.726
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10165
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= 7425
involuntary context switches= 11704
runsolver used 0.379942 s user time and 0.969852 s system time
The end
Begin job on node11 on Sat Jan 20 04:51:40 UTC 2007
IDJOB= 277580
IDBENCH= 7386
IDSOLVER= 69
FILE ID= node11/277580-1169268700
PBS_JOBID= 3607405
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-0432-003_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277580-1169268700/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-277580-1169268700 -o ROOT/results/node11/solver-277580-1169268700 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277580-1169268700/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 186780f30bf46b633acf597de8e6a549
RANDOM SEED= 834033424
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.261
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 : 5931.00
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.261
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: 1279520 kB
Buffers: 63676 kB
Cached: 587792 kB
SwapCached: 2828 kB
Active: 230300 kB
Inactive: 466880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1279520 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 4712 kB
Writeback: 0 kB
Mapped: 63816 kB
Slab: 63988 kB
Committed_AS: 8362464 kB
PageTables: 2392 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= 66560 MiB
End job on node11 on Sat Jan 20 04:56:41 UTC 2007