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/281314-1169311312/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 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.50
0.50 constraints being loaded...
0.60 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5565 maxDegree=24
0.60 maxArity=2
0.60 => wckTime=0.276 cpuTime=0.19 mem=9M846
0.64
0.64 solver LocalSearchSolver being built...
0.68 => wckTime=0.36 cpuTime=0.23 mem=5M671
0.69
0.69 s SATISFIABLE
0.69 o 248
0.69 c 52
0.69 o 253
0.69 c 47
0.69 o 259
0.69 c 41
0.69 o 261
0.69 c 39
0.69 o 266
0.69 c 34
0.69 o 271
0.69 c 29
0.69 o 274
0.69 c 26
0.69 o 277
0.69 c 23
0.69 o 279
0.69 c 21
0.69 o 280
0.69 c 20
0.69 o 282
0.69 c 18
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 292
0.70 c 8
0.70 o 293
0.70 c 7
0.70 o 294
0.70 c 6
0.71 o 296
0.71 c 4
0.76 o 297
0.76 c 3
0.93 o 298
0.93 c 2
1.25 o 299
1.25 c 1
1.25
1.25 search
1.25 run=0 nbConstraintChecks=3090800 nbAssignments=2785
1.25 => wckTime=0.565 cpuTime=0.54 mem=5M671
1.25
1.25 global
1.25 nbConstraintChecks=3090800 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.25 solvingWckTime=0.564 solvingCpuTime=0.55 expiredTime=no totalExploration=no nbFoundSolutions=0
1.25 globalCpuTime=0.84
1.25 => wckTime=0.926 cpuTime=0.78 mem=5M671
1.25
1.25 solver IterativeSystematicSolver being built...
1.38 => wckTime=1.058 cpuTime=0.89 mem=16M571
1.44
1.44 preprocessing
1.44 nbConstraintChecks=30865 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.44 detectedInconsistency=no
1.44 => wckTime=0.054 cpuTime=0.03 mem=16M571
1.48
1.48 search
1.48 run=0 nbConstraintChecks=88736 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33
1.48 nbFailedAssignments=20 nbBacktracks=11 nbVisitedNodes=64 nbRestartNogoods=0
1.48 => wckTime=0.095 cpuTime=0.06 mem=16M571
1.53
1.53 search
1.53 run=1 nbConstraintChecks=231162 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86
1.53 nbFailedAssignments=54 nbBacktracks=26 nbVisitedNodes=166 nbRestartNogoods=1
1.53 => wckTime=0.15 cpuTime=0.1 mem=16M571
1.59
1.59 search
1.59 run=2 nbConstraintChecks=437030 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=157
1.59 nbFailedAssignments=100 nbBacktracks=48 nbVisitedNodes=305 nbRestartNogoods=10
1.59 => wckTime=0.208 cpuTime=0.16 mem=16M571
1.67
1.67 search
1.67 run=3 nbConstraintChecks=728662 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=261
1.67 nbFailedAssignments=167 nbBacktracks=81 nbVisitedNodes=507 nbRestartNogoods=15
1.67 => wckTime=0.289 cpuTime=0.24 mem=16M571
1.80
1.80 search
1.80 run=4 nbConstraintChecks=1201181 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=424
1.80 nbFailedAssignments=277 nbBacktracks=131 nbVisitedNodes=827 nbRestartNogoods=21
1.80 => wckTime=0.415 cpuTime=0.36 mem=16M571
1.96
1.96 search
1.96 run=5 nbConstraintChecks=1842821 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=647
1.96 nbFailedAssignments=422 nbBacktracks=206 nbVisitedNodes=1265 nbRestartNogoods=26
1.96 => wckTime=0.583 cpuTime=0.53 mem=16M571
2.25
2.25 search
2.25 run=6 nbConstraintChecks=2901932 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1009
2.25 nbFailedAssignments=668 nbBacktracks=319 nbVisitedNodes=1981 nbRestartNogoods=40
2.25 => wckTime=0.865 cpuTime=0.81 mem=16M571
2.60
2.60 search
2.60 run=7 nbConstraintChecks=4259391 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1484
2.60 nbFailedAssignments=968 nbBacktracks=490 nbVisitedNodes=2915 nbRestartNogoods=59
2.60 => wckTime=1.217 cpuTime=1.15 mem=16M571
3.13
3.16 search
3.16 run=8 nbConstraintChecks=6365147 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2235
3.16 nbFailedAssignments=1460 nbBacktracks=746 nbVisitedNodes=4384 nbRestartNogoods=65
3.16 => wckTime=1.752 cpuTime=1.67 mem=16M571
3.84
3.84 search
3.84 run=9 nbConstraintChecks=9065242 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3212
3.84 nbFailedAssignments=2050 nbBacktracks=1130 nbVisitedNodes=6241 nbRestartNogoods=86
3.84 => wckTime=2.459 cpuTime=2.37 mem=16M571
4.80
4.80 search
4.80 run=10 nbConstraintChecks=12740075 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4599
4.80 nbFailedAssignments=2858 nbBacktracks=1706 nbVisitedNodes=8808 nbRestartNogoods=103
4.80 => wckTime=3.421 cpuTime=3.32 mem=16M571
6.10
6.10 search
6.10 run=11 nbConstraintChecks=17409981 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6443
6.10 nbFailedAssignments=3835 nbBacktracks=2570 nbVisitedNodes=12055 nbRestartNogoods=116
6.10 => wckTime=4.714 cpuTime=4.61 mem=16M571
7.79
7.79 search
7.79 run=12 nbConstraintChecks=23454787 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8944
7.79 nbFailedAssignments=5035 nbBacktracks=3867 nbVisitedNodes=16220 nbRestartNogoods=138
7.79 => wckTime=6.41 cpuTime=6.3 mem=16M571
10.37
10.37 search
10.37 run=13 nbConstraintChecks=32532532 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12751
10.37 nbFailedAssignments=6893 nbBacktracks=5814 nbVisitedNodes=22533 nbRestartNogoods=148
10.37 => wckTime=8.988 cpuTime=8.86 mem=16M571
14.11
14.11 search
14.11 run=14 nbConstraintChecks=45790441 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18307
14.11 nbFailedAssignments=9528 nbBacktracks=8733 nbVisitedNodes=31673 nbRestartNogoods=158
14.11 => wckTime=12.725 cpuTime=12.58 mem=16M571
19.65
19.65 search
19.65 run=15 nbConstraintChecks=65389946 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26590
19.65 nbFailedAssignments=13430 nbBacktracks=13111 nbVisitedNodes=45217 nbRestartNogoods=174
19.65 => wckTime=18.27 cpuTime=18.1 mem=16M571
27.57
27.57 search
27.57 run=16 nbConstraintChecks=93086376 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38404
27.57 nbFailedAssignments=18822 nbBacktracks=19534 nbVisitedNodes=64322 nbRestartNogoods=185
27.57 => wckTime=26.186 cpuTime=25.97 mem=16M571
27.57
27.57 global
27.57 nbConstraintChecks=93117241 nbRestartNogoods=185 solvingWckTime=26.186 solvingCpuTime=25.97 expiredTime=no
27.57 totalExploration=yes nbFoundSolutions=0 globalCpuTime=26.92
27.57 => wckTime=27.245 cpuTime=26.86 mem=16M571
27.57
27.57 s OPTIMUM FOUND
27.57 v 2 9 9 9 3 9 9 6 3 0 5 0 5 6 0 7 9 0 0 3 5 6 4 4 7
27.57
27.57 totalWckTime=27.327 totalCpuTime=26.93
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-281314-1169311312 -o ROOT/results/node35/solver-281314-1169311312 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281314-1169311312/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: 0.92 0.98 0.99 5/69 1257
/proc/meminfo: memFree=1386288/2055920 swapFree=4184640/4192956
[pid=1256] ppid=1253 vsize=168 CPUtime=0
/proc/1256/stat : 1256 (java) R 1253 1256 1136 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 279524856 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 1463076 0 0 4096 0 0 0 0 17 1 0 0
/proc/1256/statm: 42 23 18 14 0 2 0
[startup+0.105628 s]
/proc/loadavg: 0.92 0.98 0.99 5/69 1257
/proc/meminfo: memFree=1386288/2055920 swapFree=4184640/4192956
[pid=1256] ppid=1253 vsize=913236 CPUtime=0.08
/proc/1256/stat : 1256 (java) R 1253 1256 1136 0 -1 0 2920 0 1 0 6 2 0 0 17 0 8 0 279524856 935153664 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1256/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.513674 s]
/proc/loadavg: 0.92 0.98 0.99 5/69 1257
/proc/meminfo: memFree=1386288/2055920 swapFree=4184640/4192956
[pid=1256] ppid=1253 vsize=915332 CPUtime=0.48
/proc/1256/stat : 1256 (java) R 1253 1256 1136 0 -1 0 6329 0 1 0 44 4 0 0 18 0 8 0 279524856 937299968 6068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1256/statm: 228833 6068 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33478 s]
/proc/loadavg: 0.92 0.98 0.99 3/88 1278
/proc/meminfo: memFree=1358680/2055920 swapFree=4184640/4192956
[pid=1256] ppid=1253 vsize=915464 CPUtime=1.3
/proc/1256/stat : 1256 (java) R 1253 1256 1136 0 -1 0 7659 0 1 0 114 16 0 0 25 0 8 0 279524856 937435136 7397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072945485 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1256/statm: 228866 7397 2505 14 0 215336 0
[pid=1256/tid=1265] ppid=1253 vsize=915464 CPUtime=0.03
/proc/1256/task/1265/stat : 1265 (java) S 1253 1256 1136 0 -1 64 197 0 0 0 3 0 0 0 16 0 8 0 279524860 937435136 7397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1267] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1267/stat : 1267 (java) S 1253 1256 1136 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279524861 937435136 7397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1268] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1268/stat : 1268 (java) S 1253 1256 1136 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279524861 937435136 7397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1273] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1273/stat : 1273 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279524864 937435136 7397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1274] ppid=1253 vsize=915464 CPUtime=0.15
/proc/1256/task/1274/stat : 1274 (java) S 1253 1256 1136 0 -1 64 357 0 0 0 15 0 0 0 15 0 8 0 279524864 937435136 7397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1276] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1276/stat : 1276 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279524864 937435136 7397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1278] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1278/stat : 1278 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279524864 937435136 7397 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.97496 s]
/proc/loadavg: 0.92 0.98 0.99 3/88 1278
/proc/meminfo: memFree=1352344/2055920 swapFree=4184640/4192956
[pid=1256] ppid=1253 vsize=915464 CPUtime=2.93
/proc/1256/stat : 1256 (java) R 1253 1256 1136 0 -1 0 9069 0 1 0 276 17 0 0 25 0 8 0 279524856 937435136 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1256/statm: 228866 8805 2532 14 0 215336 0
[pid=1256/tid=1265] ppid=1253 vsize=915464 CPUtime=0.03
/proc/1256/task/1265/stat : 1265 (java) S 1253 1256 1136 0 -1 64 198 0 0 0 3 0 0 0 17 0 8 0 279524860 937435136 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1267] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1267/stat : 1267 (java) S 1253 1256 1136 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279524861 937435136 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1268] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1268/stat : 1268 (java) S 1253 1256 1136 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279524861 937435136 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1273] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1273/stat : 1273 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279524864 937435136 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1274] ppid=1253 vsize=915464 CPUtime=0.23
/proc/1256/task/1274/stat : 1274 (java) S 1253 1256 1136 0 -1 64 399 0 0 0 23 0 0 0 15 0 8 0 279524864 937435136 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1276] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1276/stat : 1276 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279524864 937435136 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1278] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1278/stat : 1278 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279524864 937435136 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.18235 s]
/proc/loadavg: 1.01 1.00 1.00 3/88 1278
/proc/meminfo: memFree=1352160/2055920 swapFree=4184640/4192956
[pid=1256] ppid=1253 vsize=915464 CPUtime=6.12
/proc/1256/stat : 1256 (java) R 1253 1256 1136 0 -1 0 9083 0 1 0 594 18 0 0 25 0 8 0 279524856 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1256/statm: 228866 8817 2532 14 0 215336 0
[pid=1256/tid=1265] ppid=1253 vsize=915464 CPUtime=0.03
/proc/1256/task/1265/stat : 1265 (java) S 1253 1256 1136 0 -1 64 198 0 0 0 3 0 0 0 16 0 8 0 279524860 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1267] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1267/stat : 1267 (java) S 1253 1256 1136 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279524861 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1268] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1268/stat : 1268 (java) S 1253 1256 1136 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279524861 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1273] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1273/stat : 1273 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279524864 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1274] ppid=1253 vsize=915464 CPUtime=0.23
/proc/1256/task/1274/stat : 1274 (java) S 1253 1256 1136 0 -1 64 403 0 0 0 23 0 0 0 16 0 8 0 279524864 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1276] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1276/stat : 1276 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279524864 937435136 8817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1278] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1278/stat : 1278 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279524864 937435136 8817 18446744073709551615 134512640 134570532 4294956464 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.6511 s]
/proc/loadavg: 1.09 1.02 1.01 5/88 1278
/proc/meminfo: memFree=1352168/2055920 swapFree=4184640/4192956
[pid=1256] ppid=1253 vsize=915464 CPUtime=12.56
/proc/1256/stat : 1256 (java) R 1253 1256 1136 0 -1 0 9089 0 1 0 1238 18 0 0 25 0 8 0 279524856 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1256/statm: 228866 8822 2532 14 0 215336 0
[pid=1256/tid=1265] ppid=1253 vsize=915464 CPUtime=0.03
/proc/1256/task/1265/stat : 1265 (java) S 1253 1256 1136 0 -1 64 198 0 0 0 3 0 0 0 16 0 8 0 279524860 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1267] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1267/stat : 1267 (java) S 1253 1256 1136 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279524861 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1268] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1268/stat : 1268 (java) S 1253 1256 1136 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279524861 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1273] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1273/stat : 1273 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279524864 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1274] ppid=1253 vsize=915464 CPUtime=0.23
/proc/1256/task/1274/stat : 1274 (java) S 1253 1256 1136 0 -1 64 403 0 0 0 23 0 0 0 16 0 8 0 279524864 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1276] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1276/stat : 1276 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279524864 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1278] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1278/stat : 1278 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279524864 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915464
[startup+25.5087 s]
/proc/loadavg: 1.37 1.08 1.03 3/88 1278
/proc/meminfo: memFree=1352104/2055920 swapFree=4184640/4192956
[pid=1256] ppid=1253 vsize=915464 CPUtime=25.35
/proc/1256/stat : 1256 (java) R 1253 1256 1136 0 -1 0 9094 0 1 0 2517 18 0 0 25 0 8 0 279524856 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887263 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1256/statm: 228866 8827 2532 14 0 215336 0
[pid=1256/tid=1265] ppid=1253 vsize=915464 CPUtime=0.03
/proc/1256/task/1265/stat : 1265 (java) S 1253 1256 1136 0 -1 64 198 0 0 0 3 0 0 0 16 0 8 0 279524860 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1267] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1267/stat : 1267 (java) S 1253 1256 1136 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279524861 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1268] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1268/stat : 1268 (java) S 1253 1256 1136 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279524861 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1273] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1273/stat : 1273 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279524864 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1274] ppid=1253 vsize=915464 CPUtime=0.23
/proc/1256/task/1274/stat : 1274 (java) S 1253 1256 1136 0 -1 64 403 0 0 0 23 0 0 0 16 0 8 0 279524864 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1276] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1276/stat : 1276 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279524864 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1256/tid=1278] ppid=1253 vsize=915464 CPUtime=0
/proc/1256/task/1278/stat : 1278 (java) S 1253 1256 1136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279524864 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 27.6176
CPU time (s): 27.4258
CPU user time (s): 27.2329
CPU system time (s): 0.19297
CPU usage (%): 99.3057
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.2329
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9190
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= 1765
involuntary context switches= 2327
runsolver used 0.036994 s user time and 0.100984 s system time
The end
Begin job on node35 on Sat Jan 20 16:41:52 UTC 2007
IDJOB= 281314
IDBENCH= 12143
IDSOLVER= 68
FILE ID= node35/281314-1169311312
PBS_JOBID= 3610250
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeLoose/vcsp-25-10-100-18-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281314-1169311312/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-281314-1169311312 -o ROOT/results/node35/solver-281314-1169311312 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281314-1169311312/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= af9a4ab54e4e683df7f51b81a7a3ce34
RANDOM SEED= 802767898
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: 1386776 kB
Buffers: 42456 kB
Cached: 542404 kB
SwapCached: 2184 kB
Active: 137804 kB
Inactive: 461268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1386776 kB
SwapTotal: 4192956 kB
SwapFree: 4184640 kB
Dirty: 2304 kB
Writeback: 0 kB
Mapped: 21132 kB
Slab: 55760 kB
Committed_AS: 5577676 kB
PageTables: 1656 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 node35 on Sat Jan 20 16:42:20 UTC 2007