0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/227276-1168277767/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.40 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.49
0.49 constraints being loaded...
0.66 nbConstraints=751 nbRelationTypes=751 nbExtensionStructures=750 nbSharedExtensionStructures=1
0.66 nbConflictsStructures=750 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11863 maxDegree=39
0.66 maxArity=2
0.66 => wckTime=0.362 cpuTime=0.23 mem=11M848
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.561 cpuTime=0.37 mem=15M5
0.91
0.91 preprocessing
0.91 nbConstraintChecks=19496 nbPropagations=732 nbRevisions=4488 nbUselessRevisions=3642 nbSingletonTests=45
0.91 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.91 => wckTime=0.047 cpuTime=0.03 mem=15M5
0.94
0.94 search
0.94 run=0 nbConstraintChecks=14071 nbPropagations=1082 nbRevisions=9009 nbUselessRevisions=7537 nbAssignments=30
0.94 nbFailedAssignments=5 nbBacktracks=13 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.074 cpuTime=0.05 mem=15M5
0.95
0.96 search
0.96 run=1 nbConstraintChecks=27884 nbPropagations=2500 nbRevisions=22188 nbUselessRevisions=18608 nbAssignments=58
0.96 nbFailedAssignments=9 nbBacktracks=29 nbVisitedNodes=83 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.092 cpuTime=0.05 mem=15M5
0.97
0.97 search
0.97 run=2 nbConstraintChecks=47332 nbPropagations=4350 nbRevisions=41203 nbUselessRevisions=34631 nbAssignments=93
0.97 nbFailedAssignments=14 nbBacktracks=52 nbVisitedNodes=135 nbRestartNogoods=4 mapSize=34 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.104 cpuTime=0.06 mem=15M5
0.98
0.98 search
0.98 run=3 nbConstraintChecks=80899 nbPropagations=6906 nbRevisions=71470 nbUselessRevisions=60451
0.98 nbAssignments=151 nbFailedAssignments=28 nbBacktracks=90 nbVisitedNodes=221 nbRestartNogoods=7 mapSize=59
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.119 cpuTime=0.08 mem=15M5
1.00
1.00 search
1.00 run=4 nbConstraintChecks=124340 nbPropagations=10335 nbRevisions=116254 nbUselessRevisions=98876
1.00 nbAssignments=232 nbFailedAssignments=51 nbBacktracks=141 nbVisitedNodes=341 nbRestartNogoods=9 mapSize=93
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.138 cpuTime=0.09 mem=15M5
1.03
1.03 search
1.03 run=5 nbConstraintChecks=197732 nbPropagations=15191 nbRevisions=184592 nbUselessRevisions=157463
1.03 nbAssignments=347 nbFailedAssignments=82 nbBacktracks=221 nbVisitedNodes=524 nbRestartNogoods=13 mapSize=153
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.168 cpuTime=0.12 mem=15M5
1.08
1.08 search
1.08 run=6 nbConstraintChecks=325567 nbPropagations=22452 nbRevisions=293982 nbUselessRevisions=251104
1.08 nbAssignments=513 nbFailedAssignments=127 nbBacktracks=338 nbVisitedNodes=803 nbRestartNogoods=14 mapSize=254
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.216 cpuTime=0.17 mem=15M5
1.13
1.13 search
1.13 run=7 nbConstraintChecks=469660 nbPropagations=32591 nbRevisions=451078 nbUselessRevisions=385756
1.13 nbAssignments=759 nbFailedAssignments=194 nbBacktracks=508 nbVisitedNodes=1192 nbRestartNogoods=16 mapSize=385
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.268 cpuTime=0.22 mem=15M5
1.22
1.22 search
1.22 run=8 nbConstraintChecks=714618 nbPropagations=47269 nbRevisions=687544 nbUselessRevisions=588419
1.22 nbAssignments=1116 nbFailedAssignments=288 nbBacktracks=767 nbVisitedNodes=1777 nbRestartNogoods=22
1.22 mapSize=589 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.355 cpuTime=0.3 mem=15M5
1.35
1.35 search
1.35 run=9 nbConstraintChecks=1057839 nbPropagations=68367 nbRevisions=1041227 nbUselessRevisions=893002
1.35 nbAssignments=1655 nbFailedAssignments=435 nbBacktracks=1151 nbVisitedNodes=2633 nbRestartNogoods=24
1.35 mapSize=877 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.489 cpuTime=0.42 mem=15M5
1.42
1.42 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=15M5)
1.53
1.53 search
1.53 run=10 nbConstraintChecks=1607234 nbPropagations=99624 nbRevisions=1577410 nbUselessRevisions=1354837
1.53 nbAssignments=2481 nbFailedAssignments=675 nbBacktracks=1730 nbVisitedNodes=3956 nbRestartNogoods=30
1.53 => wckTime=0.671 cpuTime=0.59 mem=15M5
1.77
1.77 search
1.77 run=11 nbConstraintChecks=2399712 nbPropagations=145616 nbRevisions=2379903 nbUselessRevisions=2047383
1.77 nbAssignments=3709 nbFailedAssignments=1026 nbBacktracks=2600 nbVisitedNodes=5939 nbRestartNogoods=37
1.77 => wckTime=0.908 cpuTime=0.82 mem=15M5
2.16
2.16 search
2.16 run=12 nbConstraintChecks=3732752 nbPropagations=216240 nbRevisions=3616333 nbUselessRevisions=3111899
2.16 nbAssignments=5566 nbFailedAssignments=1578 nbBacktracks=3898 nbVisitedNodes=9015 nbRestartNogoods=44
2.16 => wckTime=1.301 cpuTime=1.21 mem=15M5
2.71
2.71 search
2.71 run=13 nbConstraintChecks=5582526 nbPropagations=321120 nbRevisions=5472079 nbUselessRevisions=4710920
2.71 nbAssignments=8326 nbFailedAssignments=2383 nbBacktracks=5851 nbVisitedNodes=13503 nbRestartNogoods=53
2.71 => wckTime=1.846 cpuTime=1.76 mem=15M5
3.51
3.51 search
3.51 run=14 nbConstraintChecks=8320734 nbPropagations=476514 nbRevisions=8252535 nbUselessRevisions=7109266
3.51 nbAssignments=12413 nbFailedAssignments=3548 nbBacktracks=8770 nbVisitedNodes=20121 nbRestartNogoods=57
3.51 => wckTime=2.648 cpuTime=2.56 mem=15M5
4.75
4.75 search
4.75 run=15 nbConstraintChecks=12560576 nbPropagations=710004 nbRevisions=12422827 nbUselessRevisions=10704277
4.75 nbAssignments=18616 nbFailedAssignments=5364 nbBacktracks=13151 nbVisitedNodes=30262 nbRestartNogoods=61
4.75 => wckTime=3.89 cpuTime=3.8 mem=15M5
6.62
6.62 search
6.62 run=16 nbConstraintChecks=18856839 nbPropagations=1060066 nbRevisions=18673131 nbUselessRevisions=16090076
6.62 nbAssignments=27903 nbFailedAssignments=8077 nbBacktracks=19721 nbVisitedNodes=45321 nbRestartNogoods=68
6.62 => wckTime=5.76 cpuTime=5.65 mem=15M5
9.27
9.27 search
9.27 run=17 nbConstraintChecks=27859166 nbPropagations=1577308 nbRevisions=27940229 nbUselessRevisions=24084491
9.27 nbAssignments=41613 nbFailedAssignments=11923 nbBacktracks=29579 nbVisitedNodes=67492 nbRestartNogoods=74
9.27 => wckTime=8.405 cpuTime=8.28 mem=15M5
10.93
10.93 search
10.93 run=18 nbConstraintChecks=33520063 nbPropagations=2198485 nbRevisions=39060720 nbUselessRevisions=33672194
10.93 nbAssignments=49829 nbFailedAssignments=14361 nbBacktracks=35317 nbVisitedNodes=80923 nbRestartNogoods=83
10.93 => wckTime=10.063 cpuTime=9.94 mem=15M5
10.93
10.93 global
10.93 nbConstraintChecks=33539559 nbPropagations=2199217 nbRevisions=39065208 nbUselessRevisions=33675836
10.93 nbRestartNogoods=83 solvingWckTime=10.064 solvingCpuTime=9.94 expiredTime=no totalExploration=no
10.93 nbFoundSolutions=1 globalCpuTime=10.36
10.93 => wckTime=10.627 cpuTime=10.31 mem=15M5
10.93
10.93 s SATISFIABLE
10.93 v 2 2 4 7 0 5 0 6 1 7 5 0 0 3 7 3 1 2 6 2 4 6 5 4 0 4 4 7 3 0 1 6 1 7 4 0 2 5 1 7
10.93 d NODES 49829
10.93 d CHECKS 33539559
10.93
10.93 totalWckTime=10.703 totalCpuTime=10.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-227276-1168277767 -o ROOT/results/node11/solver-227276-1168277767 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227276-1168277767/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.98 2.09 2.21 4/95 13962
/proc/meminfo: memFree=1635592/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=172 CPUtime=0
/proc/13961/stat : 13961 (java) R 13959 13961 13825 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 176172015 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7979812 0 0 4096 0 0 0 0 17 0 0 0
/proc/13961/statm: 43 24 18 14 0 3 0
[startup+0.108181 s]
/proc/loadavg: 1.98 2.09 2.21 4/95 13962
/proc/meminfo: memFree=1635592/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=914988 CPUtime=0.09
/proc/13961/stat : 13961 (java) R 13959 13961 13825 0 -1 0 3029 0 1 0 8 1 0 0 22 0 8 0 176172015 936947712 2775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13961/statm: 228747 2775 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516261 s]
/proc/loadavg: 1.98 2.09 2.21 4/95 13962
/proc/meminfo: memFree=1635592/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=915328 CPUtime=0.49
/proc/13961/stat : 13961 (java) R 13959 13961 13825 0 -1 0 6453 0 1 0 45 4 0 0 25 0 8 0 176172015 937295872 6192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073550966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13961/statm: 228832 6193 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33942 s]
/proc/loadavg: 1.98 2.09 2.21 3/102 13969
/proc/meminfo: memFree=1611344/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=915584 CPUtime=1.31
/proc/13961/stat : 13961 (java) R 13959 13961 13825 0 -1 0 8775 0 1 0 125 6 0 0 25 0 8 0 176172015 937558016 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13961/statm: 228896 8513 2524 14 0 215366 0
[pid=13961/tid=13963] ppid=13959 vsize=915584 CPUtime=0.03
/proc/13961/task/13963/stat : 13963 (java) S 13959 13961 13825 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176172018 937558016 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13964] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13964/stat : 13964 (java) S 13959 13961 13825 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 176172019 937558016 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13965] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13965/stat : 13965 (java) S 13959 13961 13825 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176172019 937558016 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13966] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13966/stat : 13966 (java) S 13959 13961 13825 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 176172022 937558016 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13967] ppid=13959 vsize=915584 CPUtime=0.25
/proc/13961/task/13967/stat : 13967 (java) S 13959 13961 13825 0 -1 64 413 0 0 0 24 1 0 0 16 0 8 0 176172022 937558016 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13968] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13968/stat : 13968 (java) S 13959 13961 13825 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176172022 937558016 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13969] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13969/stat : 13969 (java) S 13959 13961 13825 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176172022 937558016 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915584
[startup+2.99276 s]
/proc/loadavg: 1.98 2.08 2.21 3/102 13969
/proc/meminfo: memFree=1611024/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=915584 CPUtime=2.96
/proc/13961/stat : 13961 (java) R 13959 13961 13825 0 -1 0 8802 0 1 0 290 6 0 0 25 0 8 0 176172015 937558016 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13961/statm: 228896 8539 2524 14 0 215366 0
[pid=13961/tid=13963] ppid=13959 vsize=915584 CPUtime=0.03
/proc/13961/task/13963/stat : 13963 (java) S 13959 13961 13825 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176172018 937558016 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13964] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13964/stat : 13964 (java) S 13959 13961 13825 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 176172019 937558016 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13965] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13965/stat : 13965 (java) S 13959 13961 13825 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176172019 937558016 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13966] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13966/stat : 13966 (java) S 13959 13961 13825 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 176172022 937558016 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13967] ppid=13959 vsize=915584 CPUtime=0.27
/proc/13961/task/13967/stat : 13967 (java) S 13959 13961 13825 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 176172022 937558016 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13968] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13968/stat : 13968 (java) S 13959 13961 13825 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176172022 937558016 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13969] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13969/stat : 13969 (java) S 13959 13961 13825 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176172022 937558016 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915584
[startup+6.2784 s]
/proc/loadavg: 1.98 2.08 2.21 3/102 13969
/proc/meminfo: memFree=1610704/2055920 swapFree=4192812/4192956
[pid=13961] ppid=13959 vsize=915584 CPUtime=6.22
/proc/13961/stat : 13961 (java) R 13959 13961 13825 0 -1 0 8808 0 1 0 616 6 0 0 25 0 8 0 176172015 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13961/statm: 228896 8544 2524 14 0 215366 0
[pid=13961/tid=13963] ppid=13959 vsize=915584 CPUtime=0.03
/proc/13961/task/13963/stat : 13963 (java) S 13959 13961 13825 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176172018 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13964] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13964/stat : 13964 (java) S 13959 13961 13825 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 176172019 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13965] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13965/stat : 13965 (java) S 13959 13961 13825 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176172019 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13966] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13966/stat : 13966 (java) S 13959 13961 13825 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 176172022 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13967] ppid=13959 vsize=915584 CPUtime=0.27
/proc/13961/task/13967/stat : 13967 (java) S 13959 13961 13825 0 -1 64 420 0 0 0 26 1 0 0 15 0 8 0 176172022 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13968] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13968/stat : 13968 (java) S 13959 13961 13825 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176172022 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13961/tid=13969] ppid=13959 vsize=915584 CPUtime=0
/proc/13961/task/13969/stat : 13969 (java) S 13959 13961 13825 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176172022 937558016 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 10.9604
CPU time (s): 10.8853
CPU user time (s): 10.8134
CPU system time (s): 0.071989
CPU usage (%): 99.315
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8134
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8907
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= 1543
involuntary context switches= 1806
runsolver used 0.020996 s user time and 0.039993 s system time
The end
Begin job on node11 on Mon Jan 8 17:36:09 UTC 2007
IDJOB= 227276
IDBENCH= 6067
FILE ID= node11/227276-1168277767
PBS_JOBID= 3483124
Free space on /tmp= 66341 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227276-1168277767/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-227276-1168277767 -o ROOT/results/node11/solver-227276-1168277767 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227276-1168277767/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a1fad3374015b2da8b9daaa3f7cd6243
RANDOM SEED= 97883557
TIME LIMIT= 1800 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 : 5931.00
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: 1636072 kB
Buffers: 61856 kB
Cached: 185664 kB
SwapCached: 0 kB
Active: 242732 kB
Inactive: 120056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636072 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2132 kB
Writeback: 0 kB
Mapped: 143168 kB
Slab: 41496 kB
Committed_AS: 6401892 kB
PageTables: 2600 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= 66341 MiB
End job on node11 on Mon Jan 8 17:36:21 UTC 2007