0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=epfc.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/277579-1169268695/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.53 nbVariables=435 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.53 => wckTime=0.149 cpuTime=0.11 mem=7M862
0.53
0.53 relations being loaded...
0.53
0.53 constraints being loaded...
0.67 nbConstraints=738 nbRelationTypes=19 nbSingletonDomainVariables=4 nbExtensionStructures=24
0.67 nbSharedExtensionStructures=714 nbConflictsStructures=24 nbSharedConflictsStructures=714
0.67 nbSharedBinaryRepresentations=26 maxDegree=26 maxArity=5
0.67 => wckTime=0.292 cpuTime=0.2 mem=10M788
0.71
0.72 solver LocalSearchSolver being built...
0.76 => wckTime=0.38 cpuTime=0.24 mem=6M18
0.77
0.77 s SATISFIABLE
0.77 o 506
0.77 c 232
0.77 o 507
0.77 c 231
0.78 o 512
0.78 c 226
0.78 o 513
0.78 c 225
0.78 o 514
0.78 c 224
0.78 o 518
0.78 c 220
0.78 o 521
0.78 c 217
0.78 o 524
0.78 c 214
0.78 o 527
0.78 c 211
0.78 o 529
0.78 c 209
0.78 o 533
0.78 c 205
0.78 o 536
0.78 c 202
0.78 o 539
0.78 c 199
0.79 o 542
0.79 c 196
0.79 o 545
0.79 c 193
0.79 o 548
0.79 c 190
0.79 o 551
0.79 c 187
0.79 o 554
0.79 c 184
0.79 o 556
0.79 c 182
0.79 o 558
0.79 c 180
0.79 o 560
0.79 c 178
0.79 o 561
0.79 c 177
0.79 o 562
0.79 c 176
0.79 o 565
0.79 c 173
0.80 o 566
0.80 c 172
0.80 o 567
0.80 c 171
0.80 o 569
0.80 c 169
0.80 o 571
0.80 c 167
0.80 o 574
0.80 c 164
0.80 o 577
0.80 c 161
0.80 o 579
0.80 c 159
0.80 o 581
0.80 c 157
0.80 o 583
0.80 c 155
0.80 o 585
0.80 c 153
0.80 o 587
0.80 c 151
0.80 o 589
0.80 c 149
0.80 o 591
0.80 c 147
0.80 o 593
0.80 c 145
0.80 o 595
0.80 c 143
0.80 o 597
0.80 c 141
0.80 o 599
0.80 c 139
0.80 o 601
0.80 c 137
0.81 o 602
0.81 c 136
0.81 o 604
0.81 c 134
0.81 o 606
0.81 c 132
0.81 o 608
0.81 c 130
0.81 o 610
0.81 c 128
0.81 o 612
0.81 c 126
0.81 o 614
0.81 c 124
0.81 o 615
0.81 c 123
0.81 o 616
0.81 c 122
0.81 o 617
0.81 c 121
0.81 o 618
0.81 c 120
0.81 o 619
0.81 c 119
0.81 o 620
0.81 c 118
0.81 o 621
0.81 c 117
0.81 o 622
0.81 c 116
0.81 o 623
0.81 c 115
0.81 o 624
0.81 c 114
0.81 o 626
0.81 c 112
0.81 o 628
0.81 c 110
0.82 o 629
0.82 c 109
0.82 o 631
0.82 c 107
0.82 o 633
0.82 c 105
0.82 o 635
0.82 c 103
0.82 o 637
0.82 c 101
0.82 o 638
0.82 c 100
0.82 o 640
0.82 c 98
0.82 o 641
0.82 c 97
0.82 o 642
0.82 c 96
0.82 o 643
0.82 c 95
0.82 o 644
0.82 c 94
0.82 o 645
0.82 c 93
0.82 o 646
0.82 c 92
0.82 o 647
0.82 c 91
0.82 o 648
0.82 c 90
0.82 o 649
0.82 c 89
0.82 o 650
0.82 c 88
0.82 o 651
0.82 c 87
0.82 o 652
0.82 c 86
0.82 o 653
0.83 c 85
0.83 o 654
0.83 c 84
0.83 o 655
0.83 c 83
0.83 o 656
0.83 c 82
0.83 o 657
0.83 c 81
0.83 o 658
0.83 c 80
0.83 o 659
0.83 c 79
0.83 o 660
0.83 c 78
0.83 o 661
0.83 c 77
0.83 o 662
0.83 c 76
0.83 o 663
0.83 c 75
0.83 o 664
0.83 c 74
0.83 o 665
0.83 c 73
0.83 o 666
0.83 c 72
0.83 o 667
0.83 c 71
0.83 o 668
0.83 c 70
0.84 o 669
0.84 c 69
0.84 o 671
0.84 c 67
0.84 o 672
0.84 c 66
0.84 o 673
0.84 c 65
0.84 o 674
0.84 c 64
0.84 o 675
0.84 c 63
0.84 o 676
0.84 c 62
0.84 o 677
0.84 c 61
0.84 o 679
0.84 c 59
0.84 o 680
0.84 c 58
0.84 o 682
0.84 c 56
0.84 o 683
0.84 c 55
0.84 o 684
0.84 c 54
0.84 o 686
0.84 c 52
0.84 o 687
0.84 c 51
0.84 o 688
0.84 c 50
0.84 o 689
0.84 c 49
0.84 o 690
0.84 c 48
0.84 o 691
0.84 c 47
0.84 o 692
0.85 c 46
0.85 o 693
0.85 c 45
0.85 o 694
0.85 c 44
0.85 o 695
0.85 c 43
0.85 o 696
0.85 c 42
0.85 o 697
0.85 c 41
0.85 o 698
0.85 c 40
0.85 o 699
0.85 c 39
0.85 o 700
0.85 c 38
0.85 o 702
0.85 c 36
0.85 o 703
0.85 c 35
0.85 o 705
0.85 c 33
0.85 o 706
0.85 c 32
0.85 o 707
0.85 c 31
0.85 o 708
0.85 c 30
0.85 o 710
0.85 c 28
0.85 o 712
0.85 c 26
0.86 o 714
0.86 c 24
0.86 o 715
0.86 c 23
0.86 o 716
0.86 c 22
0.86 o 717
0.86 c 21
0.86 o 718
0.86 c 20
0.86 o 719
0.86 c 19
0.86 o 720
0.86 c 18
0.86 o 721
0.86 c 17
0.86 o 723
0.86 c 15
0.86 o 724
0.86 c 14
0.87 o 725
0.87 c 13
0.87 o 726
0.87 c 12
0.87 o 727
0.87 c 11
0.88 o 728
0.88 c 10
0.88 o 729
0.88 c 9
0.88 o 730
0.88 c 8
0.89 o 731
0.89 c 7
0.90 o 732
0.90 c 6
0.90 o 733
0.90 c 5
0.90 o 734
0.90 c 4
0.91 o 735
0.91 c 3
0.91 o 736
0.91 c 2
0.92 o 737
0.92 c 1
0.92
0.92 search
0.92 run=0 nbConstraintChecks=86511 nbAssignments=750
0.92 => wckTime=0.164 cpuTime=0.13 mem=6M18
0.92
0.92 global
0.92 nbConstraintChecks=86511 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.92 solvingWckTime=0.162 solvingCpuTime=0.13 expiredTime=no totalExploration=no nbFoundSolutions=0
0.92 globalCpuTime=0.42
0.92 => wckTime=0.544 cpuTime=0.37 mem=6M18
0.92
0.92 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.722 cpuTime=0.52 mem=19M867
1.72
1.72 preprocessing
1.72 nbConstraintChecks=277562 nbValidityChecks=144606 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.72 nbRemovedValues=35 detectedInconsistency=no
1.72 => wckTime=0.612 cpuTime=0.57 mem=19M867
1.83
1.83 search
1.83 run=0 nbConstraintChecks=51829 nbValidityChecks=27354 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.83 nbAssignments=94 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=100 nbRestartNogoods=0
1.83 => wckTime=0.725 cpuTime=0.68 mem=19M867
1.96
1.96 search
1.96 run=1 nbConstraintChecks=113520 nbValidityChecks=60443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.96 nbAssignments=197 nbFailedAssignments=11 nbBacktracks=26 nbVisitedNodes=211 nbRestartNogoods=1
1.96 => wckTime=0.86 cpuTime=0.8 mem=19M867
2.07
2.07 search
2.07 run=2 nbConstraintChecks=172431 nbValidityChecks=93513 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.08 nbAssignments=298 nbFailedAssignments=16 nbBacktracks=56 nbVisitedNodes=319 nbRestartNogoods=2
2.08 => wckTime=0.973 cpuTime=0.92 mem=19M867
2.22
2.22 search
2.22 run=3 nbConstraintChecks=246110 nbValidityChecks=134834 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.22 nbAssignments=421 nbFailedAssignments=27 nbBacktracks=95 nbVisitedNodes=454 nbRestartNogoods=3
2.22 => wckTime=1.112 cpuTime=1.05 mem=19M867
2.37
2.37 search
2.37 run=4 nbConstraintChecks=321127 nbValidityChecks=178989 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.37 nbAssignments=550 nbFailedAssignments=33 nbBacktracks=152 nbVisitedNodes=591 nbRestartNogoods=5
2.37 => wckTime=1.267 cpuTime=1.2 mem=19M867
2.60
2.60 search
2.60 run=5 nbConstraintChecks=426249 nbValidityChecks=240272 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.60 nbAssignments=714 nbFailedAssignments=51 nbBacktracks=229 nbVisitedNodes=781 nbRestartNogoods=7
2.60 => wckTime=1.495 cpuTime=1.42 mem=19M867
2.90
2.90 search
2.90 run=6 nbConstraintChecks=576253 nbValidityChecks=331048 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.90 nbAssignments=938 nbFailedAssignments=79 nbBacktracks=363 nbVisitedNodes=1044 nbRestartNogoods=8
2.90 => wckTime=1.802 cpuTime=1.73 mem=20M843
3.29
3.29 search
3.29 run=7 nbConstraintChecks=764129 nbValidityChecks=447692 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.29 nbAssignments=1214 nbFailedAssignments=115 nbBacktracks=535 nbVisitedNodes=1368 nbRestartNogoods=10
3.29 => wckTime=2.186 cpuTime=2.1 mem=20M843
3.86
3.86 search
3.86 run=8 nbConstraintChecks=1027409 nbValidityChecks=611786 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.86 nbAssignments=1594 nbFailedAssignments=173 nbBacktracks=797 nbVisitedNodes=1820 nbRestartNogoods=14
3.86 => wckTime=2.759 cpuTime=2.66 mem=20M843
4.85
4.85 search
4.85 run=9 nbConstraintChecks=1499727 nbValidityChecks=899070 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.85 nbAssignments=2186 nbFailedAssignments=306 nbBacktracks=1182 nbVisitedNodes=2600 nbRestartNogoods=17
4.85 => wckTime=3.746 cpuTime=3.63 mem=20M843
6.02
6.02 search
6.02 run=10 nbConstraintChecks=2126389 nbValidityChecks=1289695 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.02 nbAssignments=2987 nbFailedAssignments=456 nbBacktracks=1767 nbVisitedNodes=3588 nbRestartNogoods=22
6.02 => wckTime=4.918 cpuTime=4.8 mem=20M843
7.96
7.96 search
7.96 run=11 nbConstraintChecks=3124665 nbValidityChecks=1885591 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.96 nbAssignments=4202 nbFailedAssignments=733 nbBacktracks=2635 nbVisitedNodes=5156 nbRestartNogoods=26
7.96 => wckTime=6.86 cpuTime=6.72 mem=20M843
10.84
10.84 search
10.84 run=12 nbConstraintChecks=4527140 nbValidityChecks=2716440 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
10.84 nbAssignments=6003 nbFailedAssignments=1165 nbBacktracks=3940 nbVisitedNodes=7465 nbRestartNogoods=32
10.84 => wckTime=9.736 cpuTime=9.59 mem=20M843
15.16
15.16 search
15.16 run=13 nbConstraintChecks=6640860 nbValidityChecks=4001091 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
15.16 nbAssignments=8648 nbFailedAssignments=1797 nbBacktracks=5888 nbVisitedNodes=10880 nbRestartNogoods=36
15.16 => wckTime=14.056 cpuTime=13.88 mem=20M843
21.11
21.11 search
21.11 run=14 nbConstraintChecks=9802730 nbValidityChecks=5780139 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
21.11 nbAssignments=12453 nbFailedAssignments=2630 nbBacktracks=8807 nbVisitedNodes=15788 nbRestartNogoods=43
21.11 => wckTime=20.005 cpuTime=19.82 mem=20M843
29.20
29.20 search
29.20 run=15 nbConstraintChecks=14037178 nbValidityChecks=8192400 nbPropagations=0 nbRevisions=0
29.20 nbUselessRevisions=0 nbAssignments=18007 nbFailedAssignments=3740 nbBacktracks=13186 nbVisitedNodes=22669
29.20 nbRestartNogoods=48
29.20 => wckTime=28.094 cpuTime=27.88 mem=20M843
40.92
40.92 search
40.92 run=16 nbConstraintChecks=19917580 nbValidityChecks=11515370 nbPropagations=0 nbRevisions=0
40.92 nbUselessRevisions=0 nbAssignments=26040 nbFailedAssignments=5125 nbBacktracks=19755 nbVisitedNodes=32230
40.92 nbRestartNogoods=59
40.92 => wckTime=39.818 cpuTime=39.59 mem=20M843
58.35
58.35 search
58.35 run=17 nbConstraintChecks=29364181 nbValidityChecks=17100775 nbPropagations=0 nbRevisions=0
58.35 nbUselessRevisions=0 nbAssignments=38276 nbFailedAssignments=7437 nbBacktracks=29610 nbVisitedNodes=47121
58.35 nbRestartNogoods=66
58.35 => wckTime=57.246 cpuTime=57.01 mem=20M843
82.63
82.63 search
82.63 run=18 nbConstraintChecks=42049740 nbValidityChecks=24257036 nbPropagations=0 nbRevisions=0
82.63 nbUselessRevisions=0 nbAssignments=56029 nbFailedAssignments=10327 nbBacktracks=44390 nbVisitedNodes=68272
82.63 nbRestartNogoods=73
82.63 => wckTime=81.53 cpuTime=81.26 mem=20M843
120.47
120.47 search
120.47 run=19 nbConstraintChecks=62119220 nbValidityChecks=35652416 nbPropagations=0 nbRevisions=0
120.47 nbUselessRevisions=0 nbAssignments=83195 nbFailedAssignments=15247 nbBacktracks=66565 nbVisitedNodes=101273
120.47 nbRestartNogoods=79
120.47 => wckTime=119.372 cpuTime=119.06 mem=20M843
177.04
177.04 search
177.04 run=20 nbConstraintChecks=91342215 nbValidityChecks=52107415 nbPropagations=0 nbRevisions=0
177.04 nbUselessRevisions=0 nbAssignments=123697 nbFailedAssignments=22410 nbBacktracks=99823 nbVisitedNodes=150032
177.04 nbRestartNogoods=88
177.04 => wckTime=175.938 cpuTime=175.57 mem=20M843
246.46
246.46 search
246.46 run=21 nbConstraintChecks=130171179 nbValidityChecks=73718602 nbPropagations=0 nbRevisions=0
246.46 nbUselessRevisions=0 nbAssignments=173146 nbFailedAssignments=32020 nbBacktracks=139663 nbVisitedNodes=210861
246.46 nbRestartNogoods=97
246.46 => wckTime=245.357 cpuTime=244.93 mem=20M843
246.46
246.46 global
246.46 nbConstraintChecks=130448741 nbValidityChecks=73863208 nbRestartNogoods=97 solvingWckTime=245.358
246.46 solvingCpuTime=244.93 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=245.5
246.46 => wckTime=246.081 cpuTime=245.45 mem=20M843
246.46
246.46 s OPTIMUM FOUND
246.46 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
246.46
246.46 totalWckTime=246.162 totalCpuTime=245.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-277579-1169268695 -o ROOT/results/node71/solver-277579-1169268695 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277579-1169268695/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: 2.06 2.03 1.93 2/80 25639
/proc/meminfo: memFree=1263768/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=18540 CPUtime=0
/proc/25638/stat : 25638 (runsolver) R 25636 25638 25458 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 74366379 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25638/statm: 4635 279 244 17 0 2626 0
[startup+0.102768 s]
/proc/loadavg: 2.06 2.03 1.93 2/80 25639
/proc/meminfo: memFree=1263768/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=907808 CPUtime=0.05
/proc/25638/stat : 25638 (java) D 25636 25638 25458 0 -1 0 2507 0 1 0 4 1 0 0 17 0 4 0 74366379 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/25638/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.511824 s]
/proc/loadavg: 2.06 2.03 1.93 2/80 25639
/proc/meminfo: memFree=1263768/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=915332 CPUtime=0.42
/proc/25638/stat : 25638 (java) R 25636 25638 25458 0 -1 0 6214 0 1 0 38 4 0 0 18 0 8 0 74366379 937299968 5953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25638/statm: 228833 5953 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332
[startup+1.33894 s]
/proc/loadavg: 2.05 2.03 1.93 4/87 25646
/proc/meminfo: memFree=1235232/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=915584 CPUtime=1.24
/proc/25638/stat : 25638 (java) R 25636 25638 25458 0 -1 0 9883 0 1 0 114 10 0 0 24 0 8 0 74366379 937558016 9621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25638/statm: 228896 9621 2530 14 0 215366 0
[pid=25638/tid=25640] ppid=25636 vsize=915584 CPUtime=0.03
/proc/25638/task/25640/stat : 25640 (java) S 25636 25638 25458 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 74366383 937558016 9621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25641] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25641/stat : 25641 (java) S 25636 25638 25458 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74366384 937558016 9621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25642] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25642/stat : 25642 (java) S 25636 25638 25458 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74366384 937558016 9621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25643] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25643/stat : 25643 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74366394 937558016 9621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25644] ppid=25636 vsize=915584 CPUtime=0.23
/proc/25638/task/25644/stat : 25644 (java) S 25636 25638 25458 0 -1 64 385 0 0 0 22 1 0 0 15 0 8 0 74366394 937558016 9621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25645] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25645/stat : 25645 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74366394 937558016 9621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25646] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25646/stat : 25646 (java) S 25636 25638 25458 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74366394 937558016 9621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915584
[startup+2.98216 s]
/proc/loadavg: 2.05 2.03 1.93 3/87 25646
/proc/meminfo: memFree=1234720/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=915584 CPUtime=2.88
/proc/25638/stat : 25638 (java) R 25636 25638 25458 0 -1 0 10017 0 1 0 277 11 0 0 25 0 8 0 74366379 937558016 9752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25638/statm: 228896 9752 2535 14 0 215366 0
[pid=25638/tid=25640] ppid=25636 vsize=915584 CPUtime=0.03
/proc/25638/task/25640/stat : 25640 (java) S 25636 25638 25458 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 74366383 937558016 9752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25641] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25641/stat : 25641 (java) S 25636 25638 25458 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74366384 937558016 9752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25642] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25642/stat : 25642 (java) S 25636 25638 25458 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74366384 937558016 9752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25643] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25643/stat : 25643 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74366394 937558016 9752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25644] ppid=25636 vsize=915584 CPUtime=0.26
/proc/25638/task/25644/stat : 25644 (java) S 25636 25638 25458 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 74366394 937558016 9752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25645] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25645/stat : 25645 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74366394 937558016 9752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25646] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25646/stat : 25646 (java) S 25636 25638 25458 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74366394 937558016 9752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915584
[startup+6.26161 s]
/proc/loadavg: 2.05 2.03 1.93 3/87 25646
/proc/meminfo: memFree=1234528/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=915584 CPUtime=6.13
/proc/25638/stat : 25638 (java) R 25636 25638 25458 0 -1 0 10041 0 1 0 602 11 0 0 25 0 8 0 74366379 937558016 9773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25638/statm: 228896 9773 2535 14 0 215366 0
[pid=25638/tid=25640] ppid=25636 vsize=915584 CPUtime=0.03
/proc/25638/task/25640/stat : 25640 (java) S 25636 25638 25458 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 74366383 937558016 9773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25641] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25641/stat : 25641 (java) S 25636 25638 25458 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74366384 937558016 9773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25642] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25642/stat : 25642 (java) S 25636 25638 25458 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74366384 937558016 9773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25643] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25643/stat : 25643 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74366394 937558016 9773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25644] ppid=25636 vsize=915584 CPUtime=0.28
/proc/25638/task/25644/stat : 25644 (java) S 25636 25638 25458 0 -1 64 415 0 0 0 27 1 0 0 15 0 8 0 74366394 937558016 9773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25645] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25645/stat : 25645 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74366394 937558016 9773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25646] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25646/stat : 25646 (java) S 25636 25638 25458 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74366394 937558016 9773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915584
[startup+12.7505 s]
/proc/loadavg: 2.04 2.03 1.93 3/87 25646
/proc/meminfo: memFree=1234464/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=915584 CPUtime=12.59
/proc/25638/stat : 25638 (java) R 25636 25638 25458 0 -1 0 10050 0 1 0 1248 11 0 0 25 0 8 0 74366379 937558016 9781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25638/statm: 228896 9781 2535 14 0 215366 0
[pid=25638/tid=25640] ppid=25636 vsize=915584 CPUtime=0.03
/proc/25638/task/25640/stat : 25640 (java) S 25636 25638 25458 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 74366383 937558016 9781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25641] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25641/stat : 25641 (java) S 25636 25638 25458 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74366384 937558016 9781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25642] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25642/stat : 25642 (java) S 25636 25638 25458 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74366384 937558016 9781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25643] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25643/stat : 25643 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74366394 937558016 9781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25644] ppid=25636 vsize=915584 CPUtime=0.28
/proc/25638/task/25644/stat : 25644 (java) S 25636 25638 25458 0 -1 64 418 0 0 0 27 1 0 0 16 0 8 0 74366394 937558016 9781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25645] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25645/stat : 25645 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74366394 937558016 9781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25646] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25646/stat : 25646 (java) S 25636 25638 25458 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74366394 937558016 9781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915584
[startup+25.5983 s]
/proc/loadavg: 2.04 2.03 1.93 3/82 25723
/proc/meminfo: memFree=1257472/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=915584 CPUtime=25.39
/proc/25638/stat : 25638 (java) R 25636 25638 25458 0 -1 0 10057 0 1 0 2527 12 0 0 25 0 8 0 74366379 937558016 9787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073688272 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25638/statm: 228896 9787 2535 14 0 215366 0
[pid=25638/tid=25640] ppid=25636 vsize=915584 CPUtime=0.03
/proc/25638/task/25640/stat : 25640 (java) S 25636 25638 25458 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 74366383 937558016 9787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25641] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25641/stat : 25641 (java) S 25636 25638 25458 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74366384 937558016 9787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25642] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25642/stat : 25642 (java) S 25636 25638 25458 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74366384 937558016 9787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25643] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25643/stat : 25643 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74366394 937558016 9787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25644] ppid=25636 vsize=915584 CPUtime=0.29
/proc/25638/task/25644/stat : 25644 (java) S 25636 25638 25458 0 -1 64 420 0 0 0 28 1 0 0 16 0 8 0 74366394 937558016 9787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25645] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25645/stat : 25645 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74366394 937558016 9787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25646] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25646/stat : 25646 (java) S 25636 25638 25458 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74366394 937558016 9787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915584
[startup+51.2078 s]
/proc/loadavg: 2.02 2.03 1.93 3/81 25724
/proc/meminfo: memFree=1246792/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=915584 CPUtime=50.97
/proc/25638/stat : 25638 (java) R 25636 25638 25458 0 -1 0 10063 0 1 0 5085 12 0 0 25 0 8 0 74366379 937558016 9793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809515 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25638/statm: 228896 9793 2535 14 0 215366 0
[pid=25638/tid=25640] ppid=25636 vsize=915584 CPUtime=0.03
/proc/25638/task/25640/stat : 25640 (java) S 25636 25638 25458 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 74366383 937558016 9793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25638/tid=25641] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25641/stat : 25641 (java) S 25636 25638 25458 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74366384 937558016 9793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25642] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25642/stat : 25642 (java) S 25636 25638 25458 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74366384 937558016 9793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25643] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25643/stat : 25643 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74366394 937558016 9793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25644] ppid=25636 vsize=915584 CPUtime=0.29
/proc/25638/task/25644/stat : 25644 (java) S 25636 25638 25458 0 -1 64 420 0 0 0 28 1 0 0 16 0 8 0 74366394 937558016 9793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25638/tid=25645] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25645/stat : 25645 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74366394 937558016 9793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25646] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25646/stat : 25646 (java) S 25636 25638 25458 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74366394 937558016 9793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915584
[startup+102.425 s]
/proc/loadavg: 2.01 2.02 1.93 3/81 25724
/proc/meminfo: memFree=1246856/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=915584 CPUtime=102.14
/proc/25638/stat : 25638 (java) R 25636 25638 25458 0 -1 0 10070 0 1 0 10202 12 0 0 25 0 8 0 74366379 937558016 9799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25638/statm: 228896 9799 2535 14 0 215366 0
[pid=25638/tid=25640] ppid=25636 vsize=915584 CPUtime=0.03
/proc/25638/task/25640/stat : 25640 (java) S 25636 25638 25458 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 74366383 937558016 9799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25638/tid=25641] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25641/stat : 25641 (java) S 25636 25638 25458 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74366384 937558016 9799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25642] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25642/stat : 25642 (java) S 25636 25638 25458 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74366384 937558016 9799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25643] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25643/stat : 25643 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74366394 937558016 9799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25644] ppid=25636 vsize=915584 CPUtime=0.29
/proc/25638/task/25644/stat : 25644 (java) S 25636 25638 25458 0 -1 64 421 0 0 0 28 1 0 0 16 0 8 0 74366394 937558016 9799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25638/tid=25645] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25645/stat : 25645 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74366394 937558016 9799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25646] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25646/stat : 25646 (java) S 25636 25638 25458 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74366394 937558016 9799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 915584
[startup+162.483 s]
/proc/loadavg: 2.00 2.01 1.93 3/81 25724
/proc/meminfo: memFree=1246856/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=915584 CPUtime=162.13
/proc/25638/stat : 25638 (java) R 25636 25638 25458 0 -1 0 10074 0 1 0 16201 12 0 0 25 0 8 0 74366379 937558016 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073859905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25638/statm: 228896 9802 2535 14 0 215366 0
[pid=25638/tid=25640] ppid=25636 vsize=915584 CPUtime=0.03
/proc/25638/task/25640/stat : 25640 (java) S 25636 25638 25458 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 74366383 937558016 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25638/tid=25641] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25641/stat : 25641 (java) S 25636 25638 25458 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74366384 937558016 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25642] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25642/stat : 25642 (java) S 25636 25638 25458 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74366384 937558016 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25643] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25643/stat : 25643 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74366394 937558016 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25644] ppid=25636 vsize=915584 CPUtime=0.29
/proc/25638/task/25644/stat : 25644 (java) S 25636 25638 25458 0 -1 64 421 0 0 0 28 1 0 0 16 0 8 0 74366394 937558016 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25638/tid=25645] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25645/stat : 25645 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74366394 937558016 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25646] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25646/stat : 25646 (java) S 25636 25638 25458 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74366394 937558016 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 915584
[startup+222.544 s]
/proc/loadavg: 2.00 2.01 1.93 3/81 25724
/proc/meminfo: memFree=1246856/2055920 swapFree=4192812/4192956
[pid=25638] ppid=25636 vsize=915584 CPUtime=222.13
/proc/25638/stat : 25638 (java) R 25636 25638 25458 0 -1 0 10078 0 1 0 22201 12 0 0 25 0 8 0 74366379 937558016 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073890339 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25638/statm: 228896 9805 2535 14 0 215366 0
[pid=25638/tid=25640] ppid=25636 vsize=915584 CPUtime=0.03
/proc/25638/task/25640/stat : 25640 (java) S 25636 25638 25458 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 74366383 937558016 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25638/tid=25641] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25641/stat : 25641 (java) S 25636 25638 25458 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74366384 937558016 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25642] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25642/stat : 25642 (java) S 25636 25638 25458 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74366384 937558016 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25643] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25643/stat : 25643 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74366394 937558016 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25644] ppid=25636 vsize=915584 CPUtime=0.29
/proc/25638/task/25644/stat : 25644 (java) S 25636 25638 25458 0 -1 64 421 0 0 0 28 1 0 0 16 0 8 0 74366394 937558016 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25638/tid=25645] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25645/stat : 25645 (java) S 25636 25638 25458 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74366394 937558016 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25638/tid=25646] ppid=25636 vsize=915584 CPUtime=0
/proc/25638/task/25646/stat : 25646 (java) S 25636 25638 25458 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 74366394 937558016 9805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 246.508
CPU time (s): 246.064
CPU user time (s): 245.928
CPU system time (s): 0.135979
CPU usage (%): 99.8197
Max. virtual memory (cumulated for all children) (KiB): 916100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.928
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10176
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= 6341
involuntary context switches= 3828
runsolver used 0.317951 s user time and 0.78688 s system time
The end
Begin job on node71 on Sat Jan 20 04:51:35 UTC 2007
IDJOB= 277579
IDBENCH= 7386
IDSOLVER= 68
FILE ID= node71/277579-1169268695
PBS_JOBID= 3607397
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/277579-1169268695/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-277579-1169268695 -o ROOT/results/node71/solver-277579-1169268695 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277579-1169268695/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 186780f30bf46b633acf597de8e6a549
RANDOM SEED= 831157120
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.236
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.236
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: 1264312 kB
Buffers: 50492 kB
Cached: 618152 kB
SwapCached: 0 kB
Active: 130564 kB
Inactive: 585872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1264312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1716 kB
Writeback: 0 kB
Mapped: 68024 kB
Slab: 60496 kB
Committed_AS: 1453512 kB
PageTables: 1932 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 node71 on Sat Jan 20 04:55:42 UTC 2007