0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/280819-1169308104/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.099 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.47
0.47 constraints being loaded...
0.53 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.53 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1294 maxDegree=12
0.53 maxArity=2
0.53 => wckTime=0.211 cpuTime=0.16 mem=8M854
0.57
0.57 solver LocalSearchSolver being built...
0.62 => wckTime=0.296 cpuTime=0.2 mem=5M496
0.62
0.62 s SATISFIABLE
0.62 o 66
0.62 c 43
0.62 o 69
0.62 c 40
0.62 o 71
0.62 c 38
0.62 o 73
0.62 c 36
0.62 o 76
0.62 c 33
0.62 o 77
0.62 c 32
0.63 o 78
0.63 c 31
0.63 o 82
0.63 c 27
0.63 o 84
0.63 c 25
0.63 o 85
0.63 c 24
0.63 o 87
0.63 c 22
0.63 o 89
0.63 c 20
0.63 o 90
0.63 c 19
0.63 o 91
0.63 c 18
0.63 o 93
0.63 c 16
0.64 o 96
0.64 c 13
0.64 o 97
0.64 c 12
0.64 o 98
0.64 c 11
0.64 o 99
0.64 c 10
0.64 o 100
0.64 c 9
0.64 o 101
0.64 c 8
0.64 o 102
0.64 c 7
0.65 o 103
0.65 c 6
0.66 o 104
0.66 c 5
0.66 o 106
0.66 c 3
0.66 o 107
0.66 c 2
1.93
1.93 search
1.93 run=0 nbConstraintChecks=5460373 nbAssignments=10000
1.93 => wckTime=1.311 cpuTime=1.28 mem=5M496
3.20
3.20 search
3.20 run=1 nbConstraintChecks=11067123 nbAssignments=20000
3.20 => wckTime=2.587 cpuTime=2.54 mem=5M496
4.48
4.48 search
4.48 run=2 nbConstraintChecks=16794592 nbAssignments=30000
4.48 => wckTime=3.862 cpuTime=3.8 mem=5M496
5.77
5.77 search
5.77 run=3 nbConstraintChecks=22628481 nbAssignments=40000
5.77 => wckTime=5.156 cpuTime=5.09 mem=5M496
7.03
7.03 search
7.03 run=4 nbConstraintChecks=28190213 nbAssignments=50000
7.03 => wckTime=6.413 cpuTime=6.32 mem=5M496
8.28
8.28 search
8.28 run=5 nbConstraintChecks=33723701 nbAssignments=60000
8.28 => wckTime=7.668 cpuTime=7.57 mem=5M496
9.53
9.53 search
9.53 run=6 nbConstraintChecks=39229271 nbAssignments=70000
9.53 => wckTime=8.917 cpuTime=8.81 mem=5M496
10.78
10.78 search
10.78 run=7 nbConstraintChecks=44732070 nbAssignments=80000
10.78 => wckTime=10.169 cpuTime=10.05 mem=5M496
12.04
12.04 search
12.04 run=8 nbConstraintChecks=50283123 nbAssignments=90000
12.04 => wckTime=11.424 cpuTime=11.3 mem=5M496
13.28
13.28 search
13.28 run=9 nbConstraintChecks=55672270 nbAssignments=100000
13.28 => wckTime=12.666 cpuTime=12.53 mem=5M496
14.54
14.54 search
14.54 run=10 nbConstraintChecks=61185741 nbAssignments=110000
14.54 => wckTime=13.93 cpuTime=13.78 mem=5M496
15.88
15.88 search
15.88 run=11 nbConstraintChecks=67187232 nbAssignments=120000
15.88 => wckTime=15.264 cpuTime=15.1 mem=5M496
17.15
17.15 search
17.15 run=12 nbConstraintChecks=72748469 nbAssignments=130000
17.15 => wckTime=16.532 cpuTime=16.35 mem=5M496
18.40
18.40 search
18.40 run=13 nbConstraintChecks=78174324 nbAssignments=140000
18.40 => wckTime=17.786 cpuTime=17.6 mem=5M496
19.64
19.64 search
19.64 run=14 nbConstraintChecks=83545610 nbAssignments=150000
19.64 => wckTime=19.03 cpuTime=18.84 mem=5M496
20.90
20.90 search
20.90 run=15 nbConstraintChecks=88957555 nbAssignments=160000
20.90 => wckTime=20.282 cpuTime=20.07 mem=5M496
22.14
22.14 search
22.14 run=16 nbConstraintChecks=94334007 nbAssignments=170000
22.14 => wckTime=21.526 cpuTime=21.31 mem=5M496
23.40
23.40 search
23.40 run=17 nbConstraintChecks=99814417 nbAssignments=180000
23.40 => wckTime=22.782 cpuTime=22.55 mem=5M496
24.66
24.66 search
24.66 run=18 nbConstraintChecks=105396157 nbAssignments=190000
24.66 => wckTime=24.041 cpuTime=23.8 mem=5M496
25.99
25.99 search
25.99 run=19 nbConstraintChecks=111544842 nbAssignments=200000
25.99 => wckTime=25.374 cpuTime=25.12 mem=5M496
27.26
27.26 search
27.26 run=20 nbConstraintChecks=117168173 nbAssignments=210000
27.26 => wckTime=26.643 cpuTime=26.37 mem=5M496
28.57
28.57 search
28.57 run=21 nbConstraintChecks=123111573 nbAssignments=220000
28.57 => wckTime=27.953 cpuTime=27.67 mem=5M496
29.81
29.81 search
29.81 run=22 nbConstraintChecks=128593066 nbAssignments=230000
29.81 => wckTime=29.2 cpuTime=28.9 mem=5M496
30.96
30.96 search
30.96 run=23 nbConstraintChecks=133586595 nbAssignments=239160
30.96 => wckTime=30.343 cpuTime=30.04 mem=5M496
30.96
30.96 global
30.96 nbConstraintChecks=133586595 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.96 solvingWckTime=30.342 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
30.96 globalCpuTime=30.29
30.96 => wckTime=30.64 cpuTime=30.24 mem=5M496
30.96
30.96 solver IterativeSystematicSolver being built...
31.09 => wckTime=30.773 cpuTime=30.35 mem=16M518
31.14
31.14 preprocessing
31.14 nbConstraintChecks=16860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.14 detectedInconsistency=no
31.14 => wckTime=0.045 cpuTime=0.02 mem=16M518
31.19
31.19 search
31.19 run=0 nbConstraintChecks=134799 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87
31.19 nbFailedAssignments=68 nbBacktracks=10 nbVisitedNodes=166 nbRestartNogoods=0
31.19 => wckTime=0.097 cpuTime=0.06 mem=16M518
31.23
31.23 search
31.23 run=1 nbConstraintChecks=216317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136
31.23 nbFailedAssignments=100 nbBacktracks=25 nbVisitedNodes=260 nbRestartNogoods=21
31.23 => wckTime=0.139 cpuTime=0.09 mem=16M518
31.29
31.29 search
31.29 run=2 nbConstraintChecks=375978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=244
31.29 nbFailedAssignments=176 nbBacktracks=47 nbVisitedNodes=466 nbRestartNogoods=33
31.29 => wckTime=0.198 cpuTime=0.14 mem=16M518
31.36
31.36 search
31.36 run=3 nbConstraintChecks=604876 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=379
31.36 nbFailedAssignments=273 nbBacktracks=80 nbVisitedNodes=731 nbRestartNogoods=51
31.36 => wckTime=0.268 cpuTime=0.21 mem=16M518
31.50
31.50 search
31.50 run=4 nbConstraintChecks=1051452 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=649
31.50 nbFailedAssignments=486 nbBacktracks=131 nbVisitedNodes=1262 nbRestartNogoods=54
31.50 => wckTime=0.406 cpuTime=0.35 mem=16M518
31.68
31.68 search
31.68 run=5 nbConstraintChecks=1610397 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1013
31.68 nbFailedAssignments=772 nbBacktracks=206 nbVisitedNodes=1981 nbRestartNogoods=67
31.68 => wckTime=0.587 cpuTime=0.53 mem=16M518
31.99
31.99 search
31.99 run=6 nbConstraintChecks=2500135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1562
31.99 nbFailedAssignments=1202 nbBacktracks=319 nbVisitedNodes=3069 nbRestartNogoods=73
31.99 => wckTime=0.901 cpuTime=0.82 mem=16M518
32.39
32.39 search
32.39 run=7 nbConstraintChecks=3842553 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2402
32.39 nbFailedAssignments=1867 nbBacktracks=489 nbVisitedNodes=4723 nbRestartNogoods=85
32.39 => wckTime=1.294 cpuTime=1.21 mem=16M518
32.95
32.95 search
32.95 run=8 nbConstraintChecks=5999797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3687
32.95 nbFailedAssignments=2889 nbBacktracks=745 nbVisitedNodes=7271 nbRestartNogoods=99
32.95 => wckTime=1.852 cpuTime=1.76 mem=16M518
33.63
33.63 search
33.63 run=9 nbConstraintChecks=8391469 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5105
33.63 nbFailedAssignments=3915 nbBacktracks=1129 nbVisitedNodes=10097 nbRestartNogoods=110
33.63 => wckTime=2.532 cpuTime=2.44 mem=16M518
34.80
34.80 search
34.80 run=10 nbConstraintChecks=12656465 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7628
34.80 nbFailedAssignments=5855 nbBacktracks=1705 nbVisitedNodes=15126 nbRestartNogoods=124
34.80 => wckTime=3.709 cpuTime=3.6 mem=16M518
36.59
36.59 search
36.59 run=11 nbConstraintChecks=19231502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11587
36.59 nbFailedAssignments=8948 nbBacktracks=2569 nbVisitedNodes=23021 nbRestartNogoods=137
36.59 => wckTime=5.492 cpuTime=5.36 mem=16M518
39.21
39.21 search
39.21 run=12 nbConstraintChecks=28400855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17113
39.21 nbFailedAssignments=13170 nbBacktracks=3866 nbVisitedNodes=34025 nbRestartNogoods=140
39.21 => wckTime=8.117 cpuTime=7.97 mem=16M518
43.44
43.44 search
43.44 run=13 nbConstraintChecks=41664767 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25349
43.44 nbFailedAssignments=19457 nbBacktracks=5812 nbVisitedNodes=50390 nbRestartNogoods=162
43.44 => wckTime=12.349 cpuTime=12.16 mem=16M518
48.74
48.74 search
48.74 run=14 nbConstraintChecks=57993772 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36156
48.74 nbFailedAssignments=27336 nbBacktracks=8731 nbVisitedNodes=71849 nbRestartNogoods=174
48.74 => wckTime=17.647 cpuTime=17.4 mem=16M518
55.92
55.92 search
55.92 run=15 nbConstraintChecks=78731109 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50372
55.92 nbFailedAssignments=37167 nbBacktracks=13109 nbVisitedNodes=99901 nbRestartNogoods=196
55.92 => wckTime=24.83 cpuTime=24.53 mem=16M518
59.44
59.45 search
59.45 run=16 nbConstraintChecks=88168645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57362
59.45 nbFailedAssignments=41695 nbBacktracks=15572 nbVisitedNodes=113554 nbRestartNogoods=208
59.45 => wckTime=28.351 cpuTime=28.02 mem=16M518
59.45
59.45 global
59.45 nbConstraintChecks=88185505 nbRestartNogoods=208 solvingWckTime=28.352 solvingCpuTime=28.02 expiredTime=no
59.45 totalExploration=yes nbFoundSolutions=0 globalCpuTime=58.42
59.45 => wckTime=59.127 cpuTime=58.37 mem=16M518
59.45
59.45 s OPTIMUM FOUND
59.45 v 4 0 4 8 2 0 6 7 1 2 8 9 4 2 1 6 9 9 5 8 9 5 4 3 1 8 7 6 5 9
59.45
59.45 totalWckTime=59.209 totalCpuTime=58.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-280819-1169308104 -o ROOT/results/node68/solver-280819-1169308104 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280819-1169308104/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.57 1.15 1.05 2/81 7952
/proc/meminfo: memFree=1376136/2055920 swapFree=4192812/4192956
[pid=7951] ppid=7949 vsize=18540 CPUtime=0
/proc/7951/stat : 7951 (runsolver) R 7949 7951 7713 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 78307383 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 257414458663 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7951/statm: 4635 279 244 17 0 2626 0
[startup+0.103054 s]
/proc/loadavg: 1.57 1.15 1.05 2/81 7952
/proc/meminfo: memFree=1376136/2055920 swapFree=4192812/4192956
[pid=7951] ppid=7949 vsize=913228 CPUtime=0.08
/proc/7951/stat : 7951 (java) S 7949 7951 7713 0 -1 0 2909 0 1 0 7 1 0 0 19 0 8 0 78307383 935145472 2655 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7951/statm: 228307 2655 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.512089 s]
/proc/loadavg: 1.57 1.15 1.05 2/81 7952
/proc/meminfo: memFree=1376136/2055920 swapFree=4192812/4192956
[pid=7951] ppid=7949 vsize=915332 CPUtime=0.48
/proc/7951/stat : 7951 (java) R 7949 7951 7713 0 -1 0 6526 0 1 0 45 3 0 0 18 0 8 0 78307383 937299968 6265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7951/statm: 228833 6265 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33316 s]
/proc/loadavg: 1.60 1.17 1.05 3/88 7959
/proc/meminfo: memFree=1358288/2055920 swapFree=4192812/4192956
[pid=7951] ppid=7949 vsize=915444 CPUtime=1.29
/proc/7951/stat : 7951 (java) R 7949 7951 7713 0 -1 0 7138 0 1 0 106 23 0 0 25 0 8 0 78307383 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7951/statm: 228861 6876 2479 14 0 215331 0
[pid=7951/tid=7953] ppid=7949 vsize=915444 CPUtime=0.02
/proc/7951/task/7953/stat : 7953 (java) S 7949 7951 7713 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78307386 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7954] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7954/stat : 7954 (java) S 7949 7951 7713 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78307387 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7955] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7955/stat : 7955 (java) S 7949 7951 7713 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78307387 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7956] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7956/stat : 7956 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78307390 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7957] ppid=7949 vsize=915444 CPUtime=0.12
/proc/7951/task/7957/stat : 7957 (java) S 7949 7951 7713 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 78307390 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7958] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7958/stat : 7958 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78307390 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7959] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7959/stat : 7959 (java) S 7949 7951 7713 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78307390 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915444
[startup+2.97031 s]
/proc/loadavg: 1.60 1.17 1.05 3/88 7959
/proc/meminfo: memFree=1358288/2055920 swapFree=4192812/4192956
[pid=7951] ppid=7949 vsize=915444 CPUtime=2.92
/proc/7951/stat : 7951 (java) R 7949 7951 7713 0 -1 0 7141 0 1 0 220 72 0 0 25 0 8 0 78307383 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7951/statm: 228861 6878 2479 14 0 215331 0
[pid=7951/tid=7953] ppid=7949 vsize=915444 CPUtime=0.02
/proc/7951/task/7953/stat : 7953 (java) S 7949 7951 7713 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78307386 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7954] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7954/stat : 7954 (java) S 7949 7951 7713 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78307387 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7955] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7955/stat : 7955 (java) S 7949 7951 7713 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78307387 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7956] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7956/stat : 7956 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78307390 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7957] ppid=7949 vsize=915444 CPUtime=0.12
/proc/7951/task/7957/stat : 7957 (java) S 7949 7951 7713 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 78307390 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7958] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7958/stat : 7958 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78307390 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7959] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7959/stat : 7959 (java) S 7949 7951 7713 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78307390 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.25461 s]
/proc/loadavg: 1.63 1.18 1.06 3/88 7959
/proc/meminfo: memFree=1358224/2055920 swapFree=4192812/4192956
[pid=7951] ppid=7949 vsize=915448 CPUtime=6.17
/proc/7951/stat : 7951 (java) R 7949 7951 7713 0 -1 0 7141 0 1 0 445 172 0 0 25 0 8 0 78307383 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7951/statm: 228862 6878 2479 14 0 215332 0
[pid=7951/tid=7953] ppid=7949 vsize=915448 CPUtime=0.02
/proc/7951/task/7953/stat : 7953 (java) S 7949 7951 7713 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78307386 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7954] ppid=7949 vsize=915448 CPUtime=0
/proc/7951/task/7954/stat : 7954 (java) S 7949 7951 7713 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78307387 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7955] ppid=7949 vsize=915448 CPUtime=0
/proc/7951/task/7955/stat : 7955 (java) S 7949 7951 7713 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78307387 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7956] ppid=7949 vsize=915448 CPUtime=0
/proc/7951/task/7956/stat : 7956 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78307390 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7957] ppid=7949 vsize=915448 CPUtime=0.12
/proc/7951/task/7957/stat : 7957 (java) S 7949 7951 7713 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 78307390 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7958] ppid=7949 vsize=915448 CPUtime=0
/proc/7951/task/7958/stat : 7958 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78307390 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7959] ppid=7949 vsize=915448 CPUtime=0
/proc/7951/task/7959/stat : 7959 (java) S 7949 7951 7713 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78307390 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915448
[startup+12.7352 s]
/proc/loadavg: 1.66 1.19 1.06 3/88 7959
/proc/meminfo: memFree=1358224/2055920 swapFree=4192812/4192956
[pid=7951] ppid=7949 vsize=915444 CPUtime=12.6
/proc/7951/stat : 7951 (java) R 7949 7951 7713 0 -1 0 7141 0 1 0 887 373 0 0 25 0 8 0 78307383 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7951/statm: 228861 6878 2479 14 0 215331 0
[pid=7951/tid=7953] ppid=7949 vsize=915444 CPUtime=0.02
/proc/7951/task/7953/stat : 7953 (java) S 7949 7951 7713 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78307386 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7954] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7954/stat : 7954 (java) S 7949 7951 7713 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78307387 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7955] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7955/stat : 7955 (java) S 7949 7951 7713 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78307387 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7956] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7956/stat : 7956 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78307390 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7957] ppid=7949 vsize=915444 CPUtime=0.12
/proc/7951/task/7957/stat : 7957 (java) S 7949 7951 7713 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 78307390 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7958] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7958/stat : 7958 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78307390 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7959] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7959/stat : 7959 (java) S 7949 7951 7713 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78307390 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915444
[startup+25.5964 s]
/proc/loadavg: 1.71 1.22 1.07 3/88 7959
/proc/meminfo: memFree=1358288/2055920 swapFree=4192812/4192956
[pid=7951] ppid=7949 vsize=915444 CPUtime=25.34
/proc/7951/stat : 7951 (java) R 7949 7951 7713 0 -1 0 7142 0 1 0 1766 768 0 0 25 0 8 0 78307383 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7951/statm: 228861 6879 2479 14 0 215331 0
[pid=7951/tid=7953] ppid=7949 vsize=915444 CPUtime=0.02
/proc/7951/task/7953/stat : 7953 (java) S 7949 7951 7713 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78307386 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7954] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7954/stat : 7954 (java) S 7949 7951 7713 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78307387 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7955] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7955/stat : 7955 (java) S 7949 7951 7713 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78307387 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7956] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7956/stat : 7956 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78307390 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7957] ppid=7949 vsize=915444 CPUtime=0.12
/proc/7951/task/7957/stat : 7957 (java) S 7949 7951 7713 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 78307390 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7958] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7958/stat : 7958 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78307390 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7959] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7959/stat : 7959 (java) S 7949 7951 7713 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78307390 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915444
[startup+51.1977 s]
/proc/loadavg: 1.83 1.29 1.10 3/88 7959
/proc/meminfo: memFree=1350992/2055920 swapFree=4192812/4192956
[pid=7951] ppid=7949 vsize=915444 CPUtime=50.7
/proc/7951/stat : 7951 (java) R 7949 7951 7713 0 -1 0 9035 0 1 0 4138 932 0 0 25 0 8 0 78307383 937414656 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7951/statm: 228861 8767 2532 14 0 215331 0
[pid=7951/tid=7953] ppid=7949 vsize=915444 CPUtime=0.02
/proc/7951/task/7953/stat : 7953 (java) S 7949 7951 7713 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 78307386 937414656 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7954] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7954/stat : 7954 (java) S 7949 7951 7713 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78307387 937414656 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7955] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7955/stat : 7955 (java) S 7949 7951 7713 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78307387 937414656 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7956] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7956/stat : 7956 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78307390 937414656 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7957] ppid=7949 vsize=915444 CPUtime=0.23
/proc/7951/task/7957/stat : 7957 (java) S 7949 7951 7713 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 78307390 937414656 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7958] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7958/stat : 7958 (java) S 7949 7951 7713 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78307390 937414656 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7951/tid=7959] ppid=7949 vsize=915444 CPUtime=0
/proc/7951/task/7959/stat : 7959 (java) S 7949 7951 7713 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 78307390 937414656 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 59.5056
CPU time (s): 58.906
CPU user time (s): 49.5715
CPU system time (s): 9.33458
CPU usage (%): 98.9925
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.5715
system time used= 9.33458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9132
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= 2309
involuntary context switches= 4005
runsolver used 0.081987 s user time and 0.187971 s system time
The end
Begin job on node68 on Sat Jan 20 15:48:24 UTC 2007
IDJOB= 280819
IDBENCH= 11962
IDSOLVER= 68
FILE ID= node68/280819-1169308104
PBS_JOBID= 3610194
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280819-1169308104/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-280819-1169308104 -o ROOT/results/node68/solver-280819-1169308104 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280819-1169308104/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0f15bbbfa020879fc56da52359ac7b7e
RANDOM SEED= 175018102
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.232
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.232
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: 1376552 kB
Buffers: 52556 kB
Cached: 522580 kB
SwapCached: 144 kB
Active: 156600 kB
Inactive: 446864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1376552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1900 kB
Writeback: 0 kB
Mapped: 45892 kB
Slab: 61248 kB
Committed_AS: 868388 kB
PageTables: 1820 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= 66563 MiB
End job on node68 on Sat Jan 20 15:49:23 UTC 2007