0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/228183-1168080853/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.40 => wckTime=0.091 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8210 maxDegree=27
0.58 maxArity=2
0.58 => wckTime=0.275 cpuTime=0.19 mem=10M852
0.62
0.62 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.46 cpuTime=0.32 mem=13M696
0.77
0.77 preprocessing
0.77 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77 detectedInconsistency=no
0.77 => wckTime=0.0070 cpuTime=0.0 mem=13M696
0.81
0.81 search
0.81 run=0 nbConstraintChecks=12772 nbPropagations=353 nbRevisions=3155 nbUselessRevisions=2666 nbAssignments=23
0.81 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.04 cpuTime=0.02 mem=14M671
0.83
0.83 search
0.83 run=1 nbConstraintChecks=36011 nbPropagations=1183 nbRevisions=12484 nbUselessRevisions=10405 nbAssignments=55
0.83 nbFailedAssignments=15 nbBacktracks=25 nbVisitedNodes=85 nbRestartNogoods=1 mapSize=20 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.063 cpuTime=0.03 mem=14M671
0.85
0.85 search
0.85 run=2 nbConstraintChecks=74359 nbPropagations=2745 nbRevisions=31486 nbUselessRevisions=26074
0.85 nbAssignments=100 nbFailedAssignments=31 nbBacktracks=48 nbVisitedNodes=157 nbRestartNogoods=2 mapSize=40
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.084 cpuTime=0.05 mem=14M671
0.86
0.86 search
0.86 run=3 nbConstraintChecks=112743 nbPropagations=5083 nbRevisions=61078 nbUselessRevisions=50492
0.86 nbAssignments=153 nbFailedAssignments=46 nbBacktracks=81 nbVisitedNodes=241 nbRestartNogoods=4 mapSize=65
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.096 cpuTime=0.06 mem=14M671
0.88
0.88 search
0.88 run=4 nbConstraintChecks=166754 nbPropagations=8454 nbRevisions=104888 nbUselessRevisions=86838
0.88 nbAssignments=230 nbFailedAssignments=67 nbBacktracks=132 nbVisitedNodes=359 nbRestartNogoods=5 mapSize=101
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.113 cpuTime=0.07 mem=14M671
0.91
0.91 search
0.91 run=5 nbConstraintChecks=266694 nbPropagations=13659 nbRevisions=174520 nbUselessRevisions=144411
0.91 nbAssignments=352 nbFailedAssignments=107 nbBacktracks=208 nbVisitedNodes=558 nbRestartNogoods=8 mapSize=162
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.143 cpuTime=0.1 mem=14M671
0.95
0.95 search
0.95 run=6 nbConstraintChecks=422288 nbPropagations=21720 nbRevisions=286108 nbUselessRevisions=236634
0.95 nbAssignments=539 nbFailedAssignments=171 nbBacktracks=321 nbVisitedNodes=879 nbRestartNogoods=13 mapSize=263
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.183 cpuTime=0.14 mem=14M671
1.00
1.00 search
1.00 run=7 nbConstraintChecks=616740 nbPropagations=33341 nbRevisions=449217 nbUselessRevisions=371475
1.00 nbAssignments=788 nbFailedAssignments=245 nbBacktracks=492 nbVisitedNodes=1284 nbRestartNogoods=17 mapSize=396
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.233 cpuTime=0.19 mem=14M671
1.08
1.08 search
1.08 run=8 nbConstraintChecks=914605 nbPropagations=50475 nbRevisions=692212 nbUselessRevisions=572491
1.08 nbAssignments=1165 nbFailedAssignments=360 nbBacktracks=749 nbVisitedNodes=1905 nbRestartNogoods=21
1.08 mapSize=594 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.311 cpuTime=0.26 mem=14M671
1.21
1.21 search
1.21 run=9 nbConstraintChecks=1402027 nbPropagations=76547 nbRevisions=1063019 nbUselessRevisions=878577
1.21 nbAssignments=1761 nbFailedAssignments=565 nbBacktracks=1136 nbVisitedNodes=2896 nbRestartNogoods=26
1.21 mapSize=911 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.444 cpuTime=0.39 mem=14M671
1.26
1.26 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=14M671)
1.36
1.36 search
1.36 run=10 nbConstraintChecks=2045921 nbPropagations=114736 nbRevisions=1613159 nbUselessRevisions=1334530
1.36 nbAssignments=2616 nbFailedAssignments=837 nbBacktracks=1714 nbVisitedNodes=4288 nbRestartNogoods=32
1.36 => wckTime=0.593 cpuTime=0.53 mem=14M671
1.57
1.57 search
1.57 run=11 nbConstraintChecks=3072035 nbPropagations=171582 nbRevisions=2436286 nbUselessRevisions=2016806
1.57 nbAssignments=3885 nbFailedAssignments=1236 nbBacktracks=2579 nbVisitedNodes=6382 nbRestartNogoods=37
1.57 => wckTime=0.801 cpuTime=0.74 mem=14M671
1.87
1.87 search
1.87 run=12 nbConstraintChecks=4563711 nbPropagations=256199 nbRevisions=3666928 nbUselessRevisions=3036728
1.87 nbAssignments=5794 nbFailedAssignments=1837 nbBacktracks=3879 nbVisitedNodes=9546 nbRestartNogoods=41
1.87 => wckTime=1.107 cpuTime=1.04 mem=14M671
2.36
2.36 search
2.36 run=13 nbConstraintChecks=6927090 nbPropagations=383566 nbRevisions=5543391 nbUselessRevisions=4595135
2.36 nbAssignments=8732 nbFailedAssignments=2822 nbBacktracks=5825 nbVisitedNodes=14458 nbRestartNogoods=45
2.36 => wckTime=1.592 cpuTime=1.52 mem=14M671
3.17
3.17 search
3.17 run=14 nbConstraintChecks=10696404 nbPropagations=578414 nbRevisions=8427314 nbUselessRevisions=6987115
3.17 nbAssignments=13146 nbFailedAssignments=4308 nbBacktracks=8745 nbVisitedNodes=21891 nbRestartNogoods=56
3.17 => wckTime=2.399 cpuTime=2.33 mem=14M671
4.31
4.31 search
4.31 run=15 nbConstraintChecks=16021296 nbPropagations=869582 nbRevisions=12738927 nbUselessRevisions=10563111
4.31 nbAssignments=19624 nbFailedAssignments=6400 nbBacktracks=13127 nbVisitedNodes=32715 nbRestartNogoods=65
4.31 => wckTime=3.541 cpuTime=3.46 mem=14M671
6.06
6.06 search
6.06 run=16 nbConstraintChecks=24175496 nbPropagations=1308372 nbRevisions=19253807 nbUselessRevisions=15968575
6.06 nbAssignments=29465 nbFailedAssignments=9667 nbBacktracks=19695 nbVisitedNodes=49186 nbRestartNogoods=70
6.06 => wckTime=5.294 cpuTime=5.22 mem=14M671
7.59
7.59 search
7.59 run=17 nbConstraintChecks=31233335 nbPropagations=1877663 nbRevisions=27680539 nbUselessRevisions=22957059
7.59 nbAssignments=38360 nbFailedAssignments=12458 nbBacktracks=25759 nbVisitedNodes=63889 nbRestartNogoods=78
7.59 => wckTime=6.827 cpuTime=6.75 mem=14M671
7.60
7.60 global
7.60 nbConstraintChecks=31233335 nbPropagations=1877703 nbRevisions=27680539 nbUselessRevisions=22957059
7.60 nbRestartNogoods=78 solvingWckTime=6.828 solvingCpuTime=6.75 expiredTime=no totalExploration=no
7.60 nbFoundSolutions=1 globalCpuTime=7.12
7.60 => wckTime=7.291 cpuTime=7.07 mem=14M671
7.60
7.60 s SATISFIABLE
7.60 v 8 1 5 5 4 10 5 6 10 8 8 10 1 9 0 3 7 7 4 1 7 8 8 8 6 3 6 6 6 0 7 7 6 2 1 4 3 5 8 1
7.60 d NODES 38360
7.60 d CHECKS 31233335
7.60
7.60 totalWckTime=7.365 totalCpuTime=7.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-228183-1168080853 -o ROOT/results/node35/solver-228183-1168080853 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228183-1168080853/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: 0.66 1.61 1.83 3/65 14027
/proc/meminfo: memFree=1643232/2055920 swapFree=4192812/4192956
[pid=14026] ppid=14024 vsize=1784 CPUtime=0
/proc/14026/stat : 14026 (java) D 14024 14026 13005 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 156479896 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/14026/statm: 446 136 102 14 0 91 0
[startup+0.103052 s]
/proc/loadavg: 0.66 1.61 1.83 3/65 14027
/proc/meminfo: memFree=1643232/2055920 swapFree=4192812/4192956
[pid=14026] ppid=14024 vsize=914252 CPUtime=0.07
/proc/14026/stat : 14026 (java) D 14024 14026 13005 0 -1 0 2920 0 1 0 6 1 0 0 17 0 8 0 156479896 936194048 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14026/statm: 228563 2666 1396 14 0 215464 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914252
[startup+0.511101 s]
/proc/loadavg: 0.66 1.61 1.83 3/65 14027
/proc/meminfo: memFree=1643232/2055920 swapFree=4192812/4192956
[pid=14026] ppid=14024 vsize=916352 CPUtime=0.48
/proc/14026/stat : 14026 (java) S 14024 14026 13005 0 -1 0 6539 0 1 0 43 5 0 0 16 0 8 0 156479896 938344448 6278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14026/statm: 229088 6278 2138 14 0 215558 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916352
[startup+1.33319 s]
/proc/loadavg: 0.69 1.60 1.83 2/72 14034
/proc/meminfo: memFree=1619752/2055920 swapFree=4192812/4192956
[pid=14026] ppid=14024 vsize=916480 CPUtime=1.29
/proc/14026/stat : 14026 (java) R 14024 14026 13005 0 -1 0 8587 0 1 0 122 7 0 0 16 0 8 0 156479896 938475520 8325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14026/statm: 229120 8325 2513 14 0 215590 0
[pid=14026/tid=14028] ppid=14024 vsize=916480 CPUtime=0.02
/proc/14026/task/14028/stat : 14028 (java) S 14024 14026 13005 0 -1 64 229 0 0 0 2 0 0 0 16 0 8 0 156479900 938475520 8325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14029] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14029/stat : 14029 (java) S 14024 14026 13005 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156479901 938475520 8325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14030] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14030/stat : 14030 (java) S 14024 14026 13005 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156479901 938475520 8325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14031] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14031/stat : 14031 (java) S 14024 14026 13005 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156479904 938475520 8325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14032] ppid=14024 vsize=916480 CPUtime=0.21
/proc/14026/task/14032/stat : 14032 (java) S 14024 14026 13005 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156479904 938475520 8325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14026/tid=14033] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14033/stat : 14033 (java) S 14024 14026 13005 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156479904 938475520 8325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14034] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14034/stat : 14034 (java) S 14024 14026 13005 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156479904 938475520 8325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916480
[startup+2.98539 s]
/proc/loadavg: 0.69 1.60 1.83 2/72 14034
/proc/meminfo: memFree=1619624/2055920 swapFree=4192812/4192956
[pid=14026] ppid=14024 vsize=916480 CPUtime=2.93
/proc/14026/stat : 14026 (java) R 14024 14026 13005 0 -1 0 8599 0 1 0 286 7 0 0 18 0 8 0 156479896 938475520 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14026/statm: 229120 8336 2513 14 0 215590 0
[pid=14026/tid=14028] ppid=14024 vsize=916480 CPUtime=0.02
/proc/14026/task/14028/stat : 14028 (java) S 14024 14026 13005 0 -1 64 229 0 0 0 2 0 0 0 16 0 8 0 156479900 938475520 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14029] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14029/stat : 14029 (java) S 14024 14026 13005 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156479901 938475520 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14030] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14030/stat : 14030 (java) S 14024 14026 13005 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156479901 938475520 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14031] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14031/stat : 14031 (java) S 14024 14026 13005 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156479904 938475520 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14032] ppid=14024 vsize=916480 CPUtime=0.21
/proc/14026/task/14032/stat : 14032 (java) S 14024 14026 13005 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156479904 938475520 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14026/tid=14033] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14033/stat : 14033 (java) S 14024 14026 13005 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156479904 938475520 8336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14034] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14034/stat : 14034 (java) S 14024 14026 13005 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156479904 938475520 8336 18446744073709551615 134512640 134570532 4294956480 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) 916480
[startup+6.27378 s]
/proc/loadavg: 0.69 1.60 1.83 2/72 14034
/proc/meminfo: memFree=1619560/2055920 swapFree=4192812/4192956
[pid=14026] ppid=14024 vsize=916480 CPUtime=6.22
/proc/14026/stat : 14026 (java) R 14024 14026 13005 0 -1 0 8607 0 1 0 615 7 0 0 18 0 8 0 156479896 938475520 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14026/statm: 229120 8343 2513 14 0 215590 0
[pid=14026/tid=14028] ppid=14024 vsize=916480 CPUtime=0.02
/proc/14026/task/14028/stat : 14028 (java) S 14024 14026 13005 0 -1 64 229 0 0 0 2 0 0 0 16 0 8 0 156479900 938475520 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14029] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14029/stat : 14029 (java) S 14024 14026 13005 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156479901 938475520 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14030] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14030/stat : 14030 (java) S 14024 14026 13005 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156479901 938475520 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14031] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14031/stat : 14031 (java) S 14024 14026 13005 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156479904 938475520 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14032] ppid=14024 vsize=916480 CPUtime=0.21
/proc/14026/task/14032/stat : 14032 (java) S 14024 14026 13005 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156479904 938475520 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14026/tid=14033] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14033/stat : 14033 (java) S 14024 14026 13005 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156479904 938475520 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14026/tid=14034] ppid=14024 vsize=916480 CPUtime=0
/proc/14026/task/14034/stat : 14034 (java) S 14024 14026 13005 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156479904 938475520 8343 18446744073709551615 134512640 134570532 4294956480 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) 916480
Child status: 0
Real time (s): 7.63556
CPU time (s): 7.56485
CPU user time (s): 7.48186
CPU system time (s): 0.082987
CPU usage (%): 99.0739
Max. virtual memory (cumulated for all children) (KiB): 916480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.48186
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8700
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= 1000
involuntary context switches= 268
runsolver used 0.009998 s user time and 0.026995 s system time
The end
Begin job on node35 on Sat Jan 6 10:54:17 UTC 2007
IDJOB= 228183
IDBENCH= 6159
FILE ID= node35/228183-1168080853
PBS_JOBID= 3476000
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-53_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228183-1168080853/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-228183-1168080853 -o ROOT/results/node35/solver-228183-1168080853 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228183-1168080853/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9b7de032cae73518948211df156e1f6e
RANDOM SEED= 113302592
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.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: 1643712 kB
Buffers: 28012 kB
Cached: 293152 kB
SwapCached: 0 kB
Active: 75064 kB
Inactive: 261980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1643712 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 26052 kB
Slab: 61216 kB
Committed_AS: 3044836 kB
PageTables: 1416 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= 66559 MiB
End job on node35 on Sat Jan 6 10:54:36 UTC 2007