0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.34 instance
0.34 name=/tmp/evaluation/281017-1169309482/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.51 nbConstraints=101 nbRelationTypes=101 nbExtensionStructures=101 nbSharedExtensionStructures=0
0.51 nbConflictsStructures=101 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1254 maxDegree=10
0.51 maxArity=2
0.51 => wckTime=0.206 cpuTime=0.16 mem=8M846
0.55
0.55 solver LocalSearchSolver being built...
0.60 => wckTime=0.289 cpuTime=0.2 mem=5M492
0.60
0.60 s SATISFIABLE
0.60 o 45
0.60 c 56
0.60 o 49
0.60 c 52
0.60 o 52
0.60 c 49
0.61 o 53
0.61 c 48
0.61 o 56
0.61 c 45
0.61 o 58
0.61 c 43
0.61 o 60
0.61 c 41
0.61 o 61
0.61 c 40
0.61 o 62
0.61 c 39
0.61 o 65
0.61 c 36
0.61 o 66
0.61 c 35
0.61 o 67
0.61 c 34
0.61 o 68
0.61 c 33
0.61 o 70
0.62 c 31
0.62 o 71
0.62 c 30
0.62 o 73
0.62 c 28
0.62 o 75
0.62 c 26
0.62 o 76
0.62 c 25
0.62 o 79
0.62 c 22
0.62 o 80
0.62 c 21
0.62 o 81
0.62 c 20
0.62 o 82
0.62 c 19
0.62 o 83
0.62 c 18
0.62 o 85
0.62 c 16
0.63 o 86
0.63 c 15
0.63 o 87
0.63 c 14
0.63 o 88
0.63 c 13
0.63 o 89
0.63 c 12
0.63 o 90
0.64 c 11
0.64 o 91
0.64 c 10
0.64 o 92
0.64 c 9
0.64 o 94
0.64 c 7
0.64 o 95
0.64 c 6
0.64 o 96
0.64 c 5
0.64 o 97
0.64 c 4
0.64 o 98
0.64 c 3
2.03
2.03 search
2.03 run=0 nbConstraintChecks=5682450 nbAssignments=10000
2.03 => wckTime=1.435 cpuTime=1.4 mem=5M492
3.34
3.34 search
3.34 run=1 nbConstraintChecks=11315118 nbAssignments=20000
3.34 => wckTime=2.742 cpuTime=2.71 mem=5M492
4.59
4.59 search
4.59 run=2 nbConstraintChecks=16551148 nbAssignments=30000
4.59 => wckTime=3.997 cpuTime=3.95 mem=5M492
5.90
5.90 search
5.90 run=3 nbConstraintChecks=22171994 nbAssignments=40000
5.90 => wckTime=5.302 cpuTime=5.25 mem=5M492
7.21
7.21 search
7.21 run=4 nbConstraintChecks=27873735 nbAssignments=50000
7.21 => wckTime=6.616 cpuTime=6.56 mem=5M492
8.55
8.55 search
8.55 run=5 nbConstraintChecks=33844301 nbAssignments=60000
8.55 => wckTime=7.959 cpuTime=7.9 mem=5M492
9.88
9.88 search
9.88 run=6 nbConstraintChecks=39665925 nbAssignments=70000
9.88 => wckTime=9.283 cpuTime=9.21 mem=5M492
11.25
11.25 search
11.25 run=7 nbConstraintChecks=45780680 nbAssignments=80000
11.25 => wckTime=10.651 cpuTime=10.58 mem=5M492
12.56
12.56 search
12.56 run=8 nbConstraintChecks=51516160 nbAssignments=90000
12.56 => wckTime=11.962 cpuTime=11.88 mem=5M492
13.91
13.91 search
13.91 run=9 nbConstraintChecks=57526386 nbAssignments=100000
13.91 => wckTime=13.315 cpuTime=13.22 mem=5M492
15.17
15.17 search
15.17 run=10 nbConstraintChecks=62869183 nbAssignments=110000
15.17 => wckTime=14.574 cpuTime=14.48 mem=5M492
16.44
16.44 search
16.44 run=11 nbConstraintChecks=68286482 nbAssignments=120000
16.44 => wckTime=15.841 cpuTime=15.74 mem=5M492
17.70
17.70 search
17.70 run=12 nbConstraintChecks=73674881 nbAssignments=130000
17.70 => wckTime=17.103 cpuTime=16.99 mem=5M492
19.10
19.10 search
19.10 run=13 nbConstraintChecks=80176474 nbAssignments=140000
19.10 => wckTime=18.509 cpuTime=18.4 mem=5M492
19.14 o 99
19.14 c 2
20.40
20.40 search
20.40 run=14 nbConstraintChecks=85781945 nbAssignments=150000
20.40 => wckTime=19.802 cpuTime=19.68 mem=5M492
21.75
21.75 search
21.75 run=15 nbConstraintChecks=91766004 nbAssignments=160000
21.75 => wckTime=21.154 cpuTime=21.02 mem=5M492
23.08
23.08 search
23.08 run=16 nbConstraintChecks=97585919 nbAssignments=170000
23.08 => wckTime=22.485 cpuTime=22.35 mem=5M492
24.43
24.43 search
24.43 run=17 nbConstraintChecks=103612350 nbAssignments=180000
24.43 => wckTime=23.84 cpuTime=23.69 mem=5M492
25.74
25.74 search
25.74 run=18 nbConstraintChecks=109230942 nbAssignments=190000
25.74 => wckTime=25.141 cpuTime=24.99 mem=5M492
27.18
27.18 search
27.18 run=19 nbConstraintChecks=115916108 nbAssignments=200000
27.18 => wckTime=26.586 cpuTime=26.43 mem=5M492
28.44
28.45 search
28.45 run=20 nbConstraintChecks=121226732 nbAssignments=210000
28.45 => wckTime=27.851 cpuTime=27.68 mem=5M492
29.81
29.81 search
29.81 run=21 nbConstraintChecks=127243192 nbAssignments=220000
29.81 => wckTime=29.214 cpuTime=29.05 mem=5M492
31.15
31.15 search
31.15 run=22 nbConstraintChecks=133134083 nbAssignments=230000
31.15 => wckTime=30.552 cpuTime=30.37 mem=5M492
32.44
32.44 search
32.44 run=23 nbConstraintChecks=138740724 nbAssignments=240000
32.44 => wckTime=31.848 cpuTime=31.66 mem=5M492
33.74
33.74 search
33.74 run=24 nbConstraintChecks=144401465 nbAssignments=250000
33.74 => wckTime=33.146 cpuTime=32.96 mem=5M492
35.12
35.12 search
35.12 run=25 nbConstraintChecks=150659085 nbAssignments=260000
35.12 => wckTime=34.53 cpuTime=34.33 mem=5M492
36.41
36.41 search
36.41 run=26 nbConstraintChecks=156168589 nbAssignments=270000
36.41 => wckTime=35.811 cpuTime=35.61 mem=5M492
37.71
37.71 search
37.71 run=27 nbConstraintChecks=161892464 nbAssignments=280000
37.71 => wckTime=37.12 cpuTime=36.91 mem=5M492
38.98
38.98 search
38.98 run=28 nbConstraintChecks=167290961 nbAssignments=290000
38.98 => wckTime=38.387 cpuTime=38.17 mem=5M492
40.38
40.38 search
40.38 run=29 nbConstraintChecks=173787934 nbAssignments=300000
40.38 => wckTime=39.788 cpuTime=39.57 mem=5M492
41.71
41.71 search
41.71 run=30 nbConstraintChecks=179616606 nbAssignments=310000
41.71 => wckTime=41.115 cpuTime=40.89 mem=5M492
43.10
43.10 search
43.10 run=31 nbConstraintChecks=185846666 nbAssignments=320000
43.10 => wckTime=42.506 cpuTime=42.27 mem=5M492
44.40
44.40 search
44.40 run=32 nbConstraintChecks=191408268 nbAssignments=330000
44.40 => wckTime=43.801 cpuTime=43.56 mem=5M492
45.75
45.75 search
45.75 run=33 nbConstraintChecks=197399539 nbAssignments=340000
45.75 => wckTime=45.158 cpuTime=44.91 mem=5M492
47.03
47.03 search
47.03 run=34 nbConstraintChecks=202852034 nbAssignments=350000
47.03 => wckTime=46.439 cpuTime=46.19 mem=5M492
48.43
48.43 search
48.43 run=35 nbConstraintChecks=209210912 nbAssignments=360000
48.43 => wckTime=47.837 cpuTime=47.58 mem=5M492
49.31
49.31 search
49.31 run=36 nbConstraintChecks=212952541 nbAssignments=366793
49.31 => wckTime=48.712 cpuTime=48.45 mem=5M492
49.31
49.31 global
49.31 nbConstraintChecks=212952541 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
49.31 solvingWckTime=48.709 solvingCpuTime=48.45 expiredTime=no totalExploration=no nbFoundSolutions=0
49.31 globalCpuTime=48.69
49.31 => wckTime=49.001 cpuTime=48.65 mem=5M492
49.31
49.31 solver IterativeSystematicSolver being built...
49.44 => wckTime=49.137 cpuTime=48.77 mem=16M417
49.50
49.50 preprocessing
49.50 nbConstraintChecks=20852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=1
49.50 detectedInconsistency=no
49.50 => wckTime=0.058 cpuTime=0.03 mem=16M417
49.57
49.57 search
49.57 run=0 nbConstraintChecks=115806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87
49.57 nbFailedAssignments=73 nbBacktracks=10 nbVisitedNodes=171 nbRestartNogoods=0
49.57 => wckTime=0.122 cpuTime=0.09 mem=16M417
49.64
49.64 search
49.64 run=1 nbConstraintChecks=243384 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=182
49.64 nbFailedAssignments=151 nbBacktracks=25 nbVisitedNodes=359 nbRestartNogoods=18
49.64 => wckTime=0.2 cpuTime=0.16 mem=16M417
49.73
49.73 search
49.73 run=2 nbConstraintChecks=399963 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=287
49.73 nbFailedAssignments=231 nbBacktracks=47 nbVisitedNodes=566 nbRestartNogoods=25
49.73 => wckTime=0.284 cpuTime=0.23 mem=16M417
49.85
49.85 search
49.85 run=3 nbConstraintChecks=684854 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=472
49.85 nbFailedAssignments=378 nbBacktracks=80 nbVisitedNodes=931 nbRestartNogoods=39
49.85 => wckTime=0.401 cpuTime=0.34 mem=16M417
50.00
50.00 search
50.00 run=4 nbConstraintChecks=1032920 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=724
50.00 nbFailedAssignments=576 nbBacktracks=130 nbVisitedNodes=1428 nbRestartNogoods=53
50.00 => wckTime=0.555 cpuTime=0.5 mem=16M417
50.23
50.23 search
50.23 run=5 nbConstraintChecks=1502945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1042
50.23 nbFailedAssignments=817 nbBacktracks=206 nbVisitedNodes=2060 nbRestartNogoods=73
50.23 => wckTime=0.788 cpuTime=0.73 mem=16M417
50.61
50.61 search
50.61 run=6 nbConstraintChecks=2390713 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1615
50.61 nbFailedAssignments=1269 nbBacktracks=319 nbVisitedNodes=3186 nbRestartNogoods=79
50.61 => wckTime=1.162 cpuTime=1.09 mem=16M417
51.10
51.10 search
51.10 run=7 nbConstraintChecks=3472035 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2319
51.10 nbFailedAssignments=1798 nbBacktracks=490 nbVisitedNodes=4581 nbRestartNogoods=96
51.10 => wckTime=1.657 cpuTime=1.57 mem=16M417
51.91
51.91 search
51.91 run=8 nbConstraintChecks=5596066 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3736
51.91 nbFailedAssignments=2950 nbBacktracks=746 nbVisitedNodes=7398 nbRestartNogoods=117
51.91 => wckTime=2.462 cpuTime=2.37 mem=16M417
52.90
52.90 search
52.90 run=9 nbConstraintChecks=8224462 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5459
52.90 nbFailedAssignments=4283 nbBacktracks=1132 nbVisitedNodes=10823 nbRestartNogoods=150
52.90 => wckTime=3.457 cpuTime=3.36 mem=16M417
54.27
54.27 search
54.27 run=10 nbConstraintChecks=11931326 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7948
54.27 nbFailedAssignments=6193 nbBacktracks=1708 nbVisitedNodes=15774 nbRestartNogoods=162
54.27 => wckTime=4.829 cpuTime=4.73 mem=16M417
56.58
56.58 search
56.58 run=11 nbConstraintChecks=17509160 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11815
56.58 nbFailedAssignments=9182 nbBacktracks=2572 nbVisitedNodes=23447 nbRestartNogoods=176
56.58 => wckTime=7.132 cpuTime=7.01 mem=16M417
59.31
59.31 search
59.31 run=12 nbConstraintChecks=23945121 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15978
59.31 nbFailedAssignments=12040 nbBacktracks=3870 nbVisitedNodes=31669 nbRestartNogoods=221
59.31 => wckTime=9.866 cpuTime=9.73 mem=16M417
63.62
63.62 search
63.62 run=13 nbConstraintChecks=33507673 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22631
63.62 nbFailedAssignments=16743 nbBacktracks=5816 nbVisitedNodes=44754 nbRestartNogoods=242
63.62 => wckTime=14.18 cpuTime=14.02 mem=16M417
69.33
69.33 search
69.33 run=14 nbConstraintChecks=45537688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31184
69.33 nbFailedAssignments=22375 nbBacktracks=8735 nbVisitedNodes=61445 nbRestartNogoods=257
69.33 => wckTime=19.886 cpuTime=19.7 mem=16M417
71.92
71.92 search
71.92 run=15 nbConstraintChecks=50845134 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35057
71.92 nbFailedAssignments=24771 nbBacktracks=10213 nbVisitedNodes=69040 nbRestartNogoods=275
71.92 => wckTime=22.477 cpuTime=22.28 mem=16M417
71.92
71.92 global
71.92 nbConstraintChecks=50865986 nbRestartNogoods=275 solvingWckTime=22.478 solvingCpuTime=22.28 expiredTime=no
71.92 totalExploration=yes nbFoundSolutions=0 globalCpuTime=71.09
71.92 => wckTime=71.616 cpuTime=71.05 mem=16M417
71.93
71.93 s OPTIMUM FOUND
71.93 v 6 1 5 3 7 4 4 8 4 8 8 2 2 6 6 5 5 6 5 4 2 6 9 9 8 0 0 8 4 5 6 0 2 1 0 4 7 6 3 7
71.93
71.93 totalWckTime=71.698 totalCpuTime=71.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-281017-1169309482 -o ROOT/results/node17/solver-281017-1169309482 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281017-1169309482/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.90 1.97 1.99 4/87 23640
/proc/meminfo: memFree=1295864/2055920 swapFree=4192812/4192956
[pid=23639] ppid=23637 vsize=906644 CPUtime=0.02
/proc/23639/stat : 23639 (java) S 23637 23639 23513 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 279342961 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23639/statm: 226661 1818 1036 14 0 214244 0
[pid=23639/tid=23641] ppid=23637 vsize=906644 CPUtime=0
/proc/23639/task/23641/stat : 23641 (java) R 23637 23639 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 279342964 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.10423 s]
/proc/loadavg: 1.90 1.97 1.99 4/87 23640
/proc/meminfo: memFree=1295864/2055920 swapFree=4192812/4192956
[pid=23639] ppid=23637 vsize=914988 CPUtime=0.09
/proc/23639/stat : 23639 (java) R 23637 23639 23513 0 -1 0 3035 0 1 0 8 1 0 0 17 0 8 0 279342961 936947712 2781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153604935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23639/statm: 228747 2781 1440 14 0 215242 0
[pid=23639/tid=23641] ppid=23637 vsize=914988 CPUtime=0
/proc/23639/task/23641/stat : 23641 (java) S 23637 23639 23513 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 279342964 936947712 2781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512273 s]
/proc/loadavg: 1.90 1.97 1.99 4/87 23640
/proc/meminfo: memFree=1295864/2055920 swapFree=4192812/4192956
[pid=23639] ppid=23637 vsize=915332 CPUtime=0.5
/proc/23639/stat : 23639 (java) R 23637 23639 23513 0 -1 0 6577 0 1 0 46 4 0 0 19 0 8 0 279342961 937299968 6316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23639/statm: 228833 6316 2152 14 0 215303 0
[pid=23639/tid=23641] ppid=23637 vsize=915332 CPUtime=0
/proc/23639/task/23641/stat : 23641 (java) S 23637 23639 23513 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 279342964 937299968 6316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33335 s]
/proc/loadavg: 1.90 1.97 1.99 3/94 23647
/proc/meminfo: memFree=1278144/2055920 swapFree=4192812/4192956
[pid=23639] ppid=23637 vsize=915444 CPUtime=1.31
/proc/23639/stat : 23639 (java) R 23637 23639 23513 0 -1 0 7110 0 1 0 107 24 0 0 25 0 8 0 279342961 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23639/statm: 228861 6848 2479 14 0 215331 0
[pid=23639/tid=23641] ppid=23637 vsize=915444 CPUtime=0.02
/proc/23639/task/23641/stat : 23641 (java) S 23637 23639 23513 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279342964 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23642] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23642/stat : 23642 (java) S 23637 23639 23513 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279342965 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23643] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23643/stat : 23643 (java) S 23637 23639 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279342965 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23644] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23644/stat : 23644 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279342968 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23645] ppid=23637 vsize=915444 CPUtime=0.12
/proc/23639/task/23645/stat : 23645 (java) S 23637 23639 23513 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279342968 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23646] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23646/stat : 23646 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279342968 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23647] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23647/stat : 23647 (java) S 23637 23639 23513 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279342968 937414656 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.97052 s]
/proc/loadavg: 1.90 1.97 1.99 3/94 23647
/proc/meminfo: memFree=1278144/2055920 swapFree=4192812/4192956
[pid=23639] ppid=23637 vsize=915444 CPUtime=2.94
/proc/23639/stat : 23639 (java) R 23637 23639 23513 0 -1 0 7113 0 1 0 221 73 0 0 25 0 8 0 279342961 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073671520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23639/statm: 228861 6850 2479 14 0 215331 0
[pid=23639/tid=23641] ppid=23637 vsize=915444 CPUtime=0.02
/proc/23639/task/23641/stat : 23641 (java) S 23637 23639 23513 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279342964 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23642] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23642/stat : 23642 (java) S 23637 23639 23513 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279342965 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23643] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23643/stat : 23643 (java) S 23637 23639 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279342965 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23644] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23644/stat : 23644 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279342968 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23645] ppid=23637 vsize=915444 CPUtime=0.12
/proc/23639/task/23645/stat : 23645 (java) S 23637 23639 23513 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 279342968 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23646] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23646/stat : 23646 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279342968 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23647] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23647/stat : 23647 (java) S 23637 23639 23513 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279342968 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.17086 s]
/proc/loadavg: 1.90 1.97 1.99 3/94 23647
/proc/meminfo: memFree=1278016/2055920 swapFree=4192812/4192956
[pid=23639] ppid=23637 vsize=915448 CPUtime=6.12
/proc/23639/stat : 23639 (java) R 23637 23639 23513 0 -1 0 7113 0 1 0 441 171 0 0 25 0 8 0 279342961 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23639/statm: 228862 6850 2479 14 0 215332 0
[pid=23639/tid=23641] ppid=23637 vsize=915448 CPUtime=0.02
/proc/23639/task/23641/stat : 23641 (java) S 23637 23639 23513 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279342964 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23642] ppid=23637 vsize=915448 CPUtime=0
/proc/23639/task/23642/stat : 23642 (java) S 23637 23639 23513 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279342965 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23643] ppid=23637 vsize=915448 CPUtime=0
/proc/23639/task/23643/stat : 23643 (java) S 23637 23639 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279342965 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23644] ppid=23637 vsize=915448 CPUtime=0
/proc/23639/task/23644/stat : 23644 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279342968 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23645] ppid=23637 vsize=915448 CPUtime=0.12
/proc/23639/task/23645/stat : 23645 (java) S 23637 23639 23513 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 279342968 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23646] ppid=23637 vsize=915448 CPUtime=0
/proc/23639/task/23646/stat : 23646 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279342968 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23647] ppid=23637 vsize=915448 CPUtime=0
/proc/23639/task/23647/stat : 23647 (java) S 23637 23639 23513 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279342968 937418752 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915448
[startup+12.6365 s]
/proc/loadavg: 1.91 1.97 1.99 3/94 23647
/proc/meminfo: memFree=1278032/2055920 swapFree=4192812/4192956
[pid=23639] ppid=23637 vsize=915444 CPUtime=12.56
/proc/23639/stat : 23639 (java) R 23637 23639 23513 0 -1 0 7113 0 1 0 895 361 0 0 25 0 8 0 279342961 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073666862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23639/statm: 228861 6850 2479 14 0 215331 0
[pid=23639/tid=23641] ppid=23637 vsize=915444 CPUtime=0.02
/proc/23639/task/23641/stat : 23641 (java) S 23637 23639 23513 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279342964 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23642] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23642/stat : 23642 (java) S 23637 23639 23513 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279342965 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23643] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23643/stat : 23643 (java) S 23637 23639 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279342965 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23644] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23644/stat : 23644 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279342968 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23645] ppid=23637 vsize=915444 CPUtime=0.12
/proc/23639/task/23645/stat : 23645 (java) S 23637 23639 23513 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 279342968 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23646] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23646/stat : 23646 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279342968 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23647] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23647/stat : 23647 (java) S 23637 23639 23513 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279342968 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915444
[startup+25.5039 s]
/proc/loadavg: 1.93 1.97 1.99 3/94 23647
/proc/meminfo: memFree=1278040/2055920 swapFree=4192812/4192956
[pid=23639] ppid=23637 vsize=915444 CPUtime=25.36
/proc/23639/stat : 23639 (java) R 23637 23639 23513 0 -1 0 7114 0 1 0 1787 749 0 0 25 0 8 0 279342961 937414656 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073666793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23639/statm: 228861 6851 2479 14 0 215331 0
[pid=23639/tid=23641] ppid=23637 vsize=915444 CPUtime=0.02
/proc/23639/task/23641/stat : 23641 (java) S 23637 23639 23513 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279342964 937414656 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23642] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23642/stat : 23642 (java) S 23637 23639 23513 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279342965 937414656 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23643] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23643/stat : 23643 (java) S 23637 23639 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279342965 937414656 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23644] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23644/stat : 23644 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279342968 937414656 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23645] ppid=23637 vsize=915444 CPUtime=0.13
/proc/23639/task/23645/stat : 23645 (java) S 23637 23639 23513 0 -1 64 335 0 0 0 13 0 0 0 16 0 8 0 279342968 937414656 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23646] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23646/stat : 23646 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279342968 937414656 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23647] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23647/stat : 23647 (java) S 23637 23639 23513 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279342968 937414656 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915444
[startup+51.1116 s]
/proc/loadavg: 1.95 1.97 1.99 3/94 23647
/proc/meminfo: memFree=1270552/2055920 swapFree=4192812/4192956
[pid=23639] ppid=23637 vsize=915444 CPUtime=50.85
/proc/23639/stat : 23639 (java) R 23637 23639 23513 0 -1 0 9042 0 1 0 3632 1453 0 0 25 0 8 0 279342961 937414656 8777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23639/statm: 228861 8777 2532 14 0 215331 0
[pid=23639/tid=23641] ppid=23637 vsize=915444 CPUtime=0.02
/proc/23639/task/23641/stat : 23641 (java) S 23637 23639 23513 0 -1 64 154 0 0 0 2 0 0 0 17 0 8 0 279342964 937414656 8777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23642] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23642/stat : 23642 (java) S 23637 23639 23513 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279342965 937414656 8777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23643] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23643/stat : 23643 (java) S 23637 23639 23513 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279342965 937414656 8777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23644] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23644/stat : 23644 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279342968 937414656 8777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23645] ppid=23637 vsize=915444 CPUtime=0.23
/proc/23639/task/23645/stat : 23645 (java) S 23637 23639 23513 0 -1 64 386 0 0 0 22 1 0 0 15 0 8 0 279342968 937414656 8777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23646] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23646/stat : 23646 (java) S 23637 23639 23513 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279342968 937414656 8777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23639/tid=23647] ppid=23637 vsize=915444 CPUtime=0
/proc/23639/task/23647/stat : 23647 (java) S 23637 23639 23513 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279342968 937414656 8777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 71.9646
CPU time (s): 71.5821
CPU user time (s): 57.0383
CPU system time (s): 14.5438
CPU usage (%): 99.4685
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.0383
system time used= 14.5438
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9163
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= 2531
involuntary context switches= 5244
runsolver used 0.093985 s user time and 0.245962 s system time
The end
Begin job on node17 on Sat Jan 20 16:11:22 UTC 2007
IDJOB= 281017
IDBENCH= 12040
IDSOLVER= 68
FILE ID= node17/281017-1169309482
PBS_JOBID= 3609965
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseLoose/vcsp-40-10-13-60-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281017-1169309482/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-281017-1169309482 -o ROOT/results/node17/solver-281017-1169309482 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281017-1169309482/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6de7d3efe3081e320288f0df4e05490b
RANDOM SEED= 344059529
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: 1296344 kB
Buffers: 48932 kB
Cached: 510436 kB
SwapCached: 0 kB
Active: 330132 kB
Inactive: 352540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1296344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1708 kB
Writeback: 0 kB
Mapped: 143456 kB
Slab: 61624 kB
Committed_AS: 8956200 kB
PageTables: 2388 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 node17 on Sat Jan 20 16:12:34 UTC 2007