0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=pfc.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/276110-1169231296/unknown.xml
0.46
0.46 domains being loaded...
0.47
0.47 variables being loaded...
0.50 nbVariables=33 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.50 => wckTime=0.102 cpuTime=0.09 mem=6M910
0.50
0.50 relations being loaded...
0.56
0.56 constraints being loaded...
0.66 nbConstraints=224 nbRelationTypes=224 nbExtensionStructures=224 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=224 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3903 maxDegree=21
0.66 maxArity=2
0.66 => wckTime=0.258 cpuTime=0.18 mem=8M893
0.70
0.70 solver LocalSearchSolver being built...
0.74 => wckTime=0.344 cpuTime=0.22 mem=5M607
0.75
0.75 s SATISFIABLE
0.75 o 188
0.75 c 36
0.75 o 192
0.75 c 32
0.75 o 196
0.75 c 28
0.75 o 200
0.75 c 24
0.75 o 203
0.75 c 21
0.75 o 206
0.75 c 18
0.75 o 208
0.75 c 16
0.75 o 210
0.75 c 14
0.75 o 212
0.75 c 12
0.75 o 214
0.75 c 10
0.75 o 215
0.75 c 9
0.76 o 216
0.76 c 8
0.76 o 217
0.76 c 7
0.76 o 218
0.76 c 6
0.76 o 219
0.76 c 5
0.76 o 220
0.76 c 4
0.77 o 221
0.77 c 3
0.77 o 222
0.77 c 2
3.02
3.02 search
3.02 run=0 nbConstraintChecks=14211195 nbAssignments=10000
3.02 => wckTime=2.278 cpuTime=2.25 mem=5M607
5.31
5.31 search
5.31 run=1 nbConstraintChecks=29332666 nbAssignments=20000
5.31 => wckTime=4.564 cpuTime=4.51 mem=5M607
7.50
7.50 search
7.50 run=2 nbConstraintChecks=43802466 nbAssignments=30000
7.50 => wckTime=6.757 cpuTime=6.68 mem=5M607
9.76
9.76 search
9.76 run=3 nbConstraintChecks=58866692 nbAssignments=40000
9.76 => wckTime=9.015 cpuTime=8.92 mem=5M607
11.93
11.93 search
11.93 run=4 nbConstraintChecks=73155980 nbAssignments=50000
11.93 => wckTime=11.188 cpuTime=11.08 mem=5M607
14.22
14.22 search
14.22 run=5 nbConstraintChecks=88421308 nbAssignments=60000
14.22 => wckTime=13.475 cpuTime=13.34 mem=5M607
16.39
16.39 search
16.39 run=6 nbConstraintChecks=102633634 nbAssignments=70000
16.39 => wckTime=15.651 cpuTime=15.5 mem=5M607
18.66
18.66 search
18.66 run=7 nbConstraintChecks=117612615 nbAssignments=80000
18.66 => wckTime=17.919 cpuTime=17.74 mem=5M607
20.89
20.89 search
20.89 run=8 nbConstraintChecks=132235511 nbAssignments=90000
20.89 => wckTime=20.152 cpuTime=19.96 mem=5M607
23.18
23.18 search
23.18 run=9 nbConstraintChecks=147346981 nbAssignments=100000
23.18 => wckTime=22.437 cpuTime=22.22 mem=5M607
25.34
25.34 search
25.34 run=10 nbConstraintChecks=161384184 nbAssignments=110000
25.34 => wckTime=24.602 cpuTime=24.37 mem=5M607
27.60
27.60 search
27.60 run=11 nbConstraintChecks=176391869 nbAssignments=120000
27.60 => wckTime=26.857 cpuTime=26.61 mem=5M607
29.80
29.80 search
29.80 run=12 nbConstraintChecks=190930319 nbAssignments=130000
29.80 => wckTime=29.058 cpuTime=28.79 mem=5M607
31.06
31.06 search
31.06 run=13 nbConstraintChecks=199149432 nbAssignments=135834
31.06 => wckTime=30.316 cpuTime=30.04 mem=5M607
31.06
31.06 global
31.06 nbConstraintChecks=199149432 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.06 solvingWckTime=30.315 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
31.06 globalCpuTime=30.31
31.06 => wckTime=30.661 cpuTime=30.26 mem=5M607
31.06
31.06 solver IterativeSystematicSolver being built...
31.19 => wckTime=30.792 cpuTime=30.36 mem=16M547
31.20
31.20 preprocessing
31.20 nbConstraintChecks=90 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.20 detectedInconsistency=no
31.20 => wckTime=0.0050 cpuTime=0.01 mem=16M547
31.25
31.25 search
31.25 run=0 nbConstraintChecks=38189 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46
31.25 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=67 nbRestartNogoods=0
31.25 => wckTime=0.051 cpuTime=0.03 mem=16M547
31.29
31.29 search
31.29 run=1 nbConstraintChecks=103646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=107
31.29 nbFailedAssignments=37 nbBacktracks=25 nbVisitedNodes=167 nbRestartNogoods=3
31.29 => wckTime=0.098 cpuTime=0.07 mem=16M547
31.33
31.33 search
31.33 run=2 nbConstraintChecks=218530 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=180
31.33 nbFailedAssignments=69 nbBacktracks=47 nbVisitedNodes=294 nbRestartNogoods=8
31.33 => wckTime=0.137 cpuTime=0.1 mem=16M547
31.43
31.43 search
31.43 run=3 nbConstraintChecks=459126 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=307
31.43 nbFailedAssignments=151 nbBacktracks=80 nbVisitedNodes=536 nbRestartNogoods=13
31.43 => wckTime=0.241 cpuTime=0.2 mem=16M547
31.46
31.46 search
31.46 run=4 nbConstraintChecks=576810 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=427
31.46 nbFailedAssignments=195 nbBacktracks=131 nbVisitedNodes=751 nbRestartNogoods=27
31.46 => wckTime=0.271 cpuTime=0.23 mem=16M547
31.52
31.52 search
31.52 run=5 nbConstraintChecks=788782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=606
31.52 nbFailedAssignments=279 nbBacktracks=208 nbVisitedNodes=1091 nbRestartNogoods=32
31.52 => wckTime=0.327 cpuTime=0.28 mem=16M547
31.71
31.71 search
31.71 run=6 nbConstraintChecks=1372169 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=904
31.71 nbFailedAssignments=448 nbBacktracks=321 nbVisitedNodes=1671 nbRestartNogoods=38
31.71 => wckTime=0.522 cpuTime=0.47 mem=16M547
31.88
31.88 search
31.88 run=7 nbConstraintChecks=1894976 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1235
31.88 nbFailedAssignments=599 nbBacktracks=491 nbVisitedNodes=2322 nbRestartNogoods=50
31.88 => wckTime=0.688 cpuTime=0.63 mem=16M547
32.08
32.08 search
32.08 run=8 nbConstraintChecks=2648389 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1868
32.08 nbFailedAssignments=952 nbBacktracks=748 nbVisitedNodes=3565 nbRestartNogoods=54
32.08 => wckTime=0.892 cpuTime=0.82 mem=16M547
32.29
32.29 search
32.29 run=9 nbConstraintChecks=3402209 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2490
32.29 nbFailedAssignments=1175 nbBacktracks=1134 nbVisitedNodes=4795 nbRestartNogoods=60
32.29 => wckTime=1.099 cpuTime=1.02 mem=16M547
32.73
32.73 search
32.73 run=10 nbConstraintChecks=5068798 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3688
32.73 nbFailedAssignments=1772 nbBacktracks=1712 nbVisitedNodes=7160 nbRestartNogoods=64
32.73 => wckTime=1.534 cpuTime=1.45 mem=16M547
33.22
33.22 search
33.22 run=11 nbConstraintChecks=7286755 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5742
33.22 nbFailedAssignments=2938 nbBacktracks=2577 nbVisitedNodes=11238 nbRestartNogoods=73
33.22 => wckTime=2.029 cpuTime=1.93 mem=16M547
34.01
34.01 search
34.01 run=12 nbConstraintChecks=10457028 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7842
34.01 nbFailedAssignments=3728 nbBacktracks=3877 nbVisitedNodes=15422 nbRestartNogoods=81
34.01 => wckTime=2.817 cpuTime=2.71 mem=16M547
34.92
34.92 search
34.92 run=13 nbConstraintChecks=14038775 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10710
34.92 nbFailedAssignments=4630 nbBacktracks=5827 nbVisitedNodes=21124 nbRestartNogoods=88
34.92 => wckTime=3.729 cpuTime=3.62 mem=16M547
36.54
36.54 search
36.54 run=14 nbConstraintChecks=20270962 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14909
36.54 nbFailedAssignments=5886 nbBacktracks=8751 nbVisitedNodes=29472 nbRestartNogoods=101
36.54 => wckTime=5.346 cpuTime=5.22 mem=16M547
37.92
37.92 search
37.92 run=15 nbConstraintChecks=26055768 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20074
37.92 nbFailedAssignments=8514 nbBacktracks=11289 nbVisitedNodes=39787 nbRestartNogoods=112
37.92 => wckTime=6.725 cpuTime=6.59 mem=16M547
37.92
37.92 global
37.92 nbConstraintChecks=26055858 nbRestartNogoods=112 solvingWckTime=6.726 solvingCpuTime=6.59 expiredTime=no
37.92 totalExploration=yes nbFoundSolutions=0 globalCpuTime=37.0
37.92 => wckTime=37.519 cpuTime=36.95 mem=16M547
37.92
37.92 s OPTIMUM FOUND
37.92 v 7 1 3 5 5 3 1 9 9 1 7 4 2 8 8 5 9 1 1 9 2 7 3 0 0 4 3 3 9 8 4 3 8
37.92
37.92 totalWckTime=37.598 totalCpuTime=37.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-276110-1169231296 -o ROOT/results/node21/solver-276110-1169231296 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276110-1169231296/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: 2.02 2.03 2.00 4/87 7212
/proc/meminfo: memFree=1360888/2055920 swapFree=4156356/4192956
[pid=7211] ppid=7209 vsize=18540 CPUtime=0
/proc/7211/stat : 7211 (runsolver) R 7209 7211 6232 0 -1 4194368 17 0 0 0 0 0 0 0 22 0 1 0 271524137 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7211/statm: 4635 279 244 17 0 2626 0
[startup+0.107522 s]
/proc/loadavg: 2.02 2.03 2.00 4/87 7212
/proc/meminfo: memFree=1360888/2055920 swapFree=4156356/4192956
[pid=7211] ppid=7209 vsize=911488 CPUtime=0.07
/proc/7211/stat : 7211 (java) R 7209 7211 6232 0 -1 0 2635 0 1 0 5 2 0 0 20 0 8 0 271524137 933363712 2382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153794488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7211/statm: 227872 2382 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.515599 s]
/proc/loadavg: 2.02 2.03 2.00 4/87 7212
/proc/meminfo: memFree=1360888/2055920 swapFree=4156356/4192956
[pid=7211] ppid=7209 vsize=915332 CPUtime=0.41
/proc/7211/stat : 7211 (java) R 7209 7211 6232 0 -1 0 6140 0 1 0 36 5 0 0 18 0 8 0 271524137 937299968 5879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7211/statm: 228833 5879 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332
[startup+1.33875 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 7219
/proc/meminfo: memFree=1342336/2055920 swapFree=4156356/4192956
[pid=7211] ppid=7209 vsize=915464 CPUtime=1.22
/proc/7211/stat : 7211 (java) R 7209 7211 6232 0 -1 0 7290 0 1 0 107 15 0 0 24 0 8 0 271524137 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7211/statm: 228866 7028 2476 14 0 215336 0
[pid=7211/tid=7213] ppid=7209 vsize=915464 CPUtime=0.02
/proc/7211/task/7213/stat : 7213 (java) S 7209 7211 6232 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 271524141 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7214] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7214/stat : 7214 (java) S 7209 7211 6232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271524141 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7215] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7215/stat : 7215 (java) S 7209 7211 6232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271524141 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7216] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7216/stat : 7216 (java) S 7209 7211 6232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271524146 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7217] ppid=7209 vsize=915464 CPUtime=0.13
/proc/7211/task/7217/stat : 7217 (java) S 7209 7211 6232 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 271524147 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7218] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7218/stat : 7218 (java) S 7209 7211 6232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271524147 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7219] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7219/stat : 7219 (java) S 7209 7211 6232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271524147 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915464
[startup+2.99006 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 7219
/proc/meminfo: memFree=1342272/2055920 swapFree=4156356/4192956
[pid=7211] ppid=7209 vsize=915464 CPUtime=2.86
/proc/7211/stat : 7211 (java) R 7209 7211 6232 0 -1 0 7291 0 1 0 243 43 0 0 25 0 8 0 271524137 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7211/statm: 228866 7028 2476 14 0 215336 0
[pid=7211/tid=7213] ppid=7209 vsize=915464 CPUtime=0.02
/proc/7211/task/7213/stat : 7213 (java) S 7209 7211 6232 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 271524141 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7214] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7214/stat : 7214 (java) S 7209 7211 6232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271524141 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7215] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7215/stat : 7215 (java) S 7209 7211 6232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271524141 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7216] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7216/stat : 7216 (java) S 7209 7211 6232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271524146 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7217] ppid=7209 vsize=915464 CPUtime=0.13
/proc/7211/task/7217/stat : 7217 (java) S 7209 7211 6232 0 -1 64 345 0 0 0 13 0 0 0 15 0 8 0 271524147 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7218] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7218/stat : 7218 (java) S 7209 7211 6232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271524147 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7219] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7219/stat : 7219 (java) S 7209 7211 6232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271524147 937435136 7028 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915464
[startup+6.27268 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 7219
/proc/meminfo: memFree=1342272/2055920 swapFree=4156356/4192956
[pid=7211] ppid=7209 vsize=915464 CPUtime=6.12
/proc/7211/stat : 7211 (java) R 7209 7211 6232 0 -1 0 7293 0 1 0 512 100 0 0 25 0 8 0 271524137 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8871345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7211/statm: 228866 7030 2476 14 0 215336 0
[pid=7211/tid=7213] ppid=7209 vsize=915464 CPUtime=0.02
/proc/7211/task/7213/stat : 7213 (java) S 7209 7211 6232 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 271524141 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7214] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7214/stat : 7214 (java) S 7209 7211 6232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271524141 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7215] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7215/stat : 7215 (java) S 7209 7211 6232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271524141 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7216] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7216/stat : 7216 (java) S 7209 7211 6232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271524146 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7217] ppid=7209 vsize=915464 CPUtime=0.13
/proc/7211/task/7217/stat : 7217 (java) S 7209 7211 6232 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 271524147 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7218] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7218/stat : 7218 (java) S 7209 7211 6232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271524147 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7219] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7219/stat : 7219 (java) S 7209 7211 6232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271524147 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915464
[startup+12.7609 s]
/proc/loadavg: 2.01 2.03 2.00 3/94 7219
/proc/meminfo: memFree=1342272/2055920 swapFree=4156356/4192956
[pid=7211] ppid=7209 vsize=915464 CPUtime=12.54
/proc/7211/stat : 7211 (java) R 7209 7211 6232 0 -1 0 7293 0 1 0 1041 213 0 0 25 0 8 0 271524137 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073734327 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7211/statm: 228866 7030 2476 14 0 215336 0
[pid=7211/tid=7213] ppid=7209 vsize=915464 CPUtime=0.02
/proc/7211/task/7213/stat : 7213 (java) S 7209 7211 6232 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 271524141 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7214] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7214/stat : 7214 (java) S 7209 7211 6232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271524141 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7215] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7215/stat : 7215 (java) S 7209 7211 6232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271524141 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7216] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7216/stat : 7216 (java) S 7209 7211 6232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271524146 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7217] ppid=7209 vsize=915464 CPUtime=0.13
/proc/7211/task/7217/stat : 7217 (java) S 7209 7211 6232 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 271524147 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7218] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7218/stat : 7218 (java) S 7209 7211 6232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271524147 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7219] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7219/stat : 7219 (java) S 7209 7211 6232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271524147 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915464
[startup+25.6113 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 7219
/proc/meminfo: memFree=1342336/2055920 swapFree=4156356/4192956
[pid=7211] ppid=7209 vsize=915464 CPUtime=25.28
/proc/7211/stat : 7211 (java) R 7209 7211 6232 0 -1 0 7293 0 1 0 2085 443 0 0 25 0 8 0 271524137 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7211/statm: 228866 7030 2476 14 0 215336 0
[pid=7211/tid=7213] ppid=7209 vsize=915464 CPUtime=0.02
/proc/7211/task/7213/stat : 7213 (java) S 7209 7211 6232 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 271524141 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7214] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7214/stat : 7214 (java) S 7209 7211 6232 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271524141 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7215] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7215/stat : 7215 (java) S 7209 7211 6232 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271524141 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7216] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7216/stat : 7216 (java) S 7209 7211 6232 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271524146 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7217] ppid=7209 vsize=915464 CPUtime=0.13
/proc/7211/task/7217/stat : 7217 (java) S 7209 7211 6232 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 271524147 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7218] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7218/stat : 7218 (java) S 7209 7211 6232 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271524147 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7211/tid=7219] ppid=7209 vsize=915464 CPUtime=0
/proc/7211/task/7219/stat : 7219 (java) S 7209 7211 6232 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271524147 937435136 7030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 37.9476
CPU time (s): 37.5023
CPU user time (s): 32.0891
CPU system time (s): 5.41318
CPU usage (%): 98.8265
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.0891
system time used= 5.41318
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9164
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= 1973
involuntary context switches= 3468
runsolver used 0.052991 s user time and 0.133979 s system time
The end
Begin job on node21 on Fri Jan 19 18:28:16 UTC 2007
IDJOB= 276110
IDBENCH= 5244
IDSOLVER= 69
FILE ID= node21/276110-1169231296
PBS_JOBID= 3589229
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-1-2/composed-25-1-2-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276110-1169231296/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-276110-1169231296 -o ROOT/results/node21/solver-276110-1169231296 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276110-1169231296/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b3956eedef1d3ae0ff181403ff3b6e4e
RANDOM SEED= 428690818
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.261
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.261
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: 1361304 kB
Buffers: 45440 kB
Cached: 491280 kB
SwapCached: 2928 kB
Active: 208252 kB
Inactive: 410252 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1361304 kB
SwapTotal: 4192956 kB
SwapFree: 4156356 kB
Dirty: 1736 kB
Writeback: 0 kB
Mapped: 91900 kB
Slab: 60948 kB
Committed_AS: 4917152 kB
PageTables: 2256 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= 66560 MiB
End job on node21 on Fri Jan 19 18:28:55 UTC 2007