0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/228765-1168300689/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.42 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1383 maxDegree=18
0.59 maxArity=2
0.59 => wckTime=0.272 cpuTime=0.19 mem=11M893
0.63
0.63 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.467 cpuTime=0.32 mem=14M827
0.83
0.83 preprocessing
0.83 nbConstraintChecks=50781 nbPropagations=798 nbRevisions=5967 nbUselessRevisions=4853 nbSingletonTests=49
0.83 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.83 => wckTime=0.046 cpuTime=0.03 mem=14M827
0.86
0.86 search
0.86 run=0 nbConstraintChecks=27344 nbPropagations=1306 nbRevisions=10992 nbUselessRevisions=8715 nbAssignments=31
0.86 nbFailedAssignments=12 nbBacktracks=15 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.068 cpuTime=0.05 mem=14M827
0.88
0.88 search
0.88 run=1 nbConstraintChecks=61915 nbPropagations=3244 nbRevisions=28267 nbUselessRevisions=22306 nbAssignments=67
0.88 nbFailedAssignments=24 nbBacktracks=33 nbVisitedNodes=108 nbRestartNogoods=1 mapSize=27 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.088 cpuTime=0.07 mem=14M827
0.89
0.89 search
0.89 run=2 nbConstraintChecks=110241 nbPropagations=6017 nbRevisions=53955 nbUselessRevisions=42361
0.89 nbAssignments=112 nbFailedAssignments=39 nbBacktracks=56 nbVisitedNodes=182 nbRestartNogoods=3 mapSize=46
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.102 cpuTime=0.08 mem=14M827
0.90
0.90 search
0.90 run=3 nbConstraintChecks=161042 nbPropagations=9867 nbRevisions=90408 nbUselessRevisions=70817
0.90 nbAssignments=171 nbFailedAssignments=59 nbBacktracks=90 nbVisitedNodes=281 nbRestartNogoods=7 mapSize=75
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.114 cpuTime=0.09 mem=14M827
0.93
0.93 search
0.93 run=4 nbConstraintChecks=256544 nbPropagations=15615 nbRevisions=146606 nbUselessRevisions=114737
0.93 nbAssignments=269 nbFailedAssignments=101 nbBacktracks=141 nbVisitedNodes=452 nbRestartNogoods=10 mapSize=118
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.137 cpuTime=0.11 mem=14M827
0.96
0.96 search
0.96 run=5 nbConstraintChecks=396202 nbPropagations=23960 nbRevisions=229602 nbUselessRevisions=179036
0.96 nbAssignments=407 nbFailedAssignments=156 nbBacktracks=216 nbVisitedNodes=693 nbRestartNogoods=14 mapSize=183
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.17 cpuTime=0.14 mem=14M827
0.99
0.99 search
0.99 run=6 nbConstraintChecks=581648 nbPropagations=35711 nbRevisions=347588 nbUselessRevisions=269779
0.99 nbAssignments=600 nbFailedAssignments=230 nbBacktracks=329 nbVisitedNodes=1025 nbRestartNogoods=18 mapSize=275
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.207 cpuTime=0.17 mem=14M827
1.05
1.05 search
1.05 run=7 nbConstraintChecks=854956 nbPropagations=52397 nbRevisions=517734 nbUselessRevisions=400370
1.05 nbAssignments=879 nbFailedAssignments=335 nbBacktracks=499 nbVisitedNodes=1507 nbRestartNogoods=22 mapSize=415
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.26 cpuTime=0.22 mem=14M827
1.13
1.13 search
1.13 run=8 nbConstraintChecks=1251480 nbPropagations=76203 nbRevisions=761794 nbUselessRevisions=587287
1.13 nbAssignments=1290 nbFailedAssignments=486 nbBacktracks=756 nbVisitedNodes=2202 nbRestartNogoods=28
1.13 mapSize=628 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.34 cpuTime=0.3 mem=14M827
1.25
1.25 search
1.25 run=9 nbConstraintChecks=1834057 nbPropagations=110391 nbRevisions=1115393 nbUselessRevisions=857316
1.25 nbAssignments=1871 nbFailedAssignments=680 nbBacktracks=1140 nbVisitedNodes=3180 nbRestartNogoods=32
1.25 mapSize=930 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.458 cpuTime=0.4 mem=14M827
1.28
1.28 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=14M827)
1.42
1.42 search
1.42 run=10 nbConstraintChecks=2841988 nbPropagations=162688 nbRevisions=1665309 nbUselessRevisions=1278999
1.42 nbAssignments=2860 nbFailedAssignments=1087 nbBacktracks=1716 nbVisitedNodes=4920 nbRestartNogoods=35
1.42 => wckTime=0.631 cpuTime=0.56 mem=14M827
1.65
1.65 search
1.65 run=11 nbConstraintChecks=4277507 nbPropagations=240793 nbRevisions=2493850 nbUselessRevisions=1913443
1.65 nbAssignments=4274 nbFailedAssignments=1633 nbBacktracks=2580 nbVisitedNodes=7384 nbRestartNogoods=41
1.65 => wckTime=0.865 cpuTime=0.79 mem=14M827
1.97
1.97 search
1.97 run=12 nbConstraintChecks=6311795 nbPropagations=356039 nbRevisions=3713962 nbUselessRevisions=2846954
1.97 nbAssignments=6396 nbFailedAssignments=2451 nbBacktracks=3877 nbVisitedNodes=11029 nbRestartNogoods=45
1.97 => wckTime=1.184 cpuTime=1.11 mem=14M827
2.47
2.47 search
2.47 run=13 nbConstraintChecks=9433819 nbPropagations=528966 nbRevisions=5552222 nbUselessRevisions=4253876
2.47 nbAssignments=9624 nbFailedAssignments=3730 nbBacktracks=5823 nbVisitedNodes=16641 nbRestartNogoods=51
2.47 => wckTime=1.678 cpuTime=1.6 mem=14M827
3.19
3.19 search
3.19 run=14 nbConstraintChecks=13986014 nbPropagations=785871 nbRevisions=8297764 nbUselessRevisions=6361914
3.19 nbAssignments=14345 nbFailedAssignments=5525 nbBacktracks=8742 nbVisitedNodes=24800 nbRestartNogoods=59
3.19 => wckTime=2.4 cpuTime=2.32 mem=14M827
4.35
4.35 search
4.35 run=15 nbConstraintChecks=21525946 nbPropagations=1176205 nbRevisions=12503810 nbUselessRevisions=9596560
4.35 nbAssignments=21601 nbFailedAssignments=8384 nbBacktracks=13120 nbVisitedNodes=37441 nbRestartNogoods=70
4.35 => wckTime=3.561 cpuTime=3.48 mem=14M827
6.08
6.08 search
6.08 run=16 nbConstraintChecks=32522249 nbPropagations=1762410 nbRevisions=18839282 nbUselessRevisions=14468304
6.08 nbAssignments=32454 nbFailedAssignments=12660 nbBacktracks=19688 nbVisitedNodes=56286 nbRestartNogoods=84
6.08 => wckTime=5.291 cpuTime=5.17 mem=14M827
8.61
8.61 search
8.61 run=17 nbConstraintChecks=48892027 nbPropagations=2642752 nbRevisions=28337127 nbUselessRevisions=21766463
8.61 nbAssignments=48578 nbFailedAssignments=18892 nbBacktracks=29540 nbVisitedNodes=84215 nbRestartNogoods=97
8.61 => wckTime=7.819 cpuTime=7.69 mem=14M827
12.38
12.38 search
12.38 run=18 nbConstraintChecks=73550265 nbPropagations=3958520 nbRevisions=42556997 nbUselessRevisions=32686459
12.38 nbAssignments=72624 nbFailedAssignments=28182 nbBacktracks=44256 nbVisitedNodes=125725 nbRestartNogoods=105
12.38 => wckTime=11.588 cpuTime=11.45 mem=14M827
12.38
12.38 global
12.38 nbConstraintChecks=73601046 nbPropagations=3959318 nbRevisions=42562964 nbUselessRevisions=32691312
12.38 nbRestartNogoods=105 solvingWckTime=11.589 solvingCpuTime=11.45 expiredTime=no totalExploration=no
12.38 nbFoundSolutions=1 globalCpuTime=11.82
12.38 => wckTime=12.059 cpuTime=11.77 mem=14M827
12.38
12.38 s SATISFIABLE
12.38 v 8 6 10 2 0 5 6 5 9 3 2 9 5 13 7 9 14 3 4 1 0 7 7 5 7 10 3 1 7 5 1 15 5 4 6 1 5 7 14 2
12.38 d NODES 72624
12.38 d CHECKS 73601046
12.38
12.38 totalWckTime=12.141 totalCpuTime=11.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-228765-1168300689 -o ROOT/results/node5/solver-228765-1168300689 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228765-1168300689/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
/proc/loadavg: 2.04 1.86 1.52 5/88 24798
/proc/meminfo: memFree=1167128/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=18540 CPUtime=0
/proc/24797/stat : 24797 (runsolver) R 24795 24410 24410 0 -1 4194368 13 0 0 0 0 0 0 0 19 0 1 0 158683327 18984960 277 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 251820250100 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24797/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108314 s]
/proc/loadavg: 2.04 1.86 1.52 5/88 24798
/proc/meminfo: memFree=1167128/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=914988 CPUtime=0.08
/proc/24797/stat : 24797 (java) D 24795 24797 24410 0 -1 0 2988 0 1 0 7 1 0 0 18 0 8 0 158683327 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24797/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516349 s]
/proc/loadavg: 2.04 1.86 1.52 5/88 24798
/proc/meminfo: memFree=1167128/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=915328 CPUtime=0.48
/proc/24797/stat : 24797 (java) R 24795 24797 24410 0 -1 0 6682 0 1 0 45 3 0 0 18 0 8 0 158683327 937295872 6421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24797/statm: 228832 6421 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33944 s]
/proc/loadavg: 2.11 1.88 1.53 3/95 24805
/proc/meminfo: memFree=1143328/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=915452 CPUtime=1.31
/proc/24797/stat : 24797 (java) R 24795 24797 24410 0 -1 0 8697 0 1 0 124 7 0 0 24 0 8 0 158683327 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24797/statm: 228863 8435 2524 14 0 215333 0
[pid=24797/tid=24799] ppid=24795 vsize=915452 CPUtime=0.02
/proc/24797/task/24799/stat : 24799 (java) S 24795 24797 24410 0 -1 64 241 0 0 0 2 0 0 0 17 0 8 0 158683331 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24800] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24800/stat : 24800 (java) S 24795 24797 24410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24801] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24801/stat : 24801 (java) S 24795 24797 24410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24802] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24802/stat : 24802 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158683335 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24803] ppid=24795 vsize=915452 CPUtime=0.22
/proc/24797/task/24803/stat : 24803 (java) S 24795 24797 24410 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 158683335 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24804] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24804/stat : 24804 (java) S 24795 24797 24410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158683335 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24805] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24805/stat : 24805 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158683335 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.99263 s]
/proc/loadavg: 2.11 1.88 1.53 3/95 24805
/proc/meminfo: memFree=1143136/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=915452 CPUtime=2.95
/proc/24797/stat : 24797 (java) R 24795 24797 24410 0 -1 0 8712 0 1 0 288 7 0 0 25 0 8 0 158683327 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073904393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24797/statm: 228863 8449 2524 14 0 215333 0
[pid=24797/tid=24799] ppid=24795 vsize=915452 CPUtime=0.02
/proc/24797/task/24799/stat : 24799 (java) S 24795 24797 24410 0 -1 64 241 0 0 0 2 0 0 0 17 0 8 0 158683331 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24800] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24800/stat : 24800 (java) S 24795 24797 24410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24801] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24801/stat : 24801 (java) S 24795 24797 24410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24802] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24802/stat : 24802 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158683335 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24803] ppid=24795 vsize=915452 CPUtime=0.23
/proc/24797/task/24803/stat : 24803 (java) S 24795 24797 24410 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 158683335 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24804] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24804/stat : 24804 (java) S 24795 24797 24410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158683335 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24805] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24805/stat : 24805 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158683335 937422848 8449 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) 915452
[startup+6.272 s]
/proc/loadavg: 2.10 1.88 1.53 3/95 24805
/proc/meminfo: memFree=1143072/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=915452 CPUtime=6.2
/proc/24797/stat : 24797 (java) R 24795 24797 24410 0 -1 0 8721 0 1 0 613 7 0 0 25 0 8 0 158683327 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24797/statm: 228863 8457 2524 14 0 215333 0
[pid=24797/tid=24799] ppid=24795 vsize=915452 CPUtime=0.02
/proc/24797/task/24799/stat : 24799 (java) S 24795 24797 24410 0 -1 64 241 0 0 0 2 0 0 0 16 0 8 0 158683331 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24800] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24800/stat : 24800 (java) S 24795 24797 24410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24801] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24801/stat : 24801 (java) S 24795 24797 24410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24802] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24802/stat : 24802 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158683335 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24803] ppid=24795 vsize=915452 CPUtime=0.23
/proc/24797/task/24803/stat : 24803 (java) S 24795 24797 24410 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 158683335 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24804] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24804/stat : 24804 (java) S 24795 24797 24410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158683335 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24805] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24805/stat : 24805 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158683335 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 12.4388
CPU time (s): 12.2961
CPU user time (s): 12.2191
CPU system time (s): 0.076988
CPU usage (%): 98.8532
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2191
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8816
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= 1352
involuntary context switches= 1517
runsolver used 0.017997 s user time and 0.046992 s system time
The end
Begin job on node5 on Mon Jan 8 23:58:09 UTC 2007
IDJOB= 228765
IDBENCH= 6233
FILE ID= node5/228765-1168300689
PBS_JOBID= 3502189
Free space on /tmp= 66356 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228765-1168300689/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-228765-1168300689 -o ROOT/results/node5/solver-228765-1168300689 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228765-1168300689/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 87d79b7f0a43cd9c3fda94d4a2e81b52
RANDOM SEED= 439123404
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.240
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.240
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: 1167544 kB
Buffers: 79420 kB
Cached: 693468 kB
SwapCached: 0 kB
Active: 340868 kB
Inactive: 481700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1167544 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1812 kB
Writeback: 0 kB
Mapped: 70240 kB
Slab: 50680 kB
Committed_AS: 4321560 kB
PageTables: 2192 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= 66356 MiB
End job on node5 on Mon Jan 8 23:58:21 UTC 2007