0.49
0.49 Abscon 109 (November, 2006)
0.49
0.49 configuration
0.50 name=pfc.xml
0.53
0.53 instance
0.53 name=/tmp/evaluation/280784-1169307963/unknown.xml
0.56
0.56 domains being loaded...
0.57
0.57 variables being loaded...
0.60 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.60 => wckTime=0.102 cpuTime=0.08 mem=6M910
0.60
0.60 relations being loaded...
0.65
0.65 constraints being loaded...
0.71 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1288 maxDegree=12
0.71 maxArity=2
0.71 => wckTime=0.214 cpuTime=0.15 mem=8M893
0.75
0.75 solver LocalSearchSolver being built...
0.80 => wckTime=0.299 cpuTime=0.19 mem=5M496
0.80
0.80 s SATISFIABLE
0.80 o 65
0.80 c 44
0.80 o 69
0.80 c 40
0.80 o 71
0.80 c 38
0.80 o 72
0.80 c 37
0.81 o 74
0.81 c 35
0.81 o 77
0.81 c 32
0.81 o 80
0.81 c 29
0.81 o 82
0.81 c 27
0.81 o 84
0.81 c 25
0.81 o 88
0.81 c 21
0.81 o 90
0.81 c 19
0.81 o 91
0.81 c 18
0.81 o 92
0.81 c 17
0.81 o 95
0.81 c 14
0.82 o 96
0.82 c 13
0.82 o 97
0.82 c 12
0.82 o 98
0.82 c 11
0.82 o 100
0.82 c 9
0.82 o 101
0.82 c 8
0.82 o 102
0.82 c 7
0.82 o 103
0.82 c 6
0.82 o 104
0.82 c 5
0.82 o 105
0.82 c 4
0.82 o 106
0.82 c 3
0.83 o 107
0.83 c 2
2.12
2.12 search
2.12 run=0 nbConstraintChecks=5505705 nbAssignments=10000
2.12 => wckTime=1.327 cpuTime=1.3 mem=5M496
3.38
3.38 search
3.38 run=1 nbConstraintChecks=11015863 nbAssignments=20000
3.38 => wckTime=2.584 cpuTime=2.53 mem=5M496
4.63
4.63 search
4.63 run=2 nbConstraintChecks=16552600 nbAssignments=30000
4.63 => wckTime=3.837 cpuTime=3.78 mem=5M496
5.93
5.93 search
5.93 run=3 nbConstraintChecks=22479833 nbAssignments=40000
5.93 => wckTime=5.135 cpuTime=5.07 mem=5M496
7.17
7.17 search
7.17 run=4 nbConstraintChecks=27948379 nbAssignments=50000
7.17 => wckTime=6.379 cpuTime=6.3 mem=5M496
8.45
8.45 search
8.45 run=5 nbConstraintChecks=33689080 nbAssignments=60000
8.45 => wckTime=7.659 cpuTime=7.58 mem=5M496
9.71
9.71 search
9.71 run=6 nbConstraintChecks=39229104 nbAssignments=70000
9.71 => wckTime=8.914 cpuTime=8.82 mem=5M496
10.94
10.94 search
10.94 run=7 nbConstraintChecks=44584338 nbAssignments=80000
10.94 => wckTime=10.143 cpuTime=10.03 mem=5M496
12.19
12.19 search
12.19 run=8 nbConstraintChecks=50229467 nbAssignments=90000
12.19 => wckTime=11.399 cpuTime=11.28 mem=5M496
13.44
13.44 search
13.44 run=9 nbConstraintChecks=55799972 nbAssignments=100000
13.44 => wckTime=12.65 cpuTime=12.52 mem=5M496
14.69
14.69 search
14.69 run=10 nbConstraintChecks=61351879 nbAssignments=110000
14.69 => wckTime=13.897 cpuTime=13.76 mem=5M496
15.98
15.98 search
15.98 run=11 nbConstraintChecks=67234591 nbAssignments=120000
15.98 => wckTime=15.188 cpuTime=15.04 mem=5M496
17.21
17.21 search
17.21 run=12 nbConstraintChecks=72678596 nbAssignments=130000
17.21 => wckTime=16.42 cpuTime=16.21 mem=5M496
18.38
18.38 search
18.39 run=13 nbConstraintChecks=78334263 nbAssignments=140000
18.39 => wckTime=17.59 cpuTime=17.38 mem=5M496
19.54
19.54 search
19.54 run=14 nbConstraintChecks=83918110 nbAssignments=150000
19.54 => wckTime=18.749 cpuTime=18.54 mem=5M496
20.73
20.73 search
20.73 run=15 nbConstraintChecks=89732844 nbAssignments=160000
20.73 => wckTime=19.931 cpuTime=19.72 mem=5M496
21.86
21.86 search
21.86 run=16 nbConstraintChecks=95202583 nbAssignments=170000
21.86 => wckTime=21.067 cpuTime=20.86 mem=5M496
23.00
23.00 search
23.00 run=17 nbConstraintChecks=100691825 nbAssignments=180000
23.00 => wckTime=22.206 cpuTime=22.0 mem=5M496
24.13
24.13 search
24.13 run=18 nbConstraintChecks=106118065 nbAssignments=190000
24.13 => wckTime=23.336 cpuTime=23.12 mem=5M496
25.29
25.29 search
25.29 run=19 nbConstraintChecks=111766203 nbAssignments=200000
25.29 => wckTime=24.494 cpuTime=24.28 mem=5M496
26.41
26.41 search
26.41 run=20 nbConstraintChecks=117133844 nbAssignments=210000
26.41 => wckTime=25.618 cpuTime=25.4 mem=5M496
27.59
27.59 search
27.59 run=21 nbConstraintChecks=122936015 nbAssignments=220000
27.59 => wckTime=26.792 cpuTime=26.57 mem=5M496
28.72
28.72 search
28.72 run=22 nbConstraintChecks=128402631 nbAssignments=230000
28.72 => wckTime=27.928 cpuTime=27.71 mem=5M496
29.89
29.89 search
29.89 run=23 nbConstraintChecks=134191460 nbAssignments=240000
29.89 => wckTime=29.099 cpuTime=28.88 mem=5M496
31.03
31.03 search
31.03 run=24 nbConstraintChecks=139763128 nbAssignments=249759
31.03 => wckTime=30.24 cpuTime=30.03 mem=5M496
31.04
31.04 global
31.04 nbConstraintChecks=139763128 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.04 solvingWckTime=30.237 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
31.04 globalCpuTime=30.27
31.04 => wckTime=30.538 cpuTime=30.22 mem=5M496
31.04
31.04 solver IterativeSystematicSolver being built...
31.16 => wckTime=30.659 cpuTime=30.31 mem=16M518
31.16
31.16 preprocessing
31.16 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.16 detectedInconsistency=no
31.16 => wckTime=0.0030 cpuTime=0.0 mem=16M518
31.23
31.23 search
31.23 run=0 nbConstraintChecks=96908 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66
31.23 nbFailedAssignments=49 nbBacktracks=10 nbVisitedNodes=126 nbRestartNogoods=0
31.23 => wckTime=0.075 cpuTime=0.05 mem=16M518
31.28
31.28 search
31.28 run=1 nbConstraintChecks=191504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=132
31.28 nbFailedAssignments=94 nbBacktracks=25 nbVisitedNodes=252 nbRestartNogoods=10
31.28 => wckTime=0.121 cpuTime=0.08 mem=16M518
31.35
31.35 search
31.35 run=2 nbConstraintChecks=442309 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=293
31.35 nbFailedAssignments=228 nbBacktracks=47 nbVisitedNodes=567 nbRestartNogoods=19
31.35 => wckTime=0.193 cpuTime=0.15 mem=16M518
31.41
31.41 search
31.41 run=3 nbConstraintChecks=640608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=422
31.41 nbFailedAssignments=318 nbBacktracks=80 nbVisitedNodes=819 nbRestartNogoods=22
31.41 => wckTime=0.249 cpuTime=0.21 mem=16M518
31.49
31.49 search
31.49 run=4 nbConstraintChecks=911030 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=597
31.49 nbFailedAssignments=438 nbBacktracks=130 nbVisitedNodes=1164 nbRestartNogoods=35
31.49 => wckTime=0.329 cpuTime=0.28 mem=16M518
31.66
31.66 search
31.66 run=5 nbConstraintChecks=1505388 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=983
31.66 nbFailedAssignments=742 nbBacktracks=205 nbVisitedNodes=1927 nbRestartNogoods=44
31.66 => wckTime=0.503 cpuTime=0.45 mem=16M518
31.90
31.90 search
31.90 run=6 nbConstraintChecks=2367823 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1508
31.90 nbFailedAssignments=1146 nbBacktracks=318 nbVisitedNodes=2968 nbRestartNogoods=53
31.91 => wckTime=0.748 cpuTime=0.69 mem=16M518
32.27
32.27 search
32.27 run=7 nbConstraintChecks=3837202 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2375
32.27 nbFailedAssignments=1836 nbBacktracks=488 nbVisitedNodes=4694 nbRestartNogoods=81
32.27 => wckTime=1.117 cpuTime=1.04 mem=16M518
32.71
32.71 search
32.71 run=8 nbConstraintChecks=5468219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3433
32.71 nbFailedAssignments=2633 nbBacktracks=745 nbVisitedNodes=6800 nbRestartNogoods=106
32.71 => wckTime=1.552 cpuTime=1.48 mem=16M518
33.33
33.33 search
33.33 run=9 nbConstraintChecks=7918593 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4992
33.33 nbFailedAssignments=3802 nbBacktracks=1129 nbVisitedNodes=9896 nbRestartNogoods=113
33.33 => wckTime=2.175 cpuTime=2.1 mem=16M518
34.56
34.56 search
34.56 run=10 nbConstraintChecks=12405452 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7847
34.56 nbFailedAssignments=6074 nbBacktracks=1705 nbVisitedNodes=15596 nbRestartNogoods=134
34.56 => wckTime=3.401 cpuTime=3.32 mem=16M518
35.77
35.77 search
35.77 run=11 nbConstraintChecks=16589533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10549
35.77 nbFailedAssignments=7909 nbBacktracks=2569 nbVisitedNodes=20940 nbRestartNogoods=144
35.77 => wckTime=4.609 cpuTime=4.53 mem=16M518
37.94
37.94 search
37.94 run=12 nbConstraintChecks=24646170 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15908
37.94 nbFailedAssignments=11961 nbBacktracks=3866 nbVisitedNodes=31588 nbRestartNogoods=151
37.94 => wckTime=6.781 cpuTime=6.7 mem=16M518
41.12
41.12 search
41.12 run=13 nbConstraintChecks=35292494 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23169
41.12 nbFailedAssignments=17268 nbBacktracks=5815 nbVisitedNodes=45966 nbRestartNogoods=170
41.12 => wckTime=9.966 cpuTime=9.89 mem=16M518
44.87
44.87 search
44.87 run=14 nbConstraintChecks=47142434 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31398
44.87 nbFailedAssignments=22571 nbBacktracks=8735 nbVisitedNodes=62245 nbRestartNogoods=185
44.87 => wckTime=13.709 cpuTime=13.63 mem=16M518
50.28
50.28 search
50.28 run=15 nbConstraintChecks=64266199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43277
50.28 nbFailedAssignments=30069 nbBacktracks=13113 nbVisitedNodes=85558 nbRestartNogoods=203
50.28 => wckTime=19.121 cpuTime=19.04 mem=16M518
57.79
57.79 search
57.79 run=16 nbConstraintChecks=86920065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59487
57.79 nbFailedAssignments=39710 nbBacktracks=19681 nbVisitedNodes=117427 nbRestartNogoods=213
57.79 => wckTime=26.635 cpuTime=26.56 mem=16M518
59.86
59.86 search
59.86 run=17 nbConstraintChecks=93403486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63998
59.86 nbFailedAssignments=42344 nbBacktracks=21559 nbVisitedNodes=126289 nbRestartNogoods=216
59.86 => wckTime=28.698 cpuTime=28.62 mem=16M518
59.86
59.86 global
59.86 nbConstraintChecks=93403486 nbRestartNogoods=216 solvingWckTime=28.699 solvingCpuTime=28.62 expiredTime=no
59.86 totalExploration=yes nbFoundSolutions=0 globalCpuTime=58.98
59.86 => wckTime=59.359 cpuTime=58.93 mem=16M518
59.86
59.86 s OPTIMUM FOUND
59.86 v 3 0 1 0 3 9 0 7 2 2 3 1 1 8 2 1 7 2 0 4 7 5 4 2 8 9 5 4 9 5
59.86
59.86 totalWckTime=59.438 totalCpuTime=58.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-280784-1169307963 -o ROOT/results/node30/solver-280784-1169307963 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280784-1169307963/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.92 1.98 1.99 4/87 9055
/proc/meminfo: memFree=1094160/2055920 swapFree=4167328/4192956
[pid=9054] ppid=9052 vsize=18540 CPUtime=0
/proc/9054/stat : 9054 (runsolver) R 9052 9054 8353 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 279190270 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9054/statm: 4635 279 244 17 0 2626 0
[startup+0.10785 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 9055
/proc/meminfo: memFree=1094160/2055920 swapFree=4167328/4192956
[pid=9054] ppid=9052 vsize=47976 CPUtime=0
/proc/9054/stat : 9054 (java) D 9052 9054 8353 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 279190270 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/9054/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.516876 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 9055
/proc/meminfo: memFree=1094160/2055920 swapFree=4167328/4192956
[pid=9054] ppid=9052 vsize=915260 CPUtime=0.31
/proc/9054/stat : 9054 (java) R 9052 9054 8353 0 -1 0 5283 0 1 0 28 3 0 0 18 0 8 0 279190270 937226240 5029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9054/statm: 228815 5029 2004 14 0 215303 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 915260
[startup+1.34393 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 9062
/proc/meminfo: memFree=1076440/2055920 swapFree=4167328/4192956
[pid=9054] ppid=9052 vsize=915444 CPUtime=1.12
/proc/9054/stat : 9054 (java) R 9052 9054 8353 0 -1 0 7130 0 1 0 93 19 0 0 23 0 8 0 279190270 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9054/statm: 228861 6868 2476 14 0 215331 0
[pid=9054/tid=9056] ppid=9052 vsize=915444 CPUtime=0.02
/proc/9054/task/9056/stat : 9056 (java) S 9052 9054 8353 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279190288 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9057] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 8353 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279190289 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9058] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 8353 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279190289 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9059] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279190297 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9060] ppid=9052 vsize=915444 CPUtime=0.12
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 8353 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 279190297 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9061] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279190297 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9062] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9062/stat : 9062 (java) S 9052 9054 8353 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279190297 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 915444
[startup+2.98602 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 9062
/proc/meminfo: memFree=1076312/2055920 swapFree=4167328/4192956
[pid=9054] ppid=9052 vsize=915444 CPUtime=2.75
/proc/9054/stat : 9054 (java) R 9052 9054 8353 0 -1 0 7133 0 1 0 205 70 0 0 25 0 8 0 279190270 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155277484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9054/statm: 228861 6870 2476 14 0 215331 0
[pid=9054/tid=9056] ppid=9052 vsize=915444 CPUtime=0.02
/proc/9054/task/9056/stat : 9056 (java) S 9052 9054 8353 0 -1 64 153 0 0 0 2 0 0 0 17 0 8 0 279190288 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9057] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 8353 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279190289 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9058] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 8353 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279190289 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9059] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9060] ppid=9052 vsize=915444 CPUtime=0.12
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 8353 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9061] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9062] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9062/stat : 9062 (java) S 9052 9054 8353 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 915444
[startup+6.26523 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 9062
/proc/meminfo: memFree=1076312/2055920 swapFree=4167328/4192956
[pid=9054] ppid=9052 vsize=915444 CPUtime=6.01
/proc/9054/stat : 9054 (java) R 9052 9054 8353 0 -1 0 7133 0 1 0 427 174 0 0 25 0 8 0 279190270 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668742 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9054/statm: 228861 6870 2476 14 0 215331 0
[pid=9054/tid=9056] ppid=9052 vsize=915444 CPUtime=0.02
/proc/9054/task/9056/stat : 9056 (java) S 9052 9054 8353 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279190288 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9057] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 8353 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279190289 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9058] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 8353 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279190289 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9059] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9060] ppid=9052 vsize=915444 CPUtime=0.12
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 8353 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9061] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9062] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9062/stat : 9062 (java) S 9052 9054 8353 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 915444
[startup+12.7536 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 9062
/proc/meminfo: memFree=1076504/2055920 swapFree=4167328/4192956
[pid=9054] ppid=9052 vsize=915444 CPUtime=12.43
/proc/9054/stat : 9054 (java) R 9052 9054 8353 0 -1 0 7133 0 1 0 871 372 0 0 25 0 8 0 279190270 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9054/statm: 228861 6870 2476 14 0 215331 0
[pid=9054/tid=9056] ppid=9052 vsize=915444 CPUtime=0.02
/proc/9054/task/9056/stat : 9056 (java) S 9052 9054 8353 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279190288 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9057] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 8353 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279190289 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9058] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 8353 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279190289 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9059] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9060] ppid=9052 vsize=915444 CPUtime=0.12
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 8353 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9061] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9062] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9062/stat : 9062 (java) S 9052 9054 8353 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279190297 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 915444
[startup+25.5984 s]
/proc/loadavg: 1.79 1.95 1.98 2/85 9087
/proc/meminfo: memFree=1627368/2055920 swapFree=4167328/4192956
[pid=9054] ppid=9052 vsize=915444 CPUtime=25.19
/proc/9054/stat : 9054 (java) R 9052 9054 8353 0 -1 0 7134 0 1 0 1752 767 0 0 19 0 8 0 279190270 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9054/statm: 228862 6871 2476 14 0 215332 0
[pid=9054/tid=9056] ppid=9052 vsize=915444 CPUtime=0.02
/proc/9054/task/9056/stat : 9056 (java) S 9052 9054 8353 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279190288 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9057] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 8353 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279190289 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9058] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 8353 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279190289 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9059] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279190297 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9060] ppid=9052 vsize=915444 CPUtime=0.13
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 8353 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279190297 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9061] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279190297 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9062] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9062/stat : 9062 (java) S 9052 9054 8353 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279190297 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 915444
[startup+51.2941 s]
/proc/loadavg: 1.52 1.87 1.95 2/85 9087
/proc/meminfo: memFree=1620528/2055920 swapFree=4167328/4192956
[pid=9054] ppid=9052 vsize=915444 CPUtime=50.88
/proc/9054/stat : 9054 (java) R 9052 9054 8353 0 -1 0 9028 0 1 0 4150 938 0 0 25 0 8 0 279190270 937414656 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777236 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9054/statm: 228861 8761 2527 14 0 215331 0
[pid=9054/tid=9056] ppid=9052 vsize=915444 CPUtime=0.02
/proc/9054/task/9056/stat : 9056 (java) S 9052 9054 8353 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279190288 937414656 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9057] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9057/stat : 9057 (java) S 9052 9054 8353 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279190289 937414656 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9058] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9058/stat : 9058 (java) S 9052 9054 8353 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279190289 937414656 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9059] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9059/stat : 9059 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279190297 937414656 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9060] ppid=9052 vsize=915444 CPUtime=0.22
/proc/9054/task/9060/stat : 9060 (java) S 9052 9054 8353 0 -1 64 386 0 0 0 22 0 0 0 16 0 8 0 279190297 937414656 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9061] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9061/stat : 9061 (java) S 9052 9054 8353 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279190297 937414656 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9054/tid=9062] ppid=9052 vsize=915444 CPUtime=0
/proc/9054/task/9062/stat : 9062 (java) S 9052 9054 8353 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279190297 937414656 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 59.8774
CPU time (s): 59.467
CPU user time (s): 50.0744
CPU system time (s): 9.39257
CPU usage (%): 99.3146
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.0744
system time used= 9.39257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9125
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= 2181
involuntary context switches= 1969
runsolver used 0.070989 s user time and 0.169974 s system time
The end
Begin job on node30 on Sat Jan 20 15:46:03 UTC 2007
IDJOB= 280784
IDBENCH= 11954
IDSOLVER= 69
FILE ID= node30/280784-1169307963
PBS_JOBID= 3610106
Free space on /tmp= 66046 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280784-1169307963/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-280784-1169307963 -o ROOT/results/node30/solver-280784-1169307963 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280784-1169307963/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a3591c6712226df30786d812904db398
RANDOM SEED= 98140460
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.234
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.234
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: 1094640 kB
Buffers: 40788 kB
Cached: 790200 kB
SwapCached: 3508 kB
Active: 105472 kB
Inactive: 765744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1094640 kB
SwapTotal: 4192956 kB
SwapFree: 4167328 kB
Dirty: 1712 kB
Writeback: 0 kB
Mapped: 57116 kB
Slab: 74688 kB
Committed_AS: 5325860 kB
PageTables: 2252 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 node30 on Sat Jan 20 15:47:03 UTC 2007