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/281278-1169310931/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.099 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5581 maxDegree=24
0.59 maxArity=2
0.59 => wckTime=0.275 cpuTime=0.19 mem=9M846
0.64
0.64 solver LocalSearchSolver being built...
0.68 => wckTime=0.36 cpuTime=0.23 mem=5M671
0.68
0.68 s SATISFIABLE
0.68 o 244
0.68 c 56
0.69 o 249
0.69 c 51
0.69 o 252
0.69 c 48
0.69 o 255
0.69 c 45
0.69 o 257
0.69 c 43
0.69 o 261
0.69 c 39
0.69 o 264
0.69 c 36
0.69 o 269
0.69 c 31
0.69 o 273
0.69 c 27
0.69 o 276
0.69 c 24
0.69 o 277
0.69 c 23
0.69 o 279
0.69 c 21
0.69 o 281
0.69 c 19
0.70 o 283
0.70 c 17
0.70 o 285
0.70 c 15
0.70 o 287
0.70 c 13
0.70 o 289
0.70 c 11
0.70 o 290
0.70 c 10
0.70 o 291
0.70 c 9
0.70 o 292
0.70 c 8
0.74 o 293
0.74 c 7
0.74 o 294
0.74 c 6
0.74 o 295
0.74 c 5
0.74 o 296
0.74 c 4
0.80 o 297
0.80 c 3
0.82 o 298
0.82 c 2
0.99 o 299
0.99 c 1
0.99
0.99 search
0.99 run=0 nbConstraintChecks=1578551 nbAssignments=1497
0.99 => wckTime=0.316 cpuTime=0.29 mem=5M671
1.00
1.00 global
1.00 nbConstraintChecks=1578551 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.00 solvingWckTime=0.315 solvingCpuTime=0.29 expiredTime=no totalExploration=no nbFoundSolutions=0
1.00 globalCpuTime=0.58
1.00 => wckTime=0.677 cpuTime=0.52 mem=5M671
1.00
1.00 solver IterativeSystematicSolver being built...
1.13 => wckTime=0.816 cpuTime=0.63 mem=16M595
1.19
1.19 preprocessing
1.19 nbConstraintChecks=32517 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.19 detectedInconsistency=no
1.19 => wckTime=0.055 cpuTime=0.04 mem=16M595
1.23
1.23 search
1.23 run=0 nbConstraintChecks=76885 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32
1.23 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=61 nbRestartNogoods=0
1.23 => wckTime=0.09 cpuTime=0.07 mem=16M595
1.27
1.27 search
1.27 run=1 nbConstraintChecks=195389 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78
1.27 nbFailedAssignments=45 nbBacktracks=25 nbVisitedNodes=147 nbRestartNogoods=2
1.27 => wckTime=0.138 cpuTime=0.11 mem=16M595
1.32
1.32 search
1.32 run=2 nbConstraintChecks=375748 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=146
1.32 nbFailedAssignments=86 nbBacktracks=47 nbVisitedNodes=278 nbRestartNogoods=9
1.32 => wckTime=0.188 cpuTime=0.16 mem=16M595
1.40
1.40 search
1.40 run=3 nbConstraintChecks=644223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=247
1.40 nbFailedAssignments=149 nbBacktracks=80 nbVisitedNodes=474 nbRestartNogoods=14
1.40 => wckTime=0.268 cpuTime=0.23 mem=16M595
1.52
1.52 search
1.52 run=4 nbConstraintChecks=1063500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=392
1.52 nbFailedAssignments=240 nbBacktracks=130 nbVisitedNodes=758 nbRestartNogoods=22
1.52 => wckTime=0.38 cpuTime=0.34 mem=16M595
1.68
1.68 search
1.68 run=5 nbConstraintChecks=1668270 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=614
1.68 nbFailedAssignments=384 nbBacktracks=205 nbVisitedNodes=1193 nbRestartNogoods=26
1.68 => wckTime=0.54 cpuTime=0.5 mem=16M595
1.91
1.91 search
1.91 run=6 nbConstraintChecks=2566745 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=932
1.91 nbFailedAssignments=586 nbBacktracks=318 nbVisitedNodes=1820 nbRestartNogoods=38
1.91 => wckTime=0.778 cpuTime=0.74 mem=16M595
2.25
2.25 search
2.25 run=7 nbConstraintChecks=3781596 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1382
2.25 nbFailedAssignments=862 nbBacktracks=488 nbVisitedNodes=2677 nbRestartNogoods=60
2.25 => wckTime=1.114 cpuTime=1.07 mem=16M595
2.75
2.75 search
2.75 run=8 nbConstraintChecks=5618538 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2069
2.75 nbFailedAssignments=1288 nbBacktracks=744 nbVisitedNodes=4001 nbRestartNogoods=73
2.75 => wckTime=1.617 cpuTime=1.55 mem=16M595
3.39
3.39 search
3.39 run=9 nbConstraintChecks=7964827 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2966
3.39 nbFailedAssignments=1797 nbBacktracks=1129 nbVisitedNodes=5654 nbRestartNogoods=82
3.39 => wckTime=2.256 cpuTime=2.19 mem=16M595
4.21
4.21 search
4.21 run=10 nbConstraintChecks=10963717 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4189
4.21 nbFailedAssignments=2440 nbBacktracks=1705 nbVisitedNodes=7814 nbRestartNogoods=93
4.21 => wckTime=3.079 cpuTime=3.0 mem=16M595
5.35
5.35 search
5.35 run=11 nbConstraintChecks=15114719 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5922
5.35 nbFailedAssignments=3306 nbBacktracks=2569 nbVisitedNodes=10743 nbRestartNogoods=105
5.35 => wckTime=4.217 cpuTime=4.13 mem=16M595
7.07
7.07 search
7.07 run=12 nbConstraintChecks=21171831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8489
7.07 nbFailedAssignments=4572 nbBacktracks=3867 nbVisitedNodes=15017 nbRestartNogoods=122
7.07 => wckTime=5.933 cpuTime=5.84 mem=16M595
9.48
9.48 search
9.48 run=13 nbConstraintChecks=29685924 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12122
9.48 nbFailedAssignments=6257 nbBacktracks=5813 nbVisitedNodes=20964 nbRestartNogoods=136
9.48 => wckTime=8.347 cpuTime=8.24 mem=16M595
13.21
13.21 search
13.21 run=14 nbConstraintChecks=42681663 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17658
13.21 nbFailedAssignments=8872 nbBacktracks=8733 nbVisitedNodes=30110 nbRestartNogoods=151
13.21 => wckTime=12.075 cpuTime=11.95 mem=16M595
18.92
18.92 search
18.92 run=15 nbConstraintChecks=62371909 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26064
18.92 nbFailedAssignments=12896 nbBacktracks=13111 nbVisitedNodes=43969 nbRestartNogoods=175
18.92 => wckTime=17.784 cpuTime=17.63 mem=16M595
23.69
23.69 search
23.69 run=16 nbConstraintChecks=78590220 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33112
23.69 nbFailedAssignments=16127 nbBacktracks=16929 nbVisitedNodes=55473 nbRestartNogoods=185
23.69 => wckTime=22.555 cpuTime=22.38 mem=16M595
23.69
23.69 global
23.69 nbConstraintChecks=78622737 nbRestartNogoods=185 solvingWckTime=22.557 solvingCpuTime=22.38 expiredTime=no
23.69 totalExploration=yes nbFoundSolutions=0 globalCpuTime=23.07
23.69 => wckTime=23.373 cpuTime=23.01 mem=16M595
23.69
23.69 s OPTIMUM FOUND
23.69 v 1 2 0 6 0 8 4 9 5 0 5 9 8 9 7 3 7 9 6 4 1 5 7 7 0
23.69
23.70 totalWckTime=23.455 totalCpuTime=23.07
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-281278-1169310931 -o ROOT/results/node17/solver-281278-1169310931 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281278-1169310931/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.96 2.00 2.00 4/87 23931
/proc/meminfo: memFree=1273416/2055920 swapFree=4192812/4192956
[pid=23930] ppid=23928 vsize=18540 CPUtime=0
/proc/23930/stat : 23930 (runsolver) R 23928 23930 23862 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 279487910 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23930/statm: 4635 279 244 17 0 2626 0
[startup+0.108031 s]
/proc/loadavg: 1.96 2.00 2.00 4/87 23931
/proc/meminfo: memFree=1273416/2055920 swapFree=4192812/4192956
[pid=23930] ppid=23928 vsize=914988 CPUtime=0.08
/proc/23930/stat : 23930 (java) R 23928 23930 23862 0 -1 0 2988 0 1 0 7 1 0 0 19 0 8 0 279487910 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23930/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516072 s]
/proc/loadavg: 1.96 2.00 2.00 4/87 23931
/proc/meminfo: memFree=1273416/2055920 swapFree=4192812/4192956
[pid=23930] ppid=23928 vsize=915332 CPUtime=0.48
/proc/23930/stat : 23930 (java) R 23928 23930 23862 0 -1 0 6336 0 1 0 44 4 0 0 18 0 8 0 279487910 937299968 6075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23930/statm: 228833 6075 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33915 s]
/proc/loadavg: 1.96 2.00 2.00 3/94 23938
/proc/meminfo: memFree=1249424/2055920 swapFree=4192812/4192956
[pid=23930] ppid=23928 vsize=915464 CPUtime=1.3
/proc/23930/stat : 23930 (java) R 23928 23930 23862 0 -1 0 9044 0 1 0 117 13 0 0 24 0 8 0 279487910 937435136 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23930/statm: 228866 8781 2532 14 0 215336 0
[pid=23930/tid=23932] ppid=23928 vsize=915464 CPUtime=0.03
/proc/23930/task/23932/stat : 23932 (java) S 23928 23930 23862 0 -1 64 199 0 0 0 3 0 0 0 16 0 8 0 279487915 937435136 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23933] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23933/stat : 23933 (java) S 23928 23930 23862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279487915 937435136 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23934] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23934/stat : 23934 (java) S 23928 23930 23862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279487915 937435136 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23935] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23935/stat : 23935 (java) S 23928 23930 23862 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279487918 937435136 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23936] ppid=23928 vsize=915464 CPUtime=0.21
/proc/23930/task/23936/stat : 23936 (java) S 23928 23930 23862 0 -1 64 382 0 0 0 20 1 0 0 15 0 8 0 279487918 937435136 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23937] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23937/stat : 23937 (java) S 23928 23930 23862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279487918 937435136 8781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23938] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23938/stat : 23938 (java) S 23928 23930 23862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279487918 937435136 8781 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) 915464
[startup+2.99233 s]
/proc/loadavg: 1.96 2.00 2.00 3/94 23938
/proc/meminfo: memFree=1247952/2055920 swapFree=4192812/4192956
[pid=23930] ppid=23928 vsize=915464 CPUtime=2.95
/proc/23930/stat : 23930 (java) R 23928 23930 23862 0 -1 0 9073 0 1 0 282 13 0 0 25 0 8 0 279487910 937435136 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824618 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23930/statm: 228866 8809 2532 14 0 215336 0
[pid=23930/tid=23932] ppid=23928 vsize=915464 CPUtime=0.03
/proc/23930/task/23932/stat : 23932 (java) S 23928 23930 23862 0 -1 64 199 0 0 0 3 0 0 0 17 0 8 0 279487915 937435136 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23933] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23933/stat : 23933 (java) S 23928 23930 23862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279487915 937435136 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23934] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23934/stat : 23934 (java) S 23928 23930 23862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279487915 937435136 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23935] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23935/stat : 23935 (java) S 23928 23930 23862 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279487918 937435136 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23936] ppid=23928 vsize=915464 CPUtime=0.23
/proc/23930/task/23936/stat : 23936 (java) S 23928 23930 23862 0 -1 64 397 0 0 0 22 1 0 0 15 0 8 0 279487918 937435136 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23937] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23937/stat : 23937 (java) S 23928 23930 23862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279487918 937435136 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23938] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23938/stat : 23938 (java) S 23928 23930 23862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279487918 937435136 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.27767 s]
/proc/loadavg: 1.96 2.00 2.00 3/94 23938
/proc/meminfo: memFree=1247824/2055920 swapFree=4192812/4192956
[pid=23930] ppid=23928 vsize=915464 CPUtime=6.22
/proc/23930/stat : 23930 (java) R 23928 23930 23862 0 -1 0 9087 0 1 0 608 14 0 0 25 0 8 0 279487910 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23930/statm: 228866 8820 2532 14 0 215336 0
[pid=23930/tid=23932] ppid=23928 vsize=915464 CPUtime=0.03
/proc/23930/task/23932/stat : 23932 (java) S 23928 23930 23862 0 -1 64 199 0 0 0 3 0 0 0 16 0 8 0 279487915 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23933] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23933/stat : 23933 (java) S 23928 23930 23862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279487915 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23934] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23934/stat : 23934 (java) S 23928 23930 23862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279487915 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23935] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23935/stat : 23935 (java) S 23928 23930 23862 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279487918 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23936] ppid=23928 vsize=915464 CPUtime=0.24
/proc/23930/task/23936/stat : 23936 (java) S 23928 23930 23862 0 -1 64 402 0 0 0 23 1 0 0 15 0 8 0 279487918 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23937] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23937/stat : 23937 (java) S 23928 23930 23862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279487918 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23938] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23938/stat : 23938 (java) S 23928 23930 23862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279487918 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
[startup+12.7643 s]
/proc/loadavg: 1.96 2.00 2.00 3/94 23938
/proc/meminfo: memFree=1247768/2055920 swapFree=4192812/4192956
[pid=23930] ppid=23928 vsize=915464 CPUtime=12.68
/proc/23930/stat : 23930 (java) R 23928 23930 23862 0 -1 0 9092 0 1 0 1254 14 0 0 25 0 8 0 279487910 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23930/statm: 228866 8825 2532 14 0 215336 0
[pid=23930/tid=23932] ppid=23928 vsize=915464 CPUtime=0.03
/proc/23930/task/23932/stat : 23932 (java) S 23928 23930 23862 0 -1 64 199 0 0 0 3 0 0 0 16 0 8 0 279487915 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23933] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23933/stat : 23933 (java) S 23928 23930 23862 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279487915 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23934] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23934/stat : 23934 (java) S 23928 23930 23862 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279487915 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23935] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23935/stat : 23935 (java) S 23928 23930 23862 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279487918 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23936] ppid=23928 vsize=915464 CPUtime=0.24
/proc/23930/task/23936/stat : 23936 (java) S 23928 23930 23862 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 279487918 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23937] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23937/stat : 23937 (java) S 23928 23930 23862 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279487918 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23930/tid=23938] ppid=23928 vsize=915464 CPUtime=0
/proc/23930/task/23938/stat : 23938 (java) S 23928 23930 23862 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279487918 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 23.7162
CPU time (s): 23.5754
CPU user time (s): 23.4274
CPU system time (s): 0.147977
CPU usage (%): 99.4064
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.4274
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9196
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= 1697
involuntary context switches= 2645
runsolver used 0.036994 s user time and 0.079987 s system time
The end
Begin job on node17 on Sat Jan 20 16:35:31 UTC 2007
IDJOB= 281278
IDBENCH= 12134
IDSOLVER= 68
FILE ID= node17/281278-1169310931
PBS_JOBID= 3609980
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeLoose/vcsp-25-10-100-18-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281278-1169310931/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-281278-1169310931 -o ROOT/results/node17/solver-281278-1169310931 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281278-1169310931/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9595b2d8a1953099eaca420a204a2560
RANDOM SEED= 8737604
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1273832 kB
Buffers: 48972 kB
Cached: 510668 kB
SwapCached: 0 kB
Active: 352404 kB
Inactive: 352616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1273832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1892 kB
Writeback: 0 kB
Mapped: 165480 kB
Slab: 61728 kB
Committed_AS: 8993224 kB
PageTables: 2428 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node17 on Sat Jan 20 16:35:55 UTC 2007