0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/275753-1169226499/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.45 nbVariables=495 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.45 => wckTime=0.149 cpuTime=0.11 mem=7M862
0.45
0.45 predicates being loaded...
0.46
0.46 constraints being loaded...
1.13 nbConstraints=939 nbSingletonDomainVariables=118 nbConvertedConstraints=570 nbConvertConstraintsChecks=229482
1.13 nbExtensionStructures=12 nbSharedExtensionStructures=558 nbConflictsStructures=66
1.13 nbSharedConflictsStructures=873 nbSharedBinaryRepresentations=29 nbEvaluationManagers=54
1.13 nbSharedEvaluationManagers=315 maxDegree=96 maxArity=13
1.13 => wckTime=0.831 cpuTime=0.68 mem=23M465
1.19
1.19 solver LocalSearchSolver being built...
1.23 => wckTime=0.927 cpuTime=0.72 mem=6M512
1.23
1.23 s SATISFIABLE
1.23 o 785
1.23 c 154
1.24 o 790
1.24 c 149
1.24 o 794
1.24 c 145
1.24 o 798
1.24 c 141
1.25 o 802
1.25 c 137
1.25 o 803
1.25 c 136
1.25 o 806
1.25 c 133
1.26 o 809
1.26 c 130
1.26 o 812
1.26 c 127
1.26 o 816
1.26 c 123
1.26 o 819
1.26 c 120
1.26 o 822
1.26 c 117
1.27 o 825
1.27 c 114
1.27 o 828
1.27 c 111
1.27 o 829
1.27 c 110
1.27 o 831
1.27 c 108
1.27 o 833
1.27 c 106
1.28 o 835
1.28 c 104
1.28 o 837
1.28 c 102
1.28 o 839
1.28 c 100
1.28 o 841
1.28 c 98
1.28 o 843
1.28 c 96
1.28 o 845
1.28 c 94
1.29 o 847
1.29 c 92
1.29 o 849
1.29 c 90
1.29 o 851
1.29 c 88
1.29 o 853
1.29 c 86
1.29 o 855
1.29 c 84
1.29 o 857
1.29 c 82
1.30 o 859
1.30 c 80
1.30 o 860
1.30 c 79
1.30 o 861
1.30 c 78
1.30 o 862
1.30 c 77
1.31 o 863
1.31 c 76
1.31 o 864
1.31 c 75
1.31 o 865
1.31 c 74
1.31 o 867
1.31 c 72
1.31 o 869
1.31 c 70
1.31 o 871
1.31 c 68
1.32 o 872
1.32 c 67
1.32 o 874
1.32 c 65
1.32 o 876
1.32 c 63
1.32 o 878
1.32 c 61
1.32 o 880
1.32 c 59
1.32 o 882
1.32 c 57
1.32 o 884
1.32 c 55
1.33 o 886
1.33 c 53
1.33 o 887
1.33 c 52
1.33 o 888
1.33 c 51
1.33 o 889
1.33 c 50
1.33 o 890
1.33 c 49
1.34 o 891
1.34 c 48
1.34 o 892
1.34 c 47
1.34 o 893
1.34 c 46
1.34 o 894
1.34 c 45
1.34 o 895
1.34 c 44
1.34 o 896
1.34 c 43
1.35 o 897
1.35 c 42
1.35 o 898
1.35 c 41
1.35 o 899
1.35 c 40
1.35 o 900
1.35 c 39
1.35 o 901
1.35 c 38
1.35 o 902
1.35 c 37
1.37 o 903
1.37 c 36
1.38 o 904
1.38 c 35
1.38 o 905
1.38 c 34
1.39 o 906
1.39 c 33
1.39 o 907
1.39 c 32
1.39 o 908
1.39 c 31
1.39 o 910
1.39 c 29
1.39 o 911
1.39 c 28
1.39 o 913
1.39 c 26
1.40 o 914
1.40 c 25
1.40 o 916
1.40 c 23
1.40 o 918
1.40 c 21
1.40 o 919
1.40 c 20
1.42 o 921
1.42 c 18
1.42 o 922
1.42 c 17
1.42 o 923
1.42 c 16
1.42 o 924
1.42 c 15
1.45 o 925
1.46 c 14
1.46 o 926
1.46 c 13
1.53 o 927
1.53 c 12
1.54 o 928
1.54 c 11
1.57 o 929
1.57 c 10
1.57 o 930
1.57 c 9
1.67 o 931
1.67 c 8
1.79 o 932
1.79 c 7
1.79 o 933
1.79 c 6
1.80 o 934
1.80 c 5
1.81 o 935
1.81 c 4
1.81 o 936
1.81 c 3
1.83 o 937
1.83 c 2
1.88 o 938
1.88 c 1
1.88
1.88 search
1.88 run=0 nbConstraintChecks=401239 nbAssignments=884
1.88 => wckTime=0.658 cpuTime=0.63 mem=6M512
1.88
1.88 global
1.88 nbConstraintChecks=401239 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.88 solvingWckTime=0.657 solvingCpuTime=0.63 expiredTime=no totalExploration=no nbFoundSolutions=0
1.88 globalCpuTime=1.4
1.88 => wckTime=1.585 cpuTime=1.35 mem=6M512
1.89
1.89 solver IterativeSystematicSolver being built...
2.07 => wckTime=1.766 cpuTime=1.5 mem=23M484
2.93
2.93 preprocessing
2.93 nbConstraintChecks=191816 nbValidityChecks=392806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.93 nbRemovedValues=1 detectedInconsistency=no
2.93 => wckTime=0.858 cpuTime=0.82 mem=23M484
3.31
3.31 search
3.31 run=0 nbConstraintChecks=95183 nbValidityChecks=249117 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.31 nbAssignments=256 nbFailedAssignments=5 nbBacktracks=31 nbVisitedNodes=263 nbRestartNogoods=0
3.31 => wckTime=1.238 cpuTime=1.19 mem=24M459
3.60
3.60 search
3.60 run=1 nbConstraintChecks=149440 nbValidityChecks=443323 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.60 nbAssignments=424 nbFailedAssignments=8 nbBacktracks=46 nbVisitedNodes=435 nbRestartNogoods=1
3.60 => wckTime=1.535 cpuTime=1.47 mem=24M459
3.96
3.96 search
3.96 run=2 nbConstraintChecks=240011 nbValidityChecks=690066 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.96 nbAssignments=677 nbFailedAssignments=12 nbBacktracks=76 nbVisitedNodes=693 nbRestartNogoods=2
3.96 => wckTime=1.894 cpuTime=1.83 mem=24M459
4.29
4.29 search
4.30 run=3 nbConstraintChecks=308273 nbValidityChecks=917274 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.30 nbAssignments=870 nbFailedAssignments=20 nbBacktracks=110 nbVisitedNodes=899 nbRestartNogoods=3
4.30 => wckTime=2.227 cpuTime=2.16 mem=24M459
4.64
4.64 search
4.64 run=4 nbConstraintChecks=366857 nbValidityChecks=1125400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.64 nbAssignments=1046 nbFailedAssignments=31 nbBacktracks=178 nbVisitedNodes=1087 nbRestartNogoods=5
4.64 => wckTime=2.569 cpuTime=2.48 mem=24M459
5.20
5.20 search
5.20 run=5 nbConstraintChecks=510105 nbValidityChecks=1448883 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.20 nbAssignments=1341 nbFailedAssignments=86 nbBacktracks=253 nbVisitedNodes=1439 nbRestartNogoods=6
5.20 => wckTime=3.134 cpuTime=3.03 mem=24M459
5.69
5.69 search
5.69 run=6 nbConstraintChecks=599561 nbValidityChecks=1731066 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.69 nbAssignments=1577 nbFailedAssignments=103 nbBacktracks=370 nbVisitedNodes=1696 nbRestartNogoods=7
5.69 => wckTime=3.625 cpuTime=3.51 mem=24M459
6.36
6.36 search
6.36 run=7 nbConstraintChecks=767181 nbValidityChecks=2169010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.36 nbAssignments=1884 nbFailedAssignments=156 nbBacktracks=540 nbVisitedNodes=2068 nbRestartNogoods=11
6.36 => wckTime=4.297 cpuTime=4.18 mem=24M459
7.21
7.21 search
7.21 run=8 nbConstraintChecks=948152 nbValidityChecks=2656794 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.21 nbAssignments=2254 nbFailedAssignments=199 nbBacktracks=813 nbVisitedNodes=2492 nbRestartNogoods=14
7.21 => wckTime=5.141 cpuTime=5.02 mem=24M459
8.42
8.42 search
8.42 run=9 nbConstraintChecks=1276850 nbValidityChecks=3395938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
8.42 nbAssignments=2905 nbFailedAssignments=294 nbBacktracks=1198 nbVisitedNodes=3250 nbRestartNogoods=16
8.42 => wckTime=6.353 cpuTime=6.21 mem=24M459
10.23
10.23 search
10.23 run=10 nbConstraintChecks=1661108 nbValidityChecks=4539657 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
10.23 nbAssignments=3664 nbFailedAssignments=408 nbBacktracks=1775 nbVisitedNodes=4163 nbRestartNogoods=22
10.23 => wckTime=8.161 cpuTime=8.0 mem=24M459
12.73
12.73 search
12.73 run=11 nbConstraintChecks=2233570 nbValidityChecks=6187704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
12.73 nbAssignments=4744 nbFailedAssignments=554 nbBacktracks=2639 nbVisitedNodes=5425 nbRestartNogoods=26
12.73 => wckTime=10.659 cpuTime=10.48 mem=24M459
16.80
16.80 search
16.80 run=12 nbConstraintChecks=3220778 nbValidityChecks=8888009 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
16.80 nbAssignments=6431 nbFailedAssignments=852 nbBacktracks=3937 nbVisitedNodes=7454 nbRestartNogoods=31
16.80 => wckTime=14.731 cpuTime=14.52 mem=24M459
22.50
22.50 search
22.50 run=13 nbConstraintChecks=4376172 nbValidityChecks=12729110 nbPropagations=0 nbRevisions=0
22.50 nbUselessRevisions=0 nbAssignments=8787 nbFailedAssignments=1190 nbBacktracks=5886 nbVisitedNodes=10220
22.50 nbRestartNogoods=35
22.50 => wckTime=20.432 cpuTime=20.18 mem=24M459
31.46
31.46 search
31.46 run=14 nbConstraintChecks=6130992 nbValidityChecks=18600094 nbPropagations=0 nbRevisions=0
31.46 nbUselessRevisions=0 nbAssignments=12205 nbFailedAssignments=1660 nbBacktracks=8820 nbVisitedNodes=14220
31.46 nbRestartNogoods=40
31.46 => wckTime=29.394 cpuTime=29.05 mem=24M459
43.12
43.12 search
43.12 run=15 nbConstraintChecks=8691487 nbValidityChecks=27094823 nbPropagations=0 nbRevisions=0
43.12 nbUselessRevisions=0 nbAssignments=17113 nbFailedAssignments=2154 nbBacktracks=13199 nbVisitedNodes=19727
43.12 nbRestartNogoods=46
43.12 => wckTime=41.051 cpuTime=40.61 mem=24M459
62.06
62.06 search
62.06 run=16 nbConstraintChecks=12364088 nbValidityChecks=40363680 nbPropagations=0 nbRevisions=0
62.06 nbUselessRevisions=0 nbAssignments=24630 nbFailedAssignments=3077 nbBacktracks=19777 nbVisitedNodes=28388
62.06 nbRestartNogoods=52
62.06 => wckTime=59.996 cpuTime=59.41 mem=24M459
91.84
91.84 search
91.84 run=17 nbConstraintChecks=18254722 nbValidityChecks=60403349 nbPropagations=0 nbRevisions=0
91.84 nbUselessRevisions=0 nbAssignments=35989 nbFailedAssignments=4556 nbBacktracks=29639 nbVisitedNodes=41551
91.84 nbRestartNogoods=58
91.84 => wckTime=89.775 cpuTime=88.92 mem=24M459
142.30
142.30 search
142.30 run=18 nbConstraintChecks=29729054 nbValidityChecks=94340042 nbPropagations=0 nbRevisions=0
142.30 nbUselessRevisions=0 nbAssignments=53614 nbFailedAssignments=7365 nbBacktracks=44423 nbVisitedNodes=62617
142.30 nbRestartNogoods=63
142.30 => wckTime=140.232 cpuTime=138.96 mem=24M459
151.02
151.02 search
151.02 run=19 nbConstraintChecks=32103272 nbValidityChecks=99574683 nbPropagations=0 nbRevisions=0
151.02 nbUselessRevisions=0 nbAssignments=56105 nbFailedAssignments=7867 nbBacktracks=46413 nbVisitedNodes=65710
151.02 nbRestartNogoods=67
151.02 => wckTime=148.953 cpuTime=147.61 mem=24M459
151.02
151.02 global
151.02 nbConstraintChecks=32295088 nbValidityChecks=99967489 nbRestartNogoods=67 solvingWckTime=148.954
151.02 solvingCpuTime=147.62 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=149.17
151.02 => wckTime=150.721 cpuTime=149.12 mem=24M459
151.02
151.02 s OPTIMUM FOUND
151.02 v 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1
151.02
151.02 totalWckTime=150.799 totalCpuTime=149.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-275753-1169226499 -o ROOT/results/node50/solver-275753-1169226499 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275753-1169226499/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: 0.85 0.97 0.99 5/69 3149
/proc/meminfo: memFree=1452512/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=72 CPUtime=0
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 18 0 0 0 0 0 0 0 19 0 1 0 271048488 73728 2 18446744073709551615 0 0 4294957037 18446744073709551615 240577473831 0 0 4096 0 0 0 0 17 1 0 0
/proc/3148/statm: 18 2 0 0 0 1 0
[startup+0.107014 s]
/proc/loadavg: 0.85 0.97 0.99 5/69 3149
/proc/meminfo: memFree=1452512/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=914988 CPUtime=0.08
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 3010 0 1 0 7 1 0 0 25 0 8 0 271048488 936947712 2756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155215161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228747 2756 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515084 s]
/proc/loadavg: 0.85 0.97 0.99 5/69 3149
/proc/meminfo: memFree=1452512/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915332 CPUtime=0.49
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 6638 0 1 0 45 4 0 0 25 0 8 0 271048488 937299968 6377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228833 6377 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33622 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 3169
/proc/meminfo: memFree=1389520/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915452 CPUtime=1.29
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11067 0 1 0 119 10 0 0 25 0 8 0 271048488 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228863 10804 2500 14 0 215333 0
[pid=3148/tid=3156] ppid=3141 vsize=915452 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 408 0 0 0 4 0 0 0 16 0 8 0 271048492 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915452 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915452 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915452 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915452 CPUtime=0.18
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 390 0 0 0 17 1 0 0 15 0 8 0 271048496 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915452 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915452 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.97749 s]
/proc/loadavg: 0.94 0.98 0.99 4/87 3169
/proc/meminfo: memFree=1384016/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=2.92
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11232 0 1 0 279 13 0 0 25 0 8 0 271048488 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074033529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10968 2549 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 408 0 0 0 4 0 0 0 17 0 8 0 271048492 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.27
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 439 0 0 0 25 2 0 0 15 0 8 0 271048496 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915588
[startup+6.27204 s]
/proc/loadavg: 0.94 0.98 0.99 3/87 3169
/proc/meminfo: memFree=1383632/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=6.18
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11259 0 1 0 605 13 0 0 25 0 8 0 271048488 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074110668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10991 2552 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 409 0 0 0 4 0 0 0 17 0 8 0 271048492 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.3
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 459 0 0 0 28 2 0 0 15 0 8 0 271048496 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915588
[startup+12.7451 s]
/proc/loadavg: 1.10 1.02 1.01 3/87 3169
/proc/meminfo: memFree=1383632/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=12.6
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11269 0 1 0 1247 13 0 0 25 0 8 0 271048488 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10996 2552 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 409 0 0 0 4 0 0 0 17 0 8 0 271048492 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.32
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 467 0 0 0 30 2 0 0 16 0 8 0 271048496 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915588
[startup+25.6033 s]
/proc/loadavg: 1.24 1.05 1.02 3/87 3169
/proc/meminfo: memFree=1383760/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=25.37
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11271 0 1 0 2524 13 0 0 25 0 8 0 271048488 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074057742 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10997 2552 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048492 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.32
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 468 0 0 0 30 2 0 0 15 0 8 0 271048496 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915588
[startup+51.2036 s]
/proc/loadavg: 1.50 1.12 1.04 3/87 3169
/proc/meminfo: memFree=1383760/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=50.74
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11273 0 1 0 5060 14 0 0 25 0 8 0 271048488 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10998 2552 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048492 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.32
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 470 0 0 0 30 2 0 0 16 0 8 0 271048496 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915588
[startup+102.504 s]
/proc/loadavg: 1.80 1.27 1.09 3/87 3169
/proc/meminfo: memFree=1383888/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=101.62
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11274 0 1 0 10148 14 0 0 25 0 8 0 271048488 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074031279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10999 2552 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048492 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.32
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 471 0 0 0 30 2 0 0 16 0 8 0 271048496 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 915588
Child status: 0
Real time (s): 151.088
CPU time (s): 149.749
CPU user time (s): 149.596
CPU system time (s): 0.152976
CPU usage (%): 99.1142
Max. virtual memory (cumulated for all children) (KiB): 916104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.596
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11290
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= 4643
involuntary context switches= 8528
runsolver used 0.170974 s user time and 0.38994 s system time
The end
Begin job on node50 on Fri Jan 19 17:08:19 UTC 2007
IDJOB= 275753
IDBENCH= 4665
IDSOLVER= 68
FILE ID= node50/275753-1169226499
PBS_JOBID= 3589250
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/44s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275753-1169226499/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-275753-1169226499 -o ROOT/results/node50/solver-275753-1169226499 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275753-1169226499/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c15b80e078b6e0c44dde79342583e0d7
RANDOM SEED= 730675698
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.263
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.263
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: 1453000 kB
Buffers: 45564 kB
Cached: 461032 kB
SwapCached: 276 kB
Active: 139028 kB
Inactive: 387092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1453000 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3888 kB
Writeback: 0 kB
Mapped: 28404 kB
Slab: 62492 kB
Committed_AS: 5267732 kB
PageTables: 1676 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= 66561 MiB
End job on node50 on Fri Jan 19 17:10:51 UTC 2007