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/280873-1169308332/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.099 cpuTime=0.08 mem=6M887
0.42
0.42 relations being loaded...
0.47
0.47 constraints being loaded...
0.54 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.54 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1286 maxDegree=10
0.54 maxArity=2
0.54 => wckTime=0.212 cpuTime=0.16 mem=8M854
0.57
0.57 solver LocalSearchSolver being built...
0.62 => wckTime=0.295 cpuTime=0.2 mem=5M496
0.62
0.62 s SATISFIABLE
0.62 o 63
0.62 c 46
0.62 o 69
0.62 c 40
0.62 o 73
0.62 c 36
0.62 o 77
0.62 c 32
0.63 o 79
0.63 c 30
0.63 o 81
0.63 c 28
0.63 o 83
0.63 c 26
0.63 o 84
0.63 c 25
0.63 o 86
0.63 c 23
0.63 o 88
0.63 c 21
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.64 o 92
0.64 c 17
0.64 o 94
0.64 c 15
0.64 o 95
0.64 c 14
0.64 o 96
0.64 c 13
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.65 o 101
0.65 c 8
0.65 o 102
0.65 c 7
0.66 o 103
0.66 c 6
0.66 o 104
0.66 c 5
0.68 o 105
0.68 c 4
0.70 o 106
0.70 c 3
2.00
2.00 search
2.00 run=0 nbConstraintChecks=6092146 nbAssignments=10000
2.00 => wckTime=1.383 cpuTime=1.36 mem=5M496
3.36
3.36 search
3.36 run=1 nbConstraintChecks=12467912 nbAssignments=20000
3.36 => wckTime=2.74 cpuTime=2.7 mem=5M496
4.66
4.66 search
4.66 run=2 nbConstraintChecks=18349821 nbAssignments=30000
4.66 => wckTime=4.045 cpuTime=3.98 mem=5M496
5.94
5.94 search
5.94 run=3 nbConstraintChecks=24127043 nbAssignments=40000
5.94 => wckTime=5.325 cpuTime=5.26 mem=5M496
7.23
7.23 search
7.23 run=4 nbConstraintChecks=29952927 nbAssignments=50000
7.23 => wckTime=6.616 cpuTime=6.54 mem=5M496
8.54
8.54 search
8.54 run=5 nbConstraintChecks=35889498 nbAssignments=60000
8.54 => wckTime=7.92 cpuTime=7.83 mem=5M496
9.87
9.87 search
9.87 run=6 nbConstraintChecks=42009710 nbAssignments=70000
9.87 => wckTime=9.256 cpuTime=9.15 mem=5M496
11.20
11.20 search
11.20 run=7 nbConstraintChecks=48060306 nbAssignments=80000
11.20 => wckTime=10.584 cpuTime=10.47 mem=5M496
12.55
12.55 search
12.55 run=8 nbConstraintChecks=54237775 nbAssignments=90000
12.55 => wckTime=11.937 cpuTime=11.81 mem=5M496
13.95
13.95 search
13.95 run=9 nbConstraintChecks=60773924 nbAssignments=100000
13.95 => wckTime=13.329 cpuTime=13.19 mem=5M496
15.27
15.27 search
15.27 run=10 nbConstraintChecks=66812904 nbAssignments=110000
15.27 => wckTime=14.657 cpuTime=14.5 mem=5M496
16.57
16.57 search
16.57 run=11 nbConstraintChecks=72588777 nbAssignments=120000
16.57 => wckTime=15.955 cpuTime=15.79 mem=5M496
17.91
17.91 search
17.91 run=12 nbConstraintChecks=78738532 nbAssignments=130000
17.91 => wckTime=17.297 cpuTime=17.12 mem=5M496
19.28
19.28 search
19.28 run=13 nbConstraintChecks=85040364 nbAssignments=140000
19.28 => wckTime=18.667 cpuTime=18.47 mem=5M496
20.62
20.62 search
20.62 run=14 nbConstraintChecks=91283993 nbAssignments=150000
20.62 => wckTime=20.006 cpuTime=19.8 mem=5M496
21.93
21.93 search
21.93 run=15 nbConstraintChecks=97247943 nbAssignments=160000
21.93 => wckTime=21.313 cpuTime=21.1 mem=5M496
23.25
23.25 search
23.25 run=16 nbConstraintChecks=103361444 nbAssignments=170000
23.25 => wckTime=22.637 cpuTime=22.41 mem=5M496
24.59
24.59 search
24.59 run=17 nbConstraintChecks=109594558 nbAssignments=180000
24.59 => wckTime=23.976 cpuTime=23.74 mem=5M496
25.94
25.94 search
25.94 run=18 nbConstraintChecks=115939069 nbAssignments=190000
25.95 => wckTime=25.328 cpuTime=25.08 mem=5M496
27.30
27.30 search
27.30 run=19 nbConstraintChecks=122168235 nbAssignments=200000
27.30 => wckTime=26.68 cpuTime=26.41 mem=5M496
28.63
28.63 search
28.63 run=20 nbConstraintChecks=128308582 nbAssignments=210000
28.63 => wckTime=28.014 cpuTime=27.73 mem=5M496
30.05
30.05 search
30.05 run=21 nbConstraintChecks=135089059 nbAssignments=220000
30.05 => wckTime=29.43 cpuTime=29.14 mem=5M496
31.00
31.00 search
31.00 run=22 nbConstraintChecks=139382379 nbAssignments=227159
31.00 => wckTime=30.381 cpuTime=30.08 mem=5M496
31.00
31.00 global
31.00 nbConstraintChecks=139382379 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.00 solvingWckTime=30.379 solvingCpuTime=30.08 expiredTime=no totalExploration=no nbFoundSolutions=0
31.00 globalCpuTime=30.34
31.00 => wckTime=30.676 cpuTime=30.28 mem=5M496
31.00
31.00 solver IterativeSystematicSolver being built...
31.13 => wckTime=30.81 cpuTime=30.39 mem=16M518
31.18
31.18 preprocessing
31.18 nbConstraintChecks=16059 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.18 detectedInconsistency=no
31.18 => wckTime=0.046 cpuTime=0.02 mem=16M518
31.23
31.23 search
31.23 run=0 nbConstraintChecks=90998 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58
31.23 nbFailedAssignments=46 nbBacktracks=10 nbVisitedNodes=114 nbRestartNogoods=0
31.23 => wckTime=0.09 cpuTime=0.06 mem=16M518
31.27
31.27 search
31.27 run=1 nbConstraintChecks=194246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=125
31.27 nbFailedAssignments=92 nbBacktracks=25 nbVisitedNodes=242 nbRestartNogoods=1
31.27 => wckTime=0.136 cpuTime=0.1 mem=16M518
31.32
31.32 search
31.32 run=2 nbConstraintChecks=331102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=217
31.32 nbFailedAssignments=153 nbBacktracks=47 nbVisitedNodes=417 nbRestartNogoods=12
31.32 => wckTime=0.189 cpuTime=0.14 mem=16M518
31.39
31.39 search
31.39 run=3 nbConstraintChecks=568822 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=380
31.39 nbFailedAssignments=273 nbBacktracks=80 nbVisitedNodes=733 nbRestartNogoods=27
31.39 => wckTime=0.258 cpuTime=0.21 mem=16M518
31.52
31.52 search
31.52 run=4 nbConstraintChecks=990466 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=632
31.52 nbFailedAssignments=467 nbBacktracks=130 nbVisitedNodes=1229 nbRestartNogoods=43
31.52 => wckTime=0.383 cpuTime=0.33 mem=16M518
31.74
31.74 search
31.74 run=5 nbConstraintChecks=1649134 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1053
31.74 nbFailedAssignments=808 nbBacktracks=205 nbVisitedNodes=2065 nbRestartNogoods=57
31.74 => wckTime=0.605 cpuTime=0.54 mem=16M518
31.95
31.95 search
31.95 run=6 nbConstraintChecks=2243273 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1447
31.95 nbFailedAssignments=1082 nbBacktracks=318 nbVisitedNodes=2846 nbRestartNogoods=67
31.95 => wckTime=0.818 cpuTime=0.75 mem=16M518
32.36
32.36 search
32.36 run=7 nbConstraintChecks=3568147 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2283
32.36 nbFailedAssignments=1740 nbBacktracks=488 nbVisitedNodes=4509 nbRestartNogoods=82
32.36 => wckTime=1.229 cpuTime=1.14 mem=16M518
32.90
32.90 search
32.90 run=8 nbConstraintChecks=5333563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3369
32.90 nbFailedAssignments=2566 nbBacktracks=744 nbVisitedNodes=6670 nbRestartNogoods=92
32.90 => wckTime=1.77 cpuTime=1.67 mem=16M518
33.64
33.64 search
33.64 run=9 nbConstraintChecks=7534619 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4801
33.64 nbFailedAssignments=3606 nbBacktracks=1128 nbVisitedNodes=9525 nbRestartNogoods=100
33.64 => wckTime=2.501 cpuTime=2.4 mem=16M518
34.69
34.69 search
34.69 run=10 nbConstraintChecks=10931827 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6992
34.69 nbFailedAssignments=5210 nbBacktracks=1704 nbVisitedNodes=13896 nbRestartNogoods=130
34.69 => wckTime=3.559 cpuTime=3.44 mem=16M518
36.14
36.14 search
36.14 run=11 nbConstraintChecks=15536776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10066
36.14 nbFailedAssignments=7415 nbBacktracks=2568 nbVisitedNodes=20026 nbRestartNogoods=153
36.14 => wckTime=5.01 cpuTime=4.88 mem=16M518
38.47
38.47 search
38.47 run=12 nbConstraintChecks=22635982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14625
38.47 nbFailedAssignments=10670 nbBacktracks=3865 nbVisitedNodes=29112 nbRestartNogoods=167
38.47 => wckTime=7.333 cpuTime=7.18 mem=16M518
41.39
41.39 search
41.39 run=13 nbConstraintChecks=31651714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20742
41.39 nbFailedAssignments=14837 nbBacktracks=5811 nbVisitedNodes=41295 nbRestartNogoods=181
41.39 => wckTime=10.256 cpuTime=10.07 mem=16M518
45.34
45.34 search
45.34 run=14 nbConstraintChecks=42448153 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28423
45.34 nbFailedAssignments=19598 nbBacktracks=8730 nbVisitedNodes=56489 nbRestartNogoods=186
45.34 => wckTime=14.204 cpuTime=13.99 mem=16M518
51.26
51.26 search
51.26 run=15 nbConstraintChecks=58815293 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39771
51.26 nbFailedAssignments=26565 nbBacktracks=13108 nbVisitedNodes=78864 nbRestartNogoods=197
51.26 => wckTime=20.129 cpuTime=19.86 mem=16M518
59.48
59.48 search
59.48 run=16 nbConstraintChecks=80468964 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55878
59.48 nbFailedAssignments=36099 nbBacktracks=19676 nbVisitedNodes=110559 nbRestartNogoods=222
59.48 => wckTime=28.344 cpuTime=28.0 mem=16M518
69.92
69.92 search
69.92 run=17 nbConstraintChecks=107994386 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76249
69.92 nbFailedAssignments=48221 nbBacktracks=27926 nbVisitedNodes=150604 nbRestartNogoods=229
69.92 => wckTime=38.786 cpuTime=38.35 mem=16M518
69.92
69.92 global
69.92 nbConstraintChecks=108010445 nbRestartNogoods=229 solvingWckTime=38.787 solvingCpuTime=38.35 expiredTime=no
69.92 totalExploration=yes nbFoundSolutions=0 globalCpuTime=68.8
69.92 => wckTime=69.597 cpuTime=68.74 mem=16M518
69.92
69.92 s OPTIMUM FOUND
69.92 v 2 7 8 1 3 0 3 7 0 2 3 4 8 7 4 3 4 5 8 9 2 6 0 7 5 6 7 5 3 1
69.93
69.93 totalWckTime=69.681 totalCpuTime=68.8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-280873-1169308332 -o ROOT/results/node5/solver-280873-1169308332 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280873-1169308332/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.93 1.96 1.98 4/94 26048
/proc/meminfo: memFree=1419056/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=18540 CPUtime=0
/proc/26047/stat : 26047 (runsolver) R 26045 26047 24456 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 259447754 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26047/statm: 4635 279 244 17 0 2626 0
[startup+0.107849 s]
/proc/loadavg: 1.93 1.96 1.98 4/94 26048
/proc/meminfo: memFree=1419056/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=913236 CPUtime=0.08
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 2921 0 1 0 7 1 0 0 17 0 8 0 259447754 935153664 2667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8326835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.515893 s]
/proc/loadavg: 1.93 1.96 1.98 4/94 26048
/proc/meminfo: memFree=1419056/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915332 CPUtime=0.49
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 6525 0 1 0 45 4 0 0 18 0 8 0 259447754 937299968 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228833 6264 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33898 s]
/proc/loadavg: 1.93 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1401208/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915444 CPUtime=1.3
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 7138 0 1 0 105 25 0 0 25 0 8 0 259447754 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8356151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228861 6876 2479 14 0 215331 0
[pid=26047/tid=26049] ppid=26045 vsize=915444 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 259447759 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915444 CPUtime=0.11
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 259447763 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 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.3
Current children cumulated vsize (KiB) 915444
[startup+2.99217 s]
/proc/loadavg: 1.93 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1401208/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915444 CPUtime=2.94
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 7141 0 1 0 220 74 0 0 25 0 8 0 259447754 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228861 6878 2479 14 0 215331 0
[pid=26047/tid=26049] ppid=26045 vsize=915444 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 259447759 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915444 CPUtime=0.11
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 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.94
Current children cumulated vsize (KiB) 915444
[startup+6.28255 s]
/proc/loadavg: 1.94 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1401144/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915448 CPUtime=6.2
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 7141 0 1 0 443 177 0 0 25 0 8 0 259447754 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228862 6878 2479 14 0 215332 0
[pid=26047/tid=26049] ppid=26045 vsize=915448 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 259447759 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915448 CPUtime=0.11
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 259447763 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 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.2
Current children cumulated vsize (KiB) 915448
[startup+12.7703 s]
/proc/loadavg: 1.95 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1401144/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915444 CPUtime=12.62
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 7141 0 1 0 891 371 0 0 25 0 8 0 259447754 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228861 6878 2479 14 0 215331 0
[pid=26047/tid=26049] ppid=26045 vsize=915444 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 259447759 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915444 CPUtime=0.11
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 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.62
Current children cumulated vsize (KiB) 915444
[startup+25.6067 s]
/proc/loadavg: 1.95 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1401272/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915448 CPUtime=25.34
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 7142 0 1 0 1789 745 0 0 25 0 8 0 259447754 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228862 6879 2479 14 0 215332 0
[pid=26047/tid=26049] ppid=26045 vsize=915448 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 259447759 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915448 CPUtime=0.11
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 334 0 0 0 11 0 0 0 16 0 8 0 259447763 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 937418752 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) 915448
[startup+51.2156 s]
/proc/loadavg: 1.97 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1393976/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915444 CPUtime=50.71
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 9033 0 1 0 4170 901 0 0 25 0 8 0 259447754 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228861 8766 2532 14 0 215331 0
[pid=26047/tid=26049] ppid=26045 vsize=915444 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 259447759 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915444 CPUtime=0.22
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 259447763 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 70.0367
CPU time (s): 69.2705
CPU user time (s): 60.2488
CPU system time (s): 9.02163
CPU usage (%): 98.906
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.2488
system time used= 9.02163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9134
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= 2521
involuntary context switches= 6783
runsolver used 0.091986 s user time and 0.238963 s system time
The end
Begin job on node5 on Sat Jan 20 15:52:12 UTC 2007
IDJOB= 280873
IDBENCH= 11976
IDSOLVER= 68
FILE ID= node5/280873-1169308332
PBS_JOBID= 3609912
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-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280873-1169308332/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-280873-1169308332 -o ROOT/results/node5/solver-280873-1169308332 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280873-1169308332/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2f903287dfcd44ff41155359b563f095
RANDOM SEED= 164065511
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.240
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.240
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: 1419600 kB
Buffers: 58184 kB
Cached: 443520 kB
SwapCached: 0 kB
Active: 116076 kB
Inactive: 441908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1419600 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1808 kB
Writeback: 0 kB
Mapped: 82824 kB
Slab: 63028 kB
Committed_AS: 7471824 kB
PageTables: 2268 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 node5 on Sat Jan 20 15:53:23 UTC 2007